| 研究課題/領域番号 |
10480034
|
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
中川 正宣 東京工業大学, 大学院・社会理工学研究科, 教授 (40155685)
|
|---|
| 研究分担者 |
楠見 孝 東京工業大学, 大学院・社会理工学研究科, 助教授 (70195444)
牟田 博光 東京工業大学, 大学院・社会理工学研究科, 教授 (70090925)
|
|---|
| キーワード | 論理学学習 / 学習実験システム / コンピュータグラフィックス |
|---|
| 研究概要 |
(1) 既存システムの論理学的問題点の検討をおこなった。
(2) (1)での検討を基に、以下の手順で具体的改良システムを設計した。
2-1 高速コンピュータの準備
当該システムの設計が可能な高速処理および高速グラフィックス処理能力を供えたコンピュータシステムSUN Ultra10を導入し以下でのシステムの設計を考慮して各種の初期設定を行った。
2-2 基本システムの再設計と実装
前記の既存システムの基本部分を当該コンピュータ上で再設計し実装する。
2-3 グラフィックスの再設計と実装した。
前記の既存システムのグラフィックス部分を当該コンピュータ上で再設計し実装した。
2-4 論理式群から問題への変換
与えられた論理式群から、当該システムでの問題への変換アルゴリズムの設計と実装を行った。
2-5 学習過程評価の自動化
学習過程の自動記録、自動評価、結果の自動整理と印刷提示システムの設計と実装を行った。
|
