数学基礎論・数理論理学（木原 貴行）

画像について

トップと研究テーマの画像は内容のイメージで、研究室で撮影したものではありません。ウィキメディア・コモンズの画像をトリミングして使っています。CC BY-SA の画像は、トリミング後の画像も元の画像と同じ CC BY-SA（各行の版）で提供します。

• トップの画像：「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（トリミング）