2014-10-17から1日間の記事一覧
今日から1日3コマ×3週間でAgdaを使った定理証明実習という講義がはじまる。ぼくはTAとして参加予定で現在インストール手順など作っています。思ったこと。 やっぱり日本語文献を書かねば・・・ WebでAgdaができる環境があればインストールしなくてもいいのに…
今日から1日3コマ×3週間でAgdaを使った定理証明実習という講義がはじまる。ぼくはTAとして参加予定で現在インストール手順など作っています。思ったこと。 やっぱり日本語文献を書かねば・・・ WebでAgdaができる環境があればインストールしなくてもいいのに…