日記 2017/07/08(日)

最近,ひょんなことから後輩のブログを見つけたので読んでいたら,久しぶりにブログを書きたくなって来たので,書く.ついでに,以前,とある教員に「早くブログを書け1」と催促されていたのも思い出した.

さて,書こうと思ったは良いが,昼夜逆転してしまったせいで,まだ「2017/07/08(日)が始まったばかり」という感じであって,全然書くことがない.どうしたものか.

後輩と論理学ゼミをやっているので,命題論理の意味論について復習していた.

毎回思うことだが,「命題論理の意味論」という言葉は少し仰々しい.実際にやっていることは,単に命題論理の論理式に真理値を割り当てる手続きを与えているだけだからである.

統語論のときに,「命題変数\(p,q,r,\ldots\)は,原子命題を動く変数であると考える」と言ってしまったので,解釈の定義が「命題変数全体の集合 から 真理値の集合 への写像」というのは,ちょっとあっけない感じがすると思う.「命題変数とは,原子命題を動く変数である」という説明が仰々しすぎるのかな(むしろ,嘘なのかも).でも,気持ちとしては正しいと思うし,形式化の動機を説明し始めると絶対そうなるはずなんだけど.でも,この説明は,解釈を導入するときに混乱を招く.うーん,悩みどころだなあ.

こんなところはさっさと終えて,はやく証明論の話にいきたい.証明論の話は,説明しやすいし,アイデアはわかりやすいと思う.具体的な証明をかけるようになるのは,また別の難しさがあるけど….

金欠的な意味で勝負の土日だったが,あと8時間ぐらいで,とりあえず給料が下ろせるようになる(はず).今日の昼は,チーズナンを食べに行こう.


  1. 「早くブログを書け」と言われて早くも2ヶ月以上経過している.

日記 2017/03/26

やや体調が悪くて,わりとゆっくりしていた. その分自分の数学が捗った.

日記 2017/03/24

昨日は書きにくいことが色々あって疲れた.

酔った勢いで,某会のLTの申し込みなどをしたけど, 話すことはたくさんあるので別に良い.

なるべく毎日この日記を書くようにしたいが,なかなか難しいなあ.

日記 2017/03/22

ギリギリ午前起床. 午前中は,院試の勉強のため,データ構造とアルゴリズムと,オートマトンと言語理論の問題をちょこっと作った.

午後はそれらの問題を解いてもらいながら,ダラダラしていた. 特に進捗はなし.

日記 2017/03/20

午前中は,某HaskellSkype勉強会に参加していた.Functorとか,Applicative Functorとか. まだ圏論Haskellのつながりがよくわかっていない.

午後は,ブログを開設したり,\(\LaTeX\)でレイアウトに苦戦したりした. そのあと,久しぶりに自分の数学をした.とはいえ,プログラム運算をちょっと復習しただけ.