河村彰星

出張予定など（→記録）

10月4日（日）～9日（金）独・ワーデルン（ダークシュツール）
10月22日（木）東京都中央区
10月23日（金）東京都千代田区
10月26日（月）宮城県仙台市青葉区
10月27日（火）東京都文京区
11月6日（木）高知県高知市
11月7日（金）福岡県福岡市西区

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

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

第14回日洪シンポジウム「離散数学とその応用」　令和9年6月
国際研究集会「離散数学と算法」（DMA）　令和9年3月
第23回組合せ論若手研究集会　令和9年2月
研究集会「言語・論理・代数と計算機科学」　令和9年2月
金子元先生（筑波大）集中講義「一様分布論とその周辺」　令和8年11月
AI for Math第3回勉強会　令和8年10月
ダークシュツール・ゼミナール26412「恒久スケジューリングの進展」　令和8年10月

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

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

研究

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