先週はお世話になっている尼崎の産総研でAgda（アグダ）というプログラミング言語のチュートリアルがあり、火曜日から金曜日まで参加してきた。いちおうNAISTのプロジェクト実習という単位に充当されているのだが、参加者4人のうちNAIST生は私を入れて2人と…