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

    (4 results)
  • Research Products

    (33 results)
  • Co-Researchers

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

    • Principal Investigator
      齋木 潤
    • 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 – 2022
    • 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 2021 2020 2019 2018 2017 2016 2015

All Journal Article Presentation

  • [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

    • 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 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 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] 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] 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] 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.  高田 美絵子 (30435531)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  平 理一郎 (80712299)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  齋木 潤 (60283470)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  羽倉 信宏 (80505983)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  上田 祥行 (80582494)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi