数理逻辑学（DEBRECHT Matthew）研究室

About关于研究室

连接空间的形状与计算理论。

DEBRECHT研究室以数理逻辑学、拓扑空间论、计算理论和机器学习为研究领域。
主要论文涉及可计算的拓扑空间（可计算拓扑）以及quasi-Polish空间。
本科生分属数理・信息科学讲座，开展毕业研究（研究生院为人间・环境学研究生院人间・环境学专业的数理・信息科学讲座）。

Members教师

• 教授DEBRECHT Matthew

Related与数理逻辑学（DEBRECHT Matthew）研究室相似的研究室

计算理论研究室（THIES Holger）综合人间学部 综合人间学科计算理论、计算复杂性理论、数理逻辑的应用森成物性理论研究室综合人间学部 综合人间学科凝聚态理论运动控制・学习研究室（萩生 翔大）综合人间学部 综合人间学科运动控制学、计算神经科学、运动学习、协同作用、神经回路模型行为控制学研究室（久代 恵介）综合人间学部 综合人间学科行为控制学、运动心理学、神经生理学、认知心理学、空间定向与身体运动