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のタプルでなければならない。 再帰関数が以…

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

プログラムが必ず終了するか？ 無限ループにならないか？ の証明。 これであってるのかな？ 例題：階乗。言語はVDMで。 階乗: nat +> nat 階乗(n) == if n=0 then 1 else n*階乗(n-1); n=0のとき 停止するか？：階乗(0) 停止するか？：if 0=0 then 1 else 0*…

ときどき、NETというゲームで遊んでいます。 なかなか良くできたゲームです。 今日、13x11のWrappingで 1021854 というスコアを出しました。 TURNS:103 Minimum required:103 TIME:0:04:00 http://www.jurjans.lv/stuff/net/FreeNet.htm

棚からバター餅。 そのココロは？

http://d.hatena.ne.jp/a-san/20090623#p1 ガーベージコレクションでよく使われる、Mark&Sweep法がこの問題に使えるのに気づきました。 攻略法がわかれば、あとは実装して終わり。 マークをつける代わりに、たどったところは集合として扱いました。 言語は久…

利用者の方から不具合報告＆改善案をいただきました。 ありがとうございます。 検討中です。

メモ。 // エンコーディング指定 transformer.setOutputProperty(OutputKeys.ENCODING, "UTF-8"); // XMLを整形する方法 transformer.setOutputProperty(javax.xml.transform.OutputKeys.INDENT, "yes"); transformer.setOutputProperty(javax.xml.transform…

状態、'0'および、'A'〜'I'に対して、 以下の状態遷移が定義されているとする。 '0'→'A' 'A'→'B' 'B'→'C' 'C'→'B' 'C'→'A' 'D'→'B' 'D'→'H' 'H'→'D' 'E'→'F' 'F'→'G' 'G'→'F' 'G'→'E' 'I'→'I' この状態遷移は間違っており、遷移しない状態が存在する。 遷移…

以前、classファイルをいじって遊んでみたのですが、そのとき感じたのが、JavaVMって、Java言語のために作ったものだけれど、Java言語以外でも使えるんじゃないか、ということです。 メソッド名の名前で使える文字は、Java言語側の制約であって、JavaVMでは…

を観にいきました。 平日のレイトショーなのでメチャクチャすいていました。http://www.startrekmovie.com/intl/jp/ メチャクチャ良かったです！ 古き良き初期の感じ。 やっぱりスポックはいいですねー！

を観にいきました。面白かったです。 シオン修道会の次はイルミナティですかー。カルト臭いです。（＾＾；

http://sourceforge.jp/projects/adb/releases/ モジュールをUPして１０日経つけれど、ダウンロード数がたったの１って・・・、 ・・・痛い！ 正直、凹む。

先日の続きをやってみます。 今度は、"this"という名前に変えてみました。74 68 69 73です。 javapでclassファイルを見てみるとこんな感じです。 C:\home\eclipse\test>javap InvisibleMethod Compiled from "InvisibleMethod.java" class InvisibleMethod e…

また、はてなのDiaryが変更されたみたい。 以前はなかったバグを見つけました。 今日(6/8)、日記を書こうとすると、日が違うのに先日(6/5)の画像が選択された状態になります。 今日はその画像は張りたくないので、削除すると、先日(6/5)の日記の画像が削除さ…

まず、以下のソースを作ってコンパイルします。 class InvisibleMethod { void test() { System.out.println("hoge"); } public static void main(String[] args) { new InvisibleMethod().test(); } } バイナリエディタで、メソッド名 test をブランクに変…

疲れましたー。 ブースでの説明員って初めてですけれど、ずーと立ちっぱなしですし、お客さんに説明するのって結構体力を使いますねー。 いつもは机に座って、パソコンの前で無言でプログラムを組んでいるのですが、 この２日間は、普段は使わないところを使…

なんとか、使い方のマニュアルを書いて、UPしました。 http://sourceforge.jp/projects/adb/wiki/FrontPage 疲れた〜。

http://www.jasa.or.jp/etwest/ 今週の木、金と開かれます。 説明員の補佐として参加します。 D-01のブースでウロウロしていると思います。 もし参加する人がいれば、「Aさん、いますか〜？」と声をかけてくださいｗ。

会社でもマスクの人が半数以上。 トイレには消毒用アルコール。 私のとなりの人が休み。発熱が出たとのこと！ 夕方にインフルエンザではなかった、との連絡が入りました。

その大阪府、茨木市に住んでます。 会社からも、明日はマスクで出勤令が出ました。 町行く人はマスクは少ないものの、スーパーの従業員は全員マスクでした。

我らの鍛冶屋に登録しました。 プロジェクトを登録していただき、ありがとうございます。 下記の通りプロジェクト登録を受け付けました。 プロジェクトが許可されれば、電子メールで詳細情報が 通知されますので、しばらくお待ちください。 グループ名: Asan…

３日ぶり。 久しぶりに家に帰りました〜。 ２泊３日。 私はまだ比較的カワイイぐらいです。 中には１０泊のひともいます。 お仕事です。 「泊まる」＝「short rangeのプロジェクト」なのですが、 とりあえず、今日で、プロジェクトをやりきりました。 若干、…