河村彰星

出張予定など（→記録）

7月17日（金）東京都中央区
7月27日（月）～29日（水）茨城県水戸市
8月26日（水）東京都千代田区
9月7日（月）～8日（火）東京都新宿区
9月14日（月）～15日（火）山梨県甲府市
9月16日（水）～17日（木）福岡県福岡市博多区

輪番割当「6分の5予想」の計算機援用証明：実験データ／プレスリリース

お知らせ（→旧お知らせ）

ダクシュツール・ゼミナール26412「恒久スケジューリングの進展」　令和8年10月
欧洲計算可能性会議（CiE 2026）　令和8年7月
分野協働のための図学2026講演会　令和8年6月
研究集会「連続性、計算可能性、構成性」（CCC）　令和8年5月

講義資料（→先学期までの講義はこちら）

令和8年度後期　九州大学大学院システム情報科学府　情報理工学特別講義　11月??日
令和8年度前期　全学共通科目　現代の数学と数理解析　5月29日分
令和8年度前期　東北大学理学部・大学院理学研究科　　5月18〜22日
演習問題つき計算量理論入門

研究

計算の基礎理論に関する研究を行っています。