• 追加された行はこの色です。
  • 削除された行はこの色です。
  • LTL へ行く。
TITLE: 線形時相論理（Linear Temporal Logic、LTL)

-  [http://ja.wikipedia.org/wiki/%E7%B7%9A%E5%BD%A2%E6%99%82%E7%9B%B8%E8%AB%96%E7%90%86 線形時相論理]@Wikipedia