トップ «前の日記(2007-02-10) 最新 次の日記(2007-02-12)» 月表示 編集

日々の流転


2007-02-11 紀元節 [長年日記]

λ. ILとLTLのF

PTQで使われている内包論理 IL では、Fφ という論理式は「それ以降ずっとφが成り立つ」という意味。一方、LTL では Gφ が「それ以降ずっとφが成り立つ」という意味になり、Fφ は「それ以降いつかφが成り立つ」という意味になる。 ちょっと紛らわしいと思った。

λ. About Schmidt

アバウト・シュミット [DVD] を観た。

Tags: TV 映画

λ. 早い話が:星くずのブーメラン=金子秀敏

「あれ? MDで撃墜した場合にデプリって発生したっけ? 仮にそうだとしても随分偏った主張だなぁ」と思っていたが、やはりデプリにはならないようだ。

しかし、軌道速度やら宇宙速度やら、もう「そんなものもあったなぁ」という感じなのが悔しいなぁ。物理の教養が欲しい。

Tags: 時事