基本情報

学部兼担

• 総合人間学部

学位

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

ID,URL

• J-Global ID

  201601011757474552

関連Webサイト

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

researchmap URL

• https://researchmap.jp/7000015417

研究

論文

• Overt choice

  Matthew de Brecht; Arno Pauly; Matthias Schroeder

  COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2020年, 査読有り

  
• Domain-complete and LCS-complete Spaces

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

  ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2019年08月, 査読有り

  
• ON THE COMMUTATIVITY OF THE POWERSPACE CONSTRUCTIONS

  Matthew de Brecht; Tatsuji Kawai

  LOGICAL METHODS IN COMPUTER SCIENCE, 2019年, 査読有り

  
• 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, 2018年04月, 査読有り

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

  Matthew de Brecht

  LOGICAL METHODS IN COMPUTER SCIENCE, 2018年, 査読有り

  
• Noetherian Quasi-Polish Spaces

  M. de Brecht; A. Pauly

  Proceedings of the 26th Annual Conference on Computer Science Logic, 2017年, 査読有り

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

  Matthew de Brecht; Matthias Schroeder; Victor Selivanov

  COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2016年, 査読有り

  
• 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年, 査読有り

  
• Quasi-Polish spaces

  Matthew de Brecht

  ANNALS OF PURE AND APPLIED LOGIC, 2013年03月, 査読有り

  
• Closed choice and a Uniform Low Basis Theorem

  Vasco Brattka; Matthew de Brecht; Arno Pauly

  ANNALS OF PURE AND APPLIED LOGIC, 2012年08月, 査読有り

  
• Combining sparseness and smoothness improves classification accuracy and interpretability

  Matthew de Brecht; Noriko Yamagishi

  NEUROIMAGE, 2012年04月, 査読有り

  
• Topological properties of concept spaces (full version)

  Matthew de Brecht; Akihiro Yamamoto

  INFORMATION AND COMPUTATION, 2010年04月, 査読有り

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

  Matthew de Brecht; Akihiro Yamamoto

  THEORETICAL COMPUTER SCIENCE, 2010年02月, 査読有り

  
• 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年, 査読有り

  
• A neural network implementation of a saliency map model

  Matthew de Brecht; Jun Saiki

  NEURAL NETWORKS, 2006年12月, 査読有り

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

  Matthew de Brecht; Akihiro Yamamoto

  2006年

  

教育

担当科目

• 自 2022年04月01日, 至 2023年03月31日

  人工知能

  8225, 後期, 総合人間学部, 2
• 自 2022年04月01日, 至 2023年03月31日

  共生人間学特別研究Ｉ

  O001, 通年, 人間・環境学研究科, 2
• 自 2022年04月01日, 至 2023年03月31日

  国際交流特別実習１

  O037, 前期, 人間・環境学研究科, 2
• 自 2022年04月01日, 至 2023年03月31日

  数理情報論入門

  0057, 前期, 総合人間学部, 2
• 自 2022年04月01日, 至 2023年03月31日

  知的情報処理論

  D036, 後期, 人間・環境学研究科, 2
• 自 2022年04月01日, 至 2023年03月31日

  国際交流実習２

  F026, 後期, 人間・環境学研究科, 2
• 自 2022年04月01日, 至 2023年03月31日

  国際交流特別実習２

  O038, 後期, 人間・環境学研究科, 2
• 自 2022年04月01日, 至 2023年03月31日

  数理情報論演習４A

  D039, 前期, 人間・環境学研究科, 2
• 自 2022年04月01日, 至 2023年03月31日

  数理科学論講究

  8269, 通年集中, 総合人間学部, 8
• 自 2022年04月01日, 至 2023年03月31日

  数理情報論特別演習１

  O023, 前期, 人間・環境学研究科, 2
• 自 2022年04月01日, 至 2023年03月31日

  共生人間学特別研究ＩＩ

  O002, 通年, 人間・環境学研究科, 2
• 自 2022年04月01日, 至 2023年03月31日

  数理情報論特別演習２

  O024, 後期, 人間・環境学研究科, 2
• 自 2022年04月01日, 至 2023年03月31日

  国際交流実習１

  F025, 前期, 人間・環境学研究科, 2
• 自 2022年04月01日, 至 2023年03月31日

  共生人間学研究II

  1002, 通年, 人間・環境学研究科, 4
• 自 2022年04月01日, 至 2023年03月31日

  共生人間学研究I

  1001, 通年, 人間・環境学研究科, 4
• 自 2022年04月01日, 至 2023年03月31日

  数理科学基礎演習

  D014, 前期, 人間・環境学研究科, 2
• 自 2022年04月01日, 至 2023年03月31日

  数理科学特別セミナー

  O034, 通年, 人間・環境学研究科, 2
• 自 2022年04月01日, 至 2023年03月31日

  数理情報論演習４B

  D040, 後期, 人間・環境学研究科, 2
• 自 2016年04月, 至 2017年03月

  ILAS Seminar-E2

  前期, 全学共通科目
• 自 2016年04月, 至 2017年03月

  Information Network-E2

  後期, 全学共通科目
• 自 2016年04月, 至 2017年03月

  Programming Practice(Matlab)-E2

  前期, 全学共通科目
• 自 2016年04月, 至 2017年03月

  基礎演習：Intro to Computation and Logic

  前期, 総合人間学部
• 自 2017年04月, 至 2018年03月

  ILAS Seminar-E2

  前期, 全学共通科目
• 自 2017年04月, 至 2018年03月

  Information Network-E2

  後期, 全学共通科目
• 自 2017年04月, 至 2018年03月

  Programming Practice(Matlab)-E2

  前期, 全学共通科目
• 自 2017年04月, 至 2018年03月

  人工知能

  後期, 総合人間学部
• 自 2017年04月, 至 2018年03月

  基礎演習：Intro to Computation and Logic

  前期, 総合人間学部
• 自 2017年04月, 至 2018年03月

  知的情報処理論

  後期, 人間・環境学研究科
• 自 2018年04月, 至 2019年03月

  ILAS Seminar-E2

  前期, 全学共通科目
• 自 2018年04月, 至 2019年03月

  Information Network-E2

  後期, 全学共通科目
• 自 2018年04月, 至 2019年03月

  Programming Practice(Matlab)-E2

  前期, 全学共通科目
• 自 2018年04月, 至 2019年03月

  人工知能

  後期, 総合人間学部
• 自 2018年04月, 至 2019年03月

  基礎演習：Intro to Computation and Logic

  前期, 総合人間学部
• 自 2018年04月, 至 2019年03月

  知的情報処理論

  後期, 人間・環境学研究科
• 自 2019年04月, 至 2020年03月

  ILAS Seminar-E2

  前期, 全学共通科目
• 自 2019年04月, 至 2020年03月

  Information Network-E2

  後期, 全学共通科目
• 自 2019年04月, 至 2020年03月

  Programming Practice (Matlab)-E2

  前期, 全学共通科目
• 自 2019年04月, 至 2020年03月

  人工知能

  後期, 総合人間学部
• 自 2019年04月, 至 2020年03月

  基礎演習：Intro to Computation and Logic

  前期, 総合人間学部
• 自 2019年04月, 至 2020年03月

  知的情報処理論

  後期, 人間・環境学研究科
• 自 2020年04月, 至 2021年03月

  人工知能

  後期, 総合人間学部
• 自 2020年04月, 至 2021年03月

  共生人間学特別研究ＩＩ（博士科目）

  通年, 人間・環境学研究科
• 自 2020年04月, 至 2021年03月

  共生人間学特別研究Ｉ（博士科目）

  通年, 人間・環境学研究科
• 自 2020年04月, 至 2021年03月

  共生人間学研究I

  通年, 人間・環境学研究科
• 自 2020年04月, 至 2021年03月

  共生人間学研究II

  通年, 人間・環境学研究科
• 自 2020年04月, 至 2021年03月

  国際交流実習１

  前期, 人間・環境学研究科
• 自 2020年04月, 至 2021年03月

  国際交流実習２

  後期, 人間・環境学研究科
• 自 2020年04月, 至 2021年03月

  国際交流特別実習１

  前期, 人間・環境学研究科
• 自 2020年04月, 至 2021年03月

  国際交流特別実習２

  後期, 人間・環境学研究科
• 自 2020年04月, 至 2021年03月

  数理情報論特別演習２（博士科目）

  後期, 人間・環境学研究科
• 自 2020年04月, 至 2021年03月

  数理情報論特別演習１（博士科目）

  前期, 人間・環境学研究科
• 自 2020年04月, 至 2021年03月

  数理科学特別セミナー（博士科目）

  通年, 人間・環境学研究科
• 自 2020年04月, 至 2021年03月

  知的情報処理論

  後期, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  共生人間学特別研究ＩＩ（博士科目）

  通年, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  共生人間学特別研究Ｉ（博士科目）

  通年, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  共生人間学研究I

  通年, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  共生人間学研究II

  通年, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  国際交流実習１

  前期, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  国際交流実習２

  後期, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  国際交流特別実習１

  前期, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  国際交流特別実習２

  後期, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  数理情報基礎論

  後期, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  数理情報論入門

  前期, 総合人間学部
• 自 2021年04月, 至 2022年03月

  数理情報論演習４A

  前期, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  数理情報論演習４B

  後期, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  数理情報論特別演習２（博士科目）

  後期, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  数理情報論特別演習１（博士科目）

  前期, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  数理科学基礎演習

  前期, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  数理科学特別セミナー（博士科目）

  通年, 人間・環境学研究科
• 自 2021年04月, 至 2022年03月

  数理科学論講究

  通年集中, 総合人間学部
• 自 2021年04月, 至 2022年03月

  計算機科学の基礎Ｂ

  後期, 総合人間学部

大学運営

部局運営(役職等)

• 自 2020年04月01日, 至 2021年03月31日

  ホームページ小委員会委員
• 自 2020年04月01日, 至 2021年03月31日

  国際交流委員会委員
• 自 2021年04月01日, 至 2022年03月31日

  ホームページ小委員会委員
• 自 2021年04月01日, 至 2022年03月31日

  国際交流委員会委員
• 自 2022年04月01日, 至 2023年03月31日

  ホームページ小委員会 副委員長
• 自 2022年04月01日, 至 2023年03月31日

  国際交流委員会 委員