この章の内容は色々細かいものが多いのでだらだらと。 要約 三章では、二章で定義した宣言的モデルの上で使用される、プログラミング技法を幅広く概観する。反復計算というトピックから入り、より一般的な場合として、宣言的プログラミングの核心である再帰…

宣言的操作、あるいは宣言的プログラミングとはなにか。あまり一般的な用語ではないと思うので書き留めておく。CTMCPでは、序盤から「宣言的」という言葉が繰り返し用いられるのだが、「二章で定義したモデルは宣言的である」とだけ言って、正確な説明はここ…