理論計算機科学・プログラミング言語理論・型理論（ジャック・ガリグ）

画像について

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

• トップの画像：「VS Code Screenshot」 Cycling2／CC0（トリミング）
• 型システムと型推論：「Code on computer monitor (Unsplash)」 Markus Spiske markusspiske／CC0（トリミング）
• 言語の実装を証明で確かめる：「Closeup of keys」 John Snyder／CC BY-SA 4.0（トリミング）
• 定理証明支援系の応用：「YunTech Computer Classroom 20220612」 S099001／CC BY 4.0（トリミング）
• 量子プログラムの証明：「Quantum-computer-Chalmers 2017」 Anita Fors (Chalmers)／CC BY-SA 4.0（トリミング）
• 関連する研究室（表現論・作用素環論（荒野 悠輝））：「Mathematics lecture notes, Mathematical analysis, Linear algebra, Rostov-on-Don, Russia」 Vyacheslav Argenberg／CC BY 4.0（トリミング）
• 関連する研究室（解析的整数論・代数的整数論（ヘンリク・バッハマン））：「ZetaFunction」 Gaussianer／パブリックドメイン（トリミング）
• 関連する研究室（フーリエ解析・偏微分方程式（木下 真也））：「Unusual wave at the Gap」 Avenue／CC BY-SA 3.0（トリミング）
• 関連する研究室（位相幾何学・微分幾何・大域解析学（森吉 仁志））：「Surface of revolution illustration」 Oleg Alexandrov／パブリックドメイン（トリミング）