ログイン
言語:

WEKO3

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

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "74e6e519-8477-4712-83ca-f72439df9153"}, "_deposit": {"id": "19062", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "19062"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00019062", "sets": ["703"]}, "author_link": ["55687", "55688", "55689", "55690", "55691", "55692", "55693", "55694", "55695", "55696"], "item_1615789909678": {"attribute_name": "出版タイプ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_18_alternative_title_19": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "Lemma Generation Method in Rewriting Induction for Constrained Term Rewriting Systems", "subitem_alternative_title_language": "en"}]}, "item_18_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2009-09", "bibliographicIssueDateType": "Issued"}}]}, "item_18_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "近年,帰納的定理の証明原理の一つである書換え帰納法が制約付き項書換え系に対応するように拡張され,命令型プログラムの等価性検証に応用するための枠組みが提案された.帰納的定理の証明のためには適切な補題等式を与える必要がある場合が多いが,これまで研究が進んでいる項書換え系に対する補題生成の手法は制約付き項書換え系に対してはあまり有効ではない.本論文では,書換え規則から項の関係を定式化し,その関係に基づいて等式をより一般的な等式に変換する枠組みを提案する.さらに,制約付き項書換え系の書換え帰納法による証明手続きにその枠組みを利用した補題等式の生成・追加機能を組み込むことで,補題等式を予め記述せずに定理自動証明を試み,その有効性を検証する.", "subitem_description_language": "ja", "subitem_description_type": "Abstract"}]}, "item_18_description_5": {"attribute_name": "内容記述", "attribute_value_mlt": [{"subitem_description": "日本ソフトウェア科学会第26回大会講演論文集 (2009年9月16日(水)~9月18日(金), 島根大学)", "subitem_description_language": "ja", "subitem_description_type": "Other"}]}, "item_18_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/21168"}]}, "item_18_publisher_32": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "日本ソフトウェア科学会", "subitem_publisher_language": "ja"}]}, "item_18_rights_12": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "ここに掲載した著作物の利用に関する注意 本著作物の著作権は日本ソフトウェア科学会に帰属します.本著作物は著作権者である日本ソフトウェア科学会の許可のもとに掲載するものです.ご利用に当たっては「著作権法」に従うことをお願いいたします.Notice for the use of this material: The copyright of this material is retained by the Japan Society for Software Science and Technology (JSSST). This material is published on this web site with the agreement of the JSSST. Please be complied with Copyright Law of Japan if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof.", "subitem_rights_language": "ja"}]}, "item_18_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "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": "55687", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "西田, 直樹", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55688", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "草刈, 圭一朗", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55689", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "坂部, 俊樹", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55690", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "酒井, 正彦", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55691", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Nakabayashi, Naoki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55692", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Nishida, Naoki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55693", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Kusakari, Keiichirou", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55694", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakabe, Toshiki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55695", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakai, Masahiko", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55696", "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": "nakabayashi09jssst.pdf", "filesize": [{"value": "157.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 157000.0, "url": {"label": "nakabayashi09jssst.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/19062/files/nakabayashi09jssst.pdf"}, "version_id": "e446460c-48da-4728-99e7-22b5b6bf67ae"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "conference paper", "resourceuri": "http://purl.org/coar/resource_type/c_5794"}]}, "item_title": "制約付き項書換え系の書換え帰納法における補題等式の自動生成法", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "制約付き項書換え系の書換え帰納法における補題等式の自動生成法", "subitem_title_language": "ja"}]}, "item_type_id": "18", "owner": "1", "path": ["703"], "permalink_uri": "http://hdl.handle.net/2237/21168", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2015-01-30"}, "publish_date": "2015-01-30", "publish_status": "0", "recid": "19062", "relation": {}, "relation_version_is_last": true, "title": ["制約付き項書換え系の書換え帰納法における補題等式の自動生成法"], "weko_shared_id": -1}
  1. A500 情報学部/情報学研究科・情報文化学部・情報科学研究科
  2. A500e 会議資料
  3. 国内会議

制約付き項書換え系の書換え帰納法における補題等式の自動生成法

http://hdl.handle.net/2237/21168
http://hdl.handle.net/2237/21168
ad38d2f0-45f0-43fe-9f34-455fa90f3e14
名前 / ファイル ライセンス アクション
nakabayashi09jssst.pdf nakabayashi09jssst.pdf (157.0 kB)
Item type 会議発表論文 / Conference Paper(1)
公開日 2015-01-30
タイトル
タイトル 制約付き項書換え系の書換え帰納法における補題等式の自動生成法
言語 ja
その他のタイトル
その他のタイトル Lemma Generation Method in Rewriting Induction for Constrained Term Rewriting Systems
言語 en
著者 中林, 直生

× 中林, 直生

WEKO 55687

ja 中林, 直生

Search repository
西田, 直樹

× 西田, 直樹

WEKO 55688

ja 西田, 直樹

Search repository
草刈, 圭一朗

× 草刈, 圭一朗

WEKO 55689

ja 草刈, 圭一朗

Search repository
坂部, 俊樹

× 坂部, 俊樹

WEKO 55690

ja 坂部, 俊樹

Search repository
酒井, 正彦

× 酒井, 正彦

WEKO 55691

ja 酒井, 正彦

Search repository
Nakabayashi, Naoki

× Nakabayashi, Naoki

WEKO 55692

en Nakabayashi, Naoki

Search repository
Nishida, Naoki

× Nishida, Naoki

WEKO 55693

en Nishida, Naoki

Search repository
Kusakari, Keiichirou

× Kusakari, Keiichirou

WEKO 55694

en Kusakari, Keiichirou

Search repository
Sakabe, Toshiki

× Sakabe, Toshiki

WEKO 55695

en Sakabe, Toshiki

Search repository
Sakai, Masahiko

× Sakai, Masahiko

WEKO 55696

en Sakai, Masahiko

Search repository
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
権利
言語 ja
権利情報 ここに掲載した著作物の利用に関する注意 本著作物の著作権は日本ソフトウェア科学会に帰属します.本著作物は著作権者である日本ソフトウェア科学会の許可のもとに掲載するものです.ご利用に当たっては「著作権法」に従うことをお願いいたします.Notice for the use of this material: The copyright of this material is retained by the Japan Society for Software Science and Technology (JSSST). This material is published on this web site with the agreement of the JSSST. Please be complied with Copyright Law of Japan if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof.
抄録
内容記述 近年,帰納的定理の証明原理の一つである書換え帰納法が制約付き項書換え系に対応するように拡張され,命令型プログラムの等価性検証に応用するための枠組みが提案された.帰納的定理の証明のためには適切な補題等式を与える必要がある場合が多いが,これまで研究が進んでいる項書換え系に対する補題生成の手法は制約付き項書換え系に対してはあまり有効ではない.本論文では,書換え規則から項の関係を定式化し,その関係に基づいて等式をより一般的な等式に変換する枠組みを提案する.さらに,制約付き項書換え系の書換え帰納法による証明手続きにその枠組みを利用した補題等式の生成・追加機能を組み込むことで,補題等式を予め記述せずに定理自動証明を試み,その有効性を検証する.
言語 ja
内容記述タイプ Abstract
内容記述
内容記述 日本ソフトウェア科学会第26回大会講演論文集 (2009年9月16日(水)~9月18日(金), 島根大学)
言語 ja
内容記述タイプ Other
出版者
言語 ja
出版者 日本ソフトウェア科学会
言語
言語 jpn
資源タイプ
資源 http://purl.org/coar/resource_type/c_5794
タイプ conference paper
出版タイプ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
書誌情報
発行日 2009-09
著者版フラグ
値 publisher
URI
識別子 http://hdl.handle.net/2237/21168
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 16:23:43.741711
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