木原貴行

J-GLOBALへ         更新日: 18/10/04 21:25
 
アバター
研究者氏名
木原貴行
eメール
kiharai.nagoya-u.ac.jp
URL
http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html
所属
名古屋大学
部署
情報学研究科
職名
講師
学位
博士(理学)(東北大学)

プロフィール

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

詳細は名古屋大学のページをご確認ください:
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月
東北大学 理学部 数学科
 

経歴

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

受賞

 
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
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

 
Longyun Ding, Takayuki Kihara, Brian Semmes, and Jiafei Zhao
submitted      2018年
Computability of subsets of metric spaces
Zvonko Iljazovic and Takayuki Kihara
accepted      2018年   [査読有り]
Searching for an analogue of ATRTex in the Weihrauch lattice
Takayuki Kihara, Alberto Marcone, and Arno Pauly
in preparation      2018年
Takayuki Kihara
preprint      2017年
Enumeration degrees and non-metrizable topology
Takayuki Kihara, Steffen Lempp, Keng Meng Ng, and Arno Pauly
in preparation      2017年
Ordinal ranks on the Baire and non-Baire class functions
Takayuki Kihara
preprint      2017年
Null additivity in the theory of algorithmic randomness
Takayuki Kihara and Kenshi Miyabe
submitted      2014年
Vassilios Gregoriades, Takayuki Kihara and Keng Meng Ng
submitted      2014年
Takayuki Kihara and Arno Pauly
submitted      2014年
木原貴行
木原貴行
2012年度数学基礎論サマースクール「計算可能性とランダムネス」講義録      2012年9月
Effectively closed sets and degrees of unsolvability
Takayuki Kihara
Ph.D. thesis, in Mathematics, Tohoku University      2011年2月
Degree structures of mass problems and formal systems of Ramsey-type theorems
Takayuki Kihara
Master's thesis, in Mathematics, Tohoku University      2009年2月
木原貴行
京都大学数理解析研究所講究録 [理論計算機科学の新展開]   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月   
TBA [招待有り]
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月   
On the structure of the Wadge degrees of BQO-valued Borel functions [招待有り]
Takayuki Kihara
Logic Seminar at Swansea University   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年2月   
強無限次元カントール多様体による effective forcing について
木原貴行
RIMS 共同研究「証明論と証明活動」   2017年12月   
Borel isomorphisms at the second level
Takayuki Kihara
The 2nd Pan Pacific International Conference on Topology and Applications   2017年11月   
Wadge-like classifications of real valued functions [招待有り]
Takayuki Kihara
Aspects of Computation: in celebration of the research work of Professor Rod Downey   2017年8月   
Martin-like phenomena in the classification of real-valued functions [招待有り]
Takayuki Kihara
Fourteenth International Conference on Computability and Complexity in Analysis (CCA2017), Daejeon, Republic of Korea   2017年7月   
Topological aspects of enumeration degrees [招待有り]
Takayuki Kihara
Dagstuhl Seminar 16081 "Computability Theory", Schloss Dagstuhl, Germany   2017年2月20日   
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日   
多対一次数の一様 Martin 予想と Wadge 次数
木原貴行
名古屋大学ロジックセミナー   2016年9月23日   
The uniform Martin’s conjecture and the Wadge degrees
Takayuki Kihara
Computability Theory and Foundations of Mathematics 2016, Waseda University   2016年9月21日   

競争的資金等の研究課題

 
空間に付随する計算論的構造の不変量としての側面
文部科学省: 科学研究費補助金(研究活動スタート支援)
研究期間: 2017年4月 - 2019年3月    代表者: 木原貴行

研究分野