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

連絡先

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

▼ 略歴・履歴書

ニュース

2018.02. JSPSサマープログラムで,夏の2ヵ月の間,フランスの博士課程の学生 Paul-Elliot Angles d'Auriac さんが滞在予定です.
2017.07. 2017年度春期担当講義のいくつかについて講義ノートを公開しました.
2017.05. 名古屋ロジックセミナーはじめました.

研究プロジェクト

▼ 主な研究分野

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

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

研究集会

▼ 参加予定の会議:

  1. 手形 L4 研究集会, 秋田大学, 26-29 Mar 2018, 招待講演
  2. ASL 2018, The 2018 North American Annual Meeting of the Association for Symbolic Logic, Macomb, Illinois, USA, 16-19 May 2018, 招待講演(セッション特別講演)
  3. LC 2018, The Logic Colloquium 2018: the 2018 annual European Summer Meeting of the Association for Symbolic Logic, University of Udine, Italy, 23-28 July 2018, 招待講演(セッション特別講演)
  4. Dagstuhl Seminar, Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis, Schloss Dagstuhl, Germany, 2-7 September 2018, 招待参加
  5. CCR 2018, Thirteenth International Conference on Computability, Complexity and Randomness, Santiago, Chile, 17-21 December, 招待講演(全体講演)

▼ 過去の会議 (2017年度):

  1. ALC 2017, The 15th Asian Logic Conference, Daejeon, Republic of Korea, 10-14 July 2017.
  2. CCA 2017, Fourteenth International Conference on Computability and Complexity in Analysis, Daejeon, Republic of Korea, 24-27 July 2017, 招待講演(全体講演)
  3. Aspects of Computation: in celebration of the research work of Professor Rod Downey, Institute for Mathematical Sciences, National University of Singapore, 28 Aug-8 Sep, 招待参加
  4. CTFM 2017, Workshop on Computability Theory and the Foundations of Mathematics, Institute for Mathematical Sciences, National University of Singapore, 8-12 Sep, 招待参加
  5. Oberwolfach Seminar, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 5-11 November 2017, 招待参加
  6. 2ndPPICTA, The 2nd Pan Pacific International Conference on Topology and Applications, Busan, Republic of Korea, 13-17, November 2017, 招待講演(セッション講演)
  7. Oberwolfach Seminar, Computability Theory, Oberwolfach, Germany, 7-13 January 2018, 招待参加
  8. MLA 2018, The Second Workshop on Mathematical Logic and its Applications, Kanazawa, Japan, 5-9 March 2018.

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

学外における活動

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

  1. CiE 2017, Computability in Europe 2017: Unveiling Dynamics and Complexity, Turku, Finland, June 12-16, 2017, プログラム委員
  2. CCA 2018, Fifteenth International Conference on Computability and Complexity in Analysis, Lake Kochel, Germany, August 5-8, 2018, プログラム委員

▼ 査読を担当した論文誌等: