(目的) 知能的にソフトウェアを開発する方法の基礎 (Part I:プログラムの自動検証),及び 知能的なソフトウェアを開発する方法の基礎 (Part II:機械学習)について学びます。 (Aim) In this course you will study intelligent methods for software development (in Part I: Automated Program Verification) and methods of developing intelligent software (in Part II: Machine Learning). (新型コロナウィルスへの感染対策) 新型コロナウィルスへの感染対策のため,2020年度(1学期春ターム)においては,この科目はPart I, Part II ともに,すべて工学系教育センター【CEED】に