授業の目的 【日本語】 Goals of the Course(JPN) | | 情報システム学演習gに引き続いて,いくつかの少人数のクラスに分かれて,計算論,情報プラットフォーム論,ソフトウェア論,情報ネットワークシステム論に関する演習やセミナーを行う。演習gまでで得られた課題解決とその手法が正しいことを説明するプレゼンテーション技術の発展を中心に演習を実施する。さらに,課題の解決結果を多方面から整理して達成した内容の明確化と今後の課題についての理解を深める。 |
|
|
授業の目的 【英語】 Goals of the Course | | Following Computing and Information Systems Exercise G, students are divided into a few groups and conduct exercises and projects. Students give presentations of the result of their problem solving and obtain deeper observation on the problems and clarify the future work. |
|
|
到達目標 【日本語】 Objectives of the Course(JPN) | | 計算論,情報プラットフォーム論,ソフトウェア論,情報ネットワークシステム論について,それぞれの課題について,発見した問題解決法を理論的観点もしくは実験的観点から評価し,結果の発表技術を習得する。 |
|
|
到達目標 【英語】 Objectives of the Course | | The purpose of the course is to evaluate the proposed problem solving either theoretically or experimentally in the area: theory of computation, information platform, theory of software and information network systems. |
|
|
授業の内容や構成 Course Content / Plan | | 情報システム学演習gに引き続いて,計算論,情報プラットフォーム論,ソフトウェア論,情報ネットワークシステム論について,いくつかの少人数のクラスに分かれて演習やセミナーを行う。各クラスで選択した,マルチ・メニーコア向けアルゴリズムの開発,リアルタイムオペレーティングシステムの開発,プログラミング言語の設計と処理系の実現,プログラム検証系の実装,ソフトウェア要求分析,オブジェクト指向設計,情報ユーザビリティなどのテーマから演習課題を取り上げ,それぞれの課題について,課題の解決結果を多方面から整理して研究発表を行い,達成した内容の明確化と今後の課題についての理解を深める。
〔計画〕
各研究グループにおいて,セミナー形式および個人指導などで実施する。 | Following Computing and Information Systems Exercise G, 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 give presentations of the result of their problem solving and obtain deeper observation on the problems and clarify the future work.
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) | | 各担当教員の判断のもと必要に応じてオンラインミーティングを行う。 |
|
|