９月
１日（月） 東大本郷キャンパス。聴講「Special JFLI Seminar on formal proofs in Coq」。
リンクはこちら。
３日（水）～５日（金） 山口県、湯田温泉。研究集会「組合せ論サマースクール２０１４（COS2014）」にて招待講演「疎構造やモダン符号の形式化で感じた組合せ論への期待」
リンクはこちら。
６日（土）～１０日（水） 米国、ハワイ大学。打ち合わせ。
千葉大学理学部数学・情報数理学科とハワイ大学数学科の学生交流（留学制度）の立ち上げ。
千葉大学から２名、ハワイへ１か月派遣。（９月６日～１０月５日）
以上。
ただの列挙になっちゃったので、
おまけの写真。
先日の夏休みに、北海道へ家族旅行したときの１枚。
まりな（長女、 Marina）が３歳になりました。
記念に身長を測ってみると
89.5 cm
でした。
大きくなりました。
あかり（次女）と並んでみると、
流れた歳月を感じます。
ケーキのろうそくについた火なんて、
簡単に吹き消せます。
プレゼントは、お気に入りのアニメ「ドックはおもちゃドクター」のパズル。
そして、問題の本。
３歳になったら挑戦したい！
と本人にお願いされてました。
仲良し姉妹のまま、
ぐんぐん育って欲しいものです。
成田。
それはウナギのメッカ。
成田山新勝寺の表参道には
ウナギ屋がずらりと並びます。
今回訪れたのは
駿河屋
です。
店頭でさばくウナギ。
そして、鳥重も扱うお店。
＃注意：
＃本格的なウナギ屋では、
＃鳥重も出す店が珍しくありません。
＃どちらも炭で美味しく焼き上げるのです。
ほい、ウナギ。
ふんわり。
こちらは卵焼き。
ウマキではありません。
そして鳥重。
鶏肉も卵も一緒に頂けるスタイル。
