日々の流転

λ. ILとLTLのF

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

λ. About Schmidt

を観た。

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

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

• 星の屑作戦でブーメラン返し＝毎日新聞・金子秀敏の見当外れなMD批判 : 週刊オブイェクト
• スペースデブリとミサイル防衛 : 週刊オブイェクト
• 底に哀はあるの。2007年2月9日（金曜日）

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