決定的抽象プログラムから低水準命令型プログラムを合成する枠組み
スポンサーリンク
概要
- 論文の詳細を見る
等価変換に基づくプログラム構築は,仕様記述から低水準命令型プログラム生成までのプロセスを一貫して扱う枠組みである.確定節による仕様記述から等価変換ルールを生成し,ルールの集合によって構成される抽象プログラムから低水準命令型プログラムを合成する.本論文では,その枠組みの最後の部分を議論する.すなわち,決定的な抽象プログラムを段階的に変換し,効率的な低水準命令型プログラムを得る部分である.
- 社団法人電子情報通信学会の論文
- 2007-12-10
著者
-
馬淵 浩司
岩手県立大学ソフトウェア情報学部
-
赤間 清
北海道大学情報基盤センター 大規模計算システム研究部門
-
赤間 清
北海道大学情報基盤センター
-
赤間 清
北海道大学工学部情報工学科
-
赤間 清
北海道大学
-
赤間 清
北海道大学大学院工学研究科システム情報工学専攻
-
若槻 俊宏
北海道大学大学院情報科学研究科
-
馬淵 浩司
岩手県立大学
関連論文
- 多次元データに対するGAとラフ集合を用いた新たなルール生成アルゴリズム
- 脳波情報及び印象評価結果に基づく音楽コード進行パターン自動生成プログラムの作成
- 散布探索法を導入したBOAについての検討
- リンケージ同定とコンテクスト依存交叉を用いた遺伝的アルゴリズムの並列化
- 擬似焼き鈍し法を導入した分布推定アルゴリズムに関する検討(セッション1)
- 不確実な需要のもとでの供給計画のリスク可視化と意思決定支援(社会・人間系の情報システム,新たな適用領域を切り開く情報システム)
- 移動体通信における遅延情報に基づくユーザ位置管理の効率化(ネットワークプロトコル,次世代社会基盤をもたらす高度交通システムとモバイル通信システム)
- Language Embedding に基づくオブジェクト指向言語の型推論
- ネットワーク並列構築を適用したBOAによる蛋白質構造予測(科学技術計算, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- 等価変換計算モデルに基づく正当な並列計算を行うための言語処理系の開発
- リンケージ同定とコンテクスト依存交叉を用いた遺伝的アルゴリズムの並列化
- BOAにおけるベイジアンネットワーク構築の効率化に関する検討
- 決定的抽象プログラムから低水準命令型プログラムを合成する枠組み
- 負制約の等価変換による問題解決の基礎理論
- 区間変数に関する包含制約の等価変換
- 区間変数に関する包含制約の等価変換による問題解決の高速化
- "解なし"問題の抽象化による解法のための基礎理論
- 論理プログラムの準同型定理に基づく "解なし" 問題の解法
- 準同型変換による抽象化を用いたプラニング
- 等価変換に基づく問題解決
- ω書き換えシステムの準同型定理と到達不可能性
- ω書き換えシステムの準同型定理と到達不可能性
- 教職実践のための相互評価支援システム (教育実践を指向した学習支援システム/一般)
- 発展するeラーニングシステム
- メタ計算に基づくプログラム生成実験システム
- Web教材作成支援システムの開発とその利用による教育方法の変化
- 搾り出し法を基礎としたETプログラミング演習の試み
- ルールの逐次蓄積を支援するETプログラミング学習ツール
- ルール型言語ETによるプログラミング演習の実践と評価
- 等価変換型プログラミング言語ETの導入による学習の構想
- 計算モデルと正当性関係
- 等価変換言語処理系ETI用いた否定を含む問題の解法
- Webベースの自由学習支援システムの構築方法
- プログラムの部品としての等価変換ルール
- 等価変換プログラミング言語ETとそのコンパイラ
- 文字列領域の問題解決における一階論理表現からのプログラム生成
- 集合表現を含む仕様からのルール生成 (プログラム変換と記号・数式処理)
- 目的関数の加法分解性および差分の符号独立性に基づく実数値遺伝的アルゴリズムのリンケージ同定
- 法的推論システムにおける時刻と確信度の表現と推論
- プログラム変換による知識処理
- 6Q-6 自己組織化マップを用いた動径基底関数ネットワークの構築(ニューラルネット(2),学生セッション,人工知能と認知科学)
- 宣言型計算モデル
- 媒介表現系上の論理プログラムの宣言的意味論
- 目的関数の加法分解性および差分の符号独立性にもとづく実数値遺伝的アルゴリズムのリンケージ同定(進化的計算)
- 目的関数の加法分解性および差分の符号独立性にもとづく実数値遺伝的アルゴリズムのリンケージ同定
- 多目的実数値遺伝的アルゴリズムによる不確実性下の供給計画の最適化(情報システムの社会や企業への適用)
- A-024 推定誤差を有する適応度関数の実数値遺伝的アルゴリズムによる最適化(A.モデル・アルゴリズム・プログラミング)
- F-029 自己組織化マップを用いた動径基底関数ネットワークの性能評価(F分野:人工知能・ゲーム,一般論文)
- E-042 符号誤り訂正を用いた携帯端末向け日本語入力手法の有効性について(E分野:自然言語・音声・音楽,一般論文)
- E-041 携帯電話での文字入力における誤り自動訂正手法の性能評価(E分野:自然言語・音声・音楽,一般論文)
- G-010 遺伝子発現データを用いた病理診断における遺伝子選択手法の提案(生体情報科学,一般論文)
- E-019 ニューラルネットワークを用いた携帯端末向け日本語入力手法の有効性について(自然言語・音声・音楽,一般論文)
- F-012 ワイヤレスセンサネットワークにおけるAnt Colony Optimizationを用いた適用的経路探索(人工知能・ゲーム,一般論文)
- H-026 角度の変化に対応した顔認識手法(H分野:画像認識・メディア理解)
- G-004 損傷したニューラルネットワークにおける再学習法の検討(G分野:生体情報科学)
- 遺伝子発現データを用いた病理診断補助手法(セッション6)
- 遺伝子発現データを用いた病理診断補助手法(セッション6)
- E-012 携帯端末向け日本語入力手法における類似度を考慮した単語変換精度について(E分野:自然言語)
- 複雑なビルディングブロック重複を持つ問題に対する交叉手法の提案
- Tabu Searchを導入したECGAについての検討(セッション3)
- Tabu Searchを導入したECGAについての検討(セッション3)
- 局所探索を導入した確率モデル構築型遺伝的アルゴリズムの計算コストについての検討(セッション2)
- 制約充足問題を解く正当な並列プログラムの生成について(負荷分散,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- 制約充足問題を解く正当な並列プログラムの生成について(負荷分散, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- Tabu Searchを導入したECGAについての検討
- ビルディングブロック重複のある問題に対するD^5-GAの適用(セッション5)
- ネットワーク並列構築を適用したBOAによる蛋白質構造予測
- Genericな相互作用を有する並行計算モデル : GIM
- Language Embeddingによる並行オブジェクトモデルの分析 (情報工学専攻創立20周年記念号)
- 階層型問題のためのリンケージ同定手法の提案(理論)(進化的計算)
- 適応度差分により分類された個体の分布に基づくGAの遺伝子座依存関係モデルの構築(進化的計算II)
- 適応度差分により分類された個体の分布に基づくGAの遺伝子座依存関係モデルの構築
- 階層型のリンケージを考慮した遺伝的アルゴリズムによる都市圏ネットワーク設計
- リンケージ同定を導入した遺伝的アルゴリズムによる都市圏ネットワークの設計
- リンケージ同定を導入した遺伝的アルゴリズムによる都市圏ネットワークの設計
- 一般化論理プログラムによる変換ルールの合成
- 効率的な等価変換ルールの探索に基づくプログラム合成 (プログラム変換と記号・数式処理)
- 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
- 負制約の等価変換による問題解決の基礎理論
- 条件部と実行部を持つ等価変換ルールの自動生成
- 問題仕様からの等価変換ルールの生成
- 問題仕様からの等価変換ルールの生成
- 問題解決のための効率的な等価変換ルールの探索
- 一階論理表現の等価変換を用いた問題解決の正当性
- 等価変換ルールの生成方法の理論的基礎
- 等価変換によるナンバーラインの解法
- プログラム変換による自然言語の意味解釈 ( 自然言語処理の実動システム)
- リンク負荷メトリックに基づく遺伝的アルゴリズムによる負荷分散ルーティング
- ルーティングアルゴリズムにおける経路評価頻度の制御
- 遺伝的アルゴリズムによる帯域幅割当てのための分散ナルゴリズムの設計
- 参照を含む宣言的記述の定義と負参照の等価変換の正当性
- 参照を含む宣言的記述と負参照の等価変換
- 文字列領域における負制約の等価変換の基礎
- 否定を表現する新しい枠組 : 等価変換に基づくアプローチ
- 宣言的プログラムの推論規則
- 等価変換による最小説明発見問題の解法
- ネットワーク並列構築を適用したBOAによる蛋白質構造予測(科学技術計算, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- H-018 K-meansを用いたArea-basedマッチングによる視差マップノイズの削除(3次元処理・ステレオ,H分野:画像認識・メディア理解)