English
例年行われている証明論を中心とした研究集会です.今年度は下記の要領で開催する予定です.
参加希望の方は,11月8日(金)までに,ytanaka[ at ]ip.kyusan-u.ac.jp宛に,以下の項目をご連絡ください.
過去の証明論研究集会: 2015年度証明論研究集会, 2017年度証明論研究集会, 2018年度証明論研究集会
研究代表者:田中義人 (九州産業大学) mail: ytanaka[ at ]ip.kyusan-u.ac.jp