{"created":"2025-01-18T22:49:56.196571+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00016751","sets":["934:935:963:967"]},"path":["967"],"owner":"1","recid":"16751","title":["操作的意味の間の変換"],"pubdate":{"attribute_name":"公開日","attribute_value":"2003-03-15"},"_buckets":{"deposit":"7e4b30f4-93bb-4938-91de-4ab659f6ad6f"},"_deposit":{"id":"16751","pid":{"type":"depid","value":"16751","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"操作的意味の間の変換","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"操作的意味の間の変換"},{"subitem_title":"Well - behaved Translations between Structural Operational Semantics","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"発表概要","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2003-03-15","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"独立行政法人産業技術総合研究所情報科学連携研究体"}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"CRT of Informatics, National Institute of Advanced Industrial Science and Technology","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"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/16751/files/IPSJ-TPRO4404011.pdf"},"date":[{"dateType":"Available","dateValue":"2005-03-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TPRO4404011.pdf","filesize":[{"value":"27.6 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"47770b64-35e9-4625-acfe-d9441e8e6355","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2003 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"渡邊, 宏"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Hiroshi, Watanabe","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11464814","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_3_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7802","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"分配則間のマップが，言語の振舞いを表す遷移系の間の双模倣を導くこと，すなわち操作的意味を保存する変換を与えることを簡単な議論で示す．また分配則のマップの具体例も示す．操作的規則のモデル化はTuri とPlotkin による分配則モデルを使う．分配則間のマップとは分配則の2?圏の1?セルである．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"We examine two versions of maps between distributive laws as candidates for well-behaved translations between structural operational semantics, and validate that by using simple coalgebraic arguments. We give some concrete examples of well-behaved translations that are maps between distributive laws. The modelling of structural operational semantics uses Turi and Plotkin’s categorical models of GSOS. These maps between distributive laws come from the previous work on 2-categories of distributive laws.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"81","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌プログラミング（PRO）"}],"bibliographicPageStart":"81","bibliographicIssueDates":{"bibliographicIssueDate":"2003-03-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"SIG04(PRO17)","bibliographicVolumeNumber":"44"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"links":{},"id":16751,"updated":"2025-01-22T23:42:23.391008+00:00"}