DEBRECHT MatthewJoseph

Last Update: 2021/06/24 17:18:30

Print

Name(Kanji/Kana/Abecedarium Latinum)
DEBRECHT Matthew/デイブレクト マシユー/Debrecht, Matthew
Primary Affiliation(Org1/Job title)
Graduate Schools Human and Environmental Studies/Associate Professor
Faculty
Org1 Job title
総合人間学部
Academic Degree
Field(Japanese) Field(English) University(Japanese) University(English) Method
修士(情報学) 京都大学
博士(情報学) 京都大学
Personal Website(s) (URL(s))
URL
https://www.i.h.kyoto-u.ac.jp/users/matthew/
researchmap URL
https://researchmap.jp/7000015417
Published Papers
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
Matthew de Brecht, Arno Pauly, Matthias Schroeder Matthew de Brecht, Arno Pauly, Matthias Schroeder Matthew de Brecht, Arno Pauly, Matthias Schroeder Overt choice Overt choice Overt choice COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 9, 3-4, 169-191 COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 9, 3-4, 169-191 COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 9, 3-4, 169-191 2020 Refereed English Research paper(scientific journal) Disclose to all
Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia, Zhenchao Lyu Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia, Zhenchao Lyu Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia, Zhenchao Lyu Domain-complete and LCS-complete Spaces Domain-complete and LCS-complete Spaces Domain-complete and LCS-complete Spaces ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 345, 3-35 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 345, 3-35 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 345, 3-35 2019/08 Refereed English Research paper(international conference proceedings) Disclose to all
Matthew de Brecht, Tatsuji Kawai Matthew de Brecht, Tatsuji Kawai Matthew de Brecht, Tatsuji Kawai ON THE COMMUTATIVITY OF THE POWERSPACE CONSTRUCTIONS ON THE COMMUTATIVITY OF THE POWERSPACE CONSTRUCTIONS ON THE COMMUTATIVITY OF THE POWERSPACE CONSTRUCTIONS LOGICAL METHODS IN COMPUTER SCIENCE, 15, 3 LOGICAL METHODS IN COMPUTER SCIENCE, 15, 3 LOGICAL METHODS IN COMPUTER SCIENCE, 15, 3 2019 Refereed English Research paper(scientific journal) Disclose to all
Toru Maekawa, Stephen J. Anderson, Matthew de Brecht, Noriko Yamagishi Toru Maekawa, Stephen J. Anderson, Matthew de Brecht, Noriko Yamagishi Toru Maekawa, Stephen J. Anderson, Matthew de Brecht, Noriko Yamagishi The effect of mood state on visual search times for detecting a target in noise: An application of smartphone technology The effect of mood state on visual search times for detecting a target in noise: An application of smartphone technology The effect of mood state on visual search times for detecting a target in noise: An application of smartphone technology PLOS ONE, 13, 4 PLOS ONE, 13, 4 PLOS ONE, 13, 4 2018/04 Refereed English Research paper(scientific journal) Disclose to all
Matthew de Brecht Matthew de Brecht Matthew de Brecht A GENERALIZATION OF A THEOREM OF HUREWICZ FOR QUASI-POLISH SPACES A GENERALIZATION OF A THEOREM OF HUREWICZ FOR QUASI-POLISH SPACES A GENERALIZATION OF A THEOREM OF HUREWICZ FOR QUASI-POLISH SPACES LOGICAL METHODS IN COMPUTER SCIENCE, 14, 1, 1-18 LOGICAL METHODS IN COMPUTER SCIENCE, 14, 1, 1-18 LOGICAL METHODS IN COMPUTER SCIENCE, 14, 1, 1-18 2018 Refereed English Research paper(scientific journal) Disclose to all
M. de Brecht, A. Pauly M. de Brecht, A. Pauly M. de Brecht, A. Pauly Noetherian Quasi-Polish Spaces Noetherian Quasi-Polish Spaces Noetherian Quasi-Polish Spaces Proceedings of the 26th Annual Conference on Computer Science Logic, 82, 1-17 Proceedings of the 26th Annual Conference on Computer Science Logic, 82, 1-17 Proceedings of the 26th Annual Conference on Computer Science Logic, 82, 1-17 2017 Refereed English Research paper(international conference proceedings) Disclose to all
Matthew de Brecht, Matthias Schroeder, Victor Selivanov Matthew de Brecht, Matthias Schroeder, Victor Selivanov Matthew de Brecht, Matthias Schroeder, Victor Selivanov Base-complexity classifications of qcb(0)-spaces Base-complexity classifications of qcb(0)-spaces Base-complexity classifications of qcb(0)-spaces COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 5, 1, 75-102 COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 5, 1, 75-102 COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 5, 1, 75-102 2016 Refereed English Research paper(scientific journal) Disclose to all
Arno Pauly, Matthew de Brecht Arno Pauly, Matthew de Brecht Arno Pauly, Matthew de Brecht Descriptive Set Theory in the Category of Represented Spaces Descriptive Set Theory in the Category of Represented Spaces Descriptive Set Theory in the Category of Represented Spaces 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 438-449 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 438-449 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 438-449 2015 Refereed English Research paper(international conference proceedings) Disclose to all
Matthew de Brecht Matthew de Brecht Matthew de Brecht Quasi-Polish spaces Quasi-Polish spaces Quasi-Polish spaces ANNALS OF PURE AND APPLIED LOGIC, 164, 3, 356-381 ANNALS OF PURE AND APPLIED LOGIC, 164, 3, 356-381 ANNALS OF PURE AND APPLIED LOGIC, 164, 3, 356-381 2013/03 Refereed English Research paper(scientific journal) Disclose to all
Vasco Brattka, Matthew de Brecht, Arno Pauly Vasco Brattka, Matthew de Brecht, Arno Pauly Vasco Brattka, Matthew de Brecht, Arno Pauly Closed choice and a Uniform Low Basis Theorem Closed choice and a Uniform Low Basis Theorem Closed choice and a Uniform Low Basis Theorem ANNALS OF PURE AND APPLIED LOGIC, 163, 8, 986-1008 ANNALS OF PURE AND APPLIED LOGIC, 163, 8, 986-1008 ANNALS OF PURE AND APPLIED LOGIC, 163, 8, 986-1008 2012/08 Refereed English Research paper(scientific journal) Disclose to all
Matthew de Brecht, Noriko Yamagishi Matthew de Brecht, Noriko Yamagishi Matthew de Brecht, Noriko Yamagishi Combining sparseness and smoothness improves classification accuracy and interpretability Combining sparseness and smoothness improves classification accuracy and interpretability Combining sparseness and smoothness improves classification accuracy and interpretability NEUROIMAGE, 60, 2, 1550-1561 NEUROIMAGE, 60, 2, 1550-1561 NEUROIMAGE, 60, 2, 1550-1561 2012/04 Refereed English Research paper(scientific journal) Disclose to all
Matthew de Brecht, Akihiro Yamamoto Matthew de Brecht, Akihiro Yamamoto Matthew de Brecht, Akihiro Yamamoto Topological properties of concept spaces (full version) Topological properties of concept spaces (full version) Topological properties of concept spaces (full version) INFORMATION AND COMPUTATION, 208, 4, 327-340 INFORMATION AND COMPUTATION, 208, 4, 327-340 INFORMATION AND COMPUTATION, 208, 4, 327-340 2010/04 Refereed English Research paper(scientific journal) Disclose to all
Matthew de Brecht, Akihiro Yamamoto Matthew de Brecht, Akihiro Yamamoto Matthew de Brecht, Akihiro Yamamoto Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data THEORETICAL COMPUTER SCIENCE, 411, 7-9, 976-985 THEORETICAL COMPUTER SCIENCE, 411, 7-9, 976-985 THEORETICAL COMPUTER SCIENCE, 411, 7-9, 976-985 2010/02 Refereed English Research paper(scientific journal) Disclose to all
Matthew de Brecht, Masanori Kobayashi, Hiroo Tokunaga, Akihiro Yamamoto Matthew de Brecht, Masanori Kobayashi, Hiroo Tokunaga, Akihiro Yamamoto Matthew de Brecht, Masanori Kobayashi, Hiroo Tokunaga, Akihiro Yamamoto Inferability of closed set systems from positive data Inferability of closed set systems from positive data Inferability of closed set systems from positive data NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4384, 265-275 NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4384, 265-275 NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4384, 265-275 2007 Refereed English Research paper(international conference proceedings) Disclose to all
Matthew de Brecht, Jun Saiki Matthew de Brecht, Jun Saiki Matthew de Brecht, Jun Saiki A neural network implementation of a saliency map model A neural network implementation of a saliency map model A neural network implementation of a saliency map model NEURAL NETWORKS, 19, 10, 1467-1474 NEURAL NETWORKS, 19, 10, 1467-1474 NEURAL NETWORKS, 19, 10, 1467-1474 2006/12 Refereed English Research paper(scientific journal) Disclose to all

  • <<
  • >>
Title language:
External funds: competitive funds and Grants-in-Aid for Scientific Research (Kakenhi)
Type Position Title(Japanese) Title(English) Period
若手研究(B) Representative Research on complete quasi-metric spaces with algebraic structure (平成28年度分) 2016/04/01-2017/03/31
基盤研究(C) Representative Theory and applications of Stone-duality for quasi-Polish spaces (平成30年度分) 2018/04/01-2019/03/31
基盤研究(C) Representative Theory and applications of Stone-duality for quasi-Polish spaces (2019年度分) 2019/04/01-2020/03/31
Teaching subject(s)
Name(Japanese) Name(English) Term Department Period
ILAS Seminar-E2 ILAS Seminar-E2 前期 全学共通科目 2016/04-2017/03
Information Network-E2 Information Network-E2 後期 全学共通科目 2016/04-2017/03
Programming Practice(Matlab)-E2 Programming Practice(Matlab)-E2 前期 全学共通科目 2016/04-2017/03
基礎演習:Intro to Computation and Logic Introductory Seminar: Intro to Computation and Logic 前期 総合人間学部 2016/04-2017/03
ILAS Seminar-E2 ILAS Seminar-E2 前期 全学共通科目 2017/04-2018/03
Information Network-E2 Information Network-E2 後期 全学共通科目 2017/04-2018/03
Programming Practice(Matlab)-E2 Programming Practice(Matlab)-E2 前期 全学共通科目 2017/04-2018/03
人工知能 Artificial Intelligence 後期 総合人間学部 2017/04-2018/03
基礎演習:Intro to Computation and Logic Introductory Seminar: Intro to Computation and Logic 前期 総合人間学部 2017/04-2018/03
知的情報処理論 Intelligent Information Processing 後期 人間・環境学研究科 2017/04-2018/03
ILAS Seminar-E2 ILAS Seminar-E2 前期 全学共通科目 2018/04-2019/03
Information Network-E2 Information Network-E2 後期 全学共通科目 2018/04-2019/03
Programming Practice(Matlab)-E2 Programming Practice(Matlab)-E2 前期 全学共通科目 2018/04-2019/03
人工知能 Artificial Intelligence 後期 総合人間学部 2018/04-2019/03
基礎演習:Intro to Computation and Logic Introductory Seminar: Intro to Computation and Logic 前期 総合人間学部 2018/04-2019/03
知的情報処理論 Intelligent Information Processing 後期 人間・環境学研究科 2018/04-2019/03
ILAS Seminar-E2 ILAS Seminar-E2 前期 全学共通科目 2019/04-2020/03
Information Network-E2 Information Network-E2 後期 全学共通科目 2019/04-2020/03
Programming Practice (Matlab)-E2 Programming Practice (Matlab)-E2 前期 全学共通科目 2019/04-2020/03
人工知能 Artificial Intelligence 後期 総合人間学部 2019/04-2020/03
基礎演習:Intro to Computation and Logic Introductory Seminar: Intro to Computation and Logic 前期 総合人間学部 2019/04-2020/03
知的情報処理論 Intelligent Information Processing 後期 人間・環境学研究科 2019/04-2020/03
人工知能 Artificial Intelligence 後期 総合人間学部 2020/04-2021/03
共生人間学特別研究II(博士科目) Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2020/04-2021/03
共生人間学特別研究I(博士科目) Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2020/04-2021/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2020/04-2021/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2020/04-2021/03
国際交流実習1 Cross-cultural Studies Through English 1 前期 人間・環境学研究科 2020/04-2021/03
国際交流実習2 Cross-cultural Studies Through English 2 後期 人間・環境学研究科 2020/04-2021/03
国際交流特別実習1 Advanced Cross-cultural Studies through English 1 前期 人間・環境学研究科 2020/04-2021/03
国際交流特別実習2 Advanced Cross-cultural Studies through English 2 後期 人間・環境学研究科 2020/04-2021/03
数理情報論特別演習2(博士科目) Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2020/04-2021/03
数理情報論特別演習1(博士科目) Special seminar on mathematics informatics1 前期 人間・環境学研究科 2020/04-2021/03
数理科学特別セミナー(博士科目) Special seminar on mathematical science 通年 人間・環境学研究科 2020/04-2021/03
知的情報処理論 Intelligent Information Processing 後期 人間・環境学研究科 2020/04-2021/03
共生人間学特別研究II(博士科目) Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2021/04-2022/03
共生人間学特別研究I(博士科目) Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2021/04-2022/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2021/04-2022/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2021/04-2022/03
国際交流実習1 Cross-cultural Studies Through English 1 前期 人間・環境学研究科 2021/04-2022/03
国際交流実習2 Cross-cultural Studies Through English 2 後期 人間・環境学研究科 2021/04-2022/03
国際交流特別実習1 Advanced Cross-cultural Studies through English 1 前期 人間・環境学研究科 2021/04-2022/03
国際交流特別実習2 Advanced Cross-cultural Studies through English 2 後期 人間・環境学研究科 2021/04-2022/03
数理情報基礎論 Foundation of Mathematical Informatics 後期 人間・環境学研究科 2021/04-2022/03
数理情報論入門 Introduction to Mathematical Information Science 前期 総合人間学部 2021/04-2022/03
数理情報論演習4A Exercises for Mathematical Informatics 4A 前期 人間・環境学研究科 2021/04-2022/03
数理情報論演習4B Exercises for Mathematical Informatics 4B 後期 人間・環境学研究科 2021/04-2022/03
数理情報論特別演習2(博士科目) Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2021/04-2022/03
数理情報論特別演習1(博士科目) Special seminar on mathematics informatics1 前期 人間・環境学研究科 2021/04-2022/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2021/04-2022/03
数理科学特別セミナー(博士科目) Special seminar on mathematical science 通年 人間・環境学研究科 2021/04-2022/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2021/04-2022/03
計算機科学の基礎B Foundation of Computer Science B 後期 総合人間学部 2021/04-2022/03

  • <<
  • >>
Faculty management (title, position)
Title Period
ホームページ小委員会委員 2020/04/01-2021/03/31
国際交流委員会委員 2020/04/01-2021/03/31
ホームページ小委員会委員 2021/04/01-2022/03/31
国際交流委員会委員 2021/04/01-2022/03/31