mzp https://blog.hatena.ne.jp/mzp/ みずぴー日記 https://mzp.hatenadiary.org/ oz CTMCP 6 状態不変表明 P(R,Ys) = (Reverse(Xs) = R + Reverse(Ys))ただし、ここで+はAppendを表す。証明は必要かどうかわからないから、省略で。 7 別のappend関数 終了しない。Msの初期値がnilでない場合、常に{Append Ls [Xs]}が呼ばれる。そのため終了しない。 8 反復的append fun {Append Xs Ys} fun {Reverse R Xs} case Xs of nil then R [] X|Xr then {Reverse X|R Xr} end end fun {ReverseAppend R Xs} case… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmzp.hatenadiary.org%2Fentry%2F20080106%2Foz" title="第3章 練習問題 6-10 - みずぴー日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-01-06 00:00:00 rich https://mzp.hatenadiary.org/entry/20080106/oz 1.0 100%