おしごと

研究の話をまったく書かないと働いていないように思われそうなので書いてみる。いつも型やらlogical relationやらbisimulationやらの話をやっているわけですが、できあがってから見てみると当たり前のことばかりで、何で今まで誰も思いつかなかったのか（もっというと、こんなに簡単にできるのに、なんでみんな複雑な理論ばかり提案するのか）という感じがします。これが後知恵というやつでしょうか。