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

… Alternative Names

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 Except Principal Investigator カルシウムイメージング / コネクトミクス / 計算神経科学 / データサイエンス / 情報理論 / 非線形力学系 / 探索行動 / 眼と手の協調 / 視覚採餌課題 / 計算論的認知モデル / 知覚学習 Less

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

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

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

Research Projects

Research Products

Co-Researchers

Active search: Interaction of environmental and cognitive transformation through search behavior

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Theory and applications of Stone-duality for quasi-Polish spacesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on complete quasi-metric spaces with algebraic structurePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of a Nonlinear Timeseries Analysis for Functional Neural Connectivity Estimation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Some Notes on Spaces of Ideals and Computable Topology2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Domain-complete and LCS-complete Spaces2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Overt choice2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On the commutativity of the powerspace constructions2019

Author(s)

Journal Title

Data Source

[Journal Article] A generalization of a theorem of Hurewicz for quasi-Polish spaces2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Noetherian Quasi-Polish Spaces2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Base-complexity classifications of QCB0-spaces2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Descriptive set theory in the category of represented spaces2015

Author(s)

Journal Title

DOI

Data Source

[Presentation] Representing quasi-Polish spaces as spaces of ideals, with applications to computable topology2021

Author(s)

Organizer

Data Source

[Presentation] On the transferability of results between subcategories of spaces and locales2021

Author(s)

Organizer

Data Source

[Presentation] Some notes on spaces of ideals and computable topology2020

Author(s)

Organizer

Data Source

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

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