翻訳と辞書 Words near each other ・ 線形応答関係 ・ 線形性 ・ 線形拘束オートマトン ・ 線形探索 ・ 線形探索法 ・ 線形攻撃法 ・ 線形方程式 ・ 線形方程式系 ・ 線形時不変システム ・ 線形時不変系 ・ 線形時相論理 ・ 線形時間 ・ 線形汎函数 ・ 線形汎関数 ・ 線形混合モデル ・ 線形演算子 ・ 線形独立 ・ 線形空間 ・ 線形符号 ・ 線形精子 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 線形時相論理 ： ミニ英和和英辞書 線形時相論理[せんけいじそうろんり] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 線形 ： [せんけい] 　【名詞】 1. (1) line　2. straight alignment　3. (2) (gen) (math) linear ・ 形 ： [けい, かたち, ぎょう] 　 1. (suf) shape　2. form　3. 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）』 ■ウィキペディアで「線形時相論理」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.