acceptから半年、AMLのサイトにやっと電子出版が掲載されました。アドレスはこちら。2月24日に連絡が来たのだけれど、すっかり忘れていた。

16時より18時まで、参加者10人ぐらい。本日が最終回、Universeの導入、Jan Smithの結果の説明とmonomorphic type theory。

起床は8時、よく晴れた一日。午前中は雑用、午後から出張。忘れ物を取りに一回帰宅する。JR駅前でラーメンを食べてから千里中央へ。 講義終了後、Cと梅田で待ち合わせ、デパートに行った後「司」で夕食、カキフライ。22時に帰宅、25時に寝る。

2月6日からの約一ヶ月間、忙しくて非公開にしたまま放置していました。その間 産総研で発表(2/23) 曖昧性に関する論文を投稿(2/28) その他、年度末に向けての会計処理、試験監督、入試業務、etc. ということがありました。実はまだ、3/12-13の研究集会で発表…