Login
京都大学の教員等を検索
検索
詳細条件で検索
組織別に探す
DEBRECHT Matthew
デイブレクト マシユー
人間・環境学研究科 共生人間学専攻数理科学講座 准教授
基本情報
研究
教育
大学運営
list
Last Updated :2022/08/06
基本情報
学部兼担
総合人間学部
学位
修士(情報学)(京都大学)
博士(情報学)(京都大学)
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 :2022/08/06
研究
論文
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 :2022/08/06
教育
担当科目
自 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
後期, 総合人間学部
list
Last Updated :2022/08/06
大学運営
部局運営(役職等)
自 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日
国際交流委員会 委員
ページ上部へ戻る