スポンサーリンク
早稲田大学理工学部情報学科 | 論文
- LMNtal処理系および他言語インタフェースの設計と実装
- 東北大学光波およびマイクロ波量子エレクトロニクス/磁気記録シンポジウムに出席して
- 基礎理論 (ディスプレイ--最近の進歩) -- (基礎理論の進歩)
- 知識ベース技術の展望 (データベース技術)
- パネル討論会 : 人工知能研究の目指すもの : 昭和61年後期第33回全国大会報告
- 標準的使用法の提示によるオブジェクト指向フレームワークの対話的理解支援
- B-17 オブジェクト指向フレームワークの標準的使用法に基づく対話的理解支援(オブジェクト指向とパターン,B.ソフトウェア)
- 標準的実装からの逸脱度によるフレームワークの設計評価
- 5ZC-5 ユーザの実装逸脱度に基づくフレームワークの設計評価メトリクス
- プログラム変更に対する正当性検証技法と分割技法の適用
- 論理型仕様の理解支援のための一手法
- 知識ベースによる対象モデルからの自動プログラム生成
- ラベル付き連結グラフ高速ランダム生成のための構成比近似法
- 学習者の知識構造で制御する適応型学習システムの研究・開発(4) : 学習者の定量的知識構造推定法
- 学習者の知識構造で制御する適応型学習システムの開発(3) : 図形入力からの定性的知識構造推定法
- 学習者の知識構造で制御する知的適応型学習システムにおける知識構造推定法
- 知識構造で制御する適応型学習システムの開発(2) : 問題エキスパート部の理論
- 知識構造で制御する適応型学習システムの開発(1) : 設計コンセプトと図形入力支援
- 学習者の知識構造で制御する適応型学習システムの研究・開発(1) : 出題最適化エキスパートシステム部の理論
- A-2-23 アフィン演算を利用した非線形方程式の解の存在検証(A-2. 非線形問題)