論文紹介:How to Declare an Imperative Philip Wadler. ACM Computing Surveys, 29(3):240--263, September 1997.(WWW:Wadler: Monads) 1. 導入 2. 相互作用へのmonadアプローチ 基本的な命令 Equational reasoning 値を受け入れる命令 letの類似物 monadの満たす法則 monadと命令型プログラミング C関数の直接呼び出し 3. 相互作用に対するその他のやり方 同期されたストリーム(synchronized stream) continuation 線形論理(linear logic) 副作用(side effect) 4. 関連研究 5. 結論 一階と高階 バック・トラック 1.導入 400年程前デカルトの問題 心は生体とどう相互作用するのか?