ふむふむ ちなみに、ちょうど『「前二者を知っている」人』で、Curry-Howard 対応を聞きかじった程度の人がここに一人。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。