Special Research for Computer and Information Sciences - Shuichi YUKITA
- 2012 年度版 (2013年度版準備中)
Instructor
Goal and Theme
抽象概念の可視化技術を探求する。特に、思考を助けるツールとしてダイアグラム追跡支援ツール、証明の関数型プログラムによる構成の支援ツールなどを設計し、プロトタイプを実装する。
Abstract
毎回の達成目標に対する報告をゼミで行う。
Schedule
| 回 | テーマ | 内容 |
|---|---|---|
| 1 | 受講者が確定後、相談にて決定 | 研究の進め方について議論する。 |
| 2 | 受講者が確定後、相談にて決定 | 毎回の課題の報告と議論。 |
| 3 | 受講者が確定後、相談にて決定 | 毎回の課題の報告と議論。 |
| 4 | 受講者が確定後、相談にて決定 | 毎回の課題の報告と議論。 |
| 5 | 受講者が確定後、相談にて決定 | 毎回の課題の報告と議論。 |
| 6 | 受講者が確定後、相談にて決定 | 毎回の課題の報告と議論。 |
| 7 | 受講者が確定後、相談にて決定 | 毎回の課題の報告と議論。 |
| 8 | 受講者が確定後、相談にて決定 | 毎回の課題の報告と議論。 |
| 9 | 受講者が確定後、相談にて決定 | 毎回の課題の報告と議論。 |
| 10 | 受講者が確定後、相談にて決定 | 毎回の課題の報告と議論。 |
| 11 | 受講者が確定後、相談にて決定 | 毎回の課題の報告と議論。 |
| 12 | 受講者が確定後、相談にて決定 | 毎回の課題の報告と議論。 |
| 13 | 受講者が確定後、相談にて決定 | 毎回の課題の報告と議論。 |
| 14 | 受講者が確定後、相談にて決定 | 毎回の課題の報告と議論。 |
| 15 | 受講者が確定後、相談にて決定 | 毎回の課題の報告と議論。 |
授業外に行うべき学習活動
授業外の活動が主である。
Materials
なし
References
適宜指示する。
Evaluation Method
レポート
情報機器使用
研究実験室のPCおよび各自のノートPC。
前年度の授業改善アンケートからの気づき
該当なし。