http://ap.atmarkit.co.jp/bbs/core/fjava/15708

http://d.hatena.ne.jp/a-san/20090820#p1 そのソースです。 エラー処理はいい加減です。 import java.io.BufferedInputStream; import java.io.BufferedOutputStream; import java.io.File; import java.io.FileOutputStream; import java.io.IOException; …

MACはファイル名をUTF-8として圧縮します。 そのZIPファイルをWindowsユーザが受け取ると、多くのツールはShift_JISとして解凍するので、ファイル名やディレクトリ名が文字化けします。 LHMeltなどメジャーなアーカイブソフトがそうですし、Windowsのエクス…

・・・してました。 コンビニも、信号もない、ネットにも接続できない、ド田舎です。 俗世間を忘れ、 ぼ ー ー ー ー ー ー ー ー ー とするにはいい環境です。

VDMでは、functionとoperationの使い分けって微妙です。 これ、Javaではどちらもメソッドにあたります。 どう使い分けするのかが悩みます。 しかも、文法が結構違うので、途中で簡単に変更できないのも厄介です。 そのため、最初にどちらで記述すべきかを決…

停止性の証明が有効なのは、functionだけですね。operationでは証明課題が生成されません。

「あんさん、スーチーさん？」 なぜかこのフレーズだけが、ぐるぐる回ってました。 ・・・寝不足です。

http://d.hatena.ne.jp/a-san/20090729#p1 VDMのmeasure関数の定義の仕方が少しずつわかってきました。 measure関数の引数は、元の関数の引数と一致しなければならない。 measure関数の戻り値は、nat、または natのタプルでなければならない。 再帰関数が以…

あん？？？ ようつべの右上にあるコレを張ればいいのか。 めちゃくちゃ簡単だった。 ↑私がパソコンにハマることになった番組です。