ログイン
言語:

WEKO3

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

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "60399d09-00cf-4cad-abf9-80c9cc3244fd"}, "_deposit": {"id": "18998", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "18998"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00018998", "sets": ["314"]}, "author_link": ["55368", "55369", "55370", "55371", "55372", "55373", "55374", "55375", "55376", "55377"], "item_10_alternative_title_19": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "Extending program-generation system GeneSys for allowing negation in equational specifications", "subitem_alternative_title_language": "en"}]}, "item_10_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2007-12", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "392", "bibliographicPageEnd": "48", "bibliographicPageStart": "43", "bibliographicVolumeNumber": "107", "bibliographic_titles": [{"bibliographic_title": "電子情報通信学会技術研究報告SS, ソフトウェアサイエンス", "bibliographic_titleLang": "ja"}]}]}, "item_10_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "プログラム生成系GeneSysは一階述語論理で記述された仕様からの実行可能なプログラム生成を目的とした手法である.本論文では,GeneSysで否定記号を含む論理式を扱うために既存の変換規則を拡張し,否定記号を用いた仕様からのプログラム生成の例を示す.また,否定記号に関連する変換規則などを新たに追加し,これによりプログラムの生成が可能になる例を示す. ", "subitem_description_language": "ja", "subitem_description_type": "Abstract"}, {"subitem_description": "Program-Generation System GeneSys has been proposed, which generated executable programs from first order equational specifications without negation. In this paper, we extend conversion rules of GeneSys in order to handle formulas with negation, and show a program-generation example from a specification with negation. We also propose new conversion rules related to negation and give a example that indicates benefits of the new rules.", "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/110006549281"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/21102"}]}, "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/110006549281", "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": "55368", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "酒井, 正彦", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55369", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "坂部, 俊樹", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55370", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "草刈, 圭一郎", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55371", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "西田, 直樹", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55372", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "KONDO, Satoru", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55373", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKAI, Masahiko", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55374", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKABE, Toshiki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55375", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "KUSAKARI, Keiichirou", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55376", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "NISHIDA, Naoki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55377", "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": "110006549281.pdf", "filesize": [{"value": "913.1 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 913100.0, "url": {"label": "110006549281.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/18998/files/110006549281.pdf"}, "version_id": "402e32cf-d087-441d-9d91-29fcb8ac06db"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "プログラム生成", "subitem_subject_scheme": "Other"}, {"subitem_subject": "項書換え系", "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": "プログラム生成系GeneSysにおける等式仕様への否定の導入", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "プログラム生成系GeneSysにおける等式仕様への否定の導入", "subitem_title_language": "ja"}]}, "item_type_id": "10", "owner": "1", "path": ["314"], "permalink_uri": "http://hdl.handle.net/2237/21102", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2015-01-20"}, "publish_date": "2015-01-20", "publish_status": "0", "recid": "18998", "relation": {}, "relation_version_is_last": true, "title": ["プログラム生成系GeneSysにおける等式仕様への否定の導入"], "weko_shared_id": -1}
  1. A500 情報学部/情報学研究科・情報文化学部・情報科学研究科
  2. A500a 雑誌掲載論文
  3. 学術雑誌

プログラム生成系GeneSysにおける等式仕様への否定の導入

http://hdl.handle.net/2237/21102
http://hdl.handle.net/2237/21102
ed11a5b9-ed98-4573-98fb-677774d4f049
名前 / ファイル ライセンス アクション
110006549281.pdf 110006549281.pdf (913.1 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2015-01-20
タイトル
タイトル プログラム生成系GeneSysにおける等式仕様への否定の導入
言語 ja
その他のタイトル
その他のタイトル Extending program-generation system GeneSys for allowing negation in equational specifications
言語 en
著者 近藤, 悟

× 近藤, 悟

WEKO 55368

ja 近藤, 悟

Search repository
酒井, 正彦

× 酒井, 正彦

WEKO 55369

ja 酒井, 正彦

Search repository
坂部, 俊樹

× 坂部, 俊樹

WEKO 55370

ja 坂部, 俊樹

Search repository
草刈, 圭一郎

× 草刈, 圭一郎

WEKO 55371

ja 草刈, 圭一郎

Search repository
西田, 直樹

× 西田, 直樹

WEKO 55372

ja 西田, 直樹

Search repository
KONDO, Satoru

× KONDO, Satoru

WEKO 55373

en KONDO, Satoru

Search repository
SAKAI, Masahiko

× SAKAI, Masahiko

WEKO 55374

en SAKAI, Masahiko

Search repository
SAKABE, Toshiki

× SAKABE, Toshiki

WEKO 55375

en SAKABE, Toshiki

Search repository
KUSAKARI, Keiichirou

× KUSAKARI, Keiichirou

WEKO 55376

en KUSAKARI, Keiichirou

Search repository
NISHIDA, Naoki

× NISHIDA, Naoki

WEKO 55377

en NISHIDA, Naoki

Search repository
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
権利
言語 ja
権利情報 (c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである
キーワード
主題Scheme Other
主題 プログラム生成
キーワード
主題Scheme Other
主題 項書換え系
キーワード
主題Scheme Other
主題 等式仕様
キーワード
主題Scheme Other
主題 否定記号
抄録
内容記述 プログラム生成系GeneSysは一階述語論理で記述された仕様からの実行可能なプログラム生成を目的とした手法である.本論文では,GeneSysで否定記号を含む論理式を扱うために既存の変換規則を拡張し,否定記号を用いた仕様からのプログラム生成の例を示す.また,否定記号に関連する変換規則などを新たに追加し,これによりプログラムの生成が可能になる例を示す.
言語 ja
内容記述タイプ Abstract
抄録
内容記述 Program-Generation System GeneSys has been proposed, which generated executable programs from first order equational specifications without negation. In this paper, we extend conversion rules of GeneSys in order to handle formulas with negation, and show a program-generation example from a specification with negation. We also propose new conversion rules related to negation and give a example that indicates benefits of the new rules.
言語 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/110006549281
ISSN
収録物識別子タイプ PISSN
収録物識別子 0913-5685
書誌情報 ja : 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス

巻 107, 号 392, p. 43-48, 発行日 2007-12
著者版フラグ
値 publisher
URI
識別子 http://ci.nii.ac.jp/naid/110006549281
識別子タイプ URI
URI
識別子 http://hdl.handle.net/2237/21102
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

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