木原 貴行

J-GLOBALへ         更新日: 18/11/30 00:23
 
アバター
研究者氏名
木原 貴行
 
キハラ タカユキ
eメール
kiharai.nagoya-u.ac.jp
URL
http://www.math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html
所属
名古屋大学
部署
大学院情報学研究科  数理情報学専攻 数理情報基礎論
職名
講師
科研費研究者番号
80722701

プロフィール

【研究分野】
計算可能性理論 (再帰理論), 次数の理論,計算可能解析学,一般空間における計算可能性と次元論,アルゴリズム情報理論 (計算論的ランダム性の理論), 記述集合論,逆数学など

詳細は名古屋大学のページをご確認ください:
http://www.math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html

写真は2013年度アジア論理学会議の集合写真より (2013年9月撮影)

学歴

 
2009年4月
 - 
2011年3月
東北大学 大学院理学研究科 数学専攻 博士後期課程
 
2007年4月
 - 
2009年3月
東北大学 大学院理学研究科 数学専攻 博士前期課程
 
2003年4月
 - 
2007年3月
東北大学 理学部 数学科
 

経歴

 
2010年4月
 - 
2011年3月
東北大学 理学研究科 数学専攻 日本学術振興会 特別研究員 DC2
 
2011年4月
 - 
2012年3月
東北大学 理学研究科 数学専攻 日本学術振興会 特別研究員 PD
 
2012年4月
 - 
2015年3月
JAIST 日本学術振興会 特別研究員 PD
 
2015年5月
 - 
2017年3月
カリフォルニア大学バークレー校 数学科 JSPS PD
 
2017年4月
 - 
現在
名古屋大学 大学院情報学研究科  数理情報学専攻 数理情報基礎論 講師
 

受賞

 
2013年1月
ヨーロッパ理論計算機学会 日本支部 LA/EATCS JAPAN 発表論文賞
 
2011年3月
川井数理科学財団 博士論文 川井賞
 
2009年3月
川井数理科学財団 優秀総説論文賞
 

論文

 
Takayuki Kihara and Antonio Montalbán
to appear in Transactions of the American Mathematical Society      2018年   [査読有り]
Takayuki Kihara and Antonio Montalbán
Transactions of the American Mathematical Society   370(12) 9025-9044   2018年   [査読有り]
Josef Berger, Hajime Ishihara, Takayuki Kihara and Takako Nemoto
to appear in Archive for Mathematical Logic      2018年   [査読有り]
Takayuki Kihara
Sets and Computations, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore   33 117-155   2017年   [査読有り]
Takayuki Kihara and Arno Pauly
In Proceedings of 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), Leibniz International Proceedings in Informatics (LIPIcs)   58:1-58:14   2016年   [査読有り]
Takayuki Kihara
Logical Methods in Computer Science.   12(4) 1-35   2016年   [査読有り]
Takayuki Kihara
Fundamenta Mathematicae   230 1-13   2015年   [査読有り]
Takayuki Kihara and Kenshi Miyabe
Archive for Mathematical Logic   54(3-4) 329-358   2015年   [査読有り]
Takayuki Kihara
Mathematical Structures in Computer Science   25(8) 1649-1668   2015年   [査読有り]
Kojiro Higuchi and Takayuki Kihara
Annals of Pure and Applied Logic   165(6) 1201-1241   2014年   [査読有り]
Kojiro Higuchi, and Takayuki Kihara
Annals of Pure and Applied Logic   165(5) 1058-1114   2014年   [査読有り]
Takayuki Kihara and Kenshi Miyabe
Journal of Logic and Computation   24(4) 863-882   2014年   [査読有り]
Kojiro Higuchi and Takayuki Kihara
Annals of Pure and Applied Logic   165(9) 1445-1469   2014年   [査読有り]
Makoto Fujiwara, Kojiro Higuchi, and Takayuki Kihara
Mathematical Logic Quarterly   60(3) 136-153   2014年   [査読有り]
Kojiro Higuchi, and Takayuki Kihara
How the World Computes (Turing Centenary Conference, CiE 2012), LNCS   7318 303-312   2012年   [査読有り]
Takayuki Kihara
How the World Computes (Turing Centenary Conference, CiE 2012), LNCS   7318 384-394   2012年   [査読有り]
Takayuki Kihara
Computability   1(2) 131-152   2012年   [査読有り]
Joshua A. Cole, and Takayuki Kihara
Archive for Mathematical Logic   49(1) 1-16   2010年   [査読有り]
Douglas Cenzer, Takayuki Kihara, Rebecca Weber, and Guohua Wu
Tbilisi Mathematical Journal   2 77-94   2009年   [査読有り]

Misc

 
ボレル関数の分解問題への計算論の応用
木原貴行
京都大学数理解析研究所講究録   1849 32-36   2013年
実数の集合論とランダムネス(概説)
木原貴行
京都大学数理解析研究所講究録   1832 97-113   2013年
連続体の計算可能性理論
木原貴行
京都大学数理解析研究所講究録   1729 48-66   2011年
逆数学と逆再帰理論について
木原貴行
京都大学数理解析研究所講究録   1635 51-59   2009年4月

担当経験のある科目

 
 

講演・口頭発表等

 
TBA [招待有り]
Takayuki Kihara
The Sixteenth Asian Logic Conference   2019年5月   
Degrees of non-computability of points in general spaces [招待有り]
Takayuki Kihara
Thirteenth International Conference on Computability, Complexity and Randomness   2018年12月   
Computability Theoretic Methods in Descriptive Set Theory
Takayuki Kihara
Symposium on Advances in Mathematical Logic 2018   2018年9月   
Weihrauch reducibility for some 3rd order principles [招待有り]
Takayuki Kihara
Dagstuhl Seminar, Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis   2018年9月   
On the Structure of the Wadge degrees of BQO-valued Borel functions [招待有り]
Takayuki Kihara
The Logic Colloquium 2018: the 2018 annual European Summer Meeting of the Association for Symbolic Logic   2018年7月   
Weihrauch Counterparts of Reverse Mathematical Principles [招待有り]
Takayuki Kihara
The 2018 North American Annual Meeting of the Association for Symbolic Logic   2018年5月   
The ultimate analysis of some hierarchies under ADTex [招待有り]
木原貴行
手形 L4 研究集会   2018年3月   
Ordinal Ranks on the Baire and non-Baire class functions
Takayuki Kihara
The Second Workshop on Mathematical Logic and its Applications   2018年3月   
Topologizing the degree theory [招待有り]
Takayuki Kihara
Oberwolfach workshop on Computability Theory   2018年1月7日   
強無限次元カントール多様体による effective forcing について
木原貴行
RIMS 共同研究「証明論と証明活動」   2017年12月15日   
Borel isomorphisms at the second level
Takayuki Kihara
The 2nd Pan Pacific International Conference on Topology and Applications   2017年11月13日   
Wadge-like classifications of real valued functions [招待有り]
Takayuki Kihara
Aspects of Computation: in celebration of the research work of Professor Rod Downey   2017年8月28日   Institute for Mathematical Sciences
Martin-like phenomena in the classification of real-valued functions [招待有り]
Takayuki Kihara
Fourteenth International Conference on Computability and Complexity in Analysis (CCA2017)   2017年7月24日   
De Groot duality in computability theory
Takayuki Kihara
The 15th Asian Logic Conference   2017年7月10日   
Topological aspects of enumeration degrees [招待有り]
Takayuki Kihara
Dagstuhl Seminar 16081 "Computability Theory", Schloss Dagstuhl, Germany   2017年2月21日   
The second level Borel isomorphism problem [招待有り]
Takayuki Kihara
Southern Wisconsin Logic Colloquium, University of Wisconsin--Madison, USA   2017年1月23日   
The uniform Martin conjecture and Wadge degrees [招待有り]
Takayuki Kihara
Algorithmic Randomness Interacts with Analysis and Ergodic Theory, Oaxaca, Mexico   2016年12月8日   
Computability-theoretic methods in descriptive set theory [招待有り]
Takayuki Kihara
The Fall 2016 Central Section Meeting of the American Mathematical Society (AMS), University of St. Thomas, Minneapolis, USA   2016年10月29日   
The uniform Martin’s conjecture and the Wadge degrees
Takayuki Kihara
Computability Theory and Foundations of Mathematics 2016, Waseda University   2016年9月21日   
Degrees of unsolvability in topological spaces with countable cs-networks
Takayuki Kihara
Workshop on Mathematical Logic and its Application, Kyoto University   2016年9月17日   

競争的資金等の研究課題

 
空間に付随する計算論的構造の不変量としての側面
日本学術振興会: 科学研究費助成事業
研究期間: 2017年8月 - 2019年3月
証明可能性の相転移と逆数学の超臨界
日本学術振興会: 科学研究費助成事業
研究期間: 2017年4月 - 2020年3月