---
# System prepended metadata

title: 8班メモ用　4/7

---

8班メモ用　4/7
===

・決める

- リーダー
    - 班　とりまとめ

- 議事メモ
- 司会
- 班長
   - 基本的に班長チャネルに入ってもらう
   - メンターと班長たちが話し合う、全体共有？
   - 気楽に
- 性格診断でも可
    - 
講義
- プログラム検証の理論
    - 形式-実適用-フェリカ-
        - 一部プロフェッショナルがいれば回せる
    - 銀行口座クラス　外側で証明できる
- vdm イベントb コック　定理証明系証明した先生こられる　iso規格満たせる
    - 

- 組織展開どうしよう
    - できるところをきりだしていく
    - アーキテクチャとか、美しい日本語（自己満足）仕様書をUMLで体系的に記載するなど
    - オブジェクト指向、マイクロサービス
- 班の活動で
    - エンジニア経験のなかで、上流工程の開発をやるのは良い経験
    - 末端の作業より物の見え方が変わる
    - 経験できないことをしよう
    - ★何かシステムを作ろう
    - 設計・開発・評価ができる
    - アイディア(要求獲得)->アーキテクチャ->形式手法(命題論理学)->実装
        - 講義の内容を具体的なシステムに適用していく
- 戦闘力について
    - ドラゴンボールでワクワクした想いだけはノンフィクション
    　 - フリーザ戦闘力53万！？悟空はどう倒すのだろう！？
    - 気弾だす奴はフィクションでも、貯金10倍の金持ち、各所属企業より強い会社(googleとか、amazonとか)自体は、
      山ほどいる。しかし、そもそも奴らと戦おうとするワクワク感はあるか？否、日本企業は逃げているだけではないのか？
　　　→ 少年時代もりあがったマンガ、小説、ゲーム、さまざま、今の課題と重ねあわせて今後乗り越えていくヒントにしていけないか？

- 優秀すぎる奴と連日出くわすと大変なときもあった（経験談）
    - ソフトウェアパターンの授業ですごすぎる奴がいて心折れた（のちに経験者とわかって救われた）
　    - バグがありそうなアーキテクチャをパターン化していく講義
  　      - GoFのパターン（23パターン）を適用していく
    　- グループワーク演習で、あるパターンが与えられ、さあ23のうちどれでしょう？
        - 10分で23パターンを各グループで確認して正解まで導く
        - 経験者は強い
            - 否定しない、そしておだやかに自らの答えに導き、正解。（複数グループ正解していて参った）
    - 翌日は命題論理学の演習で観点をガチ否定してくる優秀受講生
        - 「それを解決してあなたは何がしたいのですか！？（無駄な話するんじゃない！）」
　　→ 連日緩急つけて心をおられてお酒で乗り越えることがあった。
   → なにも相談できなかった15期と比べて今は気軽に相談できるからためこまないでね。

## 住んでいるところ
田村さん
- 名古屋
    - 車通勤はするものではない
皿海
- 兵庫->横浜
    - 姫路は共通語？
荻原さん
- 横浜つるみ->茨城つくば
    - 研究所多い
    - 車必須
    - セグウェイ
    - つるみ大学の先生がくる
        - 歯医者さん？
    - 大学の近辺
        - コロナで図書館つかえない
        - 大食いのランラン
鈴木さん
- 福島
    - webツール活用して距離を縮められれば
    - 出身：郡山
    - いわき市とかもある
    - 喜多方ラーメン　うすあじ
        - ささるひとではない
    - 餃子も羽根つき有名
        - ささってない
        - 世の中には人気
    - ささってるものは？
        - メンターさんの情熱
        - トップエスイーに対する情熱

内田さん
-　北区赤羽
    -　赤羽といえば？
        -　居酒屋
            -　飲み会しやすい
            -　オフラインなら赤羽
        -　ひろゆきさんの切り抜きで紹介されている
        
鳥野さん
- 石川->神奈川川崎
    - 海より？内陸？
        - 治安がいい方
        - 海は治安が悪い
        - 会社都合
        - 徒歩出勤
            - テレワークに
                - 完全出社なしでも大丈夫か
                - マシンに触らないかぎりＯＫ
    - 北陸は関西と混同されるが、話の落ちはない方

落ちはなかった・・・
(投票)*
決める？
決めない？*****

## 次回
- ★4月21日に班長を決めます!

一年間がんばっていきましょう！
- 自己紹介スライド共有(宿題)


---

画像貼り付け
![](https://i.imgur.com/0ekSBh5.png)


## どの講義を中心に受けますか？
- 皿海 平日やるものすべて、命題論理おもしろかった
- 荻原 全部
- 鈴木　データサイエンス
- 内田　データサイエンス
- 田村 アジャイル・データサイエンス以外(まあいいか・・・)


### データサイエンス
講師：石川先生

統計学、機械学習、数学的な内容、ビジネスアナリティクス、顧客
python使う
要求工学視点、ビックデータとかでなにかしてと言われる
実務視点で提案していく



# ツール
ミロ
[The Visual Collaboration Platform for Every Team | Miro](https://miro.com/?utm_source=google&utm_medium=cpc&utm_campaign=S|GOO|BRN|WW|JA-JA|Brand|Exact&utm_adgroup=&utm_custom=10309935545&utm_content=442346683413&utm_term=miro&device=c&location=1009332&gclid=Cj0KCQjwl7qSBhD-ARIsACvV1X3iD73RF8iTy-cK80bTdPy8Pt28qQvWJQifbhKavpHGNuCw9xKQ0yMaAqGuEALw_wcB)



尾とお
    
suzuki