スポンサーリンク
北海道大学工学部情報工学科 | 論文
- 一般化論理プログラムによる変換ルールの合成
- 学習経路と情報量の位相的性質との関係について
- 一読者として
- ユーザーインタフェースを考慮した体積空間の領域分割と体積変化の可視化への応用
- 脳死下におけるドナー管理 (第5土曜特集 臓器移植の新時代) -- (脳死臓器提供に関する課題)
- 効率的な等価変換ルールの探索に基づくプログラム合成 (プログラム変換と記号・数式処理)
- 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
- 負制約の等価変換による問題解決の基礎理論
- 条件部と実行部を持つ等価変換ルールの自動生成
- 無線通信を利用した参加型エンターテインメントの可能性に関する一検討(ブロードバンドアクセス,ホームネットワーク,一般)
- 場とイベントによる並列計算モデル : Kamui 88
- 上下限変数制約付き凸計画問題に対する座標軸成分毎最小化法の収束証明
- リンク負荷メトリックに基づく遺伝的アルゴリズムによる負荷分散ルーティング
- ルーティングアルゴリズムにおける経路評価頻度の制御
- 遺伝的アルゴリズムによる帯域幅割当てのための分散ナルゴリズムの設計
- 項書換えシステムにおける自己反映計算
- 項書換えシステムにおける自己反映計算 (情報工学専攻創立20周年記念号)
- 等式プログラミングにおけるリフレクション