属性付きグラフ書き換え系による計算モデルの表現とその応用
スポンサーリンク
概要
- 論文の詳細を見る
既存のプログラミング言語では,新しい機能やパラダイムを追加したり問題領域固有の情報を扱ったりすることが難しい場合がある.そのような場合,問題領域に合わせてプログラム言語自体をカスタマイズできる能力が望まれる.本発表では,2種類の結合を持つグラフ構造である属性付きグラフと,その書き換え系を提案する.属性付きグラフは,木構造を作るための木結合と,任意のノード間を結ぶことができるラベル付き有向辺である属性結合によって構成される.このグラフ構造は,属性文法における属性付き構文木が,属性として構文木自身を持つような構造と見なすことができる.この書き換え系では,属性付きグラフによって構文や構造を表現し,書き換え規則によってその意味の表現を行うことができる.我々はこの書き換え系を用いて様々な計算モデルの表現を行うことを目標としている.それをもとに,問題領域固有の記述方法や最適化手法などを提供することを目指す.この書き換え系では書き換え規則自身もその属性付きグラフによって表現される.書き換え規則を書き換えることによって,意味の自己書き換えや特殊化を行うことができる.そのような特殊化をすることによって,プログラミング言語における計算順序の制御,式の評価戦略や変数スコープの種類などを決定することが可能で,様々な機能の表現が可能であることを示す.
- 一般社団法人情報処理学会の論文
- 2009-11-20
著者
関連論文
- D-4-8 ソーシャルブックマークにおけるイノベータ、アーリーアダプタによる目的URL 網羅率の調査(D-4. データ工学,一般セッション)
- D-5-1 ソーシャルブックマークにおけるタグの構造化手法(D-5. 言語理解とコミュニケーション,一般セッション)
- D-5-2 ソーシャルブックマークの情報を利用したGoogle検索のリランキング(D-5. 言語理解とコミュニケーション,一般セッション)
- 共有トリーにおける全受信者までの合計ホップ数を最小にするランデブーポイント選択法(インターネットルーチング,セキュアでサステイナブルなインターネットアーキテクチャ論文)
- D-9-27 遅延評価による迷惑メール検出とメール閲覧サイクルの関係調査(D-9. オフィスインフォメーションシステム,一般セッション)
- L-030 ユーザのメール閲覧サイクルを考慮した遅延評価による迷惑メール検出率の調査(ネットワーク・セキュリティ,一般論文)
- コード進行を利用した音楽データベース
- D-1-1 SNSの特徴を考慮に入れたネットワークモデルの比較(D-1.コンピュテーション,一般セッション)
- リフレクティブなグラフ書換え言語REGREL
- D_050 分散WikiによるWebページ間自律的関係創出システム(D分野:データベース)
- D-1-2 片方向リンクをエッジとみなしたTwitterのネットワーク分析(D-1.コンピュテーション,一般セッション)
- D-4-1 評価日及び評価信頼率に基づく意外性のある推薦手法の提案(D-4.データ工学,一般セッション)
- B-7-90 マルチキャストにおけるセッション情報配信プロトコルの改良とその評価(B-7.情報ネットワーク,一般セッション)
- B-7-70 PIM-SMにおけるJoin Attributeを用いた木構造把握(B-7.情報ネットワーク,一般セッション)
- B-7-69 PIM-SMにおけるエッジ情報を用いた配信ツリーの作成(B-7.情報ネットワーク,一般セッション)
- B-7-57 マルチキャスト通信による鍵の無効化を考慮したトレイタトレーシングの実装と評価(B-7.情報ネットワーク,一般セッション)
- 属性付きグラフ書き換え系による計算モデルの表現とその応用
- B-6-8 リンク強度による到達性の変化予測(B-6.ネットワークシステム,一般セッション)
- B-6-90 PIM-SMのスケーラビリティ改善のための調査(B-6.ネットワークシステム,一般セッション)
- B-7-89 PIM-SMパケットモニタリング(B-7.情報ネットワーク,一般セッション)
- B-7-91 XCASTによるIPマルチキャストネットワーク間の接続手法の提案(B-7.情報ネットワーク,一般セッション)
- B-7-92 マルチキャストにおけるセッション情報配信の効率化とその評価(B-7.情報ネットワーク,一般セッション)
- B-7-90 PIM-SMにおける動的RP決定法(B-7.情報ネットワーク,一般セッション)
- D-5-3 日付情報によるWebページリランキング(D-5. 言語理解とコミュニケーション,一般セッション)
- L_013 スモールワールドネットワークにおける最適な検索手法の考案に向けたIRCネットワークの調査(L分野:ネットワークコンピューティング)
- 状態遷移秘匿プロトコルの提案とその応用
- L-087 IRCにおける新たな識別子の提案(L分野:ネットワークコンピューティング)
- B-7-1 動的RP決定法に向けてのRPの位置による負荷の調査(B-7. 情報ネットワーク,一般セッション)
- D-5-11 クラスタリングを用いたブログからのキーワード抽出(D-5.言語理解とコミュニケーション,一般講演)
- RO-004 ユーザのメール取得間隔と遅延評価を用いたIPアドレスフィルタの効果との関連調査(情報システム,査読付き論文)
- 一般支配関係の効率的な検査法
- リフレクションを導入した並列論理型言語 RKL1 の実装と評価
- 意味再解析を考慮したGHCによるLanguage-orientedEditorの研究
- F-001 ソーシャルブックマーク分析のユーザへの影響と先行性による解決(F分野:人工知能・ゲーム,一般論文)
- M_035 Distributed Privacy Oblivious Polynomial Evaluation
- M_034 Multi-Variable Oblivious Polynomial Evaluation
- M_033 Distributed Function Oblivious Polynomial Evaluation
- L-036 プライバシー重視の分散協調型グループコミュニケーションモデルの提案とその評価(L分野:ネットワークコンピューティング)
- リフレクションを導入した並行オブジェクト指向言語ABCL/c+によるOSの記述
- 5M-3 An Implementation of Reflective Concurrent Component Architecture
- 5F-4 リフレクションを導入した並行オブジェクト指向言語ABCL/c+によるオペレーティングシステムの記述と実装
- 並行オブジェクト指向言語による分散システムの記述
- I-007 仮想彫刻における6軸モーションセンサを用いた切削手法(I分野:グラフィクス・画像,一般論文)
- F-057 SNSの特徴を考慮に入れたネットワークモデルの評価(F分野:人工知能・ゲーム,一般論文)
- E-031 DPマッチングを用いた演奏の現在位置解析手法の提案(E分野:自然言語・音声・音楽,一般論文)
- A-021 グラフ書換え言語REGRELにおける並行グラフ操作クエリの表現(A分野:モデル・アルゴリズム・プログラミング,一般論文)
- 表示的意味記述からのプログラミング環境の生成
- ユーザ認証付きDHCPの提案と実装
- カードを用いた発想法の形式的定義
- 付箋を利用したカードに基づく発想法
- 上昇型チャート法に基づく適切な構文誤り解析手法
- 副作用を考慮した幅優先導出による論理プログラムの実行
- 複数条件のためのデータベース検索環境
- GHCによる学習機能をもつLanguage-oriented Editorの実現
- Prolog言語教育支援システムにおけるアルゴリズム認識のための知識ベース作成支援
- 文書構造の帰納学習に基づく構造化記述の自動生成
- LJ-008 中心性の相関によるIRCユーザネットワークの分析(ヒューマンコミュニケーション&インタラクション)
- DHCP環境におけるネットワーク情報更新手法
- B-7-45 迷惑メール対策の評価と実装(B-7. 情報ネットワーク,一般セッション)
- B-19-13 ソーシャルナビゲーションによるWebページ推薦(B-19. ネットワークソフトウェア,一般セッション)
- B-7-113 IPマルチキャストにおけるグループ管理に関する考察(B-7. 情報ネットワーク,一般セッション)
- B-7-111 SSMにおける送信者発見手法の提案(B-7. 情報ネットワーク,一般セッション)
- B-7-46 ドメイン名解決を利用したspamメール送信元の収集(B-7. 情報ネットワーク,一般セッション)
- D-1-1 HITSアルゴリズムを改良した複数コミュニティ抽出法の提案(D-1.コンピュテーション,一般講演)
- A-14-8 特許ネットワークを用いた研究者推薦手法の一提案(A-14.ヒューマンコミュニケーション基礎,一般講演)
- Weblogにおけるユーザのつながりと閲覧行動の分析(ネットワークオペレーションと資源管理論文)
- 個人情報の分散協調保護機構の提案とWebサービス上のInstant Messageへの適用(情報融合)
- リフレクション機構を持ったKL1による動的負荷分散
- リフレクションを導入した並列論理型言語RKL1における動的負荷分散の記述と評価
- B-6-158 PIM-SMにおけるトラヒックを考慮したRPの動的再配置(B-6.ネットワークシステム,一般セッション)
- B-6-159 PIM-SMネットワーク管理ツールの実装とその評価(B-6.ネットワークシステム,一般セッション)
- B-6-160 ルータの容量を考慮した木の移行管理に関する研究(B-6.ネットワークシステム,一般セッション)
- 中立説に基づく遺伝的アルゴリズムの提案
- D-9-23 ソーシャルブックマークの時系列的特徴に着目した適切ユーザによるWebページ推薦(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
- D-9-20 ユーザの興味推移と採択行為の関係性調査(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
- L-088 IRCにおけるユーザ関係の分析(L分野:ネットワークコンピューティング)
- M-036 IRCにおけるグループコミュニケーションの規模調査とその傾向の分析(M.ネットワーク・モバイルコンピューティング)
- B-6-163 マルチキャスト通信における誤り訂正符号の提案(B-6.ネットワークシステム,一般セッション)
- B-6-162 配送木分割および再送方法選択式マルチキャスト(B-6.ネットワークシステム,一般セッション)
- B-6-100 部分一致検索に対応したDHTの通信量削減方法の提案(B-6.ネットワークシステム,一般セッション)
- グラフ書き換え言語REGRELによるメタプログラミングの表現
- N-gramによる旋律の音楽的適否判定に基づいた即興演奏支援システム(音楽情報, インタラクション: 技術と展開)
- 振動機能付鍵盤楽器「ぶるぶるくん」を用いた即興演奏支援システム
- N-gramによる即興演奏の旋律補正(音楽情報科学)
- ism : 即興演奏支援のためのリアルタイム旋律補正システム
- 仮想オフィスによるインフォーマルコミュニケーションの支援
- A-7-17 研究室の情報セキュリティ評価手法の提案(A-7.情報セキュリティ,一般講演)
- リフレクションを導入した並列論理型言語RKL1の実装と評価 (新しいシステムソフトウェア)
- 4G-9 不完全/動的/分散CSPの枠組みにもとづいた会議スケジューリングシステム
- 3N-1 分散オブジェクト環境におけるリフレクション機構の一提案
- SPEED暗号の高階差分攻撃による強度評価
- オントロジーを用いた検索支援システム : オンラインマニュアルへの適用
- RT-Mach における Java Virtual Machine の実装と評価
- UAPIに基づく柔軟な通信プロトコルの提案
- 色の世界への変換による音楽視覚化の一手法
- 知識べースに基づく Language-oriented Editor
- D-5-2 著者推定における顔文字の出現パターン考慮(D-5.言語理解とコミュニケーション,一般セッション)
- B-7-23 輻輳を考慮した複数の木の情報に基づく負荷分散ルーティングアルゴリズム(B-7.情報ネットワーク,一般セッション)
- B-7-18 PIM-SMにおける受信者の位置を考慮したRP決定法の提案(B-7.情報ネットワーク,一般セッション)
- B-7-4 MPIにおける通信遅延を考慮したタスクの動的配置法(B-7.情報ネットワーク,一般セッション)