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

研究者番号	20623599
所属 (現在)	2025年度: 京都大学, 人間・環境学研究科, 准教授
所属 (過去の研究課題情報に基づく) *注記	2020年度 – 2023年度: 京都大学, 人間・環境学研究科, 准教授 2016年度 – 2019年度: 京都大学, 人間・環境学研究科, 特定講師 2015年度: 国立研究開発法人情報通信研究機構, 脳情報通信総合研究センター脳情報通信融合研究室, 研究員 2015年度: 国立研究開発法人情報通信研究機構, 脳情報通信融合研究センター・脳情報通信融合研究室, 研究員
審査区分/研究分野	研究代表者小区分60010:情報学基礎論関連 / 情報学基礎理論研究代表者以外中区分10:心理学およびその関連分野 / 連携探索型数理科学
キーワード	研究代表者 domain theory / quasi-Polish space / computation / logic / quasi-Polish spaces / geometric logic / computable analysis / frames / Stone-duality / locale theory … もっと見る / category theory / measure theory / topology / algebraic geometry / descriptive set theory / computability theory / valuations / duality / monad algebras / powerspace / semilattices / topological algebra … もっと見る研究代表者以外視覚採餌課題 / 眼と手の協調 / 文脈手掛かり効果 / 計算論的認知モデル / 知覚学習 / 目と手の協調 / 文脈手がかり効果 / 探索行動 / 非線形力学系 / 情報理論 / データサイエンス / 計算神経科学 / コネクトミクス / カルシウムイメージング隠す

アクティブサーチ：探索行動を通した環境改変と認知変容の相互作用の実証的解明
- 研究代表者
  
  齋木潤
- 研究期間 (年度)
  2020 – 2023
- 研究種目
  
  基盤研究(A)
- 審査区分
  
  中区分10:心理学およびその関連分野
- 研究機関
  京都大学
Theory and applications of Stone-duality for quasi-Polish spaces研究代表者
- 研究代表者
  
  ディブレクトマシュー
- 研究期間 (年度)
  2018 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  京都大学
Research on complete quasi-metric spaces with algebraic structure研究代表者
- 研究代表者
  
  ディブレクトマシュー
- 研究期間 (年度)
  2015 – 2017
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎理論
- 研究機関
  京都大学
   国立研究開発法人情報通信研究機構
非線形時系列解析による神経結合推定法の開発
- 研究代表者
  
  日高昇平
- 研究期間 (年度)
  2015 – 2018
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  連携探索型数理科学
- 研究機関
  北陸先端科学技術大学院大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015

すべて雑誌論文学会発表

[雑誌論文] Ideal presentations and numberings of some classes of effective quasi-Polish spaces2024
- 著者名/発表者名
  de Brecht Matthew、Kihara Takayuki、Selivanov Victor
- 雑誌名
  
  Computability
  
  巻: Pre-press ページ: 1-24
- DOI
  10.3233/com-230442
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166, KAKENHI-PROJECT-22K03401
[雑誌論文] Enumerating Classes of Effective Quasi-Polish Spaces2022
- 著者名/発表者名
  M. de Brecht, T. Kihara, & V. Selivanov
- 雑誌名
  
  Revolutions and Revelations in Computability (CiE 2022), Lecture Notes in Computer Science
  
  巻: 13359 ページ: 88-102
- DOI
  10.1007/978-3-031-08740-0_8
- ISBN
  9783031087394, 9783031087400
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166, KAKENHI-PROJECT-22K03401, KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-23K21641
[雑誌論文] Some Notes on Spaces of Ideals and Computable Topology2020
- 著者名/発表者名
  de Brecht Matthew
- 雑誌名
  
  Beyond the Horizon of Computability, CiE 2020 Proceedings (LNCS)
  
  巻: 12098 ページ: 26-37
- DOI
  10.1007/978-3-030-51466-2_3
- ISBN
  9783030514655, 9783030514662
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[雑誌論文] Domain-complete and LCS-complete Spaces2019
- 著者名/発表者名
  de Brecht Matthew、Goubault-Larrecq Jean、Jia Xiaodong、Lyu Zhenchao
- 雑誌名
  
  Electronic Notes in Theoretical Computer Science
  
  巻: 345 ページ: 3-35
- DOI
  10.1016/j.entcs.2019.07.014
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[雑誌論文] Overt choice2019
- 著者名/発表者名
  de Brecht Matthew、Pauly Arno、Schroder Matthias
- 雑誌名
  
  Computability
  
  巻: Pre-press 号: 3-4 ページ: 1-23
- DOI
  10.3233/com-190253
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[雑誌論文] On the commutativity of the powerspace constructions2019
- 著者名/発表者名
  de Brecht Matthew、Kawai Tatsuji
- 雑誌名
  
  Logical Methods in Computer Science
  
  巻: 15 ページ: 1-13
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[雑誌論文] A generalization of a theorem of Hurewicz for quasi-Polish spaces2018
- 著者名/発表者名
  Matthew de Brecht
- 雑誌名
  
  Logical Methods in Computer Science
  
  巻: 14 ページ: 1-18
- DOI
  10.23638/LMCS-14(1:13)2018
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-15K15940
[雑誌論文] Noetherian Quasi-Polish Spaces2017
- 著者名/発表者名
  Matthew de Brecht and Arno Pauly
- 雑誌名
  
  Proceedings of the 26th Annual Conference on Computer Science Logic (CCL 2017)
  
  巻: 82 ページ: 1-17
- DOI
  10.4230/LIPIcs.CSL.2017.16
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15940
[雑誌論文] Base-complexity classifications of QCB0-spaces2016
- 著者名/発表者名
  Matthew de Brecht, Matthias Schroeder, and Victor Selivanov
- 雑誌名
  
  Computability
  
  巻: 5 号: 1 ページ: 75-102
- DOI
  10.3233/com-150044
- 査読あり / 謝辞記載あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15940
[雑誌論文] Descriptive set theory in the category of represented spaces2015
- 著者名/発表者名
  Arno Pauly and Matthew de Brecht
- 雑誌名
  
  Logic in Computer Science (LICS), 30th ACM/IEEE Symposium
  
  巻: 1 ページ: 438-449
- DOI
  10.1109/lics.2015.48
- 査読あり / 謝辞記載あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15940
[学会発表] Constructing the valuations powerspace functor2023
- 著者名/発表者名
  Matthew de Brecht
- 学会等名
  16th International Conference on Computability, Complexity and Randomness
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] 視覚探索における潜在的メタコンテキストの学習2023
- 著者名/発表者名
  水野純平・上田祥行・de Brecht M.・羽倉信宏・齋木潤
- 学会等名
  第21回注意と認知研究会
- データソース
  KAKENHI-PROJECT-20H00107
[学会発表] 計算可能位相空間論2023
- 著者名/発表者名
  Matthew de Brecht
- 学会等名
  数学基礎論サマースクール2023
- 招待講演
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] Effectively Extending Topologies2022
- 著者名/発表者名
  M. de Brecht
- 学会等名
  Computing in topological structures: Foundations and implementations (CTS 2022)
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] 文脈非依存に誘発される注意誘導メカニズムの検討2022
- 著者名/発表者名
  水野純平・上田祥行・De Brecht Matthew・羽倉信宏・齋木潤
- 学会等名
  日本基礎心理学会第41回大会
- データソース
  KAKENHI-PROJECT-20H00107
[学会発表] 記憶された文脈情報が文脈提示のない課題時の注意機能に与える影響2022
- 著者名/発表者名
  水野純平・上田祥行・de Brecht M.・羽倉信宏・齋木潤
- 学会等名
  第16回日本作業療法研究学会学術大会
- データソース
  KAKENHI-PROJECT-20H00107
[学会発表] The effect of contextual-cueing induced attentional guidance on context-free trials2022
- 著者名/発表者名
  Mizuno, J., Ueda, Y., Hagura, N., de Brecht, M., & Saiki, J.
- 学会等名
  Vision Sciences Society 22nd Annual Meeting
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20H00107
[学会発表] The category of quasi-Polish spaces as a represented space2022
- 著者名/発表者名
  M. de Brecht
- 学会等名
  Online Seminar on Computability Theory and Applications
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] A note on the closed prime spectrums of coPolish commutative rings2022
- 著者名/発表者名
  M. de Brecht
- 学会等名
  Nineteenth International Conference on Computability and Complexity in Analysis (CCA 2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] Representing quasi-Polish spaces as spaces of ideals, with applications to computable topology2021
- 著者名/発表者名
  M. de Brecht
- 学会等名
  Japan-Russia workshop on effective descriptive set theory, computable analysis, and automata
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] The category of quasi-Polish spaces as a represented space2021
- 著者名/発表者名
  M. de Brecht
- 学会等名
  日本数学会トポロジー分科会第68回トポロジーシンポジウム
- 招待講演
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] On constructing the space of valuations of a quasi-Polish space2021
- 著者名/発表者名
  M. de Brecht
- 学会等名
  RIMS symposium Research Trends on General Topology and its Related Fields
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] Computable functors on the category of quasi-Polish spaces.2021
- 著者名/発表者名
  M. de Brecht
- 学会等名
  2021 North American Annual Meeting of the Association for Symbolic Logic
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] Tutorial on Quasi-Polish spaces2021
- 著者名/発表者名
  M. de Brecht
- 学会等名
  Dagstuhl Seminar 21461
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] 視覚探索における文脈情報が文脈提示のない課題に及ぼす影響2021
- 著者名/発表者名
  水野純平・上田祥行・羽倉信宏・de Brecht, M.・齋木潤
- 学会等名
  日本基礎心理学会第40回大会
- データソース
  KAKENHI-PROJECT-20H00107
[学会発表] On the transferability of results between subcategories of spaces and locales2021
- 著者名/発表者名
  M. de Brecht
- 学会等名
  Fourth Workshop on Mathematical Logic and its Applications
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] Quasi-Polish spaces as spaces of ideals2021
- 著者名/発表者名
  M. de Brecht
- 学会等名
  Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] Some notes on spaces of ideals and computable topology2020
- 著者名/発表者名
  M. de Brecht
- 学会等名
  Computability in Europe 2020 (online)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] Representing spaces using rounded ideals2019
- 著者名/発表者名
  de Brecht Matthew
- 学会等名
  2019年度ジェネラルトポロジーシンポジウム
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] Overt Choice2019
- 著者名/発表者名
  de Brecht Matthew、Pauly Arno、Schroder Matthias
- 学会等名
  Sixteenth International Conference on Computability and Complexity in Analysis
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] A note on the spatiality of localic products of countably based sober spaces2019
- 著者名/発表者名
  de Brecht Matthew
- 学会等名
  Computability, Continuity, Constructivity (CCC 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] Some results on countably based consonant spaces2019
- 著者名/発表者名
  de Brecht Matthew
- 学会等名
  Recent Developments in General Topology and its Related Fields RIMS Symposium
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] Continuous valuations on quasi-Polish spaces2018
- 著者名/発表者名
  M. de Brecht
- 学会等名
  Workshop on Computability Theory and Foundations of Mathematics 2018
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] A note on the descriptive complexity of the upper and double powerspaces2018
- 著者名/発表者名
  M. de Brecht
- 学会等名
  Fifteenth International Conference on Computability and Complexity in Analysis (CCA 2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] Some properties of the countable space S02018
- 著者名/発表者名
  M. de Brecht
- 学会等名
  Dagstuhl-Seminar 18361 (Measuring the Complexity of Computational Content)
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] Extending descriptive set theory to non-metrizable spaces and represented spaces2018
- 著者名/発表者名
  M. de Brecht
- 学会等名
  Computability in Europe (CiE 2018)
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] Some results on quasi-Polish semi-lattices and lattices2018
- 著者名/発表者名
  M. de Brecht
- 学会等名
  General Topology Symposium 2018
- データソース
  KAKENHI-PROJECT-18K11166
[学会発表] On the commutativity of the powerspace monads2017
- 著者名/発表者名
  Matthew de Brecht
- 学会等名
  Continuity, Computability, Constructivity: From Logic to Algorithms (CCC 2017)
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15940
[学会発表] Noetherian Quasi-Polish Spaces2017
- 著者名/発表者名
  Matthew de Brecht and Arno Pauly
- 学会等名
  14th International Conference on Computability and Complexity in Analysis (CCA 2017)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15940
[学会発表] Quasi-Polish spaces and propositional geometric logic2016
- 著者名/発表者名
  Matthew de Brecht
- 学会等名
  51st Mathematical Logic Group Meeting
- 発表場所
  Hakone, Kanagawa
- 年月日
  2016-10-27
- データソース
  KAKENHI-PROJECT-15K15940
[学会発表] On the duality of topological Boolean algebras2016
- 著者名/発表者名
  Matthew de Brecht
- 学会等名
  Workshop on Mathematical Logic and its Applications
- 発表場所
  Kyoto University, Japan
- 年月日
  2016-09-16
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15940
[学会発表] Interactions between powerlocales and Scott topology on locally compact locales2016
- 著者名/発表者名
  Tatsuji Kawai and Matthew de Brecht
- 学会等名
  Logic Colloquium 2016
- 発表場所
  University of Leeds, United Kingdom
- 年月日
  2016-07-31
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15940
[学会発表] Noetherian spaces and quantifier elimination2016
- 著者名/発表者名
  Matthew de Brecht
- 学会等名
  Dagstuhl Seminar 16031
- 発表場所
  Germany, Schloss Dagstuhl - Leibniz center for informatics
- 年月日
  2016-01-17
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15940
[学会発表] Characterizing Noetherian spaces as Delta02-analogue to compact spaces2016
- 著者名/発表者名
  Matthew de Brecht and Arno Pauly
- 学会等名
  Twelfth Symposium on General Topology
- 発表場所
  Prague, Czech Republic
- 年月日
  2016-07-25
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15940
[学会発表] Base-Complexity Classifications of QCB0-Spaces (Extended Abstract)2015
- 著者名/発表者名
  Matthew de Brecht, Matthias Schroeder, Victor Selivanov
- 学会等名
  Computability in Europe 2015
- 発表場所
  Romania, Bucharest, University of Bucharest
- 年月日
  2015-06-29
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15940
[学会発表] Extending continuous valuations on quasi-Polish spaces to Borel measures2015
- 著者名/発表者名
  Matthew de Brecht
- 学会等名
  Computability and Complexity in Analysis 2015
- 発表場所
  Japan, Tokyo, Shinkonkan Hall at Meiji University
- 年月日
  2015-07-12
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15940
[学会発表] Spaces of valuations on quasi-Polish spaces2015
- 著者名/発表者名
  Matthew de Brecht
- 学会等名
  Domains XII
- 発表場所
  Ireland, University College Cork
- 年月日
  2015-08-25
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15940
[学会発表] Powerspaces of quasi-Polish spaces and countably presented locales2015
- 著者名/発表者名
  Matthew de Brecht and Tatsuji Kawai
- 学会等名
  Continuity, Computability, Constuctivity 2015
- 発表場所
  Germany, Kochel, Schloss Aspenstein
- 年月日
  2015-09-14
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15940
[学会発表] Duality theory for quasi-Polish and represented spaces2015
- 著者名/発表者名
  Matthew de Brecht
- 学会等名
  Dagstuhl Seminar 15441
- 発表場所
  Germany, Schloss Dagstuhl - Leibniz center for informatics
- 年月日
  2015-10-25
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15940
[学会発表] Preliminary investigations into Eilenberg-Moore algebras arising in descriptive set theory2015
- 著者名/発表者名
  Matthew de Brecht
- 学会等名
  Dagstuhl Seminar 15392
- 発表場所
  Germany, Schloss Dagstuhl - Leibniz center for informatics
- 年月日
  2015-09-20
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15940

1. 日高昇平 (50582912)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 齋木潤 (60283470)

共同の研究課題数: 1件

共同の研究成果数: 5件
3. 高田美絵子 (30435531)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 平理一郎 (80712299)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 羽倉信宏 (80505983)

共同の研究課題数: 1件

共同の研究成果数: 5件
6. 上田祥行 (80582494)

共同の研究課題数: 1件

共同の研究成果数: 5件

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

研究課題

研究成果

共同研究者

アクティブサーチ：探索行動を通した環境改変と認知変容の相互作用の実証的解明

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

Theory and applications of Stone-duality for quasi-Polish spaces研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

Research on complete quasi-metric spaces with algebraic structure研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

非線形時系列解析による神経結合推定法の開発

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Ideal presentations and numberings of some classes of effective quasi-Polish spaces2024

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Enumerating Classes of Effective Quasi-Polish Spaces2022

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Some Notes on Spaces of Ideals and Computable Topology2020

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Domain-complete and LCS-complete Spaces2019

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Overt choice2019

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] On the commutativity of the powerspace constructions2019

著者名/発表者名

雑誌名

データソース

[雑誌論文] A generalization of a theorem of Hurewicz for quasi-Polish spaces2018

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Noetherian Quasi-Polish Spaces2017

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Base-complexity classifications of QCB0-spaces2016

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Descriptive set theory in the category of represented spaces2015

著者名/発表者名

雑誌名

DOI

データソース

[学会発表] Constructing the valuations powerspace functor2023

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