今日から3年生向けAgda演習

今日から1日3コマ×3週間でAgdaを使った定理証明実習という講義がはじまる。ぼくはTAとして参加予定で現在インストール手順など作っています。思ったこと。

1. やっぱり日本語文献を書かねば・・・
2. WebでAgdaができる環境があればインストールしなくてもいいのにね

研究に付随する趣味兼実用の世界やな・・・論文になるわけではないが、重要な仕事。

とりあえず、学生の反応を観察して、なんのこっちゃようわからんのは何故か？というところは明らかにしていきたい。