計算理論（THIES Holger）

画像について

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

• トップの画像：「Coq plus comm screenshot」 Hugo Herbelin／CC BY-SA 3.0（トリミング）
• 実数計算のアルゴリズムを証明する：「Real number line」 User:Phrood~commonswiki／パブリックドメイン（トリミング）
• 関連する研究室（数理論理学（DEBRECHT Matthew））：「Cantor set radial phoenix」 Cmglee／CC BY-SA 4.0（トリミング）
• 関連する研究室（森成物性理論研究室）：「Tile levitates by Meissner effect」 Garrett Pennell／CC BY-SA 3.0（トリミング）
• 関連する研究室（数理物理学（足立 匡義））：「Interference of Waves」 Psgs123xyz／パブリックドメイン（トリミング）
• 関連する研究室（力学系理論（木坂 正史））：「Exp-esc」 Arnaud Cheritat／CC0（トリミング）