結縁・中澤研究室（SQLAB）

画像について

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

• トップの画像：「Coder screen shot」 Wikideas1／CC0（トリミング）
• プログラムの性質を数理的に証明する：「Mathematical proof with a fatal error」 Dino／CC BY-SA 4.0（トリミング）
• 可逆な実行で並行プログラムを調べる：「Code on computer monitor (Unsplash)」 Markus Spiske markusspiske／CC0（トリミング）
• 形式言語を代数学で捉える：「Highlighted LaTeX example」 Wikideas1／CC0（トリミング）
• 実時間並行システムの開発手法：「LC-P computer keyboard - IC encapsulated on printed circuit board-3464」 Raimond Spekking／CC BY-SA 4.0（トリミング）
• 関連する研究室（森崎研究室）：「Atari 800 XL home computer with monitor and tape program recorder XC12」 winkelnkemper／CC BY-SA 2.0（トリミング）
• 関連する研究室（ソフトウェア論講座 楫 勇一）：「Centaur server room ( )」 VIA Gallery from Hsintien, Taiwan／CC BY 2.0（トリミング）
• 関連する研究室（ソフトウェア論講座 濱口 毅）：「Software development methodologies」 Marcel Douwe Dekker／CC BY-SA 3.0（トリミング）
• 関連する研究室（番原・宋研究室（Banbara/Soh Lab.））：「Samurai-sudoku」 „Markus Weigel“／CC BY-SA 4.0（トリミング）