2008-01-06から1日間の記事一覧
30分プログラム、その216。PerlでYamlを扱ってみる。ずっとPythonばっかりなのもアレなので、今週はPerlの週にするつもり。で、お題として30分プログラムリストの生成プログラムを改造しようと思う。そのためにYAMLを使いたいのでその下準備。 まだ、30分た…
6 状態不変表明 P(R,Ys) = (Reverse(Xs) = R + Reverse(Ys))ただし、ここで+はAppendを表す。証明は必要かどうかわからないから、省略で。 7 別のappend関数 終了しない。Msの初期値がnilでない場合、常に{Append Ls [Xs]}が呼ばれる。そのため終了しない。 …