授業の目的 【日本語】 Goals of the Course(JPN) | | 情報システム学演習dに引き続いて,いくつかの少人数のクラスに分かれて,計算論,情報プラットフォーム論,ソフトウェア論,情報ネットワークシステム論に関する演習やセミナーを行う。演習dにおいて解決を得た演習課題を発展させ,より進んだ演習課題を各クラスで取り上げ,問題解決のためのアプローチを模索する。各研究グループにおいて,より効率的で洗練された解決を得ることに重点をおいて演習を実施する。 |
|
|
授業の目的 【英語】 Goals of the Course | | Following Computing and Information Systems Exercise D, students are divided into a few groups and conduct exercises and projects. Students participate in projects towards more efficient and sophisticated problem solving. |
|
|
到達目標 【日本語】 Objectives of the Course(JPN) | | 計算論,情報プラットフォーム論,ソフトウェア論,情報ネットワークシステム論について,それぞれの課題について,課題をより発展させた問題解決のためのアプローチを模索する。 |
|
|
到達目標 【英語】 Objectives of the Course | | The purpose of the course is to pursue approaches to solving advanced problems in the area: theory of computation, information platform, theory of software and information network systems. |
|
|
授業の内容や構成 Course Content / Plan | | 情報システム学演習dに引き続いて,計算論,情報プラットフォーム論,ソフトウェア論,情報ネットワークシステム論について,いくつかの少人数のクラスに分かれて演習やセミナーを行う。各クラスで選択した,マルチ・メニーコア向けアルゴリズムの開発,リアルタイムオペレーティングシステムの開発,プログラミング言語の設計と処理系の実現,プログラム検証系の実装,ソフトウェア要求分析,オブジェクト指向設計,情報ユーザビリティなどのテーマから演習課題を取り上げ,それぞれの課題について,より効率的で洗練された解決を得ることに重点において演習を実施する。
〔計画〕
各研究グループにおいて,セミナー形式および個人指導などで実施する。 | Following Computing and Information Systems Exercise D, 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 participate in projects towards more efficient and sophisticated problem solving.
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) | | 各担当教員の判断のもと必要に応じてオンラインミーティングを行う。 |
|
|