再開第２回目。ジムの経験者の人がいていろいろ教えてもらう。通常の運動がめちゃめちゃきつくなる。

すごーく簡単な健康診断。前の大学よりもいい加減だと思う。すぐに終わった。

この大学は午後は自習時間となるが、各科目に１限ずつ演習をしたり質問をしたりできる時間がある。これをオフィスアワーといい、数理論理学は演習が行われる。この日は今日の復習と、数学的帰納法について。これって、知っていないとできない問題もあるよね…

論理式に関する様々な定義について。命題変数と論理式、論理結合子（いわゆる論理演算子）、論理学におけるトートロジーになどが説明された。 命題変数とはpropostional variableの略なのだが、別に数とは何の関係もないが変数と訳すらしい。これを嫌って命…

を無線でつないでいるのだが、どうも安定した品質の接続ができない。前の大学のBBSに書き込みたくても書き込めない。まあ、放っておいてもいいんだけれど・・・。（関係者の方、これをみていたらすいません）