第２章 変換と軌道 - プログラミング原論／Elements of Programming Wiki

概要

ある型から同じ型への単項正則関数を変換を呼びます。
初期値を与えて帰納的に変換を適用することで軌道が決定されます。
この章では変換の正則性と軌道の有限性から機動構造を決定するアルゴリズムを実装します。

各節概要

2-1 変換