【ロマ数トレラン】カリー・ハワード対応から見る「プログラミング言語、論理システム、圏」 2020.06.27土15時開演 【ロマ数トレラン】カリー・ハワード対応から見る「プログラミング言語、論理システム、圏」 オンライン Tweet MORE