WEKO3
アイテム
5分で分かる!? 有名論文ナナメ読み：Gordon Plotkin & John Power : Adequacy for Algebraic Effects
https://doi.org/10.20729/00234177
https://doi.org/10.20729/0023417713c437d3-a11f-43e0-aa77-c81599308a48
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-MGN650608.pdf (602.8 kB)
2026年5月15日からダウンロード可能です。
|
Copyright (c) 2024 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥0, DLIB:会員：¥0 | ||
| Item type | Magazine_02(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-05-15 | |||||||
| タイトル | ||||||||
| タイトル | 5分で分かる!? 有名論文ナナメ読み：Gordon Plotkin & John Power : Adequacy for Algebraic Effects | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 連載 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | article | |||||||
| ID登録 | ||||||||
| ID登録 | 10.20729/00234177 | |||||||
| ID登録タイプ | JaLC | |||||||
| 著者所属 | ||||||||
| 京都大学 | ||||||||
| 著者名 |
室屋, 晃子
× 室屋, 晃子
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本稿では表題の論文が関数型プログラミングに果たしてきた役割について概説する．関数型プログラミングにおいて，非決定的アルゴリズムや確率的アルゴリズムなどの「副作用（エフェクト）を持つ」アルゴリズムを実装するには，一見関数でないものを関数とみなすトリックが必要である．そのトリックとして「モナド」と呼ばれる，集合から集合を錬成する手法を用いることが可能である，というのがMoggiの提唱であった．表題の論文ではMoggiの提唱を推し進めて，実際に関数型プログラミングをどのように構文的に拡張すればエフェクトが扱えるのかを明らかにしたものである． | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116625 | |||||||
| 書誌情報 |
情報処理 巻 65, 号 6, p. 318-320, 発行日 2024-05-15 |
|||||||
| 公開者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
