研究者
J-GLOBAL ID：201101075726157479   更新日: 2024年02月01日

木原 貴行

キハラ タカユキ | Kihara Takayuki
所属機関・部署：
名古屋大学 大学院情報学研究科 数理情報学専攻 数理情報基礎論

名古屋大学 大学院情報学研究科 数理情報学専攻 数理情報基礎論 について


職名： 准教授
ホームページURL (2件)： http://www.math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html ,  http://www.math.mi.i.nagoya-u.ac.jp/~kihara/
研究キーワード (9件)： 数学基礎論 ,  数理論理学 ,  計算可能性理論 ,  記述集合論 ,  逆数学 ,  ランダム性 ,  アルゴリズム情報理論 ,  計算可能性解析学 ,  エフェクティブ・トポス
競争的資金等の研究課題 (8件)：
  • 2022 - 2026 幾何様相に基づく構成的逆数学の新展開
  • 2021 - 2025 様相ミュー計算と確率ゲームへの逆数学的アプローチ:ハイブリッド検査法の創出と分析
  • 2020 - 2022 実効記述集合論,計算可能解析学およびオートマトン理論
  • 2019 - 2022 計算可能性理論,記述集合論,位相空間論における階層の究極的解析
  • 2015 - 2020 証明可能性の相転移と逆数学の超臨界
全件表示
論文 (34件)：
  • Takayuki Kihara, Arno Pauly. De Groot duality for represented spaces. Lecture Notes in Computer Science. 2023. 13967. 89-101
  • Takayuki Kihara, Kenta Sasaki. A syntactic approach to Borel functions: Some extensions of Louveau's theorem. Archive for Mathematical Logic. 2023. 62. 1041-1082
  • Takayuki Kihara. Lawvere-Tierney topologies for computability theorists. Transactions of the American Mathematical Society, Series B. 2023. 10. 2. 48-85
  • Matthew de Brecht, Takayuki Kihara, Victor Selivanov. Enumerating classes of effective quasi-Polish spaces. Lecture Notes in Computer Science. 2022. 13359. 88-102
  • Takayuki Kihara, Victor Selivanov. Wadge-like degrees of Borel bqo-valued functions. Proceedings of the American Mathematical Society. 2022. 150. 09. 3989-4003
もっと見る
MISC (4件)：
  • 木原貴行. 実数の集合論とランダムネス(概説). 京都大学数理解析研究所講究録. 2013. 1832. 97-113
  • 木原貴行. ボレル関数の分解問題への計算論の応用. 京都大学数理解析研究所講究録. 2013. 1849. 32-36
  • 木原貴行. 連続体の計算可能性理論. 京都大学数理解析研究所講究録. 2011. 1729. 48-66
  • 木原貴行. 逆数学と逆再帰理論について. 京都大学数理解析研究所講究録. 2009. 1635. 51-59
書籍 (1件)：
  • Handbook of Computability and Complexity in Analysis
    Springer 2021 ISBN:3030592332
講演・口頭発表等 (60件)：
  • De Groot duality for represented spaces
    (RIMS workshop: New frontiers of proof and computation 2023)
  • More on the Intuitionistic Borel Hierarchy
    (CCC 2023: Continuity, Computability, Constructivity: From Logic to Algorithms 2023)
  • 計算可能数学の圏
    (数学基礎論サマースクール2023 2023)
  • On Eight Variants of Formal Church’s Thesis
    (CCR2023: 16th International Conference on Computability, Complexity and Randomness 2023)
  • Topos-theoretic aspect of the degrees of unsolvability
    (From omega to Omega 2023)
もっと見る
Works (8件)：
  • ヒルベルトの第10問題とその仲間たち(数学者の選ぶ「とっておきの数学」)
    木原貴行 2023 - 2023
  • 数学における《計算可能性》の厳密化、抽象化、そして発展(現代思想2023年7月号)
    木原貴行 2023 - 2023
  • 記述集合論/ボレル集合を超えて(数理科学 2022年6月号)
    2022 - 2022
  • 数学基礎論と計算可能性(数理科学 2021年8月号)
    木原貴行 2021 - 2021
  • 逆数学のこころ/白黒ではなく色鮮やかに(数学セミナー 2021年2月号)
    2021 -
もっと見る
学歴 (3件)：
  • 2009 - 2011 東北大学 大学院理学研究科 数学専攻 博士後期課程
  • 2007 - 2009 東北大学 大学院理学研究科 数学専攻 博士前期課程
  • 2003 - 2007 東北大学 理学部 数学科
学位 (1件)：
  • 博士(理学) (東北大学)
経歴 (7件)：
  • 2020/03 - 現在 名古屋大学 大学院情報学研究科 数理情報学専攻 准教授
  • 2017/04 - 2020/02 名古屋大学 大学院情報学研究科 数理情報学専攻 数理情報基礎論 講師
  • 2018/10 - 2019/03 シンガポール南洋理工大学 物理数理科学研究科 客員研究員
  • 2015/05 - 2017/03 カリフォルニア大学バークレー校 数学科 JSPS PD
  • 2012/04 - 2015/03 JAIST 日本学術振興会 特別研究員 PD
全件表示
受賞 (3件)：
  • 2013/01 - ヨーロッパ理論計算機学会 日本支部 LA/EATCS JAPAN 発表論文賞
  • 2011/03 - 川井数理科学財団 博士論文 川井賞
  • 2009/03 - 川井数理科学財団 優秀総説論文賞
所属学会 (3件)：
Association for Symbolic Logic ,  European Association for Theoretical Computer Science ,  日本数学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM