2014-09-16から1日間の記事一覧

なつやすみのにっき

夏休みです。 Coq Summer School 8月の終わりに NII Shonan School on Coq に行ってきました。 一週間みっちりCoq漬けでした。楽しかった。でも英語ができればもっと……。 夏ゼミ Coq合宿が終わった3日後から2泊3日の研究室合宿がありました。千葉の館山に行…