昨日のPRIDE、ハリトーノフの試合をカットしたのはいただけない。てかハリトーノフの試合って今まで全部編集でカットされてるような気がするんだけど。そんなに人気のない選手なのか。。かなり強いのに。 あと、個人的にかなり有望視していたボブチャンチン…

をざっと読んだ。 時相論理(temporal logic)にnextという演算子を追加して、カリーハワード同型対応によって時相λ計算(temporal lambda calculus)というものが得られる。このtemporal lambda calculusは部分計算(partial evaluation)の解析に向いているとい…