curryを始めようとしたタイミングで、sumiiさんのITproの連載が、ちょうど良いタイミングで命題論理について。カリー・ハワードの対応というのを初めて知った。それに、古典論理や直感主義論理というのは初めて知ったなぁ。論理学も、大学時代に授業であった…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。