学部・大学院区分
Undergraduate / Graduate		情報・博前
時間割コード
Registration Code		2550070
科目区分
Course Category
主専攻科目
科目名　【日本語】
Course Title		情報システム学演習c
科目名　【英語】
Course Title		Computing and Information Systems Exercise c
コースナンバリングコード
Course Numbering Code		GSI156061J
担当教員　【日本語】
Instructor		結縁 祥治 ○ 楫 勇一 森﨑 修司 橋本 健二 吉田　則裕 大島 聡史 高田 広章 石原 亨 渡邉 陽介 片桐 孝洋 村瀬 勉 増田 豊 酒井 正彦 濱口 毅 永井 亨 松原 豊 枝廣 正人 西田 直樹 山本 雅基 倉地 亮 中澤 巧爾 嶋田 創 関 浩之 番原 睦則
担当教員　【英語】
Instructor		YUEN Shoji ○ KAJI Yuichi MORISAKI Shuji HASHIMOTO Kenji YOSHIDA Norihiro OHSHIMA Satoshi TAKADA Hiroaki ISHIHARA Tohru WATANABE Yousuke KATAGIRI Takahiro MURASE Tutomu MASUDA Yutaka SAKAI Masahiko 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(Fall) Other Other
対象学年
Year		１年
1
授業形態
Course style		演習
Seminar
開講系（学部）・開講専攻（大学院）
Subject
情報システム学専攻
必修・選択
Required / Selected


授業の目的　【日本語】
Goals of the Course(JPN)
情報システム学演習bに引き続いて，いくつかの少人数のクラスに分かれて，計算論，情報プラットフォーム論，ソフトウェア論，情報ネットワークシステム論に関する演習やセミナーを行う。演習bまでに得た課題解決手法や課題の分析手法を発展させて，各クラスで取り上げるより進んだ演習課題について，問題の抽象化および定式化を行う。各研究グループにおいて設定した演習課題の解決のための議論・発表を重点的に行う。
授業の目的　【英語】
Goals of the Course
Following Computing and Information Systems Exercise B, students are divided into a few groups and conduct exercises and projects. By extending the methods of problem solving and analysis obtained in Exercise b, students discuss approaches to solving advanced problems.
到達目標　【日本語】
Objectives of the Course(JPN)
計算論，情報プラットフォーム論，ソフトウェア論，情報ネットワークシステム論について，それぞれの課題について，問題把握とその性質の分析結果から，問題の抽象化および定式化を行う。
到達目標　【英語】
Objectives of the Course
The purpose of the course is to make abstraction and formalize the problems based on the analysis of them in the area: theory of computation, information platform, theory of software and information network systems.
授業の内容や構成
Course Content / Plan
情報システム学演習bに引き続いて，計算論，情報プラットフォーム論，ソフトウェア論，情報ネットワークシステム論について，いくつかの少人数のクラスに分かれて演習やセミナーを行う。各クラスで選択した，マルチ・メニーコア向けアルゴリズムの開発，リアルタイムオペレーティングシステムの開発，プログラミング言語の設計と処理系の実現，プログラム検証系の実装，ソフトウェア要求分析，オブジェクト指向設計，情報ユーザビリティなどのテーマから演習課題を取り上げ，演習bまでに得た課題解決手法や課題の分析手法を発展させて，各クラスで取り上げるより進んだ演習課題について，各研究グループにおいて設定した演習課題の解決のための議論・発表を重点的に行う。

〔計画〕
各研究グループにおいて，セミナー形式および個人指導などで実施する。
Following Computing and Information Systems Exercise B, 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. By extending the methods of problem solving and analysis obtained in Exercise b, students discuss approaches to solving advanced problems.

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)
各担当教員の判断のもと必要に応じてオンラインミーティングを行う。