学部・大学院区分
Undergraduate / Graduate		情報・博後
時間割コード
Registration Code		4550069
科目区分
Course Category
主専攻科目
科目名　【日本語】
Course Title		ソフトウェア論セミナーⅡ-e
科目名　【英語】
Course Title		SoftwareⅡ-e
コースナンバリングコード
Course Numbering Code		GSI157021J
担当教員　【日本語】
Instructor		関　浩之 ○ 楫　勇一 森﨑　修司 結縁　祥治 濱口　毅 中澤　巧爾
担当教員　【英語】
Instructor		SEKI Hiroyuki ○ KAJI Yuichi MORISAKI Shuji YUEN Shoji HAMAGUCHI Takeshi NAKAZAWA Koji
単位数
Credits		1
開講期・開講時間帯
Term / Day / Period		春集中 その他 その他
Intensive(Spring) Other Other
対象学年
Year		２年
2
授業形態
Course style		セミナ－
Seminar
開講系（学部）・開講専攻（大学院）
Subject
情報システム学専攻
必修・選択
Required / Selected


授業の目的　【日本語】
Goals of the Course(JPN)
各研究グループにおいて選択する，ソフトウェア基礎論，プログラム理論，オブジェクト指向モデル化・設計法，ソフトウェア工学などのテーマにおいて，テキストの輪講，論文の紹介，実験・研究発表を通じて，博士論文研究を進める上で各研究分野における最新の研究成果の発展への見通しをつけるための追実験，シミュレーション，データ収集などを行う。
授業の目的　【英語】
Goals of the Course
The topic of each group will be chosen from software science and engineering, including foundations of software, theory of programming, object-oriented design and empirical software engineering.
到達目標　【日本語】
Objectives of the Course(JPN)
高度で最新の高信頼性ソフトウェアの理論の習得を目的として，いくつかの少人数のクラスに分かれてセミナーを行い，ソフトウェアの数理的モデル, 検証・テスト，開発手法に関して，ソフトウェア論セミナーII-ｄまでに得た基本的な研究結果を応用し，新たな研究成果を論文として発表することに対する見通しを得るための基礎的な能力を養う。
到達目標　【英語】
Objectives of the Course
The purpose of the course is to provide advanced theory for constructing large and reliable software by a seminar style in a small group. Based on the methodologies given in Software II-a through II-d, students obtain the ability of orienting their research activity by themselves in the area of mathematical model of software, test and verification, and software development methods.
授業の内容や構成
Course Content / Plan
各研究グループにおいて選択する，ソフトウェア基礎論，プログラム理論，オブジェクト指向モデル化・設計法，ソフトウェア工学などのテーマにおいて，テキストの輪講，論文の紹介，実験・研究発表を通じて，博士論文研究を進める上で各研究分野における最新の研究成果の発展への見通しをつけるための追実験，シミュレーション，データ収集などを行う。

〔計画〕
セミナー形式で各研究グループから構成されるクラスにおいて実施する。
Students are divided into a few classes depending on their research interest and expertise. The topic of each group will be chosen from software science and engineering, including foundations of software, theory of programming, object-oriented design and empirical software engineering. Classes of each group are given in a seminar style including reading books/papers, experiments, simulations and data acquisitions towards new research.
履修条件・関連する科目
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 each class.
課外学習等（授業時間外学習の指示）
Study Load(Self-directed Learning Outside Course Hours)
各研究グループで具体的なテーマに応じて定める。
Assignments will be given according to the topic of each group.
授業開講形態等
Lecture format, etc.
遠隔授業（オンデマンド型）で行う場合の追加措置
Additional measures for remote class (on-demand class)