河村彰星

出張予定など（→記録）

9月7日（月）～8日（火）東京都新宿区
9月14日（月）～16日（水）山梨県甲府市
9月17日（木）福岡県福岡市博多区
9月23日（水祭）北海道札幌市北区
10月4日（日）～9日（金）独・ワーデルン（ダークシュツール）

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

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

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

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

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

研究

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