私は、自分のことについて考えると、悪い点しか出て来ない。 例えば、頭の悪さとか、努力を怠っていた事実、また勉強以外でも容姿や性格の悪さや会話力の無さなどもう沢山ある。 そのような現実を突きつけられた時、今までは現実逃避するか、憂鬱になるかの…

(またレイアウトがうまくいってなくて読みずらいかと思います. すみません. ) 様相論理の意味論ではKripke structureが用いられることが多いのですが, 最近Aumann sructureというものを勉強したのでメモします. もともとAumannは経済学で有名な人で, このAum…

(数式を中央にもっていくとか定理環境などレイアウトがうまくいってません. わかり次第更新したいです. ) 認識論理は様相論理の一分野です. 具体的には, 様相オペレーターとしてを導入し, を「agent はを知っている」と解釈します. また, 関係記号としてを導…

はじめまして. poyaと言います. 以前までは他のブログを使っていましたが, はてなブログは数式がきれいに書けるそうなので, 移行しました. 重要そうな記事は少しづつこっちにあげなおそうと思っています. (自己紹介) 関東の大学の数学科に所属している大学4…