おすすめイベント・ゼミ 2020/06/17 論理と圏論のオイシイ話 ※本記事はロマ数トレラン「カリー・ハワード対応から見る『プログラミング言語、論理システム、圏』」の講師である檜山正幸先生によるカリー・ハワード対応の入 …