Login
京都大学の教員等を検索
検索
詳細条件で検索
組織別に探す
DEBRECHT Matthew
デイブレクト マシユー
人間・環境学研究科 人間・環境学専攻数理・情報科学講座 准教授
基本情報
研究
教育
大学運営
list
Last Updated :2025/06/20
基本情報
学部兼担
総合人間学部
学位
修士(情報学)(京都大学)
博士(情報学)(京都大学)
ID,URL
J-Global ID
201601011757474552
関連Webサイト
https://www.i.h.kyoto-u.ac.jp/users/matthew/
researchmap URL
https://researchmap.jp/7000015417
list
Last Updated :2025/06/20
研究
論文
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年
list
Last Updated :2025/06/20
教育
担当科目
自 2025年04月01日
,
至 2026年03月31日
学術越境基礎1
M226, 前期, 国際高等教育院, 2
自 2025年04月01日
,
至 2026年03月31日
数理科学論講究
8269, 通年集中, 総合人間学部, 8
自 2025年04月01日
,
至 2026年03月31日
共生人間学研究I
1001, 通年, 人間・環境学研究科, 4
自 2025年04月01日
,
至 2026年03月31日
共生人間学研究II
1002, 通年, 人間・環境学研究科, 4
自 2025年04月01日
,
至 2026年03月31日
人間・環境学研究II
KK23, 通年, 人間・環境学研究科, 4
自 2025年04月01日
,
至 2026年03月31日
人間・環境学研究I
KK22, 通年, 人間・環境学研究科, 4
自 2025年04月01日
,
至 2026年03月31日
計算機科学の基礎B
8115, 後期, 総合人間学部, 2
自 2025年04月01日
,
至 2026年03月31日
数理・情報科学入門
0060, 前期, 総合人間学部, 2
自 2025年04月01日
,
至 2026年03月31日
国際交流特別実習1
RR13, 前期, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
人間・環境学特別セミナー
RR07, 通年, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
人間・環境学特別演習2
RR06, 後期, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
国際交流特別実習2
RR14, 後期, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
数理科学特別セミナー
O034, 通年, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
数理情報論特別演習2
O024, 後期, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
数理情報論特別演習1
O023, 前期, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
人間・環境学特別演習1
RR05, 前期, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
人間・環境学特別研究II
RR04, 通年, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
人間・環境学特別研究I
RR03, 通年, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
国際交流実習1
KK18, 前期, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
学術越境基礎1
KK02, 前期, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
数理情報論演習4B
AA32, 後期, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
共生人間学特別研究II
O002, 通年, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
共生人間学特別研究I
O001, 通年, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
国際交流実習2
KK19, 後期, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
数理情報論演習4A
AA31, 前期, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
数理情報基礎論
AA24, 後期, 人間・環境学研究科, 2
自 2025年04月01日
,
至 2026年03月31日
数理科学基礎演習
AA01, 前期, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
数理科学論講究
8269, 通年集中, 総合人間学部, 8
自 2024年04月01日
,
至 2025年03月31日
人間・環境学研究II
KK23, 通年, 人間・環境学研究科, 4
自 2024年04月01日
,
至 2025年03月31日
人間・環境学研究I
KK22, 通年, 人間・環境学研究科, 4
自 2024年04月01日
,
至 2025年03月31日
共生人間学研究II
1002, 通年, 人間・環境学研究科, 4
自 2024年04月01日
,
至 2025年03月31日
共生人間学研究I
1001, 通年, 人間・環境学研究科, 4
自 2024年04月01日
,
至 2025年03月31日
人工知能
8225, 後期, 総合人間学部, 2
自 2024年04月01日
,
至 2025年03月31日
数理・情報科学入門
0060, 前期, 総合人間学部, 2
自 2024年04月01日
,
至 2025年03月31日
人間・環境学特別研究I
RR03, 通年, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
数理科学特別セミナー
O034, 通年, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
数理情報論特別演習2
O024, 後期, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
人間・環境学特別演習2
RR06, 後期, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
人間・環境学特別演習1
RR05, 前期, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
人間・環境学特別研究II
RR04, 通年, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
国際交流実習2
KK19, 後期, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
国際交流実習1
KK18, 前期, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
学術越境基礎1
KK02, 前期, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
数理情報論特別演習1
O023, 前期, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
共生人間学特別研究II
O002, 通年, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
共生人間学特別研究I
O001, 通年, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
人間・環境学特別セミナー
RR07, 通年, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
国際交流特別実習2
RR14, 後期, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
国際交流特別実習1
RR13, 前期, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
数理情報論演習4B
AA32, 後期, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
数理情報論演習4A
AA31, 前期, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
知的情報処理論
AA23, 後期, 人間・環境学研究科, 2
自 2024年04月01日
,
至 2025年03月31日
数理科学基礎演習
AA01, 前期, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
数理科学論講究
8269, 通年集中, 総合人間学部, 8
自 2023年04月01日
,
至 2024年03月31日
共生人間学研究I
1001, 通年, 人間・環境学研究科, 4
自 2023年04月01日
,
至 2024年03月31日
人間・環境学研究II
KK23, 通年, 人間・環境学研究科, 4
自 2023年04月01日
,
至 2024年03月31日
人間・環境学研究I
KK22, 通年, 人間・環境学研究科, 4
自 2023年04月01日
,
至 2024年03月31日
共生人間学研究II
1002, 通年, 人間・環境学研究科, 4
自 2023年04月01日
,
至 2024年03月31日
計算機科学の基礎B
8115, 後期, 総合人間学部, 2
自 2023年04月01日
,
至 2024年03月31日
数理情報論入門
0057, 前期, 総合人間学部, 2
自 2023年04月01日
,
至 2024年03月31日
国際交流特別実習2
RR14, 後期, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
国際交流特別実習1
RR13, 前期, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
人間・環境学特別研究II
RR04, 通年, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
人間・環境学特別研究I
RR03, 通年, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
数理科学特別セミナー
O034, 通年, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
人間・環境学特別セミナー
RR07, 通年, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
人間・環境学特別演習2
RR06, 後期, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
人間・環境学特別演習1
RR05, 前期, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
数理情報論特別演習2
O024, 後期, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
国際交流実習2
KK19, 後期, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
国際交流実習1
KK18, 前期, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
学術越境基礎1
KK02, 前期, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
数理情報論特別演習1
O023, 前期, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
共生人間学特別研究II
O002, 通年, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
共生人間学特別研究I
O001, 通年, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
数理科学基礎演習
AA01, 前期, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
数理情報論演習4B
AA32, 後期, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
数理情報論演習4A
AA31, 前期, 人間・環境学研究科, 2
自 2023年04月01日
,
至 2024年03月31日
数理情報基礎論
AA24, 後期, 人間・環境学研究科, 2
自 2022年04月01日
,
至 2023年03月31日
人工知能
8225, 後期, 総合人間学部, 2
自 2022年04月01日
,
至 2023年03月31日
共生人間学特別研究I
O001, 通年, 人間・環境学研究科, 2
自 2022年04月01日
,
至 2023年03月31日
国際交流特別実習1
O037, 前期, 人間・環境学研究科, 2
自 2022年04月01日
,
至 2023年03月31日
数理情報論入門
0057, 前期, 総合人間学部, 2
自 2022年04月01日
,
至 2023年03月31日
知的情報処理論
D036, 後期, 人間・環境学研究科, 2
自 2022年04月01日
,
至 2023年03月31日
国際交流実習2
F026, 後期, 人間・環境学研究科, 2
自 2022年04月01日
,
至 2023年03月31日
国際交流特別実習2
O038, 後期, 人間・環境学研究科, 2
自 2022年04月01日
,
至 2023年03月31日
数理情報論演習4A
D039, 前期, 人間・環境学研究科, 2
自 2022年04月01日
,
至 2023年03月31日
数理科学論講究
8269, 通年集中, 総合人間学部, 8
自 2022年04月01日
,
至 2023年03月31日
数理情報論特別演習1
O023, 前期, 人間・環境学研究科, 2
自 2022年04月01日
,
至 2023年03月31日
共生人間学特別研究II
O002, 通年, 人間・環境学研究科, 2
自 2022年04月01日
,
至 2023年03月31日
数理情報論特別演習2
O024, 後期, 人間・環境学研究科, 2
自 2022年04月01日
,
至 2023年03月31日
国際交流実習1
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日
数理情報論演習4B
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月
共生人間学特別研究II(博士科目)
通年, 人間・環境学研究科
自 2020年04月
,
至 2021年03月
共生人間学特別研究I(博士科目)
通年, 人間・環境学研究科
自 2020年04月
,
至 2021年03月
共生人間学研究I
通年, 人間・環境学研究科
自 2020年04月
,
至 2021年03月
共生人間学研究II
通年, 人間・環境学研究科
自 2020年04月
,
至 2021年03月
国際交流実習1
前期, 人間・環境学研究科
自 2020年04月
,
至 2021年03月
国際交流実習2
後期, 人間・環境学研究科
自 2020年04月
,
至 2021年03月
国際交流特別実習1
前期, 人間・環境学研究科
自 2020年04月
,
至 2021年03月
国際交流特別実習2
後期, 人間・環境学研究科
自 2020年04月
,
至 2021年03月
数理情報論特別演習2(博士科目)
後期, 人間・環境学研究科
自 2020年04月
,
至 2021年03月
数理情報論特別演習1(博士科目)
前期, 人間・環境学研究科
自 2020年04月
,
至 2021年03月
数理科学特別セミナー(博士科目)
通年, 人間・環境学研究科
自 2020年04月
,
至 2021年03月
知的情報処理論
後期, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
共生人間学特別研究II(博士科目)
通年, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
共生人間学特別研究I(博士科目)
通年, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
共生人間学研究I
通年, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
共生人間学研究II
通年, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
国際交流実習1
前期, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
国際交流実習2
後期, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
国際交流特別実習1
前期, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
国際交流特別実習2
後期, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
数理情報基礎論
後期, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
数理情報論入門
前期, 総合人間学部
自 2021年04月
,
至 2022年03月
数理情報論演習4A
前期, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
数理情報論演習4B
後期, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
数理情報論特別演習2(博士科目)
後期, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
数理情報論特別演習1(博士科目)
前期, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
数理科学基礎演習
前期, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
数理科学特別セミナー(博士科目)
通年, 人間・環境学研究科
自 2021年04月
,
至 2022年03月
数理科学論講究
通年集中, 総合人間学部
自 2021年04月
,
至 2022年03月
計算機科学の基礎B
後期, 総合人間学部
博士学位審査
Quantification learning in Competitive Environments(競争的環境における定量化の学習)
藤井 慧, 人間・環境学研究科, 副査
2025年03月24日
Improving efficiency and quality on modeling 3D plasma shape in FFHR by introducing Neural Networks (ニューラルネットワークを用いるFFHRにおける三次元プラズマ形状のモデリングの効率と質の向上)
HU KUNQI, 人間・環境学研究科, 副査
2024年03月25日
list
Last Updated :2025/06/20
大学運営
部局運営(役職等)
自 2025年04月01日
,
至 2026年03月31日
ホームページ小委員会 副委員長
自 2025年04月01日
,
至 2026年03月31日
国際交流委員会 委員
自 2024年04月01日
,
至 2025年03月31日
ホームページ小委員会 副委員長
自 2024年04月01日
,
至 2025年03月31日
国際交流委員会 委員
自 2023年04月01日
,
至 2024年03月31日
ホームページ小委員会 副委員長
自 2023年04月01日
,
至 2024年03月31日
国際交流委員会 委員
自 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日
国際交流委員会 委員
ページ上部へ戻る