午前中の続き。exec関数っていろいろ種類がある。なんていうはなし。forkがあの食べ物のforkと同じとは知らず。「分岐する」という意味があるとは知りませんでした。

午前中がかなりやばかったのにもかかわらず、さらに難しい内容。かなり焦る。 ただ、より具体的な内容でわかりやすかった。ハッセの図という「離散数学」でも少し出てきた図を使って、具体的にどう定義するのかというお話。 なるほどと思ったのは、 Uには≦の…

いきなり、クイズ。クイズというのは小テスト。なんでも、図形のエディタ用のデータ構造を定義しなさいとか、それを表示するロジックを考えろなどというもの。 それほど難しくないものの、いまいち問題の意味が採りづらいところがあり、時間もなく、失敗した…

述語論理における変数の代入について。代入とは論理式に現れる自由変数を（正確には自由な出現を）ある項ｔで置き換えることである。 ここで、問題が生じるのは、この新しい項ｔともともとの束縛変数がかぶると論理式の意味が変わってしまうということである…