領域限定言語に基づく最適経路問合せ
スポンサーリンク
概要
- 論文の詳細を見る
グラフ中の最短経路を求める問題,またはより一般に何らかの意味で最適な経路を求める問題は,非常に多くの応用を持つ重要な問題である.そのため,最短経路問題やその変種はさかんに議論され,様々なアルゴリズムが提案されてきた.しかし,これらの成果はアルゴリズムになじみのない人には利用が難しい.自分の解きたい問題に応じて適切にアルゴリズムを選択するのは一般に難しく,またそれぞれのアルゴリズムに効率の良い実装を与えるのも容易でない.本論文では,領域限定言語に基づいた最適経路問合せ手法を提案する.提案手法では,発見したい最適経路の仕様を領域限定言語によって記述する.この言語は,その記述から最適経路問合せを行う効率の良いアルゴリズムが機械的に導出できるよう設計されている.また,この言語では最適経路問合せに関する既知の問題クラスの多くを自然に記述できる.よって,アルゴリズムに関する知識をまったく要することなく広い範囲の最短経路問合せを効率良く行うことができる.我々は実際に提案手法を実装した.このシステムは,最適経路の仕様記述をもとに,効率の良い最適経路問合せを行うプログラムを出力する.最短経路問題の実装に関する既知の成果を利用し,また最適経路問合せに特有のいくつかの効率化を加えることにより,我々のシステムによる最適経路問合せは,既存のライブラリに比べても,その利用が簡便であるだけでなく実行効率も良いことが確認された.
- 2011-03-25
著者
-
武市 正人
東京大学大学院情報理工学系研究科
-
武市 正人
東京大学
-
森畑 明昌
東北大学電気通信研究所
-
森畑 明昌
東京大学大学院情報理工学系研究科
-
松崎 公紀
東京大学大学院情報理工学系研究科
-
松崎 公紀
高知工科大学情報学群
関連論文
- 少数キーを用いた日本語入力
- 3M-5 Bidirectional XML Transformation with Bi-X
- 3M-4 依存関係記述スキーマによる双方向XMLアプリケーションの開発(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)
- 3M-3 双方向変換に基づくウェブパブリッシング支援システムVu-X(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)
- 神経系の双方向マルチスケールシミュレーションと100時間ワークショップ : 東京大学21世紀COEプログラム「情報科学技術戦略コア」
- 2. 情報科学技術戦略コア(21世紀卓越した情報研究拠点プログラムの目指す研究(前編))
- 情報科学技術戦略コア
- 5-2-1 東京大学「情報科学技術戦略コア」(5-2 情報・電気・電子分野の21世紀COE,3プロジェクトの拠点リーダーより)(5.大学での研究プロジェクト : 21世紀COEプログラム)(グローバル化時代の教育と研究)
- 1.マルチコア計算機と基本的な並列化技法(マルチコアを活かすお手軽並列プログラミング)
- インターネットを用いた複数経路データ伝送方式の性能評価
- 「計算機科学」は死語?
- 運算手法によるアルゴリズムの自動構成に関する研究(研究会推薦博士論文速報)
- モデル検査技術を利用したプログラム解析器の生成ツール
- 並列プログラムの候補生成と適合性検査による並列化
- 多地点テレビ会議における通信品質のばらつきが主観品質に及ぼす影響
- 複数経路を用いてIPパケット転送するマルチルートゲートウェイの実装と評価
- 5U-2 複数経路を用いてIPパケット転送するマルチルートゲートウェイの実装と評価
- 5U-1 TCP/IPパケットを複数経路に分配して通信する方式の性能評価
- B-11-2 複数のTCP通信にDRRを適用する場合の通信品質の評価
- B-11-1 最低保証帯域を設定したTCP通信品質の評価
- B-7-51 複数経路を用いたTCP通信に関する一検討
- B-11-14 電子商取引に帯域制御を適用する場合の通信品質の検討
- B-7-78 インターネットを用いた複数経路データ転送方式に関する一検討
- IPパケット損失がMPEG1音声・画像品質に及ぼす影響の評価
- IPパケット損失がMPEG1音声・画像品質に及ぼす影響の評価
- MPEG1総合品質に対する音声パケット損失及び画像フレムレートの影響の評価
- IPパケット損失がMPEG1画像品質に及ぼす影響の評価
- TCP通信を帯域保証する場合の問題点の分析
- TCP通信を帯域保証する場合の問題点の分析
- TCP通信を帯域保証する場合の問題点の分析
- 複数のTCP通信にWFQを適用する場合の通信品質の検討
- TCP通信を帯域保証する場合の問題点の分析
- 補関数の生成による複製機能付きプログラムの自動双方向化
- 6.双方向変換による高信頼構造化文書処理(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- Generator-of-generators に基づく Fortress ライブラリ
- リスト上の最大マーク付け問題を解く並列プログラムの導出
- 木スケルトンによるXPathクエリの並列化とその評価
- 東京大学 情報理工学系研究科 創造情報学専攻の紹介(ラボラトリー)
- 木上の双方向変換を利用したファイルマネージャの実現
- 木上の双方向変換を利用したファイルマネージャの実現
- データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案
- 閻魔 Webインタフェースによるプログラミング教育支援システム
- 決定論的2階パターンとプログラム変換への応用
- 少数キー入力に基づくエディターの紹介(福祉と言語処理/一般)
- 歴代理事長座談会「日本ソフトウェア科学会の20年とこれから」(20周年記念特集)
- 少数キー入力に基づくエディターの紹介(福祉と言語処理/一般)
- 少数キーを用いた日本語入力(自然言語)(コラボレーションアートとネットワークエンターテイメント)
- ユーザ文書を用いた個別かな漢字変換支援
- 携帯電話における日本語入力 : 子音だけで日本語が入力できるか
- PPM法を用いたかな漢字変換の学習モデル
- 利得の最適連想規則を求める線形時間アルゴリズムの導出
- 最大重み和問題の線形時間アルゴリズムの導出
- ナップサック問題およびその発展問題の統一的解法
- プログラム融合変換の実用的有効性の検証
- HYLOシステムによるプログラム融合変換の実現
- 関係代数によるUNITYループの意味づけ
- 木変換言語の双方向化に関する事例研究(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- 最適化機構を持つC++並列スケルトンライブラリ(サイバー増大ページ論文概要,サイバー増大号)
- 学術の今日と明日 情報学分野の今日と明日
- R.M.Burstall and J.Darlington : A Transformation System for Developing Recursive Programs, J.ACM(1977)(20世紀の名著名論)
- しりとりゲームの数理的解析(ゲームプログラミング)
- MK-5 戦略ソフトウェア創造人材養成プログラム(大型プロジェクト紹介,学術系企画)
- 変換戦略の記述に基づくプログラムの自動生成システムの実装
- 最小属性値を持つ多次元探索木の提案.
- 擬データと関数による並行プロセス群の記述
- 擬データと関数による並行プロセス群の記述
- 平面上の矩形和の最大値問題の並列プログラムの導出
- 正規表現マッチングの並列化とそのHadoopでの評価
- 領域限定言語に基づく最適経路問合せ
- 数理工学への誘い プログラム運算の数理--数式運算による並列プログラミング
- グラフの探索関数の再帰的定義と変換(特集●プログラミング及びプログラミング言語)
- 関数型言語処理系におけるデータ構成子のunbox化
- FPGAによる関数型言語向きアーキテクチャを持つプロセッサの実装
- 大貧民において不完全情報性がモンテカルロ法によるプレイヤに与える影響の調査
- 情報学分野の今日と明日
- 大貧民において他プレイヤのプレイアルゴリズムより受けるプレイヤの強さへの影響
- boost::protoを用いた融合変換機能付きライブラリの作成
- 木上のスケルトン並列プログラミングのための演算子生成器