スポンサーリンク
北海道大学大学院情報科学研究科複合情報学専攻 | 論文
- ハイパーテキスト・マークアップ言語によるネットワーク環境学習システムの試作
- 条件付き項書換え系に基づく言語におけるメタ計算(並列・分散)
- 拡張ステータスによる項書換え系の停止性検証
- ハイパーテキスト・マークアップ言語によるネットワーク環境学習システムの試作
- 抽象書換え系理論による講座配属アルゴリズムの完備性の解析
- 項書換えシステムにおける自己反映計算
- ヒュ-マンパフォ-マンスモデルに基づく事故復旧システムの開発
- 抽象書換え系理論による講座配属アルゴリズムの完備性と解析
- 書換え系理論を用いた講座配属アルゴリズムの完備性の解析
- 条件付き項書換えシステム処理系におけるメタ計算機能
- 複数の簡約順序のもとでの項書換えシステム完備化手続き
- メタ計算機能を付加した条件付き項書換えシステム処理系の実現
- 拡張ステータスを用いた項書換えシステムの停止性検証システムの開発
- 線形な領域計算量の最良優先探索の探索順序の緩和
- ステータスの拡張による項書換えシステムの停止性検証
- 項書換えシステムに基づく自己反映計算の実現
- 項書換えシステムにおける自己反映計算 (情報工学専攻創立20周年記念号)
- ATMSのデータ構造に基づいた複数の簡約順序を扱う完備化手続き
- 複数簡約順序を扱う完備化続き
- 制約伝播を利用したファジィ論理回路の故障診断