LAB LOGA page on LabLog, a review site (not the lab's official page)
数学基礎論・数理論理学（木原 貴行）
Showing the original Japanese · View translation
「計算」「証明」「定義」を、複雑さで分類する数学基礎論。
AboutAbout the lab
数学そのものを、数学で調べる。
木原貴行先生は、
数学基礎論は、
「計算」
最近の
Key terms
- 計算
可能性理論 - コンピュータで
計算できる ことと できない ことの 境目を、 数学と して 調べる 理論 - トポス
- 数理論理学では、
その 中で 数学を 展開できる 一種の 「数学的宇宙」と して 使われる 構造 - コルモゴロフ複雑性
- ある
文字列を 出力する、 いちばん短い プログラムの 長さで 測る 情報の 複雑さ
ResearchResearch themes
数学基礎論・数理論理学の
*Illustrative image計算可能解析学・位相空間の計算論
実数のような
*Illustrative imageランダム性の計算論
「確率」や
*Illustrative image実現可能性トポス理論
トポスを
*Illustrative image計算不可能性の次数
計算できないと
MembersFaculty
- Professor木原 貴行
VoicesStudent voices
Ratings and reviews reflect the experiences of individual current or former students, not the lab's official views. Whether a lab has reviews, or how many, says nothing about the lab itself.
Students who take part in an interview may receive a thank-you gift worth ¥1,000, regardless of what they say.
Student ratings (0 students)
--
--
--
--
--
--
Student voices answer questions like these
- What's great about this lab?
- What did you learn after joining?
- What's the vibe, and what is the professor like?
- Who is this lab for?
- Where do graduates go?
Your experience can help younger students choose their lab. Your name won't be shown.
Write a lab reviewAnonymous · Your draft is saved if you stopRelatedLabs similar to 数学基礎論・数理論理学（木原 貴行）
数理物理・素粒子論
量子情報理論・理論計算機科学・アルゴリズム論
フーリエ解析・偏微分方程式
代数幾何・The information on this page is compiled by the LabLog team from the lab's public information and interviews. For corrections or removal requests, please contact LabLog, not the lab.
Report an errorAbout the images
The top and research theme images are illustrative and were not taken at the lab. They are cropped from Wikimedia Commons images. Cropped CC BY-SA images are provided under the same CC BY-SA license as the original (version shown on each line).
- Top image: “Machine de Turing pédagogique” Mdtcreator / CC BY-SA 4.0 (cropped)
- 計算可能解析学・
位相 空間の 計算論: “Hilbert cube” Claudio Rocchini / CC BY-SA 4.0 (cropped) - ランダム性の
計算論: “Mandelbrot Set Image 91” Aokoroko / CC0 (cropped) - 実現
可能性トポス理論: “Hochhebungseigenschaft” Tensorproduct / CC BY-SA 4.0 (cropped) - 計算不
可能性の 次数: “Turing Machine Model Davey 2012” Rocky Acosta / CC BY 3.0 (cropped) - Related lab (数理物理・素粒子論
（浜中 真志） ): “Collider Detector at Fermilab (CDF) silicon vertex detector cross section” Z22 / CC BY-SA 4.0 (cropped) - Related lab (量子情報理論・理論計算機科学・アルゴリズム論
（フランソワ・ルガル） ): “Google Sycamore Chip 001” Google (https://www.youtube.com/channel/UCK8sQmJBp8GCxrOtXWBpyEA) / CC BY 3.0 (cropped) - Related lab (フーリエ解析・偏微分方程式
（木下 真也） ): “Unusual wave at the Gap” Avenue / CC BY-SA 3.0 (cropped) - Related lab (代数幾何・
表現論・ 無限可積分系・数理物理 （柳田 伸太郎） ): “Truncated icosahedron cherry model by George W. Hart” George W. Hart / CC BY-SA 4.0 (cropped)
About LabLog
LabLog is a lab review app for students only. Student members at each university interview students in labs and publish what they say. Student voices can only be read by students who sign up with a university email address. Operated by bestiee Inc.
Learn more about LabLog ↗Search engines and AI may reference the basic lab info and rating summaries on this page and the description of LabLog. Student voices are for student members only. Automated collection by programs (scraping, or input to or training of AI) is prohibited under Article 8 of the Terms of Service. If you need data for research or analysis, please contact us.