2005-11-13から1日間の記事一覧

"Inexact knowledge"

p236まで読了。Supprise Examination Paradoxを"Margines of Error"理論に則りmodal logicで形式化。 どうでもいいけれど、例えば"ME"理論はTruth degree theory(例えばfuzzyだけど、どちらかというと真理値が何らかのalgebraになるようなものの方が直感的…

起床は11時半。少し風邪で消化不良気味。論文と本を読み、「攻殻機動隊」の録画したDVDを見てすごす。夕方阪急駅に行き、本屋で「カフカ寓話集」を購入。マグロと餃子を買って帰り、夕食に。夕食後は「Cowboy Bebop」の録画を見る。