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