2007年8月10日のブックマーク (2件)

  • 二千花

    ◆ビルボードライブ大阪×ぴあ関西版presents 『Especially Night』出演決定!! ■日時:2008年10月6日(月) 開場19:00 開演19:30 ■会場:ビルボードライブ大阪(梅田) ■出演:二千花/aluto/Dew ※無料(完全招待制) ※ドリンク代別途\500必要 詳細はこちら https://www.pia.co.jp/kansai/form/billboard/ _現在、決定しているライブスケジュールは下記となります_ ◆FMとやま主催「VINTAGE LIVE COLLECTION VOL.22」出演決定!! ■日時:10月2日(木)開場18:30 開演19:00 ■会場:富山club MAIRO(富山市桜町) 今回の出演は、富山初ライブとなるRYTHEMと二千花が登場!! 秋を華やかに彩る女性ヴォーカル

    YOW
    YOW 2007/08/10
    Genius Partyの曲、好きだぞーぃ。映画で気に入ったのは、やっぱ湯浅政明さんかな。
  • 様相論理 - Wikipedia

    様相論理(ようそうろんり、英: modal logic)は、いわゆる古典論理の対象でない、様相(modal)と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である(様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる)。 その歴史は古くアリストテレスまで遡ることができる[1]:138が、形式的な扱いは数理論理学以降、非古典論理としてである。 様相論理では一般に、標準的な論理体系に「~は必然的である」ことを意味する必然性演算子と、「~は可能である」ことを意味する可能性演算子のふたつの演算子が追加される。 真理論的様相と認識論的様相[編集] 様相論理は真理論的(形而上学的、論理的)様相の文脈で語られることが最も多い。この様相においては「~は必然的である」、「~は可能である」といった言明が扱われるが、これは認識論的様相と混同

    YOW
    YOW 2007/08/10
    ちゃんと勉強してみます。>様相論理の意味論としてはソール・クリプキによって与えられたクリプキ意味論と呼ばれる体系があり、それと関係するよく知られたアイディアとして可能世界論がある。