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（裁剪） - 相关研究室
（量子情報理論・理論計算機科学・アルゴリズム論 （フランソワ・ルガル）） ：《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 引用。