Basic Information

Faculty

• 総合人間学部

Academic Degree

• 修士（情報学）(京都大学)
• 博士（情報学）(京都大学)

ID,URL

• J-Global ID

  201601011757474552

Website(s) (URL(s))

• https://www.i.h.kyoto-u.ac.jp/users/matthew/

researchmap URL

• https://researchmap.jp/7000015417

Research

Papers

• Overt choice

  Matthew de Brecht; Arno Pauly; Matthias Schroeder

  COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2020, Peer-reviewed

  
• Domain-complete and LCS-complete Spaces

  Matthew de Brecht; Jean Goubault-Larrecq; Xiaodong Jia; Zhenchao Lyu

  ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Aug. 2019, Peer-reviewed

  
• ON THE COMMUTATIVITY OF THE POWERSPACE CONSTRUCTIONS

  Matthew de Brecht; Tatsuji Kawai

  LOGICAL METHODS IN COMPUTER SCIENCE, 2019, Peer-reviewed

  
• The effect of mood state on visual search times for detecting a target in noise: An application of smartphone technology

  Toru Maekawa; Stephen J. Anderson; Matthew de Brecht; Noriko Yamagishi

  PLOS ONE, Apr. 2018, Peer-reviewed

  
• A GENERALIZATION OF A THEOREM OF HUREWICZ FOR QUASI-POLISH SPACES

  Matthew de Brecht

  LOGICAL METHODS IN COMPUTER SCIENCE, 2018, Peer-reviewed

  
• Noetherian Quasi-Polish Spaces

  M. de Brecht; A. Pauly

  Proceedings of the 26th Annual Conference on Computer Science Logic, 2017, Peer-reviewed

  
• Base-complexity classifications of qcb(0)-spaces

  Matthew de Brecht; Matthias Schroeder; Victor Selivanov

  COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2016, Peer-reviewed

  
• Descriptive Set Theory in the Category of Represented Spaces

  Arno Pauly; Matthew de Brecht

  2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, Peer-reviewed

  
• Quasi-Polish spaces

  Matthew de Brecht

  ANNALS OF PURE AND APPLIED LOGIC, Mar. 2013, Peer-reviewed

  
• Closed choice and a Uniform Low Basis Theorem

  Vasco Brattka; Matthew de Brecht; Arno Pauly

  ANNALS OF PURE AND APPLIED LOGIC, Aug. 2012, Peer-reviewed

  
• Combining sparseness and smoothness improves classification accuracy and interpretability

  Matthew de Brecht; Noriko Yamagishi

  NEUROIMAGE, Apr. 2012, Peer-reviewed

  
• Topological properties of concept spaces (full version)

  Matthew de Brecht; Akihiro Yamamoto

  INFORMATION AND COMPUTATION, Apr. 2010, Peer-reviewed

  
• Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data

  Matthew de Brecht; Akihiro Yamamoto

  THEORETICAL COMPUTER SCIENCE, Feb. 2010, Peer-reviewed

  
• Sigma^0_alpha - Admissible Representations (Extended Abstract).

  Matthew de Brecht; Akihiro Yamamoto

  2009

  
• Topological Properties of Concept Spaces.

  Matthew de Brecht; Akihiro Yamamoto

  2008

  
• Inferability of closed set systems from positive data

  Matthew de Brecht; Masanori Kobayashi; Hiroo Tokunaga; Akihiro Yamamoto

  NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2007, Peer-reviewed

  
• A neural network implementation of a saliency map model

  Matthew de Brecht; Jun Saiki

  NEURAL NETWORKS, Dec. 2006, Peer-reviewed

  
• Mind Change Complexity of Inferring Unbounded Unions of Pattern Languages from Positive Data.

  Matthew de Brecht; Akihiro Yamamoto

  2006

  

Education

Teaching subject(s)

• From 01 Apr. 2026, To 31 Mar. 2027

  Fundamentals for Transdisciplinary Research 1

  M226, Spring, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Research in Mathematical Science

  8269, Year-long, Faculty of Integrated Human Studies, 8
• From 01 Apr. 2026, To 31 Mar. 2027

  Human Coexistence II

  1002, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2026, To 31 Mar. 2027

  Human Coexistence I

  1001, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2026, To 31 Mar. 2027

  Research in Human and Environmental Studies II

  KK23, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2026, To 31 Mar. 2027

  Research in Human and Environmental Studies I

  KK22, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2026, To 31 Mar. 2027

  Introduction to Mathematical and Information Sciences

  0060, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Foundation of Computer Science A

  8114, Fall, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Special Seminar in Human and Environmental Studies

  RR07, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Advanced Seminar in Human and Environmental Studies 2

  RR06, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Advanced Seminar in Human and Environmental Studies 1

  RR05, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Advanced Cross-cultural Studies through English 2

  RR14, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Advanced Cross-cultural Studies through English 1

  RR13, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Advanced Research in Human and Environmental Studies II

  RR04, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Special seminar on mathematics informatics1

  O023, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Advanced Studies of Human Coexistence II

  O002, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Advanced Studies of Human Coexistence I

  O001, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Advanced Research in Human and Environmental Studies I

  RR03, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Special seminar on mathematical science

  O034, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Special seminar on mathematical informatics 2

  O024, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Foundation of Mathematical Informatics 1

  AA33, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Exercises for Mathematical Informatics 4B

  AA32, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Exercises for Mathematical Informatics 4A

  AA31, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Cross-cultural Studies Through English 2

  KK19, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Cross-cultural Studies Through English 1

  KK18, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Fundamentals for Transdisciplinary Research 1

  KK02, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Basic Seminar on Mathematical Sciences

  AA01, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Fundamentals for Transdisciplinary Research 1

  M226, Spring, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Research in Mathematical Science

  8269, Year-long, Faculty of Integrated Human Studies, 8
• From 01 Apr. 2025, To 31 Mar. 2026

  Human Coexistence I

  1001, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Human Coexistence II

  1002, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Research in Human and Environmental Studies II

  KK23, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Research in Human and Environmental Studies I

  KK22, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Foundation of Computer Science B

  8115, Fall, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Introduction to Mathematical and Information Sciences

  0060, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Cross-cultural Studies through English 1

  RR13, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Special Seminar in Human and Environmental Studies

  RR07, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Seminar in Human and Environmental Studies 2

  RR06, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Cross-cultural Studies through English 2

  RR14, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Special seminar on mathematical science

  O034, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Special seminar on mathematical informatics 2

  O024, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Special seminar on mathematics informatics1

  O023, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Seminar in Human and Environmental Studies 1

  RR05, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Research in Human and Environmental Studies II

  RR04, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Research in Human and Environmental Studies I

  RR03, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Cross-cultural Studies Through English 1

  KK18, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Fundamentals for Transdisciplinary Research 1

  KK02, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Exercises for Mathematical Informatics 4B

  AA32, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Studies of Human Coexistence II

  O002, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Studies of Human Coexistence I

  O001, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Cross-cultural Studies Through English 2

  KK19, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Exercises for Mathematical Informatics 4A

  AA31, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Foundation of Mathematical Informatics

  AA24, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Basic Seminar on Mathematical Sciences

  AA01, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Research in Mathematical Science

  8269, Year-long, Faculty of Integrated Human Studies, 8
• From 01 Apr. 2024, To 31 Mar. 2025

  Research in Human and Environmental Studies II

  KK23, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Research in Human and Environmental Studies I

  KK22, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Human Coexistence II

  1002, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Human Coexistence I

  1001, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Artificial Intelligence

  8225, Fall, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Introduction to Mathematical and Information Sciences

  0060, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Research in Human and Environmental Studies I

  RR03, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Special seminar on mathematical science

  O034, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Special seminar on mathematical informatics 2

  O024, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Seminar in Human and Environmental Studies 2

  RR06, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Seminar in Human and Environmental Studies 1

  RR05, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Research in Human and Environmental Studies II

  RR04, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Cross-cultural Studies Through English 2

  KK19, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Cross-cultural Studies Through English 1

  KK18, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Fundamentals for Transdisciplinary Research 1

  KK02, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Special seminar on mathematics informatics1

  O023, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Studies of Human Coexistence II

  O002, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Studies of Human Coexistence I

  O001, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Special Seminar in Human and Environmental Studies

  RR07, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Cross-cultural Studies through English 2

  RR14, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Cross-cultural Studies through English 1

  RR13, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Exercises for Mathematical Informatics 4B

  AA32, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Exercises for Mathematical Informatics 4A

  AA31, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Intelligent Information Processing

  AA23, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Basic Seminar on Mathematical Sciences

  AA01, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Reserch in Mathematical Science

  8269, Year-long, Faculty of Integrated Human Studies, 8
• From 01 Apr. 2023, To 31 Mar. 2024

  Human Coexistence I

  1001, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Research in Human and Environmental Studies II

  KK23, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Research in Human and Environmental Studies I

  KK22, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Human Coexistence II

  1002, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Foundation of Computer Science B

  8115, Fall, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Introduction to Mathematical Information Science

  0057, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Cross-cultural Studies through English 2

  RR14, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Cross-cultural Studies through English 1

  RR13, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Research in Human and Environmental Studies II

  RR04, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Research in Human and Environmental Studies I

  RR03, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Special seminar on mathematical science

  O034, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Special Seminar in Human and Environmental Studies

  RR07, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Seminar in Human and Environmental Studies 2

  RR06, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Seminar in Human and Environmental Studies 1

  RR05, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Special seminar on mathematical informatics 2

  O024, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Cross-cultural Studies Through English 2

  KK19, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Cross-cultural Studies Through English 1

  KK18, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Fundamentals for Transdisciplinary Research 1

  KK02, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Special seminar on mathematics informatics1

  O023, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Studies of Human Coexistence II

  O002, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Studies of Human Coexistence I

  O001, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Basic Seminar on Mathematical Sciences

  AA01, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Exercises for Mathematical Informatics 4B

  AA32, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Exercises for Mathematical Informatics 4A

  AA31, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Foundation of Mathematical Informatics

  AA24, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Artificial Intelligence

  8225, Fall, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Advanced Studies of Human Coexistence I

  O001, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Advanced Cross-cultural Studies through English 1

  O037, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Introduction to Mathematical Information Science

  0057, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Intelligent Information Processing

  D036, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Cross-cultural Studies Through English 2

  F026, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Advanced Cross-cultural Studies through English 2

  O038, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Exercises for Mathematical Informatics 4A

  D039, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Reserch in Mathematical Science

  8269, Year-long, Faculty of Integrated Human Studies, 8
• From 01 Apr. 2022, To 31 Mar. 2023

  Special seminar on mathematics informatics1

  O023, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Advanced Studies of Human Coexistence II

  O002, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Special seminar on mathematical informatics 2

  O024, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Cross-cultural Studies Through English 1

  F025, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Human Coexistence II

  1002, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2022, To 31 Mar. 2023

  Human Coexistence I

  1001, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2022, To 31 Mar. 2023

  Basic Seminar on Mathematical Sciences

  D014, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Special seminar on mathematical science

  O034, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Exercises for Mathematical Informatics 4B

  D040, Fall, Graduate School of Human and Environmental Studies, 2
• From Apr. 2016, To Mar. 2017

  ILAS Seminar-E2

  Spring, 全学共通科目
• From Apr. 2016, To Mar. 2017

  Information Network-E2

  Fall, 全学共通科目
• From Apr. 2016, To Mar. 2017

  Programming Practice(Matlab)-E2

  Spring, 全学共通科目
• From Apr. 2016, To Mar. 2017

  Introductory Seminar: Intro to Computation and Logic

  Spring, 総合人間学部
• From Apr. 2017, To Mar. 2018

  ILAS Seminar-E2

  Spring, 全学共通科目
• From Apr. 2017, To Mar. 2018

  Information Network-E2

  Fall, 全学共通科目
• From Apr. 2017, To Mar. 2018

  Programming Practice(Matlab)-E2

  Spring, 全学共通科目
• From Apr. 2017, To Mar. 2018

  Artificial Intelligence

  Fall, 総合人間学部
• From Apr. 2017, To Mar. 2018

  Introductory Seminar: Intro to Computation and Logic

  Spring, 総合人間学部
• From Apr. 2017, To Mar. 2018

  Intelligent Information Processing

  Fall, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  ILAS Seminar-E2

  Spring, 全学共通科目
• From Apr. 2018, To Mar. 2019

  Information Network-E2

  Fall, 全学共通科目
• From Apr. 2018, To Mar. 2019

  Programming Practice(Matlab)-E2

  Spring, 全学共通科目
• From Apr. 2018, To Mar. 2019

  Artificial Intelligence

  Fall, 総合人間学部
• From Apr. 2018, To Mar. 2019

  Introductory Seminar: Intro to Computation and Logic

  Spring, 総合人間学部
• From Apr. 2018, To Mar. 2019

  Intelligent Information Processing

  Fall, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  ILAS Seminar-E2

  Spring, 全学共通科目
• From Apr. 2019, To Mar. 2020

  Information Network-E2

  Fall, 全学共通科目
• From Apr. 2019, To Mar. 2020

  Programming Practice (Matlab)-E2

  Spring, 全学共通科目
• From Apr. 2019, To Mar. 2020

  Artificial Intelligence

  Fall, 総合人間学部
• From Apr. 2019, To Mar. 2020

  Introductory Seminar: Intro to Computation and Logic

  Spring, 総合人間学部
• From Apr. 2019, To Mar. 2020

  Intelligent Information Processing

  Fall, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Artificial Intelligence

  Fall, 総合人間学部
• From Apr. 2020, To Mar. 2021

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Cross-cultural Studies Through English 1

  Spring, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Cross-cultural Studies Through English 2

  Fall, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Advanced Cross-cultural Studies through English 1

  Spring, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Advanced Cross-cultural Studies through English 2

  Fall, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Intelligent Information Processing

  Fall, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Cross-cultural Studies Through English 1

  Spring, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Cross-cultural Studies Through English 2

  Fall, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Advanced Cross-cultural Studies through English 1

  Spring, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Advanced Cross-cultural Studies through English 2

  Fall, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Foundation of Mathematical Informatics

  Fall, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Introduction to Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2021, To Mar. 2022

  Exercises for Mathematical Informatics 4A

  Spring, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Exercises for Mathematical Informatics 4B

  Fall, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2021, To Mar. 2022

  Foundation of Computer Science B

  Fall, 総合人間学部

Participation in PhD Defense

• Studies in Computational Semantics: Question Meaning, Automation, and Evaluation

  FUNAKURA HAYATE, Graduate School of Human and Environmental Studies, Sub-chief Examiner

  23 Mar. 2026
• Quantification learning in Competitive Environments(競争的環境における定量化の学習)

  FUJII SATORU, Graduate School of Human and Environmental Studies, Sub-chief Examiner

  24 Mar. 2025
• Improving efficiency and quality on modeling 3D plasma shape in FFHR by introducing Neural Networks

  HU KUNQI, Graduate School of Human and Environmental Studies, Sub-chief Examiner

  25 Mar. 2024

Administration

Faculty management (title, position)

• From 01 Apr. 2026, To 31 Mar. 2027

  ホームページ小委員会 副委員長
• From 01 Apr. 2026, To 31 Mar. 2028

  自己点検・評価委員会 委員（講座副主任）
• From 01 Apr. 2026, To 31 Mar. 2027

  国際交流委員会 委員
• From 01 Apr. 2026, To 31 Mar. 2027

  数理・情報科学講座　 講座副主任
• From 01 Apr. 2025, To 31 Mar. 2026

  ホームページ小委員会 副委員長
• From 01 Apr. 2025, To 31 Mar. 2026

  国際交流委員会 委員
• From 01 Apr. 2024, To 31 Mar. 2025

  ホームページ小委員会 副委員長
• From 01 Apr. 2024, To 31 Mar. 2025

  国際交流委員会 委員
• From 01 Apr. 2023, To 31 Mar. 2024

  ホームページ小委員会 副委員長
• From 01 Apr. 2023, To 31 Mar. 2024

  国際交流委員会 委員
• From 01 Apr. 2020, To 31 Mar. 2021

  ホームページ小委員会委員
• From 01 Apr. 2020, To 31 Mar. 2021

  国際交流委員会委員
• From 01 Apr. 2021, To 31 Mar. 2022

  ホームページ小委員会委員
• From 01 Apr. 2021, To 31 Mar. 2022

  国際交流委員会委員
• From 01 Apr. 2022, To 31 Mar. 2023

  ホームページ小委員会 副委員長
• From 01 Apr. 2022, To 31 Mar. 2023

  国際交流委員会 委員