研究の話をまったく書かないと働いていないように思われそうなので書いてみる。いつも型やらlogical relationやらbisimulationやらの話をやっているわけですが、できあがってから見てみると当たり前のことばかりで、何で今まで誰も思いつかなかったのか（も…