English

RIMS共同研究(公開型)

証明論とその周辺


例年行われている証明論を中心とした研究集会です.今年度は下記の要領で開催する予定です.


参加希望の方は,11月8日(金)までに,ytanaka[ at ]ip.kyusan-u.ac.jp宛に,以下の項目をご連絡ください.


過去の証明論研究集会: 2015年度証明論研究集会2017年度証明論研究集会2018年度証明論研究集会


研究代表者:田中義人 (九州産業大学) mail: ytanaka[ at ]ip.kyusan-u.ac.jp


最終更新日:2019/10/04