※本記事はロマ数トレラン「カリー・ハワード対応から見る『プログラミング言語、論理システム、圏』」の講師である檜山正幸先生によるカリー・ハワード対応の入門記事になります。ご興味を持った方は是非ゼミにご参加ください。ガイダンス回は無料となっております。 ロマ数トレラン「カリー・ハワード対応から見る『プログラミング言語、論理システム、圏』」のお申し込みはこちらのページよりお願いいたします。⇒http://romanticmathnight.org/1245 数学をする上でほとんどの人が(潜在的にでも)使っている古典論理は、強力で万能な論理です。この記事では、古典論理より非力で小さい論理である連言含意論理というものを話題にします。非力で小さいからといって、つまらないわけではありません。非力で小さい論理を糸口にたどっていった先には、けっこう壮大なメカニズムがあったりします。 古典論理 古典論理の「古
![論理と圏論のオイシイ話|マスログ](https://cdn-ak-scissors.b.st-hatena.com/image/square/0a31123f69469b1071ebed19cfdd6fc8406bceb0/height=288;version=1;width=512/https%3A%2F%2Fwakara.co.jp%2Fsys%2Fwp-content%2Fuploads%2Fka2.jpg)