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

連絡先

木原 貴行 准教授
名古屋大学 大学院情報学研究科
数理情報学専攻 数理情報基礎論講座
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. 名古屋ロジックセミナーはじめました.

研究プロジェクト

▼ 主な研究分野

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

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

研究集会

▼ 2022年度以降の会議:

  1. SAML 2022, Symposium on Advances in Mathematical Logic 2022, 京都大学数理解析研究所, June 21-24, 2022, 招待講演
  2. CiE 2022, Computability in Europe: Revolutions and Revelations in Computability, Swansea, UK, July 11-15m 2022, 招待講演
  3. WDCM 2022, Fourth Workshop on Digitalization and Computable Models, Novosibirsk and Kazan, Russia / online, October 24-29, 2022, 招待講演

▼ 2021年度の会議:

▼ 2020年度の会議:

▼ 2019年度の会議:

▼ 2018年度の会議:

▼ 2017年度の会議:

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

学外における活動

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

  1. WDCM 2022, Fourth Workshop on Digitalization and Computable Models, Novosibirsk and Kazan, Russia / online, October 24-29, 2022, プログラム委員/特別セッション運営委員
  2. Sirius 2022, Sirius workshop on Computing in Topological Structures: Foundations and Implementations, Sirius Mathematical center, Sochi, Russia, June 27-July 1, 2022, 運営委員
  3. CCA 2022, Nineteenth International Conference on Computability and Complexity in Analysis, Glenside, PA, USA, May 23-26, 2022, プログラム委員
  4. JPRU 2022, The 2nd Japan-Russia Workshop on Effective Descriptive Set Theoty, Computable Analysis and Automata, Akita, Japan, March 2-5, 2022, 運営委員
  5. ASL 2021, Association for Symbolic Logic 2021 North American Annual Meeting, University of Notre Dame, USA, June 22-25, 2021, 特別セッション運営委員
  6. JPRU 2021, Japan-Russia Workshop on Effective Descriptive Set Theoty, Computable Analysis and Automata, JAIST, Japan, March 17-19, 2021, 運営委員
  7. SLS 2018, Sendai Logic School 2018, Akiu, Sendai, Japan, December 7-9, 2018, 運営委員
  8. CCA 2018, Fifteenth International Conference on Computability and Complexity in Analysis, Lake Kochel, Germany, August 5-8, 2018, プログラム委員
  9. CiE 2017, Computability in Europe 2017: Unveiling Dynamics and Complexity, Turku, Finland, June 12-16, 2017, プログラム委員