教育研究活動データベース

日本語に切り替えるswitch to english

DEBRECHT Matthew

デイブレクト マシユー

人間・環境学研究科 共生人間学専攻数理科学講座 准教授

DEBRECHT Matthew
list
    Last Updated :2022/08/06

    基本情報

    学部兼担

    • 総合人間学部

    学位

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

    ID,URL

    関連Webサイト

    researchmap URL

    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日
            国際交流委員会 委員

          ページ上部へ戻る