附属計算機構研究施設（照井 一成）

画像について

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

• トップの画像：「Hasse4Conn」 R. J. Mathar／CC BY-SA 4.0（トリミング）
• 非古典論理の代数的証明論：「Hasse Diagram of Subgroup Lattice of D4」 Spamakin／CC0（トリミング）
• 単純型ラムダ計算の計算複雑性：「A lambda-term with links」 PIerre.Lescanne／CC BY-SA 4.0（トリミング）
• Ω規則の代数化：「Gerhard Gentzen」 Eckart Menzler-Trott／CC BY-SA 2.0 de（トリミング）
• 関連する研究室（応用数理研究部門（長谷川 真人））：「Kleisli Category - morphism composition」 AugPi／CC BY-SA 4.0（トリミング）
• 関連する研究室（応用数理研究部門（河村 彰星））：「Turing Machine」 Porao／パブリックドメイン（トリミング）
• 関連する研究室（応用数理研究部門（牧野 和久））：「B functies 2var versie02」 Bob.v.R／CC BY-SA 4.0（トリミング）
• 関連する研究室（数理解析研究所（桑垣 樹））：「Whitney umbrella」 Jlrodri／CC BY-SA 3.0（トリミング）