■

ようやく『応用論理』の第二章まで読み終える。後でモデルとかちゃんと纏めよう。混乱したまま進むのは不毛だ。