国立大学法人 名古屋大学 | 大学院情報学研究科 | 数理情報学専攻 | 数理情報基礎論講座

連絡先

木原 貴行 准教授
名古屋大学 大学院情報学研究科
数理情報学専攻 数理情報基礎論講座
Email: kihara (at) i (dot) nagoya-u (dot) ac (dot) jp
オフィス: 情報学研究科棟 310 [キャンパスマップ]

▼ 略歴・履歴書

ニュース

2020.04. アメリカ,ヨーロッパ,オセアニアなどの研究者と共同で Computability Theory and Applications Online Seminar を立ち上げました.
2019.12/06〜08. 数学基礎論若手の会を開催致しました.講演スライド等も公開しております.
2018.12. 東北大学大学院理学研究科数学専攻において集中講義を行いました:集中講義ノート
2018.10〜2019.03. シンガポール南洋理工大学・物理数理科学研究科 (SPMS) 数理科学専攻 (MAS) に滞在しています.
2018.06〜2018.08. JSPSサマープログラムのホスト研究者として,2ヵ月の間,パリ・エスト・クレテイユ大学(フランス)の博士課程の学生 Paul-Elliot Angles d'Auriac さんを受け入れました.
2017.07. 2017年度春期担当講義のいくつかについて講義ノートを公開しました.
2017.05. 名古屋ロジックセミナーはじめました.

研究プロジェクト

▼ 主な研究分野

▼ 参画中の研究プロジェクト

▼ 過去の研究プロジェクト

研究集会

▼ 2020年度以降の会議:

  1. Dagstuhl Seminar, Descriptive Set Theory and Computable Topology, Schloss Dagstuhl, Germany, 13-17 April, 2020, 招待参加(延期)
  2. Logic Workshop in Nanjing, Nanjing, China, 18-29 May, 2020, 招待参加(中止)
  3. CiE 2020, Computability in Europe 2020: Beyond the Horizon of Computability, Salerno, Italy, June 29-July 3, 2020, 招待講演
  4. Oberwolfach Workshop, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 8-14 November 2020, 招待参加
  5. JPRU 2021, Japan-Russia Workshop on Effective Descriptive Set Theoty, Computable Analysis and Automata, JAIST, Japan, March 17-19, 2021, 運営委員
  6. MLA 2020, Fourth Workshop on Mathematical Logic and its Applications, Kanazawa, Japan, 22-24 March 2021
  7. Oberwolfach Workshop, Computability Theory, Oberwolfach, Germany, 25 Apr-1 May 2021, 招待参加
  8. ASL 2021, Association for Symbolic Logic 2021 North American Annual Meeting, University of Notre Dame, USA, June 22-25, 2021, 特別セッション運営委員
  9. WDCM-2021, Third Workshop on Digitalization and Computable Models, Novosibirsk and Kazan, Russia, June 28 - July 2, 2021, 招待講演
  10. MSJ2021, 2021年度 日本数学会 秋季総合分科会, 千葉大学 理学部, Sep 14-17, 2021, 特別講演
  11. CCC2021, Continuity, Computability, Constructivity From Logic to Algorithms, Online, Sep 20-24, 2021
  12. APM 2021 Algorithmic Presentations in Mathematics, Sirius Mathematics Center, Sochi, Russia, November 8-12, 2021, 招待講演
  13. Dagstuhl Seminar, Descriptive Set Theory and Computable Topology, Schloss Dagstuhl, Germany, 11-19 Nov, 2021, チュートリアル講演
  14. Luminy 2022 New directions in computability theory, March 7-11, 2022, Luminy, France, 招待参加
  15. PLS13, The 13th Panhellenic Logic Symposium, Volos, Greece, 基調講演(延期)

▼ 2019年度の会議:

▼ 2018年度の会議:

▼ 2017年度の会議:

▼ 過去の会議 (2016年度以前; 招待講演・招待参加のみ):

学外における活動

▼ 運営委員,プログラム委員 (2017年度〜):

  1. CCA 2022, Nineteenth International Conference on Computability and Complexity in Analysis, Glenside, PA, USA, May 23-26, 2022, プログラム委員
  2. ASL 2021, Association for Symbolic Logic 2021 North American Annual Meeting, University of Notre Dame, USA, June 22-25, 2021, 特別セッション運営委員
  3. JPRU 2021, Japan-Russia Workshop on Effective Descriptive Set Theoty, Computable Analysis and Automata, JAIST, Japan, March 17-19, 2021, 運営委員
  4. SLS 2018, Sendai Logic School 2018, Akiu, Sendai, Japan, December 7-9, 2018, 運営委員
  5. CCA 2018, Fifteenth International Conference on Computability and Complexity in Analysis, Lake Kochel, Germany, August 5-8, 2018, プログラム委員
  6. CiE 2017, Computability in Europe 2017: Unveiling Dynamics and Complexity, Turku, Finland, June 12-16, 2017, プログラム委員