MLLの proof net の集合上に、error-correcting コードでよく使われるやり方を応用して距離を定義する。今回はアイディアのみ。T氏曰く「Linear Logicへの愛を感じる講演」でした。

よく晴れる。セミも元気に鳴いている。起床は9時。ウダウダした後発表準備の続き。昼に出発、三宮のHISに行き航空券の引換券をもらい、ホテルを予約する。「勝兵衛」でカツ丼を食べ、千里へ向かう。 帰宅は18時、夕食は夏野菜ミートソース。 「らき☆すた」を…