翻訳と辞書 Words near each other ・ 時田あいみ ・ 時田シロウ ・ 時田優 ・ 時田光 ・ 時田公明 ・ 時田則雄 ・ 時田唯 ・ 時田愛梨 ・ 時田貴司 ・ 時相 ・ 時相線型論理 ・ 時相線形論理 ・ 時相論理 ・ 時短 ・ 時短 (パチンコ) ・ 時短 (労働) ・ 時短生活ガイドSHOW ・ 時短生活ガイドショー ・ 時祭イヴ ・ 時祷 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 時相線型論理 ： ミニ英和和英辞書 時相線型論理[じそう] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 時 ： [とき] 　 1. (n-adv,n) (1) time　2. hour　3. (2) occasion　4. moment　 ・ 時相 ： [じそう] 　(n) (gen) (gram) tense ・ 相 ： [そう] 　【名詞】 1. aspect　2. phase　3. countenance ・ 型 ： [かた] 　【名詞】 1. mold　2. mould　3. model　4. style　5. shape　6. data type　 ・ 論 ： [ろん] 　【名詞】 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.