スポンサーリンク
日本ユニシス(株) | 論文
- 面名を用いた位相優先法による頑強な立体干渉計算(第5報) -数値誤差に対する整合化処理-
- Winograd, T.: Bringing Design to Software, ACM Press (1996).
- Holyoak, K. J. and Thagard, P.: Mental Leaps : analogy in creative thought, MIT Press (1995).
- 高等教育機関における e-learning の導入と対面授業とのバランス設計に向けて : 大学生のセルフラーニング嗜好調査から
- ソリッドモデラの問題点と「曲面立体共存モデラ」の開発 : 素形材とその金型への適応
- 失敗に基づく新概念の獲得
- VirtualCampusラーニング・システムの機能と特徴 (特集 教育とマルチメディア)
- ネットワーク環境におけるインタラクティブな証明支援環境
- 等式論理系における制約解消による証明記述の枠組み
- 「渕 一博氏のロジックプログラミング」へのコメント
- 非多様体シェル演算による統一的形状モデリング(第1報) : 非多様体シェル演算とその直接取消操作
- モータ代数とグラフ理論による機構の記述と解析(第5報) : すきまペア法による誤差の縮小
- モータ代数とグラフ理論による機構の記述と解析(第16報) -弾性体を含む機構の動力学解析-
- モータ代数とグラフ理論による機構の記述と解析(第4報) : 機構の動力学解析
- モータ代数とグラフ理論による機構の記述と解析(第3報) : オープンループ機構の動力学解析
- 多視点システムモデリング
- 要求分析のための合成型手法工学アプローチ
- 分散オブジェクト環境における部品組み立てソフトウェア開発の実証実験
- 次世代ソフトウエアCALS基盤における部品組立て型ソフトウエア開発技術の実証
- ファジィ制御における規格化定数の調整法 : 操作例からの学習