時相とは
・時相論理
時相論理（Temporal Logic）とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。1960年代に Arthur Prior が提唱した様相論理学に基づいた時相論理を特に時制論理（Tense Logic）と呼ぶことがある。その後、そこから発展し、アミール・プヌーリら計算機科学者や論理学者が研究を進めた。
時相論理を最初に研究したのはアリストテレスであった。彼の記したものには一階述語/時相/様相/二値/論理の原始的な記述が多い。存在記号や全称記号を使った論理は一種の一階述語論理である。時間を状態変化として観測する論理は時相論理であり、二値の真理値を使用する論理は二値論理と言える。
「私は腹ペコだ」という文を考えてみよう。この文の意味は時間経過に関わらず一定であるが、その真偽は時間経過によって変化する。あるときは真だし、またあるときは偽である。しかし、同時に真でもあり偽でもあるということはありえない。時相論理では、時と共に真理値の変化する文を扱う。非時相論理では、時間経過によって真理値が変化しない文しか扱えない。
時相の情報をYahoo!JAPANで検索
・時相論理 - Wikipedia
時間を状態変化として観測する論理は時相論理であり、二値の真理値を使用する論理は二値論理と言える。 ... 時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるまで腹ペコだろう」といった文を表現できる。 ...
・線形時相論理 - Wikipedia
線形時相論理. 出典: フリー百科事典『ウィキペディア(Wikipedia) ... や一般的な論理作用素 の他に以下の時相様相作用素を使用する: N (next) ... 線形時相論理で表現できる重要な特性として次の2種類がある。 ...
・arka @Wiki - 動詞・時相詞
つまりアルカでは動詞は「不定詞+時相詞」の形で初めて完成し、不定詞だけでは動詞にならない(但し繋辞を除く) ... アスペクトは時相詞の子音部分が担う. アスペクトは省略できるが、 ... 繋辞(deo)は唯一時相詞を介さなくても良い動詞である。 ...
・[S1-6] 加速度脈波とbaPWV
加速度脈波のb/a(収縮初期陽性波に対する収縮早期陰性波の割合)は収縮初期の時相に含まれており、 ... この時相ではほとんど反射波が存在しないことからb/aは血管壁の伸展性(distensibility) ...
・CiNii 論文 - 拡張リアルタイム時相論理による分散ソフトウェアの形式的検証
... 本稿では,リアルタイム時相論理の表現力を向上させた拡張TCTL ... (1)稠密時間モデルかつ分岐時相論理においてfreeze quantification ...
時相の情報をGoogleで検索
・
時相ウォッチ！：その他リンク集
・ライタ
・感受性
・悪名
・主文
・公民館
・果汁
・食道
・軟体動物
・沼田
・パン
・ｶﾞｸｶﾞｸｶﾞｸﾌﾞﾙﾌﾞﾙﾌﾞﾙﾌﾞﾙﾌﾞﾙﾌﾞﾙﾌﾞﾙ
坂元が小心者であるという事はこのブログの サブタイトル を見ていただければわかると思うのですが… もうアメリカビビリ倒しです… NBAを見たいが為に、齋藤家があるマディソンからバスで5時間のミネソタ州ミネアポリスに降り立ちました。 ...
・再び笑顔
昨夜は夜なべだったが日付変わる前に寝た。入院して初めて、一度も吸引せずに、朝は少し遅起き。 いつもの朝の用足しをすると、午前はとても静かに過ごした。 ここ数日のパターンとして、午後から吸引回数が増え、寝入る前に頻回になるが ...
・アルク・キャット
猫アルクのコンボ終了ー！ 昨日、アイマス分を補充してテンション上がってたので、勢いで終わらせました。 では、さっそくレシピをご紹介〜。 「猫アルク クレセントムーン」 （翡翠 ...
・木曜日
おはようございます(^O^)/ また今日から気が重い仕事ですね(-.-;) こんな変なプレッシャーからはさっさと開放されたいところです(*_*) では布団入り時間いきます。 １時３０分 睡眠時間は……… ２時２０分〜６時４０分 ６時４０分〜７時３０分 ７時 ...
・松本へ現実逃避
先週末は松本へ行ってきましたよ。 理由は現実逃避…もあるんだけど、それだけじゃなくて 実は昨年の秋に旅行した際に泊まった宿、 「さつ木荘」からハガキが来てましてね。 ハガキを持っていくと宿泊代が安くなると 書いてあったんですよ。 ...
・雨カエルで雨キャンプ！
... （これは毎回参加したいくらい） 夜はそのまま炊飯等で全キャンパー集まり楽しいひと時・・・ 相変わらず飲みすぎ悔（食）いすぎの結末でありました。 夜中降り続いた雨は朝にはほぼ止み一安心でしたが ...
・大井町線散歩〜D&DEPARTMENT〜
Home > tokyo > 大井町線散歩〜D&DEPARTMENT〜 Newer Older 大井町線散歩〜D&DEPARTMENT〜 2010-03-07 tokyo お昼の時間になったので九品仏にある D&DEPARTMENT へ向うことにしました。 ...
・72532800 Sec.
今日でまた一つ年をとった。 10代の頃、よく遊びに行ってた時に、 知り合える23才とか、24才の人達はみんなオニーサンオネーサンで、 自分がそのシチュエーションにおかれることなんて全く想像してなかった。 今は逆にその年なんだよね。 ...
・続：初めての人のためのLISP[増補改訂版] 、売れまくり＼(^O^)／
... http://topse.or.jp/ http://www.topse.jp/index.html 予備知識なしに １ヶ月で命題論理，述語論理，時相理論，オートマトン，モデル検査が 学べて御得と大枚を叩いたのですが・・・ 内容もさることながら、そのスピード感に圧倒。 ...
・（結果）二月
【２月の結果】 １４勝３敗 お時給：２，２９５ 貯玉再プレイのメリット：４．３Ｋ 打った機種はパチンコ７機種・スロット２機種 甘大海（アグネス） 甘地中海 甘沖海２ 甘慶次 大海スペシャル 牙狼 Ｆパワフルパレス アイムジャグラーＥＸ ...