河村彰星

出張予定など（→記録）

11月4日（火）東京都文京区
11月21日（金）福岡県福岡市西区
11月22日（土）〜23日（日）東京都府中市
1月26日（月）〜28日（水）京都府京都市左京区
3月9日（月）　岡山県岡山市北区
3月16日（月）〜18日（水）島根県松江市
3月20日（金）〜21日（土）兵庫県神戸市中央区
3月28日（土）〜29日（日）沖縄県豊見城市
5月13日（水）東京都千代田区
5月18日（月）〜22日（金）宮城県仙台市青葉区
5月27日（水）〜30日（土）京都府京都市左京区
6月13日（土）東京都目黒区
6月18日（木）〜19日（金）京都府京都市左京区

輪番割当「6分の5予想」の計算機援用証明

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

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

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

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

研究

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