LAB LOG评价网站 LabLog 的页面
木原研究室
机器翻译 · 查看原文
按复杂度对“计算”“证明”“定义”进行分类的数学基础论。
About关于研究室
用数学研究数学本身。
木原貴行老师研究数学基础论和数理逻辑。
数学基础论是以数
该研究室关注一种
最近
术语说明
- 可计算性理论
- 以数
学方式研究计算机能计算与不能计算之间界线的理论 - 拓扑斯
- 在数理逻辑中，
被用作可以在 其内部展开数学的一种“数学宇宙”的结构 - 柯尔莫哥洛夫复杂度
- 以输
出某个字符串的最短程序的长度来衡量的信息复杂度
Research研究课题
在数学基础论和数理逻辑中，
※示意图可计算分析・拓扑空间的计算理论
这是处理实数等连续对象的计算理论。
※示意图随机性的计算理论
从计算的角度探究“概率”和“随机”究竟是什么。
※示意图可实现性拓扑斯理论
把拓扑斯用作数学宇宙，
※示意图不可计算性的度
这是图灵度和枚举度的理论：把已被证明无法计算的问题，
Members教师
- 教授木原 貴行
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与木原研究室相似的研究室
本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Machine de Turing pédagogique》 Mdtcreator／CC BY-SA 4.0（裁剪）
- 可计算分析・
拓扑 空 间的计算理论：《Hilbert cube》 Claudio Rocchini／CC BY-SA 4.0（裁剪） - 随机
性的计算理论：《Mandelbrot Set Image 91》 Aokoroko／CC0（裁剪） - 可实现性拓扑斯理论：《Hochhebungseigenschaft》 Tensorproduct／CC BY-SA 4.0（裁剪）
- 不可计算性的度：《Turing Machine Model Davey 2012》 Rocky Acosta／CC BY 3.0（裁剪）
- 相关研究室
（浜中 真志研究室） ：《Collider Detector at Fermilab (CDF) silicon vertex detector cross section》 Z22／CC BY-SA 4.0（裁剪） - 相关研究室
（量子信息理论・理论计算机科学・算法论 （François Le Gall）） ：《Google Sycamore Chip 001》 Google (https://www.youtube.com/channel/UCK8sQmJBp8GCxrOtXWBpyEA)／CC BY 3.0（裁剪） - 相关研究室
（木下研究室） ：《Unusual wave at the Gap》 Avenue／CC BY-SA 3.0（裁剪） - 相关研究室
（柳田 伸太郎研究室） ：《Truncated icosahedron cherry model by George W. Hart》 George W. Hart／CC BY-SA 4.0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。