授業の目的 【日本語】 Goals of the Course(JPN) | | 情報システム学演習aに引き続いて,いくつかの少人数のクラスに分かれて,計算論,情報プラットフォーム論,ソフトウェア論,情報ネットワークシステム論に関する演習やセミナーを行う。基礎的な分析・推論手法を発展させることを目的として,演習aで演習課題の解決によって得た基礎的な理解と手法にもとづいて,別のクラスにおける基礎的な演習課題ないしは自クラスにおいて基礎的演習に取り組む。 |
|
|
授業の目的 【英語】 Goals of the Course | | Following Computing and Information Systems Exercise A, students are divided into a few groups and conduct exercises and projects. Based on the knowledge and methodology obtained in Exercise a, students continue exercises in the same class as or a class different from Exercise a. |
|
|
到達目標 【日本語】 Objectives of the Course(JPN) | | 計算論,情報プラットフォーム論,ソフトウェア論,情報ネットワークシステム論について,それぞれの課題について性質の分析を行い,基礎的な分析・推論手法を発展させることを目的とする。 |
|
|
到達目標 【英語】 Objectives of the Course | | The purpose of the course is to analyze the problems and to develop the basic methods for analysis and inference in the area: theory of computation, information platform, theory of software and information network systems. |
|
|
授業の内容や構成 Course Content / Plan | | 情報システム学演習aに引き続いて,計算論,情報プラットフォーム論,ソフトウェア論,情報ネットワークシステム論について,いくつかの少人数のクラスに分かれて演習やセミナーを行う。各クラスで選択した,マルチ・メニーコア向けアルゴリズムの開発,リアルタイムオペレーティングシステムの開発,プログラミング言語の設計と処理系の実現,プログラム検証系の実装,ソフトウェア要求分析,オブジェクト指向設計,情報ユーザビリティなどのテーマから演習課題を取り上げ,演習aで得た基礎的な理解と手法にもとづいて,別のクラスにおける基礎的な演習課題ないしは自クラスにおいて引き続き基礎的演習に取り組む。
〔計画〕
各研究グループにおいて,セミナー形式および個人指導などで実施する。 | Following Computing and Information Systems Exercise A, 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. Based on the knowledge and methodology obtained in Exercise a, students continue exercises in the same class as or a class different from Exercise a.
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) | | 各担当教員の判断のもと必要に応じてオンラインミーティングを行う。 |
|
|