ハワイに来てます。
今回の宿泊先は、Aston at the Waikiki Banyan にしました。
チェックインしてみてびっくり。
２０１１年～２０１２年にハワイに住んでいた部屋と同じ位置。違いはフロア（階数）だけ。
ほら。
凄いノスタルジー。
寝室からはダイヤモンドヘッド。
キッチンからはワイキキビーチ。
そして、リビングからは。
マノアの夜景。
この位置、最高です。
自分好みの空間。
ここで過ごせる時間。
愛しい。
３年前に、この部屋を見つけてくれた妻に感謝してます。
そして、研究者になれて良かった。
９月
１日（月） 東大本郷キャンパス。聴講「Special JFLI Seminar on formal proofs in Coq」。
リンクはこちら。
３日（水）～５日（金） 山口県、湯田温泉。研究集会「組合せ論サマースクール２０１４（COS2014）」にて招待講演「疎構造やモダン符号の形式化で感じた組合せ論への期待」
リンクはこちら。
６日（土）～１０日（水） 米国、ハワイ大学。打ち合わせ。
千葉大学理学部数学・情報数理学科とハワイ大学数学科の学生交流（留学制度）の立ち上げ。
千葉大学から２名、ハワイへ１か月派遣。（９月６日～１０月５日）
以上。
ただの列挙になっちゃったので、
おまけの写真。
先日の夏休みに、北海道へ家族旅行したときの１枚。
まりな（長女、 Marina）が３歳になりました。
記念に身長を測ってみると
89.5 cm
でした。
大きくなりました。
あかり（次女）と並んでみると、
流れた歳月を感じます。
ケーキのろうそくについた火なんて、
簡単に吹き消せます。
プレゼントは、お気に入りのアニメ「ドックはおもちゃドクター」のパズル。
そして、問題の本。
３歳になったら挑戦したい！
と本人にお願いされてました。
仲良し姉妹のまま、
ぐんぐん育って欲しいものです。
