ログイン
言語:

WEKO3

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

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "3c4d246a-b0ad-45f0-8a56-ad183ffdf47b"}, "_deposit": {"id": "7951", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "7951"}, "status": "published"}, "_oai": {"id": "oai:kitami-it.repo.nii.ac.jp:00007951", "sets": ["87"]}, "author_link": ["44889", "41150", "41151", "41152", "41153"], "item_1646810750418": {"attribute_name": "出版タイプ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_3_biblio_info_186": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2013-06", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "6", "bibliographicPageEnd": "2650", "bibliographicPageStart": "2635", "bibliographicVolumeNumber": "9", "bibliographic_titles": [{"bibliographic_title": "International Journal of Innovative Computing, Information and Control", "bibliographic_titleLang": "en"}]}]}, "item_3_description_184": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "To propose methods for making Equivalent Transformation (ET) rules is\nimportant for generating correct and sufficiently efficient programs from a speci cation\nwhich is a set of logical formulas. An ET rule is a procedure for replacing a clause\nset with another one while preserving declarative meaning. This paper proposes a new\nmethod for making ET rules via a Logical Equivalence (LE) from a speci cation. An LE\ndescribes an equivalence relationship between two logical formulas under some speci ed\npreconditions. We newly formulate an LE and de ne the correctness of LEs with respect\nto a speci cation. It is guaranteed by the method of this paper that an ET rule can be\nmade from a correct LE. The method is useful for the generation of various programs.\nMany ET rules included in programs which solve constraint satisfaction problems, can be\nmade by the method.", "subitem_description_type": "Abstract"}]}, "item_3_full_name_183": {"attribute_name": "著者別名", "attribute_value_mlt": [{"nameIdentifiers": [{"nameIdentifier": "44889", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "50636587", "nameIdentifierScheme": "KAKEN", "nameIdentifierURI": "https://nrid.nii.ac.jp/ja/nrid/1000050636587 "}], "names": [{"name": "三浦, 克宜", "nameLang": "ja"}]}]}, "item_3_link_221": {"attribute_name": "関連サイト", "attribute_value_mlt": [{"subitem_link_url": "http://www.ijicic.org/contents.htm"}]}, "item_3_publisher_212": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "ICIC International"}]}, "item_3_rights_192": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "c 2013 ICIC International"}]}, "item_3_select_195": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_3_subject_196": {"attribute_name": "日本十進分類法", "attribute_value_mlt": [{"subitem_subject": "007", "subitem_subject_scheme": "NDC"}]}, "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": "Miura, Katsunori", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "41150", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Akama, Kiyoshi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "41151", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Mabuchi, Hiroshi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "41152", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Koike, Hidekatsu", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "41153", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-11-22"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "2013.06_Theoretical Basis for making Equivalent Transformation Rules from Logical Equivalences for Program Synthesis.pdf", "filesize": [{"value": "229.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 229500.0, "url": {"label": "2013.06_Theoretical Basis for making Equivalent Transformation Rules from Logical Equivalences for Program Synthesis.pdf", "url": "https://kitami-it.repo.nii.ac.jp/record/7951/files/2013.06_Theoretical Basis for making Equivalent Transformation Rules from Logical Equivalences for Program Synthesis.pdf"}, "version_id": "ba492e26-f932-4bf6-b5c6-683e1fe9b20d"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "Equivalent transformation (ET) rule", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Logical equivalence (LE)", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Equivalence relationship of clause sets", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Rule generation mapping (RGM)", "subitem_subject_scheme": "Other"}, {"subitem_subject": "LE in Class S", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS", "subitem_title_language": "en"}]}, "item_type_id": "3", "owner": "1", "path": ["87"], "permalink_uri": "https://kitami-it.repo.nii.ac.jp/records/7951", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2015-09-03"}, "publish_date": "2015-09-03", "publish_status": "0", "recid": "7951", "relation": {}, "relation_version_is_last": true, "title": ["THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS"], "weko_shared_id": -1}
  1. 学術雑誌掲載済論文
  2. 洋雑誌

THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS

https://kitami-it.repo.nii.ac.jp/records/7951
https://kitami-it.repo.nii.ac.jp/records/7951
3bddc8d2-85e3-4bd9-a2a0-7f8bc4118b5b
名前 / ファイル ライセンス アクション
2013.06_Theoretical 2013.06_Theoretical Basis for making Equivalent Transformation Rules from Logical Equivalences for Program Synthesis.pdf (229.5 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2015-09-03
タイトル
言語 en
タイトル THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS
言語
言語 eng
キーワード
主題Scheme Other
主題 Equivalent transformation (ET) rule
キーワード
主題Scheme Other
主題 Logical equivalence (LE)
キーワード
主題Scheme Other
主題 Equivalence relationship of clause sets
キーワード
主題Scheme Other
主題 Rule generation mapping (RGM)
キーワード
主題Scheme Other
主題 LE in Class S
資源タイプ
資源 http://purl.org/coar/resource_type/c_6501
タイプ journal article
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
著者 Miura, Katsunori

× Miura, Katsunori

WEKO 41150

en Miura, Katsunori

Search repository
Akama, Kiyoshi

× Akama, Kiyoshi

WEKO 41151

en Akama, Kiyoshi

Search repository
Mabuchi, Hiroshi

× Mabuchi, Hiroshi

WEKO 41152

en Mabuchi, Hiroshi

Search repository
Koike, Hidekatsu

× Koike, Hidekatsu

WEKO 41153

en Koike, Hidekatsu

Search repository
著者別名
姓名 三浦, 克宜
言語 ja
抄録
内容記述タイプ Abstract
内容記述 To propose methods for making Equivalent Transformation (ET) rules is
important for generating correct and sufficiently efficient programs from a speci cation
which is a set of logical formulas. An ET rule is a procedure for replacing a clause
set with another one while preserving declarative meaning. This paper proposes a new
method for making ET rules via a Logical Equivalence (LE) from a speci cation. An LE
describes an equivalence relationship between two logical formulas under some speci ed
preconditions. We newly formulate an LE and de ne the correctness of LEs with respect
to a speci cation. It is guaranteed by the method of this paper that an ET rule can be
made from a correct LE. The method is useful for the generation of various programs.
Many ET rules included in programs which solve constraint satisfaction problems, can be
made by the method.
書誌情報 en : International Journal of Innovative Computing, Information and Control

巻 9, 号 6, p. 2635-2650, 発行日 2013-06
権利
権利情報 c 2013 ICIC International
出版者
出版者 ICIC International
関連サイト
URL http://www.ijicic.org/contents.htm
著者版フラグ
値 publisher
出版タイプ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 06:33:07.868579
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