講義内容詳細：最適化技術入門／最適化技術入門（再）

年度/Academic Year	2022
授業科目名/Course Title (Japanese)	最適化技術入門／最適化技術入門（再）
英文科目名/Course Title (English)	Introduction to Optimization
学期/Semester	前期	単位/Credits	2
教員名/Instructor (Japanese)	宋少秋/小林和博/水山元
英文氏名/Instructor (English)	Shao Chin Sung/KOBAYASHI Kazuhiro/MIZUYAMA Hajime

講義概要/Course description

経営システム工学科では，データ分析技術・モデル化技術・最適化技術を体系的に学習する．本科目では，集合，関係，関数，再帰・帰納，数え上げ，確率，命題論理，述語論理，証明など，今後最適化技術を学習する上での基礎となる事項を学習する．また，関連分野の中から最先端のトピックを取り上げることにより，今後の学習の指針を与える．

達成目標/Course objectives

エンジニアは，論理的・数理的な思考を駆使することにより，多様かつ複雑な問題に対して的確にアプローチすることが求められている．本科目では，最適化技術の根幹をなす事柄を学習することにより，今後論理的・数理的な思考法を習得する上での基礎を涵養する．

授業計画/Lecture plan

授業計画/Class	Collecting Things Together: Sets【オンライン授業（オンデマンド型）での実施】

授業計画/Class	Collecting Things Together: Sets & Comparing Things: Relations

授業計画/Class	Comparing Things: Relations

授業計画/Class	Associating One Item with Another: Functions

授業計画/Class	Midterm Examination 1

授業計画/Class	Recycling Outputs as Inputs: Induction and Recursion

授業計画/Class	Recycling Outputs as Inputs: Induction and Recursion & Counting Things: Combinatorics

授業計画/Class	Counting Things: Combinatorics

授業計画/Class	Weighting of Odds: Probability

授業計画/Class	Midterm Examination 2

授業計画/Class	Yea and Nay: Propositional Logic

授業計画/Class	Yea and Nay: Propositional Logic & Something About Everything: Quantificational Logic

授業計画/Class	Something About Everything: Quantificational Logic

授業計画/Class	Just Supposing: Proof and Consequence

授業計画/Class	Final Examination

事前学習/Preparation	該当回に対応する教科書の内容を読み，わからない点をまとめる．
事後学習/Reviewing	該当回の内容で，理解が不十分な点はわかるまで復習する．

授業方法/Method of instruction

区分/Type of Class	対面授業 / Classes in-person
実施形態/Class Method	通常型 / regular 補足事項/Supplementary notes本講義は対面授業(通常型)で実施します． Lectures will be given in Japanese, and course materials will be written in English.
活用される授業方法/Teaching methods used	プレゼンテーション presentation PBL（課題解決型学習） project-based learning 反転授業（知識習得の要素を教室外に済ませ、知識確認等の要素を教室で行う授業形態） reverse teaching(a class style where students educate themselves out of class beforehand, and use the class period to confirm the knowledge one has gained.) ディスカッション、ディベート discussion / debate グループワーク group work 実習、フィールドワーク field work 上記に該当しない none of the above

成績評価方法/Evaluation

試験 Exam

100%

30% for Midterm Examination 1, 30% for Midterm Examination 2, and 40% for Final Examination. Evaluation not less than 60% is the requirement for the completion of this course.

教科書/Textbooks

	著者名 Author	タイトル Title	出版社 Publisher	出版年 Published year	ISBN	コメント Comments
1	David Makinson	Sets, Logic and Maths for Computing, Second edition	Springer-Verlag, London	2012	9781447124993	本学図書館のデータベースより Springer Link にアクセスすることでダウンロード可能：https://link.springer.com/book/10.1007/978-1-4471-2500-6

参考書/Reference books

	コメント Comments
1	適宜参考書を授業で紹介する．