※本記事はロマ数トレラン「カリー・ハワード対応から見る『プログラミング言語、論理システム、圏』」の講師である檜山正幸先生によるカリー・ハワード対応の入 …
2020年6月17日
個別講義や集団講義、また法人・団体向けの研修を行うスペース紹介です。遠人に在住の方や自宅で講義を受けたい方はオンライン講座をご用意しております。よくある質問はこちら
気軽にお問い合わせいただけます。
月曜定休日 11:00 ~ 21:00
フォームに記載の上お問い合わせください。