9月
1日(月) 東大本郷キャンパス。聴講「Special JFLI Seminar on formal proofs in Coq」。
リンクはこちら。
3日(水)~5日(金) 山口県、湯田温泉。研究集会「組合せ論サマースクール2014(COS2014)」にて招待講演「疎構造やモダン符号の形式化で感じた組合せ論への期待」
リンクはこちら。
6日(土)~10日(水) 米国、ハワイ大学。打ち合わせ。
千葉大学理学部数学・情報数理学科とハワイ大学数学科の学生交流(留学制度)の立ち上げ。
千葉大学から2名、ハワイへ1か月派遣。(9月6日~10月5日)
以上。
ただの列挙になっちゃったので、
おまけの写真。
先日の夏休みに、北海道へ家族旅行したときの1枚。