学部・大学院区分
Undergraduate / Graduate		情報・博前
時間割コード
Registration Code		2550008
科目区分
Course Category
主専攻科目
科目名　【日本語】
Course Title		計算論セミナーⅠ-h
科目名　【英語】
Course Title		Computation theory I-h
コースナンバリングコード
Course Numbering Code		GSI156008J
担当教員　【日本語】
Instructor		酒井 正彦 ○ 宋 剛秀 小嶋 美咲 西田 直樹 番原 睦則
担当教員　【英語】
Instructor		SAKAI Masahiko ○ SOH Takehide KOJIMA Misaki NISHIDA Naoki BAMBARA Mutsunori
単位数
Credits		1
開講期・開講時間帯
Term / Day / Period		秋集中 その他 その他
Intensive(Fall) Other Other
対象学年
Year		２年
2
授業形態
Course style		セミナ－
Seminar
開講系（学部）・開講専攻（大学院）
Subject
情報システム学専攻
必修・選択
Required / Selected


授業の目的　【日本語】
Goals of the Course(JPN)
情報システムを支える基礎理論の習得を目的として，複数の少人数クラスに分かれてセミナーを行い，計算論の基礎的手法を理解するとともに，数式による形式的文章の理解力と記述力，直観および具体化による説明力を養う。
授業の目的　【英語】
Goals of the Course
This course aims to provide a fundamental understanding of the theoretical foundations of information systems. Conducted in small-group seminars, students will master basic methodologies in the theory of computation. The curriculum is designed to foster proficiency in comprehending and composing formal documents using mathematical expressions, while simultaneously developing the ability to provide intuitive and concrete explanations of theoretical concepts.
到達目標　【日本語】
Objectives of the Course(JPN)
計算論の基礎的手法を理解し，数式による形式的文章が理解・記述・直観および具体化による説明できる。
到達目標　【英語】
Objectives of the Course
The goal is to understand basic methodologies of the theory of computation, and to obtain skills to understand/describe/explain mathematical formulae.
授業の内容や構成
Course Content / Plan
各研究グループに別れ，それぞれで具体的なテーマに応じ，アルゴリズム論の基礎や形式論理の基礎などに関するテキストを用いた輪講，論文の紹介，事例の分析を行う。
特に輪講に重点をおいて講師として説明を行う。

〔計画〕
セミナー形式で各研究グループにおいて実施する。
履修条件・関連する科目
Course Prerequisites and Related Courses
とくになし
成績評価の方法と基準
Course Evaluation Method and Criteria
研究発表および研究課題に対する解答などから総合的に判断する。
Grading will be determined based on participation, punctuality, presentation and assignments.
教科書・参考書
Textbook/Reference book
各研究グループで具体的なテーマに応じて定める。
Textbooks and other related materials will be announced in a class.
課外学習等（授業時間外学習の指示）
Study Load(Self-directed Learning Outside Course Hours)
必要に応じて授業で示す。
授業開講形態等
Lecture format, etc.
遠隔授業（オンデマンド型）で行う場合の追加措置
Additional measures for remote class (on-demand class)