2026-04-18T19:07:21Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00234294 2025-01-19T09:50:13Z 1:11380:11391

5分で分かる!? 有名論文ナナメ読み：Gordon Plotkin & John Power : Adequacy for Algebraic Effects 室屋, 晃子 連載 本稿では表題の論文が関数型プログラミングに果たしてきた役割について概説する．関数型プログラミングにおいて，非決定的アルゴリズムや確率的アルゴリズムなどの「副作用（エフェクト）を持つ」アルゴリズムを実装するには，一見関数でないものを関数とみなすトリックが必要である．そのトリックとして「モナド」と呼ばれる，集合から集合を錬成する手法を用いることが可能である，というのがMoggiの提唱であった．表題の論文ではMoggiの提唱を推し進めて，実際に関数型プログラミングをどのように構文的に拡張すればエフェクトが扱えるのかを明らかにしたものである． article 情報処理学会 2024-05-15 application/pdf 情報処理 6 65 318 320 AN00116625 https://ipsj.ixsq.nii.ac.jp/record/234294/files/IPSJ-MGN650608.pdf jpn