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

… 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

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

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] Ideal presentations and numberings of some classes of effective quasi-Polish spaces2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Enumerating Classes of Effective Quasi-Polish Spaces2022

Author(s)

Journal Title

DOI

ISBN

Data Source

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

Author(s)

Journal Title

DOI

ISBN

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

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

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