English
河村彰星
出張予定など
(
→記録
)
9月6日(水)〜8日(金)
大阪府堺市中区
9月9日(土)大阪府大阪市北区
9月25日(月)〜29日(金)
京都府京都市左京区
10月9日(祝)〜13日(金)
中国天津
お知らせ
(
→旧お知らせ
)
第17回到達可能性問題国際会議(RP)
令和5年10月
第17回アジア論理学会議(ALC)
令和5年10月
研究集会
「連続性、計算可能性、構成性」(CCC)
令和5年9月
第35回
カナダ計算幾何会議
(CCCG 2023) 令和5年8月
講義資料
(
→先学期までの講義はこちら
)
令和5年度S期 東京大学教養学部 総合科目F
「計算の理論」5月9日分
令和5年度前期 全学共通科目 現代の数学と数理解析 5月26日分
演習問題つき計算量理論入門
研究
計算の基礎理論に関する研究を行っています。
論文
研究室
院試情報
修士課程入学希望者へ
研究資金等