学部・大学院区分
Undergraduate / Graduate		情報・博前
時間割コード
Registration Code		2550074
科目区分
Course Category
主専攻科目
科目名　【日本語】
Course Title		情報システム学演習g
科目名　【英語】
Course Title		Computing and Information Systems Exercise g
コースナンバリングコード
Course Numbering Code		GSI156065J
担当教員　【日本語】
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		２年
2
授業形態
Course style		演習
Seminar
開講系（学部）・開講専攻（大学院）
Subject
情報システム学専攻
必修・選択
Required / Selected


授業の目的　【日本語】
Goals of the Course(JPN)
情報システム学演習fに引き続いて，いくつかの少人数のクラスに分かれて，計算論，情報プラットフォーム論，ソフトウェア論，情報ネットワークシステム論に関する演習やセミナーを行う。特に，演習fで実施した演習課題の具体化・定式化が問題解決に対して妥当であることを確認する。妥当性を実証するための実験方法，背景理論に基づく証明などに重点を置いて演習を実施する。
授業の目的　【英語】
Goals of the Course
Following Computing and Information Systems Exercise F, students are divided into a few groups and conduct exercises and projects. Students continue projects, focusing on experiments for validation or formal verification based on the assumed formal modes.
到達目標　【日本語】
Objectives of the Course(JPN)
計算論，情報プラットフォーム論，ソフトウェア論，情報ネットワークシステム論について，それぞれの課題について，具体化・定式化が問題解決に対して妥当であることを確認する。
到達目標　【英語】
Objectives of the Course
The purpose of the course is to justify the proposed formalization towards problem solving in the area: theory of computation, information platform, theory of software and information network systems.
授業の内容や構成
Course Content / Plan
情報システム学演習ｆに引き続いて，計算論，情報プラットフォーム論，ソフトウェア論，情報ネットワークシステム論について，いくつかの少人数のクラスに分かれて演習やセミナーを行う。各クラスで選択した，マルチ・メニーコア向けアルゴリズムの開発，リアルタイムオペレーティングシステムの開発，プログラミング言語の設計と処理系の実現，プログラム検証系の実装，ソフトウェア要求分析，オブジェクト指向設計，情報ユーザビリティなどのテーマから演習課題を取り上げ，妥当性を実証するための実験方法，背景理論に基づく証明などに重点を置いて演習を実施する。

〔計画〕
各研究グループにおいて，セミナー形式および個人指導などで実施する。
Following Computing and Information Systems Exercise F, 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 continue projects, focusing on experiments for validation or formal verification based on the assumed formal modes.

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