{"created":"2025-01-19T01:28:57.437404+00:00","updated":"2025-01-19T11:28:08.577291+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00229665","sets":["6504:11436:11438"]},"path":["11438"],"owner":"44499","recid":"229665","title":["演算の可換性と結合性に配慮した形式仕様の式表現の統一のための型付き項書換えアルゴリズム"],"pubdate":{"attribute_name":"公開日","attribute_value":"2023-02-16"},"_buckets":{"deposit":"b52106ac-aae0-4815-bd13-e4afa3106199"},"_deposit":{"id":"229665","pid":{"type":"depid","value":"229665","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"演算の可換性と結合性に配慮した形式仕様の式表現の統一のための型付き項書換えアルゴリズム","author_link":["617770","617769"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"演算の可換性と結合性に配慮した形式仕様の式表現の統一のための型付き項書換えアルゴリズム"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"ソフトウェア科学・工学","subitem_subject_scheme":"Other"}]},"item_type_id":"22","publish_date":"2023-02-16","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_22_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"電通大"},{"subitem_text_value":"電通大"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/229665/files/IPSJ-Z85-4L-06.pdf","label":"IPSJ-Z85-4L-06.pdf"},"date":[{"dateType":"Available","dateValue":"2023-11-17"}],"format":"application/pdf","filename":"IPSJ-Z85-4L-06.pdf","filesize":[{"value":"160.7 kB"}],"mimetype":"application/pdf","accessrole":"open_date","version_id":"9a94900a-db2b-49bf-8197-467a969374cd","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2023 by the Information Processing Society of Japan"}]},"item_22_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"檜垣, 廉"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"織田, 健"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_22_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00349328","subitem_source_identifier_type":"NCID"}]},"item_22_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"我々は、形式手法B Methodの信頼性保証の枠組みを利用した、部品の再利用による高信頼ソフトウェア合成手法の研究をしている。本手法では、要求を満たす部品を文字列一致で検索するため、項書換えにより等価な仕様を文字列上で一致させる。従来手法では、式の型によって適用する項書換え規則を切り替えることや、可換性・結合性を持つ演算の被演算子を多重集合として扱い式の構造を統一することを提案したが、具体的なアルゴリズムを示していなかった。本研究では、式の型や可換性・結合性を持つ演算を扱えるよう項書換え系の適用アルゴリズムを拡張し、Standard MLで実装した。(278文字)","subitem_description_type":"Other"}]},"item_22_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"274","bibliographic_titles":[{"bibliographic_title":"第85回全国大会講演論文集"}],"bibliographicPageStart":"273","bibliographicIssueDates":{"bibliographicIssueDate":"2023-02-16","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"1","bibliographicVolumeNumber":"2023"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":229665,"links":{}}