南出靖彦研究室

画像について

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

• トップの画像：「CSS code on a screen (Unsplash)」 Sai Kiran Anagani _imkiran／CC0（トリミング）
• 正規表現マッチングの計算量解析：「Regular expression example」 Belbury／CC0（トリミング）
• 文字列制約の充足可能性判定：「Finite-state machine state-diagram」 Maggyero／CC BY-SA 4.0（トリミング）
• ウェブソフトウェアの検証：「Programming code」 Martin Vorel／CC BY-SA 4.0（トリミング）
• HTML5の構文解析仕様からのテスト生成：「HTML5 oval logo」 HTML5-logo.svg: W3C derivative work: Patio (talk)／CC BY 3.0（トリミング）
• 関連する研究室（叢悠悠研究室）：「Lambda calculus-Church numerals」 Isaac David／パブリックドメイン（トリミング）
• 関連する研究室（増原英彦研究室）：「FortranCodingForm.agr」 Arnold Reinhold／CC BY 2.5（トリミング）
• 関連する研究室（安永憲司研究室）：「ENIGMA Wired Rotor - National Cryptologic Museum - DSC07768」 Daderot／CC0（トリミング）
• 関連する研究室（鈴木咲衣研究室）：「Blue Trefoil Knot」 Jim.belk／パブリックドメイン（トリミング）