Tag: [NTU Software Analysis-Study Notes]

【要旨】5．反復アルゴリズムと固定小数点定理の関係 5.1 関係 前回のレッスンでは、固定小数点理論を証明しましたが、最初に提起された未解決の 3 つの疑問がまだ残っています。このアルゴリズムは終了できますか。つまり、固定小数点と解がなければなりません。固定点が必要な場合は、read more のみになります。 Source link