勉強会：Coq勉強会 - #5

Coq勉強会 - #5

■ 日時：2019/8/31　14:00ｰ18:00

■ 感想

　→　久しぶりの Coq 系の勉強会の参加
　　　少しずつ論理型プログラムが判りかけたところ
　　　是非、聡明支援系言語として習得したい言語
　→　Coq 設計者である名古屋大学のガルク先生の
　　　最新の「講義ノート」を読み解く会

　　　2017年度後期・数理解析・計算機数学 II

　→　Coq の学習も必要なので
　　　時間を見て下記資料を読んでいきたい

　　　ソフトウェアの基礎(beta) — ソフトウェアの基礎 1.0.2 documentation
　　　Coq入門

Coq Tutorial at Proof Summit 2011 from tmiya

www.slideshare.net

　→　しかし、
　　　根本的には、論理のシーケンスを読めるようになることか･･･

以上

---