6 プログラムの停止性



next up previous
Next: About this document Up: 情報処理の方法と演習 問題 Previous: 5 コンパクト・ハウスドルフ空間の成すCPO(林(1984))

6 プログラムの停止性

6.1
次の関数が停止する範囲を求めよ。その範囲で停止することを証明せよ。

6.2
次の関数が停止する範囲を求めよ。その範囲で停止することを証明せよ。 また、結果の値を単純な式で表せ。(ここでtak=fである。)

6.3
次の関数が停止する範囲を求めよ。その範囲で停止することを証明せよ。 また、結果の値を単純な式で表せ。



Takashi SAKURAGAWA
Wed Nov 8 12:44:37 JST 1995