スポンサーリンク
北海道大学大学院工学研究科システム情報工学専攻 | 論文
- 効率的な等価変換ルールの探索に基づくプログラム合成 (プログラム変換と記号・数式処理)
- A Theoretical Foundation for Generation of Equivalent Transformation Rules (Program Transformation, Symbolic Computation and Algebraic Manipulation)
- Unification Algorithm for Obiects with Classes and Substructure
- Declarative Semantics for A Programming Language with Class Hierarchies and Substructure
- 負制約の等価変換による問題解決の基礎理論
- 条件部と実行部を持つ等価変換ルールの自動生成
- 問題仕様からの等価変換ルールの生成
- 問題仕様からの等価変換ルールの生成
- 問題解決のための効率的な等価変換ルールの探索
- 一階論理表現の等価変換を用いた問題解決の正当性
- 等価変換ルールの生成方法の理論的基礎
- ユーザ参加型メディアにおける知識蓄積プロセスの分析
- Consumer Generated Mediaにおける知識蓄積プロセスの分析(「社会システムにおける知能」および一般)
- Consumer Generated Mediaにおける知識蓄積プロセスの分析(一般,「社会システムにおける知能」および一般)
- 明度および色度の段階的クラスタリングによる色彩画像の限定色表示
- 語彙獲得における即時学習則の適用条件モデル
- 義肢制御のための低侵襲性脳波計測システムの構築 : SOMによるラット運動・感覚パターンの分類
- Morphogenesis Machine のためのヴィジョンフィードバックシステムの構築
- 1P1-I03 Morphogensis Machine 構築のための vision feedback system の検証
- リンク負荷メトリックに基づく遺伝的アルゴリズムによる負荷分散ルーティング