学部・大学院区分
Undergraduate / Graduate		情報・博前
時間割コード
Registration Code		2550073
科目区分
Course Category
主専攻科目
科目名　【日本語】
Course Title		情報システム学演習f
科目名　【英語】
Course Title		Computing and Information Systems Exercise f
コースナンバリングコード
Course Numbering Code		GSI156064J
担当教員　【日本語】
Instructor		石原 亨 ○ 楫 勇一 森﨑 修司 橋本 健二 吉田　則裕 高田 広章 大島　聡史 渡邉 陽介 片桐 孝洋 村瀬 勉 増田 豊 酒井 正彦 結縁 祥治 濱口 毅 永井 亨 松原 豊 枝廣 正人 西田 直樹 山本 雅基 倉地 亮 中澤 巧爾 嶋田 創 関 浩之 番原 睦則
担当教員　【英語】
Instructor		ISHIHARA Tohru ○ KAJI Yuichi MORISAKI Shuji HASHIMOTO Kenji YOSHIDA Norihiro TAKADA Hiroaki OHSHIMA Satoshi WATANABE Yousuke KATAGIRI Takahiro MURASE Tutomu MASUDA Yutaka SAKAI Masahiko YUEN Shoji HAMAGUCHI Takeshi NAGAI Toru MATSUBARA Yutaka EDAHIRO Masato NISHIDA Naoki YAMAMOTO Masaki KURACHI Ryo NAKAZAWA Koji SHIMADA Hajime SEKI Hiroyuki BAMBARA Mutsunori
単位数
Credits		1
開講期・開講時間帯
Term / Day / Period		春集中 その他 その他
Intensive(Spring) Other Other
対象学年
Year		２年
2
授業形態
Course style		演習
Seminar
開講系（学部）・開講専攻（大学院）
Subject
情報システム学専攻
必修・選択
Required / Selected


授業の目的　【日本語】
Goals of the Course(JPN)
情報システム学演習eに引き続いて，いくつかの少人数のクラスに分かれて，計算論，情報プラットフォーム論，ソフトウェア論，情報ネットワークシステム論に関する演習やセミナーを行う。演習eにおいて検討した問題解決に対して背景となる理論や裏付けとなるデータ収集などに重点を置いて，得られた結果が正しいことを示す技法について修得するため，各クラスで問題解決のためのアプローチを具体化・定式化する。
授業の目的　【英語】
Goals of the Course
Following Computing and Information Systems Exercise E, students are divided into a few groups and conduct exercises and projects. Students focus on justification of their approaches and learn how to validate or verify the correctness of the method.
到達目標　【日本語】
Objectives of the Course(JPN)
計算論，情報プラットフォーム論，ソフトウェア論，情報ネットワークシステム論について，それぞれの課題について，課題を詳細化して整理することによって問題解決のためのアプローチを具体化・定式化する。
到達目標　【英語】
Objectives of the Course
The purpose of the course is to formalize approaches to problem solving by refinement of the problems in the area: theory of computation, information platform, theory of software and information network systems.
授業の内容や構成
Course Content / Plan
情報システム学演習eに引き続いて，計算論，情報プラットフォーム論，ソフトウェア論，情報ネットワークシステム論について，いくつかの少人数のクラスに分かれて演習やセミナーを行う。各クラスで選択した，マルチ・メニーコア向けアルゴリズムの開発，リアルタイムオペレーティングシステムの開発，プログラミング言語の設計と処理系の実現，プログラム検証系の実装，ソフトウェア要求分析，オブジェクト指向設計，情報ユーザビリティなどのテーマから演習課題を取り上げ，問題解決に対して背景となる理論や裏付けとなるデータ収集などに重点を置いて，得られた結果が正しいことを示すための技法について修得する。

〔計画〕
各研究グループにおいて，セミナー形式および個人指導などで実施する。
Following Computing and Information Systems Exercise E, students are divided into a few groups on theory of computation, information platform, theory of software and information network systems and conduct exercises and projects. Examples of topics are development of algorithms for multi-/many core, development of real-time operating systems, design and implementation of programming languages, implementation of verification systems, software requirement analysis, object-oriented design and information usability. Students focus on justification of their approaches and learn how to validate or verify the correctness of the method.

The course is given in a peer-to-peer or seminar style for each group.
履修条件・関連する科目
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 related to the topic of the exercise.
授業開講形態等
Lecture format, etc.
演習
遠隔授業（オンデマンド型）で行う場合の追加措置
Additional measures for remote class (on-demand class)
各担当教員の判断のもと必要に応じてオンラインミーティングを行う。