まず、通常の文章を述語論理で表してみようというもの。例えば、「Ｘは数学が好きだが、彼の友達はみんな数学が嫌いだ」という文章について、M(x)はxが数学が好きなこと、F(x,y)はxはyの友達であるということを示した場合に、どのように表せるだろうか？ 次…

まずは、中間テストの解説。最後の問題が難しかったということだが、その仮定でそれまでの問題で間違えている可能性があることに気づく。やばし。 次に無限のデータ構造、すなわち最後の値を限定しないリストなどについての解説。これは遅延を行うことによっ…

M1の話題といえば「どの研究室を選ぶか？」私の場合はある程度は絞り込めているので、あとは先生のインタビュー次第というところかなぁ。 というか、うちの大学からのアクセスが増えてきたみたい。間違いがあったらコメントで指摘してくださいね。