木原 貴行
キハラ タカユキ (Takayuki Kihara)
更新日: 02/02
基本情報
- 所属
- 名古屋大学 大学院情報学研究科 数理情報学専攻 数理情報基礎論 准教授
- 学位
-
博士（理学）(2011年3月 東北大学)
- researchmap会員ID
- B000001157
- 外部リンク
【研究分野】
私の研究領域は，いわゆる数学基礎論，数理論理学と呼ばれる分野に属します．その中でも特に，計算可能性理論（再帰理論）の全ての領域，証明論の一部，集合論の一部，組合せ論の一部を研究しています．もう少し詳細な区分として，次数の理論，実現可能性理論（および実現可能性トポス），逆数学，記述集合論，計算可能解析学，計算可能位相，アルゴリズム情報理論 (計算論的ランダム性の理論), 整擬順序(WQO)理論などを研究しています．
詳細は名古屋大学のページをご確認ください：
http://www.math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html
写真は2022年撮影．
研究キーワード
9学歴
3-
2009年4月 - 2011年3月
-
2007年4月 - 2009年3月
-
2003年4月 - 2007年3月
経歴
7-
2020年3月 - 現在
-
2017年4月 - 2020年2月
-
2018年10月 - 2019年3月
-
2015年5月 - 2017年3月
-
2012年4月 - 2015年3月
-
2011年4月 - 2012年3月
-
2010年4月 - 2011年3月
受賞
3-
2011年3月
-
2009年3月
主要な論文
34-
Transactions of the American Mathematical Society, Series B 10(2) 48-85 2023年 査読有り
-
Proceedings of the American Mathematical Society 150(09) 3989-4003 2022年 査読有り
-
Forum of Mathematics, Sigma 10(e31) 1-27 2022年 査読有り
-
Israel Journal of Mathematics 252(1) 461-500 2022年 査読有り
-
Journal of Mathematical Logic 2050021 1-41 2021年 査読有り
-
Forum of Mathematics, Sigma 8(e51) 1-12 2020年 査読有り
-
Transactions of the American Mathematical Society 371(11) 7885-7923 2019年 査読有り
-
Transactions of the American Mathematical Society 370(12) 9025-9044 2018年 査読有り
書籍等出版物
1-
Springer 2021年6月5日 (ISBN: 3030592332) 査読有り
Works(作品等)
8-
2023年9月 - 2023年9月
-
2023年7月 - 2023年7月
-
2022年6月 - 2022年6月
-
2021年8月 - 2021年8月 その他
-
2020年11月
-
2019年12月 その他
-
2019年7月 その他
MISC
4-
京都大学数理解析研究所講究録 1832 97-113 2013年
-
京都大学数理解析研究所講究録 1849 32-36 2013年
-
京都大学数理解析研究所講究録 1729 48-66 2011年
-
京都大学数理解析研究所講究録 1635 51-59 2009年4月
講演・口頭発表等
60-
RIMS workshop: New frontiers of proof and computation 2023年12月12日
-
CCC 2023: Continuity, Computability, Constructivity: From Logic to Algorithms 2023年9月27日
-
数学基礎論サマースクール2023 2023年9月13日
-
CCR2023: 16th International Conference on Computability, Complexity and Randomness 2023年7月13日
-
From omega to Omega 2023年6月22日 招待有り
-
ロジックウィンタースクール2023 2023年2月21日
-
数理論理学と構成的数学に関するワークショップ 2023年2月17日
-
第8回山陰基礎論と数学およびその周辺の研究集会 2023年1月8日
-
証明論シンポジウム2022 2022年12月20日
-
Fourth Workshop on Digitalization and Computable Models 2022年10月28日 招待有り
-
The 18th conference on Computability in Europe: Revolutions and Revelations in Computability 2022年7月15日 招待有り
-
Symposium on Advances in Mathematical Logic 2022 2022年6月24日 招待有り
-
International Conference on Computability, Complexity, and Randomness 2022 2022年6月10日
-
The Second Japan-Russia Workshop on Effective Descriptive Set Theoty, Computable Analysis and Automata 2022年3月18日 招待有り
-
Dagstuhl Seminar, Descriptive Set Theory and Computable Topology 招待有り
-
Algorithmic Presentations in Mathematics 招待有り
-
Continuity, Computability, Constructivity From Logic to Algorithms
-
2021年度 日本数学会 秋季総合分科会 招待有り
-
Third Workshop on Digitalization and Computable Models 2021年6月28日 招待有り
-
Oberwolfach Workshop, Computability Theory 2021年4月27日
担当経験のある科目(授業)
25-
2021年 - 2021年
-
2020年 - 2020年
共同研究・競争的資金等の研究課題
8-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2022年4月 - 2026年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2021年4月 - 2025年3月
-
文部科学省 二国間交流事業共同研究 2020年4月 - 2022年3月
-
日本学術振興会 科学研究費補助金 基盤研究(C) 2019年4月 - 2022年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2015年4月 - 2020年3月
-
日本学術振興会 科学研究費補助金 研究活動スタート支援 2017年8月 - 2019年3月
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2012年4月 - 2015年3月
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2010年 - 2011年
学術貢献活動
12-
企画立案・運営等2024年3月11日 - 2024年3月15日
-
企画立案・運営等2023年9月25日 - 2023年9月29日
-
企画立案・運営等2022年6月27日 - 2022年7月1日
-
企画立案・運営等2022年5月23日 - 2022年5月26日
-
企画立案・運営等2022年3月2日 - 2022年3月4日
-
パネル司会・セッションチェア等2021年6月22日 - 2021年6月25日
-
企画立案・運営等2021年3月17日 - 2021年3月19日