2017-02-07から1日間の記事一覧

TAPLを読む会(~7章)

2章 数学的準備 用語の定義、もしくは集合とか関係とか列とかについて。二項関係について慣れていれば大丈夫そう。 3章 型無し算術式 boolっぽいやつとnatっぽいやつだけからなる言語を例にとって、今後の概念について説明する。 3.1 対象言語とかメタ言語と…