授業の目的 【日本語】 Goals of the Course(JPN) | | 計算論,情報プラットフォーム論,ソフトウェア論,情報ネットワークシステム論について,いくつかの少人数のクラスに分かれて演習やセミナーを行う。各クラスで演習課題を取り上げ,それぞれの課題における問題把握とその性質の分析を行い,その分野に対する基礎的理解を深める。各研究グループにおいて,課題における基礎的な理解を得ることを目的として基礎的な演習課題の解決に取り組む。 |
|
|
授業の目的 【英語】 Goals of the Course | | The purpose of the course is to grasp the problems and the existing research in the area: theory of computation, information platform, theory of software and information network systems. Students are divided into a few groups and conduct exercises and projects. Students solve basic exercises in one of the topics. |
|
|
到達目標 【日本語】 Objectives of the Course(JPN) | | 計算論,情報プラットフォーム論,ソフトウェア論,情報ネットワークシステム論について,それぞれの課題における問題把握と既存研究の整理を行い,その分野に対する理解を深める。 |
|
|
到達目標 【英語】 Objectives of the Course | | The purpose of the course is to grasp the problems and the existing research in the area: theory of computation, information platform, theory of software and information network systems. |
|
|
授業の内容や構成 Course Content / Plan | | 計算論,情報プラットフォーム論,ソフトウェア論,情報ネットワークシステム論について,いくつかの少人数のクラスに分かれて演習やセミナーを行う。各クラスで,例えば,マルチ・メニーコア向けアルゴリズムの開発,リアルタイムオペレーティングシステムの開発,プログラミング言語の設計と処理系の実現,プログラム検証系の実装,ソフトウェア要求分析,オブジェクト指向設計,情報ユーザビリティなどの演習課題を取り上げ,それぞれの課題における基礎的な演習課題ないしは自クラスにおいて基礎的演習に取り組む。
〔計画〕
各研究グループにおいて,セミナー形式および個人指導などで実施する。 | 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 solve basic exercises in one of the topics.
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) | | 各担当教員の判断のもと必要に応じてオンラインミーティングを行う。 |
|
|