は、ちょっとランニングを長めに。そうするととても暑くなって汗ですごいことに。あと腹筋が結構きているかも。

オフィスアワーではかなり難しめのお話を。で、課題がでた。がんばらなきゃ。中間試験中だけど。

意味論的な論理学から構文的な論理学のお話へ進む。まずはG.Gentzenの古典命題論理(LK)について。論理結合子ごとの推論規則の説明があって、例としてある論理式から証明が行われたのだが、とてもきれい。驚きました。 で、この推論規則は実は１限目の方法論…

関数式、変数のスコープ、２項演算子について。まず、関数式とは関数を定義ではなく式で表すことができるというもの。ややこしいねぇ。 つぎに、変数のスコープ。同じ変数名を定義したらどうなるかって話だけど、こんなことしちゃだめ！ ２項演算子。これは…

昨日とはうってかわっての快晴。景色がきれい。研究室の冷蔵庫に大量のジュースのストックが・・・。しかもペットボトルが１００円って。いいっすね。