スポンサーリンク
北海道大学大学院情報科学研究科複合情報学専攻 | 論文
- 優先順位と二分決定グラフに基づく複数経路順序下の項書換え系完備化手続き
- プログラムの変更履歴に基づくリファクタリング支援
- エージェントの移動性を考慮したエージェント間通信のトラフィック量に関する実験と評価
- 多重パスメッセージ転送ネットワークの数理モデルと論理(アルゴリズム一般)
- 多重パスメッセージ転送ネットワークの数理モデルと論理
- D-3-1 移動エージェントにおける位置透過性を持ったエージェント間通信機構の実現
- 2J-2 アーク整合にAC-7を用いたMAC制約充足アルゴリズムの実装
- 5P-7 反復改善型分散制約充足アルゴリズムの実装と評価
- 1N-6 BDD表現を用いた複数優先順位を扱う項書換え系完備化推論規則
- 3K-1 多項制約充足問題の双対問題による2項制約化の改善と検証
- 2K-5 研究室配属アルゴリズムの諸性質の考察
- 簡約系によるリフレクティブエージェント (第3回ヒューマンインタフェース研究会 コミュニケーションおよび一般)
- 等式プログラムの停止性検証
- 条件付き項書換え系に基づく言語におけるメタ計算
- 列書換え系停止性検証における二分決定グラフのサイズ
- 二分決定グラフを用いた項書換え系の停止性検証システム
- 二分決定グラフを用いた書換え型プログラムの停止性検証器
- CREPSにおける自己反映計算の実現
- 二分決定グラフを用いた書換え型プログラムの停止性検証システム
- 二分決定グラフを用いた項書換え系の停止性検証