• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

deBrecht Matthew  ディブレクト マシュー

ORCIDConnect your ORCID iD *help
… Alternative Names

de Brecht Matthew  ディブレクト マシュー

Less
Researcher Number 20623599
Affiliation (Current) 2025: 京都大学, 人間・環境学研究科, 准教授
Affiliation (based on the past Project Information) *help 2020 – 2023: 京都大学, 人間・環境学研究科, 准教授
2016 – 2019: 京都大学, 人間・環境学研究科, 特定講師
2015: 国立研究開発法人情報通信研究機構, 脳情報通信総合研究センター脳情報通信融合研究室, 研究員
2015: 国立研究開発法人情報通信研究機構, 脳情報通信融合研究センター・脳情報通信融合研究室, 研究員
Review Section/Research Field
Principal Investigator
Basic Section 60010:Theory of informatics-related / Theory of informatics
Except Principal Investigator
Medium-sized Section 10:Psychology and related fields / Mathematical Sciences in Search of New Cooperation
Keywords
Principal Investigator
domain theory / quasi-Polish space / computation / logic / quasi-Polish spaces / geometric logic / computable analysis / frames / Stone-duality / locale theory … More / category theory / measure theory / topology / algebraic geometry / descriptive set theory / computability theory / valuations / duality / monad algebras / powerspace / semilattices / topological algebra … More
Except Principal Investigator
視覚採餌課題 / 眼と手の協調 / 文脈手掛かり効果 / 計算論的認知モデル / 知覚学習 / 目と手の協調 / 文脈手がかり効果 / 探索行動 / 非線形力学系 / 情報理論 / データサイエンス / 計算神経科学 / コネクトミクス / カルシウムイメージング Less
  • Research Projects

    (4 results)
  • Research Products

    (50 results)
  • Co-Researchers

    (6 People)
  •  Active search: Interaction of environmental and cognitive transformation through search behavior

    • Principal Investigator
      Saiki Jun
    • Project Period (FY)
      2020 – 2023
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Review Section
      Medium-sized Section 10:Psychology and related fields
    • Research Institution
      Kyoto University
  •  Theory and applications of Stone-duality for quasi-Polish spacesPrincipal Investigator

    • Principal Investigator
      ディブレクト マシュー
    • Project Period (FY)
      2018 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60010:Theory of informatics-related
    • Research Institution
      Kyoto University
  •  Research on complete quasi-metric spaces with algebraic structurePrincipal Investigator

    • Principal Investigator
      de Brecht Matthew
    • Project Period (FY)
      2015 – 2017
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Theory of informatics
    • Research Institution
      Kyoto University
      National Institute of Information and Communications Technology
  •  Development of a Nonlinear Timeseries Analysis for Functional Neural Connectivity Estimation

    • Principal Investigator
      Hidaka Shohei
    • Project Period (FY)
      2015 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Mathematical Sciences in Search of New Cooperation
    • Research Institution
      Japan Advanced Institute of Science and Technology

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015

All Journal Article Presentation

  • [Journal Article] Ideal presentations and numberings of some classes of effective quasi-Polish spaces2024

    • Author(s)
      de Brecht Matthew、Kihara Takayuki、Selivanov Victor
    • Journal Title

      Computability

      Volume: Pre-press Pages: 1-24

    • DOI

      10.3233/com-230442

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166, KAKENHI-PROJECT-22K03401
  • [Journal Article] Enumerating Classes of Effective Quasi-Polish Spaces2022

    • Author(s)
      M. de Brecht, T. Kihara, & V. Selivanov
    • Journal Title

      Revolutions and Revelations in Computability (CiE 2022), Lecture Notes in Computer Science

      Volume: 13359 Pages: 88-102

    • DOI

      10.1007/978-3-031-08740-0_8

    • ISBN
      9783031087394, 9783031087400
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166, KAKENHI-PROJECT-22K03401, KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-23K21641
  • [Journal Article] Some Notes on Spaces of Ideals and Computable Topology2020

    • Author(s)
      de Brecht Matthew
    • Journal Title

      Beyond the Horizon of Computability, CiE 2020 Proceedings (LNCS)

      Volume: 12098 Pages: 26-37

    • DOI

      10.1007/978-3-030-51466-2_3

    • ISBN
      9783030514655, 9783030514662
    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Journal Article] Domain-complete and LCS-complete Spaces2019

    • Author(s)
      de Brecht Matthew、Goubault-Larrecq Jean、Jia Xiaodong、Lyu Zhenchao
    • Journal Title

      Electronic Notes in Theoretical Computer Science

      Volume: 345 Pages: 3-35

    • DOI

      10.1016/j.entcs.2019.07.014

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Journal Article] Overt choice2019

    • Author(s)
      de Brecht Matthew、Pauly Arno、Schroder Matthias
    • Journal Title

      Computability

      Volume: Pre-press Issue: 3-4 Pages: 1-23

    • DOI

      10.3233/com-190253

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Journal Article] On the commutativity of the powerspace constructions2019

    • Author(s)
      de Brecht Matthew、Kawai Tatsuji
    • Journal Title

      Logical Methods in Computer Science

      Volume: 15 Pages: 1-13

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Journal Article] A generalization of a theorem of Hurewicz for quasi-Polish spaces2018

    • Author(s)
      Matthew de Brecht
    • Journal Title

      Logical Methods in Computer Science

      Volume: 14 Pages: 1-18

    • DOI

      10.23638/LMCS-14(1:13)2018

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Journal Article] Noetherian Quasi-Polish Spaces2017

    • Author(s)
      Matthew de Brecht and Arno Pauly
    • Journal Title

      Proceedings of the 26th Annual Conference on Computer Science Logic (CCL 2017)

      Volume: 82 Pages: 1-17

    • DOI

      10.4230/LIPIcs.CSL.2017.16

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Journal Article] Base-complexity classifications of QCB0-spaces2016

    • Author(s)
      Matthew de Brecht, Matthias Schroeder, and Victor Selivanov
    • Journal Title

      Computability

      Volume: 5 Issue: 1 Pages: 75-102

    • DOI

      10.3233/com-150044

    • Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Journal Article] Descriptive set theory in the category of represented spaces2015

    • Author(s)
      Arno Pauly and Matthew de Brecht
    • Journal Title

      Logic in Computer Science (LICS), 30th ACM/IEEE Symposium

      Volume: 1 Pages: 438-449

    • DOI

      10.1109/lics.2015.48

    • Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Presentation] Constructing the valuations powerspace functor2023

    • Author(s)
      Matthew de Brecht
    • Organizer
      16th International Conference on Computability, Complexity and Randomness
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] 視覚探索における潜在的メタコンテキストの学習2023

    • Author(s)
      水野純平・上田祥行・de Brecht M.・羽倉信宏・齋木潤
    • Organizer
      第21回注意と認知研究会
    • Data Source
      KAKENHI-PROJECT-20H00107
  • [Presentation] 計算可能位相空間論2023

    • Author(s)
      Matthew de Brecht
    • Organizer
      数学基礎論サマースクール2023
    • Invited
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] Effectively Extending Topologies2022

    • Author(s)
      M. de Brecht
    • Organizer
      Computing in topological structures: Foundations and implementations (CTS 2022)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] 文脈非依存に誘発される注意誘導メカニズムの検討2022

    • Author(s)
      水野純平・上田祥行・De Brecht Matthew・羽倉信宏・齋木潤
    • Organizer
      日本基礎心理学会第41回大会
    • Data Source
      KAKENHI-PROJECT-20H00107
  • [Presentation] 記憶された文脈情報が文脈提示のない課題時の注意機能に与える影響2022

    • Author(s)
      水野純平・上田祥行・de Brecht M.・羽倉信宏・齋木潤
    • Organizer
      第16回日本作業療法研究学会学術大会
    • Data Source
      KAKENHI-PROJECT-20H00107
  • [Presentation] The effect of contextual-cueing induced attentional guidance on context-free trials2022

    • Author(s)
      Mizuno, J., Ueda, Y., Hagura, N., de Brecht, M., & Saiki, J.
    • Organizer
      Vision Sciences Society 22nd Annual Meeting
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H00107
  • [Presentation] The category of quasi-Polish spaces as a represented space2022

    • Author(s)
      M. de Brecht
    • Organizer
      Online Seminar on Computability Theory and Applications
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] A note on the closed prime spectrums of coPolish commutative rings2022

    • Author(s)
      M. de Brecht
    • Organizer
      Nineteenth International Conference on Computability and Complexity in Analysis (CCA 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] Representing quasi-Polish spaces as spaces of ideals, with applications to computable topology2021

    • Author(s)
      M. de Brecht
    • Organizer
      Japan-Russia workshop on effective descriptive set theory, computable analysis, and automata
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] The category of quasi-Polish spaces as a represented space2021

    • Author(s)
      M. de Brecht
    • Organizer
      日本数学会トポロジー分科会 第68回トポロジーシンポジウム
    • Invited
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] On constructing the space of valuations of a quasi-Polish space2021

    • Author(s)
      M. de Brecht
    • Organizer
      RIMS symposium Research Trends on General Topology and its Related Fields
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] Computable functors on the category of quasi-Polish spaces.2021

    • Author(s)
      M. de Brecht
    • Organizer
      2021 North American Annual Meeting of the Association for Symbolic Logic
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] Tutorial on Quasi-Polish spaces2021

    • Author(s)
      M. de Brecht
    • Organizer
      Dagstuhl Seminar 21461
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] 視覚探索における文脈情報が文脈提示のない課題に及ぼす影響2021

    • Author(s)
      水野純平・上田祥行・羽倉信宏・de Brecht, M.・齋木潤
    • Organizer
      日本基礎心理学会第40回大会
    • Data Source
      KAKENHI-PROJECT-20H00107
  • [Presentation] On the transferability of results between subcategories of spaces and locales2021

    • Author(s)
      M. de Brecht
    • Organizer
      Fourth Workshop on Mathematical Logic and its Applications
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] Quasi-Polish spaces as spaces of ideals2021

    • Author(s)
      M. de Brecht
    • Organizer
      Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] Some notes on spaces of ideals and computable topology2020

    • Author(s)
      M. de Brecht
    • Organizer
      Computability in Europe 2020 (online)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] Representing spaces using rounded ideals2019

    • Author(s)
      de Brecht Matthew
    • Organizer
      2019年度ジェネラルトポロジーシンポジウム
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] Overt Choice2019

    • Author(s)
      de Brecht Matthew、Pauly Arno、Schroder Matthias
    • Organizer
      Sixteenth International Conference on Computability and Complexity in Analysis
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] A note on the spatiality of localic products of countably based sober spaces2019

    • Author(s)
      de Brecht Matthew
    • Organizer
      Computability, Continuity, Constructivity (CCC 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] Some results on countably based consonant spaces2019

    • Author(s)
      de Brecht Matthew
    • Organizer
      Recent Developments in General Topology and its Related Fields RIMS Symposium
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] Continuous valuations on quasi-Polish spaces2018

    • Author(s)
      M. de Brecht
    • Organizer
      Workshop on Computability Theory and Foundations of Mathematics 2018
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] A note on the descriptive complexity of the upper and double powerspaces2018

    • Author(s)
      M. de Brecht
    • Organizer
      Fifteenth International Conference on Computability and Complexity in Analysis (CCA 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] Some properties of the countable space S02018

    • Author(s)
      M. de Brecht
    • Organizer
      Dagstuhl-Seminar 18361 (Measuring the Complexity of Computational Content)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] Extending descriptive set theory to non-metrizable spaces and represented spaces2018

    • Author(s)
      M. de Brecht
    • Organizer
      Computability in Europe (CiE 2018)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] Some results on quasi-Polish semi-lattices and lattices2018

    • Author(s)
      M. de Brecht
    • Organizer
      General Topology Symposium 2018
    • Data Source
      KAKENHI-PROJECT-18K11166
  • [Presentation] On the commutativity of the powerspace monads2017

    • Author(s)
      Matthew de Brecht
    • Organizer
      Continuity, Computability, Constructivity: From Logic to Algorithms (CCC 2017)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Presentation] Noetherian Quasi-Polish Spaces2017

    • Author(s)
      Matthew de Brecht and Arno Pauly
    • Organizer
      14th International Conference on Computability and Complexity in Analysis (CCA 2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Presentation] Quasi-Polish spaces and propositional geometric logic2016

    • Author(s)
      Matthew de Brecht
    • Organizer
      51st Mathematical Logic Group Meeting
    • Place of Presentation
      Hakone, Kanagawa
    • Year and Date
      2016-10-27
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Presentation] On the duality of topological Boolean algebras2016

    • Author(s)
      Matthew de Brecht
    • Organizer
      Workshop on Mathematical Logic and its Applications
    • Place of Presentation
      Kyoto University, Japan
    • Year and Date
      2016-09-16
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Presentation] Interactions between powerlocales and Scott topology on locally compact locales2016

    • Author(s)
      Tatsuji Kawai and Matthew de Brecht
    • Organizer
      Logic Colloquium 2016
    • Place of Presentation
      University of Leeds, United Kingdom
    • Year and Date
      2016-07-31
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Presentation] Noetherian spaces and quantifier elimination2016

    • Author(s)
      Matthew de Brecht
    • Organizer
      Dagstuhl Seminar 16031
    • Place of Presentation
      Germany, Schloss Dagstuhl - Leibniz center for informatics
    • Year and Date
      2016-01-17
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Presentation] Characterizing Noetherian spaces as Delta02-analogue to compact spaces2016

    • Author(s)
      Matthew de Brecht and Arno Pauly
    • Organizer
      Twelfth Symposium on General Topology
    • Place of Presentation
      Prague, Czech Republic
    • Year and Date
      2016-07-25
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Presentation] Base-Complexity Classifications of QCB0-Spaces (Extended Abstract)2015

    • Author(s)
      Matthew de Brecht, Matthias Schroeder, Victor Selivanov
    • Organizer
      Computability in Europe 2015
    • Place of Presentation
      Romania, Bucharest, University of Bucharest
    • Year and Date
      2015-06-29
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Presentation] Extending continuous valuations on quasi-Polish spaces to Borel measures2015

    • Author(s)
      Matthew de Brecht
    • Organizer
      Computability and Complexity in Analysis 2015
    • Place of Presentation
      Japan, Tokyo, Shinkonkan Hall at Meiji University
    • Year and Date
      2015-07-12
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Presentation] Spaces of valuations on quasi-Polish spaces2015

    • Author(s)
      Matthew de Brecht
    • Organizer
      Domains XII
    • Place of Presentation
      Ireland, University College Cork
    • Year and Date
      2015-08-25
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Presentation] Powerspaces of quasi-Polish spaces and countably presented locales2015

    • Author(s)
      Matthew de Brecht and Tatsuji Kawai
    • Organizer
      Continuity, Computability, Constuctivity 2015
    • Place of Presentation
      Germany, Kochel, Schloss Aspenstein
    • Year and Date
      2015-09-14
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Presentation] Duality theory for quasi-Polish and represented spaces2015

    • Author(s)
      Matthew de Brecht
    • Organizer
      Dagstuhl Seminar 15441
    • Place of Presentation
      Germany, Schloss Dagstuhl - Leibniz center for informatics
    • Year and Date
      2015-10-25
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15940
  • [Presentation] Preliminary investigations into Eilenberg-Moore algebras arising in descriptive set theory2015

    • Author(s)
      Matthew de Brecht
    • Organizer
      Dagstuhl Seminar 15392
    • Place of Presentation
      Germany, Schloss Dagstuhl - Leibniz center for informatics
    • Year and Date
      2015-09-20
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K15940
  • 1.  Hidaka Shohei (50582912)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  Saiki Jun (60283470)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 5 results
  • 3.  高田 美絵子 (30435531)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  平 理一郎 (80712299)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  羽倉 信宏 (80505983)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 5 results
  • 6.  上田 祥行 (80582494)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 5 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi