情報論理学

画像について

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

• トップの画像：「Informatics General programmer at terminal」 Jonathan Schilling／CC BY-SA 4.0（トリミング）
• 形式木言語理論の研究：「Finite-state machine state-diagram」 Maggyero／CC BY-SA 4.0（トリミング）
• プログラミング言語意味論：「Lambda calculus-Church numerals」 Isaac David／パブリックドメイン（トリミング）
• 関連する研究室（ソフトウェア基礎科学）：「Tidal Code Screenshot」 Kindohm／CC BY-SA 4.0（トリミング）
• 関連する研究室（高性能計算論）：「Pleiades supercomputer racks 4」 Oleg Alexandrov／CC BY-SA 4.0（トリミング）
• 関連する研究室（知能集積システム学）：「TEI0001 Altera MAX 10 FPGA MAX1000 IoT Maker Board top view」 Antti Lukats／CC0（トリミング）
• 関連する研究室（大規模データ数理最適化講座）：「Network graph visualization showing bibliography and references」 Ecpp／CC BY-SA 4.0（トリミング）