信息逻辑学研究室

关于图片

顶部和研究课题的图片为示意图，并非在研究室拍摄。使用的是维基共享资源的裁剪图片。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（裁剪）