Prologを対象としたソースプログラムからのプログラム仕様自動生成 : 構造と引数操作パターンに基づく変形解析法の提案
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,ソースプログラムからプログラム仕様を自動生成するための変形解析法を提案し,この手法を実装したシステムAPSG/I(Automatic Program SPecification Generator I)について述べている.変形解析法では,Prologのリスト処理プログラムの類似性に注目し,類推の枠組みを利用することによって,典型的なリスト処理プログラムとその仕様から与えられたプログラムに対する仕様の生成を行っている.まず,プログラムが入力されると,あらかじめ定義した典型的なプログラムと比較して,(1)命令の有無や実行順序などで規定される構造,(2)データの受け渡しなどで規定される引数の組合せ,の2点について差異を求める.次に,求めた差異によって,あらかじめ定義したプログラム仕様を変換し,入力されたプログラムの仕様を生成する.変形解析法で生成される仕様は,(1)プログラム仕様と,仕様を変換する規則を自然語で定義しているため自然言語文になる,(2)形式が統一され,かつ細部に関する情報についても十分に含んでいるなどの特徴を有している.
- 社団法人電子情報通信学会の論文
- 1993-12-25
著者
-
上原 邦昭
神戸大学大学院自然科学研究科
-
豊田 順一
大阪大学産業科学研究所
-
今中 武
大阪大学産業科学研究所
-
上原 邦昭
大阪大学産業科学研究所
-
今中 武
大阪大学産業科学研究所(松下電器産業株式会社)
-
上原 邦昭
大阪大学産業科学研究所(神戸大学工学部情報知能工学科)
-
上原 邦昭
神戸大学大学院工学研究科
-
平嶋 宗
大阪大学産業科学研究所
-
永井 隆弘
大阪大学産業科学研究所(松下電器産業株式会社)
-
永澤 勇一
大阪大学産業科学研究所(三菱電機株式会社)
-
永沢 勇一
大阪大学産業科学研究所(三菱電機株式会社)
-
上原 邦昭
神戸大学大学院工学研究科情報知能学専攻
関連論文
- 実空間検索メタデータとしてのソーシャルメディア (ライフインテリジェンスとオフィス情報システム)
- 原言語音韻を考慮した多様なカタカナ異表記生成モデル
- 英音素変換を用いたカタカナ異表記の自動生成(機械翻訳・医療情報)
- 各属性のレビュー・評価値の関係を用いた評判情報の検索支援(「主観表現処理の最前線」シンポジウム)
- ニューラルネットを利用したイメージを表わす自然語入力からの色出力システム
- モバイルアドホック網における位置情報交換レスキューシステム(有線無線シームレス, モバイルネットワーキング, Mobile IP, 無線通信, ネットワーク制御, 一般)
- 重み更新規制の修正によるBoostingアルゴリズムの改善について(知識処理)
- 1R-7 Content-Free Image Retrievalを用いた個人の嗜好を満たすレシピ推薦システム(画像検索・画像情報処理,学生セッション,データベースとメディア)
- 部門間の関係に基づくインシデントレポート共有システムに関する研究(インターネット応用,夏のデータベースワークショップDBWS 2006)
- 時系列の類似性検索における上界関数による効率化(データマイニング)
- AMSS : 時系列データの効率的な類似度測定手法(データマイニング)
- エネルギー差分胸部X線画像による肺腫瘤陰影の検出 : スケールスペースによるサイズアダプティブフィルタ
- 空欄補充問題を用いたプログラム理解支援
- プログラム理解の促進制御に向けて : 空欄補充問題と認知的負荷
- プログラム理解の促進制御に向けて-空欄補充問題と認知的負荷-
- プログラムにおける因果理解の表現と空欄補充問題への応用
- 配送スケジューリングにおけるジョブのグループ化について
- 群化に基づく図形パターンの階層表現の生成手法
- 感覚的情報を扱うためのPrologとニューラルネットワークの結合
- 決定支援における感覚的情報の処理手法
- 図形パターン群における類似度決定のモデル化
- D-12-3 映像検索精度改善のためのMPEG-7準拠の特徴量の導入(D-12.パターン認識・メディア理解A(パターンメディアの認識・理解・生成),一般セッション)
- D-12-4 部分教師付き学習を用いた映像検索(D-12.パターン認識・メディア理解A(パターンメディアの認識・理解・生成),一般セッション)
- D-12-9 機械学習においての学習対象ドメイン外データの活用(D-12.パターン認識・メディア理解A(パターンメディアの認識・理解・生成),一般セッション)
- D-12-37 多重対応分析を利用した特徴量選択による映像検索精度の改善(D-12.パターン認識・メディア理解A(パターンメディアの認識・理解・生成),一般セッション)
- D-12-61 SIFTを用いた映像キーフレームの分類(D-12.パターン認識・メディア理解B(コンピュータビジョンとコンピュータグラフィックス),一般セッション)
- スペクトルと周波数を用いた形状に基づいた時系列データの類似度測定手法
- バースト検出に基づく映像からのトピック抽出
- 主観的トリガー言語モデルによる意見情報検索
- 相同遺伝子を考慮したGOアノテーションへの多階層分類の適用
- ブログコミュニティにおける話題波及の検出の試み
- 主観的トリガー言語モデルによる意見情報検索
- 相同遺伝子を考慮したGOアノテーションへの多階層分類の適用
- ブログコミュニティにおける話題波及の検出の試み
- 相同分子種を利用した多階層分類による遺伝子機能アノテーション(セッション6b:アプリケーション)
- 第15回機械学習国際会議
- 模倣ロボットのための特徴量ネットワーク設計 : 不整地歩行のための足探り動作の生成(レスキューシステム・レスキュー工学3)
- 主観的トリガー言語モデルによる意見情報検索
- ユーザのふるまいに対するメニュー構造の差異の影響分析
- ソフトウエア移行におけるユーザモデルの再構成
- 映像文法に基づく映像編集支援システム
- 実空間検索メタデータとしてのソーシャルメディア(ログ活用・情報検索,ライフログ活用技術,グループウェアとネットワーク,一般)
- マルチチャンネル型ニュース配信システムのための時系列クラスタリング
- 複合現実感を利用した机上コラボレーションシステムの開発(複合現実感とパターン認識・メディア理解, 一般)
- コンピュータを用いた分節学習による手話学習の提案
- リンク構造とコンテンツを複合的に用いた極少訓練事例によるスプログ検出
- モバイル環境におけるコミュニケーション支援のためのコンテンツの再構成
- モバイル環境におけるユミュニケーション支援のためのコンテンツの再構成
- 位置依存情報配信システムのための空間ハイパーメディアの枠組み
- Prologを対象としたソースプログラムからのプログラム仕様自動生成 : 構造と引数操作パターンに基づく変形解析法の提案
- ESP言語上のウィンドウ制御プログラム開発支援システムWINCS
- 現実関係モデルを導入した自然語による検索キーの取り扱い : 再利用プログラムベースの構築を目指して
- 計算機利用支援システムNeo-ASSISTにおけるユーザモデルを用いた応答メカニズム
- ユーザモデルを利用した説明文生成プランニング
- プログラムの類似性定義のためのネットワーク表現
- プログラム合成システムWINCSのための知識獲得サブシステム
- 述語パターンのマッチングに基づく文解析メカニズム
- インクリメンタルPROLOGコンパイラの設計と実現
- ESP言語上のウィンドウ制御プログラムの開発を支援するシステムWINCS
- 事象駆動型と予測駆動型を融合した文脈解析手法
- 自然言語理解に基づくプログラム合成 (「知的プログラミングの基礎」)
- Prologと関係データベースとの結合システムDB-Prolog
- 自然言語による仕様からの自動プログラム合成
- マニュアルレスシステムにおける説明文生成(2)
- 仮想機械による述語論理型構文解析プログラムの効率改善について
- 色情報,発話情報を用いたビデオの自動要約手法
- 分散制約充足におけるエージェントの非集中的組織化
- マニュアルレスシステムにおける説明文生成(1)
- 実時間カメラワーク評価に基づく単一ショット訓練指向型オンライン映像撮影ナビゲーションシステム : 映像文法を背景とした映像撮影学習システムに向けて
- 輝度投影相関と二分化テンソルヒストグラムを併用したオンライン処理向けカメラワーク解析法の精度向上 : 訓練指向型オンライン映像撮影ナビゲーションシステム
- 神戸大学における高速キャンパスネットワークおよび高速計算機群の連用について
- 神戸大学における高速キャンパスネットワークおよび高速計算機群の運用について
- 机上型MRシステムによる作業空間共有のためのネットワーク構築手法に関する研究(仮想都市, 複合現実感, および一般)
- 光学マーカを用いた指差し型メニューインタフェースに関する考察
- 複合現実感を利用した机上コラボレーションシステムの開発
- 6)VRMLの論理構造に基づく3次元画像検索エンジン(マルチメディア情報処理研究会)
- 発想を支援するユーザエージェント(学習・開発支援,ライフログ活用技術,グループウェアとネットワーク,一般)
- 英語音韻を考慮した情報検索のための多様なカタカナ異表記生成
- 状態遷移図とテキスト分類による対話相手の個性を考慮した交渉システム(「主観表現処理の最前線」シンポジウム)
- peer to peer 技術に基づくウェアラブル情報共有システムの開発
- 5W-6 制約充足問題に基づく,顔の向きによらない登場人物の認識(人物・行動の認識,学生セッション,人工知能と認知科学)
- 物体の明度と法線ベクトルの関係学習による3次元形状復元(一般セッション22)
- 物体の明度と法線ベクトルの関係学習による3次元形状復元(一般セッション6,三次元画像,多視点画像)
- 物体の明度と法線ベクトルの関係学習による3次元形状復元(一般セッション6,三次元画像,多視点画像)
- 近傍事例集合の分布密度を用いたMultiple-Instance学習
- 逆伝播を持つ有向グラフ上でのラベル伝播を用いた半教師付き学習
- 6W-1 特徴メタデータを用いた分類ルール学習と映像分類(画像データベース,学生セッション,人工知能と認知科学)
- 3W-9 ビデオオントロジーの構築による映像イベントの体系化(動画像・メディア理解,学生セッション,人工知能と認知科学)
- 5V-7 グラフを用いた半教師付き学習における逆伝播構造の有効性評価(ニューラルネット・学習,学生セッション,人工知能と認知科学)
- 4C-4 映像ストリームにおけるバースト検出に基づくトピック発見(画像処理システム,一般セッション,人工知能と認知科学)
- 相補的な視覚的学習による複数の認識手法の統合(画像認識,コンピュータビジョン)
- 逆伝播を持つ有向グラフ上でのラベル伝播を用いた半教師付き学習(セッション4)
- 近傍事例集合の分布密度を用いたMultiple-Instance学習(セッション4)
- 時間制約に基づく時系列パターンマイニング手法を用いた映像からのイベント抽出
- 最大密度グラフによる特徴選択を用いた半教師付き学習(人工知能,認知科学)
- D-8-2 多属性商品を対象にした交渉戦略に関する一考察(D-8. 人工知能と知識処理, 情報・システム1)
- D-5-10 Web上の評判情報の信頼性評価に関する一検討(D-5. 言語理解とコミュニケーション, 情報・システム1)
- D-12-96 重み付きマッチング法を用いた特徴構成法による視覚的学習(D-12. パターン認識・メディア理解, 情報・システム2)
- 複合現実感を用いた机上コラボレーションシステムの開発
- モバイルアドホック網における位置情報交換レスキユーシステム(有線無線シームレス,モバイルネットワーキング,Mobile IP,無線通信,ネットワーク制御,一般)