【ロマ数トレラン】リーマン予想の主張を理解する~高校数学から始めるゼータ関数零点計算~ 2020.08.22土18時半開演 【ロマ数トレラン】リーマン予想の主張を理解する~高校数学から始めるゼータ関数零点計算~ オンライン Tweet MORE
【ロマ数トレラン】カリー・ハワード対応から見る「プログラミング言語、論理システム、圏」 2020.06.27土15時開演 【ロマ数トレラン】カリー・ハワード対応から見る「プログラミング言語、論理システム、圏」 オンライン Tweet MORE