【WBA】第3回異分野交流会 -学問の垣根を越えて知能とAIを考える- ■ 日時：2019/3/21 19:00ｰ21:30 ■ 感想 → 哲学と人工知能の関係が聞けたのが良かった → 会計と人工知能の関係については消化不足感が強かった ■ 開催・資料 wbawakate.connpass.com （セミナ…

Kubernetes Meetup Tokyo #17: セキュリティ & オブザーバビリティ コンテナーをデプロイできる強力なシステム Kubernetesのことを詳しく聞く会です！ ■ 日時：2019/3/18 19:00ｰ21:30 ■ 開催・資料 k8sjp.connpass.com （セミナ・メモ） ● root権限無しでKub…

デジタル トランスフォーメーション ～ 社会・産業・生活を変える技術 ～ OSSユーザーのための勉強会 < OSS X Users Meeting > #26 ■ 日時：2019/2/27 19:00ｰ21:30 ■ 開催・資料 www.scsk.jp 資料 （セミナ・メモ） ● デジタル トランスフォーメーションにお…

【マルレク】楽しい数学 第四夜 「同じ」を考える ■ 日時：2019/1/29 19:00ｰ21:00 ■ 開催・資料 mathnight4.peatix.com www.marulabo.net （セミナ・メモ）

【マルレク】人工知能と意味の形式的理論 ■ 日時：2019/1/08 19:00ｰ21:30 ■ 開催・資料 semantics.peatix.com www.marulabo.net （セミナ・メモ） ・文と意味の「構成性（compositionality）」 ・意味の「同一性」/ 意味の共通表現の存在 → 論理式、多次元ベ…

Coq勉強会 - #5 ■ 日時：2019/8/31 14:00ｰ18:00 ■ 感想 → 久しぶりの Coq 系の勉強会の参加 少しずつ論理型プログラムが判りかけたところ 是非、聡明支援系言語として習得したい言語 → Coq 設計者である名古屋大学のガルク先生の 最新の「講義ノート」を読み…