【マルレク】プログラムと論理 ■ 日時：2019/10/10 19:00ｰ22:00 ■ 感想 → 今、興味を持って一番勉強している論理学とプログラムの話 Coqを始めに「マルレク」の中心テーマに成るらしい → Coqや論理学、型付関数論の基本を勉強しながら 他の勉強会と併せて学…

【第37回AIセミナー】宇宙から地球を見守る人工知能 ■ 日時：2019/10/07 15:00ｰ17:00 ■ 感想 → サテライト衛星からの画像認識の技術 通常の画像認識とは違うノウハウの宝庫と再認識 → 社会インフラや新ビジネス創世に重要な技術 色々と新しい見知が得られて…