Rice に居座ります。当面は Concoqtion (multi-stage programming + 依存型) を用いた program verification を主に研究します。Systems programming に応用できるといいなあ。 でもこの子たちは license がカスです。そもそも OCaml の QPL 違反です (一応 …

5/12 に日本に帰ります。この夏は 7 月末に一週間ほど出掛ける他は特に予定もないし暇な人遊んで。 それと JTB の里帰り便が安い。おくじさんに情報感謝。