Proof Summit 2019 定理証明系に関するユーザーイベントです。 ■ 日時：2019/ 9/29 11:00ｰ16:30 ■ 感想 → Coqの証明系だけかと思っていたら もっと幅広いツールが言及されていた → 自分としても、 型付ラムダ関数、カリーハワード対応などを勉強する基盤が出…

第二回 Deep Learning Acceleration 勉強会（DLAccel #2） ■ 日時：2019/9/28 13:15ｰ17:00 ■ 感想 → 深層機械学習用のプロセッサ開発についての勉強会 基本的に「学習系」ではなく「診断系」プロセッサ → DLのアルゴリズムに対する深い理解が無いとついて行…

第56回CSA勉強会 「説明可能なＡＩ（ＸＡＩ）」 ■ 日時：2019/9/27 18:00ｰ20:00 ■ 感想 → AIの実行がブラックボックスなのは周知の事実 その回答に対する説明責任は重要な課題である → ビジネス的な必然性の話がだけで終わった勉強会 講師がマーケの人だから…

【第36回AIセミナー】これからの製造産業のあるべき姿 ■ 日時：2019/9/26 15:00ｰ17:00 ■ 感想 → 人工知能やIoTにてきかした製造産業について 新しい知見を得た有意義なセミナで会った → 特にマイクロ・ファブが３Dプリンタと融合した場合 自宅で最適な製品の…

【マルレク】ソフトウェア・エンジニアリングの新しい潮流 -- Deep Specificationの世界 ■ 日時：2019/9/24 19:00ｰ21:00 ■ 感想 → ソフトウェア開発の新しい徴候 SWの記述に問題が無いか(How)の検証から SWの仕様に問題が無いか(What/Why)の記述に移行すると…