ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "a414ad7d-d67c-445a-bf69-3066b18cded9"}, "_deposit": {"id": "18996", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "18996"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00018996", "sets": ["314"]}, "author_link": ["55348", "55349", "55350", "55351", "55352", "55353", "55354", "55355", "55356", "55357"], "item_10_alternative_title_19": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "Proving Non-termination of Logic Programs by Detecting Loops in Derivation Trees", "subitem_alternative_title_language": "en"}]}, "item_10_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2007-10", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "275", "bibliographicPageEnd": "6", "bibliographicPageStart": "1", "bibliographicVolumeNumber": "107", "bibliographic_titles": [{"bibliographic_title": "電子情報通信学会技術研究報告SS, ソフトウェアサイエンス", "bibliographic_titleLang": "ja"}]}]}, "item_10_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "本稿では,論理プログラムの非停止性を自動的に証明する手法を提案する.本手法では,与えられた質問パターンを代表する質問から起こり得る導出を木で構成し,その木の中からループを検出することにより質問パターンに対する非停止性を示す.具体的には,質問パターンの入力と出力を変数に置き換えた質問から導出木を構成するが,その導出やループ検出の際に入力に対応する変数を特別扱いすることにより健全性を確保する.実際に本手法を実現したツールを作成し,Termination Competition 2007の論理プログラム部門で与えられているサンプルプログラムを対象とした実験を行い,既存の研究との比較を行う.", "subitem_description_language": "ja", "subitem_description_type": "Abstract"}, {"subitem_description": "In this paper, we present a method for automatically proving non-termination of logic programs. Given a program and a question pattern, the method proves non-termination by detecting a loop in the derivation tree constructed from the question that represents an arbitrary questions for the question pattern. For soundness, we distinguish variables given as arguments of predicates, and we keep the distinction in the derivation. We also report an implementation of the method, and compare it with other tools by applying it to programs in LP category of Termination Competition 2007.", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "URI", "subitem_identifier_uri": "http://ci.nii.ac.jp/naid/110006451859"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/21100"}]}, "item_10_publisher_32": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "一般社団法人電子情報通信学会", "subitem_publisher_language": "ja"}]}, "item_10_relation_43": {"attribute_name": "関連情報", "attribute_value_mlt": [{"subitem_relation_type": "isVersionOf", "subitem_relation_type_id": {"subitem_relation_type_id_text": "http://ci.nii.ac.jp/naid/110006451859", "subitem_relation_type_select": "URI"}}]}, "item_10_rights_12": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "(c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである", "subitem_rights_language": "ja"}]}, "item_10_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_10_source_id_7": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0913-5685", "subitem_source_identifier_type": "PISSN"}]}, "item_1615787544753": {"attribute_name": "出版タイプ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "水谷, 知博", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55348", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "西田, 直樹", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55349", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "酒井, 正彦", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55350", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "坂部, 俊樹", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55351", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "草刈, 圭一朗", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55352", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "MIZUTANI, Tomohiro", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55353", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "NISHIDA, Naoki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55354", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKAI, Masahiko", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55355", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKABE, Toshiki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55356", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "KUSAKARI, Keiichirou", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55357", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "110006451859.pdf", "filesize": [{"value": "942.9 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 942900.0, "url": {"label": "110006451859.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/18996/files/110006451859.pdf"}, "version_id": "5f7ce1d5-aa91-4bcf-ad27-885632b5c0a5"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "Prolog", "subitem_subject_scheme": "Other"}, {"subitem_subject": "停止性", "subitem_subject_scheme": "Other"}, {"subitem_subject": "ナローイング", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "導出木からのループ検出による論理プログラムの非停止性証明法", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "導出木からのループ検出による論理プログラムの非停止性証明法", "subitem_title_language": "ja"}]}, "item_type_id": "10", "owner": "1", "path": ["314"], "permalink_uri": "http://hdl.handle.net/2237/21100", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2015-01-20"}, "publish_date": "2015-01-20", "publish_status": "0", "recid": "18996", "relation": {}, "relation_version_is_last": true, "title": ["導出木からのループ検出による論理プログラムの非停止性証明法"], "weko_shared_id": -1}
  1. A500 情報学部/情報学研究科・情報文化学部・情報科学研究科
  2. A500a 雑誌掲載論文
  3. 学術雑誌

導出木からのループ検出による論理プログラムの非停止性証明法

http://hdl.handle.net/2237/21100
http://hdl.handle.net/2237/21100
36a8ef74-bdb6-4ab8-8f93-9b33d5dd16e3
名前 / ファイル ライセンス アクション
110006451859.pdf 110006451859.pdf (942.9 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2015-01-20
タイトル
タイトル 導出木からのループ検出による論理プログラムの非停止性証明法
言語 ja
その他のタイトル
その他のタイトル Proving Non-termination of Logic Programs by Detecting Loops in Derivation Trees
言語 en
著者 水谷, 知博

× 水谷, 知博

WEKO 55348

ja 水谷, 知博

Search repository
西田, 直樹

× 西田, 直樹

WEKO 55349

ja 西田, 直樹

Search repository
酒井, 正彦

× 酒井, 正彦

WEKO 55350

ja 酒井, 正彦

Search repository
坂部, 俊樹

× 坂部, 俊樹

WEKO 55351

ja 坂部, 俊樹

Search repository
草刈, 圭一朗

× 草刈, 圭一朗

WEKO 55352

ja 草刈, 圭一朗

Search repository
MIZUTANI, Tomohiro

× MIZUTANI, Tomohiro

WEKO 55353

en MIZUTANI, Tomohiro

Search repository
NISHIDA, Naoki

× NISHIDA, Naoki

WEKO 55354

en NISHIDA, Naoki

Search repository
SAKAI, Masahiko

× SAKAI, Masahiko

WEKO 55355

en SAKAI, Masahiko

Search repository
SAKABE, Toshiki

× SAKABE, Toshiki

WEKO 55356

en SAKABE, Toshiki

Search repository
KUSAKARI, Keiichirou

× KUSAKARI, Keiichirou

WEKO 55357

en KUSAKARI, Keiichirou

Search repository
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
権利
言語 ja
権利情報 (c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである
キーワード
主題Scheme Other
主題 Prolog
キーワード
主題Scheme Other
主題 停止性
キーワード
主題Scheme Other
主題 ナローイング
抄録
内容記述 本稿では,論理プログラムの非停止性を自動的に証明する手法を提案する.本手法では,与えられた質問パターンを代表する質問から起こり得る導出を木で構成し,その木の中からループを検出することにより質問パターンに対する非停止性を示す.具体的には,質問パターンの入力と出力を変数に置き換えた質問から導出木を構成するが,その導出やループ検出の際に入力に対応する変数を特別扱いすることにより健全性を確保する.実際に本手法を実現したツールを作成し,Termination Competition 2007の論理プログラム部門で与えられているサンプルプログラムを対象とした実験を行い,既存の研究との比較を行う.
言語 ja
内容記述タイプ Abstract
抄録
内容記述 In this paper, we present a method for automatically proving non-termination of logic programs. Given a program and a question pattern, the method proves non-termination by detecting a loop in the derivation tree constructed from the question that represents an arbitrary questions for the question pattern. For soundness, we distinguish variables given as arguments of predicates, and we keep the distinction in the derivation. We also report an implementation of the method, and compare it with other tools by applying it to programs in LP category of Termination Competition 2007.
言語 en
内容記述タイプ Abstract
出版者
言語 ja
出版者 一般社団法人電子情報通信学会
言語
言語 jpn
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
出版タイプ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
関連情報
関連タイプ isVersionOf
識別子タイプ URI
関連識別子 http://ci.nii.ac.jp/naid/110006451859
ISSN
収録物識別子タイプ PISSN
収録物識別子 0913-5685
書誌情報 ja : 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス

巻 107, 号 275, p. 1-6, 発行日 2007-10
著者版フラグ
値 publisher
URI
識別子 http://ci.nii.ac.jp/naid/110006451859
識別子タイプ URI
URI
識別子 http://hdl.handle.net/2237/21100
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 16:25:56.623580
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3