授業の復習と質問。一つ質問してみた。ifは関数なのですか？と聞くと、先生は「いや実はifは関数ではありません」といいう。なぜならifの場合は論理式が真または偽になった場合にどちらかしか評価されないようにしなければならないのだが、どうも関数の引数…

充足可能と「論理的に同値」という意味について。 充足可能はトートロジーの対になる概念で、少なくとも真になる場合がある論理式のことである。 次に「論理的に同値」を示すために、新たな記号Ａ≡Ｂが説明される。これは論理記号的には（Ａ⊃Ｂ）∩（Ｂ⊃Ａ）…

ようやく関数プログラミングらしい話に。ただ、どうでもいいけど、印刷の資料が３００ページ越え。なんでやねん。おもしろかったのは、やはりリカーシブのところ。 前の大学でもSchemeをやったときにフィボナッチ数をこんなに簡単に解ける！というのをやった…

日記が授業の内容ばかりでおもしろくないと思われるかもしれませんが、ほんとうに用事と勉強以外は何もしていません。

研究室でコーヒー豆を買ってくれたらしい。やったぁ。でもコーヒーののむ暇があまりないような。