DEBRECHT MatthewJoseph

最終更新日時: 2019/06/26 10:24:15

印刷する

氏名(漢字/フリガナ/アルファベット表記)
DEBRECHT MatthewJoseph/デイブレクト マシユウジヨセフ/Debrecht, Matthewjoseph
所属部署・職名(部局/所属/講座等/職名)
人間・環境学研究科/共生人間学専攻数理科学講座/特定講師
学部兼担
部局 所属 講座等 職名
総合人間学部
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
修士(情報学) 京都大学
博士(情報学) 京都大学
researchmap URL
https://researchmap.jp/7000015417
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
M. de Brecht M. de Brecht M. de Brecht A generalization of a theorem of Hurewicz for quasi-Polish spaces A generalization of a theorem of Hurewicz for quasi-Polish spaces A generalization of a theorem of Hurewicz for quasi-Polish spaces Logical Methods in Computer Science, 14, 1, 1-18 Logical Methods in Computer Science, 14, 1, 1-18 Logical Methods in Computer Science, 14, 1, 1-18 2018 英語 研究論文(学術雑誌) 公開
M. de Brecht and A. Pauly M. de Brecht and A. Pauly M. de Brecht and A. Pauly Noetherian Quasi-Polish Spaces Noetherian Quasi-Polish Spaces Noetherian Quasi-Polish Spaces Proceedings of the 26th Annual Conference on Computer Science Logic, 82, 1-17 Proceedings of the 26th Annual Conference on Computer Science Logic, 82, 1-17 Proceedings of the 26th Annual Conference on Computer Science Logic, 82, 1-17 2017 英語 研究論文(国際会議プロシーディングス) 公開
タイトル言語:
講演・口頭発表等
タイトル タイトル(日本語) タイトル(英語) 会議名 会議名(日本語) 会議名(英語) 主催者 主催者(日本語) 主催者(英語) 開催年月日 記述言語 会議種別 公開
Some properties of the countable space S0[招待あり] Some properties of the countable space S0 [招待あり] Some properties of the countable space S0 [招待あり] Dagstuhl Seminar (Measuring the Complexity of Computational Content) Dagstuhl Seminar (Measuring the Complexity of Computational Content) Dagstuhl Seminar (Measuring the Complexity of Computational Content) 2018/09 英語 口頭発表(一般) 公開
Continuous valuations on quasi-Polish spaces[招待あり] Continuous valuations on quasi-Polish spaces [招待あり] Continuous valuations on quasi-Polish spaces [招待あり] Workshop on Computability Theory and Foundations of Mathematics Workshop on Computability Theory and Foundations of Mathematics Workshop on Computability Theory and Foundations of Mathematics 2018/09 英語 口頭発表(招待・特別) 公開
Extending descriptive set theory to non-metrizable spaces and represented spaces[招待あり] Extending descriptive set theory to non-metrizable spaces and represented spaces [招待あり] Extending descriptive set theory to non-metrizable spaces and represented spaces [招待あり] Computability in Europe Computability in Europe Computability in Europe 2018/08 英語 口頭発表(招待・特別) 公開
On the commutativity of the powerspace monads[招待あり] On the commutativity of the powerspace monads [招待あり] On the commutativity of the powerspace monads [招待あり] Continuity, Computability, Constructivity Continuity, Computability, Constructivity Continuity, Computability, Constructivity 2017/06 英語 口頭発表(招待・特別) 公開
タイトル言語:
外部資金:競争的資金・科学研究費補助金
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
若手研究(B) 代表 Research on complete quasi-metric spaces with algebraic structure (平成28年度分) 2016/04/01〜2017/03/31
基盤研究(C) 代表 Theory and applications of Stone-duality for quasi-Polish spaces (平成30年度分) 2018/04/01〜2019/03/31
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 年度
ILAS Seminar-E2 ILAS Seminar-E2 前期 全学共通科目 2016/04〜2017/03
Information Network-E2 Information Network-E2 後期 全学共通科目 2016/04〜2017/03
Programming Practice(Matlab)-E2 Programming Practice(Matlab)-E2 前期 全学共通科目 2016/04〜2017/03
基礎演習:Intro to Computation and Logic Introductory Seminar: Intro to Computation and Logic 前期 総合人間学部 2016/04〜2017/03
ILAS Seminar-E2 ILAS Seminar-E2 前期 全学共通科目 2017/04〜2018/03
Information Network-E2 Information Network-E2 後期 全学共通科目 2017/04〜2018/03
Programming Practice(Matlab)-E2 Programming Practice(Matlab)-E2 前期 全学共通科目 2017/04〜2018/03
人工知能 Artificial Intelligence 後期 総合人間学部 2017/04〜2018/03
基礎演習:Intro to Computation and Logic Introductory Seminar: Intro to Computation and Logic 前期 総合人間学部 2017/04〜2018/03
知的情報処理論 Intelligent Information Processing 後期 人間・環境学研究科 2017/04〜2018/03
ILAS Seminar-E2 ILAS Seminar-E2 前期 全学共通科目 2018/04〜2019/03
Information Network-E2 Information Network-E2 後期 全学共通科目 2018/04〜2019/03
Programming Practice(Matlab)-E2 Programming Practice(Matlab)-E2 前期 全学共通科目 2018/04〜2019/03
人工知能 Artificial Intelligence 後期 総合人間学部 2018/04〜2019/03
基礎演習:Intro to Computation and Logic Introductory Seminar: Intro to Computation and Logic 前期 総合人間学部 2018/04〜2019/03
知的情報処理論 Intelligent Information Processing 後期 人間・環境学研究科 2018/04〜2019/03
ILAS Seminar-E2 ILAS Seminar-E2 前期 全学共通科目 2019/04〜2020/03
Information Network-E2 Information Network-E2 後期 全学共通科目 2019/04〜2020/03
Programming Practice (Matlab)-E2 Programming Practice (Matlab)-E2 前期 全学共通科目 2019/04〜2020/03
人工知能 Artificial Intelligence 後期 総合人間学部 2019/04〜2020/03
基礎演習:Intro to Computation and Logic Introductory Seminar: Intro to Computation and Logic 前期 総合人間学部 2019/04〜2020/03
知的情報処理論 Intelligent Information Processing 後期 人間・環境学研究科 2019/04〜2020/03

  • <<
  • >>
  • 表示