{"id":234294,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00234294","sets":["1:11380:11391"]},"path":["11391"],"owner":"44499","recid":"234294","title":["5分で分かる!? 有名論文ナナメ読み：Gordon Plotkin & John Power : Adequacy for Algebraic Effects"],"pubdate":{"attribute_name":"公開日","attribute_value":"2024-05-15"},"_buckets":{"deposit":"eb6ef212-3b7d-4dba-aa88-fd5ea2344abc"},"_deposit":{"id":"234294","pid":{"type":"depid","value":"234294","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"5分で分かる!? 有名論文ナナメ読み：Gordon Plotkin & John Power : Adequacy for Algebraic Effects","author_link":["638236"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"5分で分かる!? 有名論文ナナメ読み：Gordon Plotkin & John Power : Adequacy for Algebraic Effects"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"連載","subitem_subject_scheme":"Other"}]},"item_type_id":"30","publish_date":"2024-05-15","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_30_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"京都大学"}]},"publish_status":"0","weko_shared_id":44499,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/234294/files/IPSJ-MGN650608.pdf","label":"IPSJ-MGN650608.pdf"},"date":[{"dateType":"Available","dateValue":"2026-05-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-MGN650608.pdf","filesize":[{"value":"602.8 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"3c246927-dee0-43cc-8b8f-2af94f537414","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2024 by the Information Processing Society of Japan"}]},"item_30_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"室屋, 晃子"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"article"}]},"item_30_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00116625","subitem_source_identifier_type":"NCID"}]},"item_30_publisher_14":{"attribute_name":"公開者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"item_30_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本稿では表題の論文が関数型プログラミングに果たしてきた役割について概説する．関数型プログラミングにおいて，非決定的アルゴリズムや確率的アルゴリズムなどの「副作用（エフェクト）を持つ」アルゴリズムを実装するには，一見関数でないものを関数とみなすトリックが必要である．そのトリックとして「モナド」と呼ばれる，集合から集合を錬成する手法を用いることが可能である，というのがMoggiの提唱であった．表題の論文ではMoggiの提唱を推し進めて，実際に関数型プログラミングをどのように構文的に拡張すればエフェクトが扱えるのかを明らかにしたものである．","subitem_description_type":"Other"}]},"item_30_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"320","bibliographic_titles":[{"bibliographic_title":"情報処理"}],"bibliographicPageStart":"318","bibliographicIssueDates":{"bibliographicIssueDate":"2024-05-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"6","bibliographicVolumeNumber":"65"}]},"relation_version_is_last":true,"item_30_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.20729/00234177","subitem_identifier_reg_type":"JaLC"}]},"weko_creator_id":"44499"},"updated":"2025-01-19T09:50:13.578205+00:00","created":"2025-01-19T01:36:03.296471+00:00","links":{}}