翻訳と辞書 Words near each other ・ 線型従属 ・ 線型従属なベクトル ・ 線型従属性 ・ 線型微分方程式 ・ 線型応答理論 ・ 線型性 ・ 線型探索 ・ 線型探索法 ・ 線型方程式 ・ 線型方程式系 ・ 線型時相論理 ・ 線型有界作用素 ・ 線型正規 ・ 線型汎函数 ・ 線型汎関数 ・ 線型演算子 ・ 線型漸化式 ・ 線型無関連 ・ 線型独立 ・ 線型独立なベクトル Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 線型時相論理 ： ミニ英和和英辞書 線型時相論理[り] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 型 ： [かた] 　【名詞】 1. mold　2. mould　3. model　4. style　5. shape　6. data type　 ・ 時 ： [とき] 　 1. (n-adv,n) (1) time　2. hour　3. (2) occasion　4. moment　 ・ 時相 ： [じそう] 　(n) (gen) (gram) tense ・ 相 ： [そう] 　【名詞】 1. aspect　2. phase　3. countenance ・ 論 ： [ろん] 　【名詞】 1. (1) argument　2. discussion　3. dispute　4. controversy　5. discourse　6. debate　7. (2) theory　8. doctrine　9. (3) essay　10. treatise　1 1. comment ・ 論理 ： [ろんり] 　【名詞】 1. logic　 ・ 理 ： [り] 　【名詞】 1. reason　 線型時相論理 （ リダイレクト：線形時相論理 ） ： ウィキペディア日本語版 線形時相論理[せんけいじそうろんり] 線形時相論理（せんけいじそうろんり、Linear Temporal Logic、LTL）とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるまでその条件は真であるとかいった将来の出来事について論理式で表すことができる。 ==文法== LTL では変項 $p\_1,\; p\_2,\; ...$ や一般的な論理作用素 $\backslash neg,\backslash or,\backslash and,\backslash rightarrow$ の他に以下の時相様相作用素を使用する: *N （next） *G （globally） *F （in the future） *U （until） *R （release） 最初の3つの作用素は単項演算である。従って、$\backslash phi$ が整論理式であれば、N $\backslash phi$ も整論理式である。最後の2つの作用素は二項演算である。従って、$\backslash phi$ と $\backslash psi$ が整論理式であれば、$\backslash phi$ U $\backslash psi$ も整論理式である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「線形時相論理」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Linear temporal logic 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.