安室奈美恵の最新アルバム「Past＜Future」のビデオクリップは「Wild」が一番よかったよ！ というのをVDMでどう表現するか？というお題がでました。 こんな感じでしょうか。 -- すべてのビデオクリップに対して、それが「Wild」でなければ、評価は「Wild」の…

めりくり！

JavaプログラムからPOSTをしてみました。 この はてな にログインします。 ユーザ名＆パスワードはもちろん架空です。 http://hc.apache.org/ import java.io.IOException; import java.util.*; import org.apache.http.*; import org.apache.http.client.*;…

JTextAreaにはUndo/Redoの機能はありません。 けど、比較的簡単に実装することができます。 package util; import java.awt.Event; import java.awt.event.ActionEvent; import javax.swing.AbstractAction; import javax.swing.Action; import javax.swing.…

気が向いたので、ちょっと作ってみました。 ビット単位に扱うのが面倒だったので、３バイト＝４文字ごとに処理してみました。 package util; import java.util.ArrayList; import java.util.List; public class Base64 { public static final String TABLE =…

研修で、講師の人がよさげなツールを使っていた。 これはいい。 http://www.d-consulting.biz/presentation/tool/zoomit/ http://technet.microsoft.com/ja-jp/sysinternals/bb897434.aspx

/* インドのガンジス河の畔のヴァラナシ（ベナレス）に、世界の中心を表すという 巨大な寺院がある。 そこには青銅の板の上に、長さ1キュビット、太さが蜂の体ほどの3本のダイヤモンドの 針が立てられている。そのうちの1本には、天地創造のときに神が64枚の…

ひらめいた！ 前回の２つのサンプルに続き、動作はできるけれど事後条件に合わないサンプルを提示するのです。 -- はじめてのVDM(まちがった陽仕様版) class はじめてのVDM operations public hello: () ==> seq of char hello() == return "こんにちわ, VDM…

やっぱり言語の性質上、コレでどうだろうか。 -- はじめてのVDM(陰仕様版) class はじめてのVDM operations public hello: () ==> seq of char hello() == is not yet specified -- 動作は記述していません post RESULT = "Hello, VDM++"; -- 事後条件 end …

それらしいメソッドは JComponentのgetAlignmentX/Yぐらいしかないけれど、試しても 機能しないですね。 JTextAreaの描画部分を作りなおすしかないのかな？ modelToView()/viewToModel()あたりを作ればできそうな気もするけれど、どちらにしても大変ですね。…

重い処理を実行させる場合、プログレスバーを使うことがありますが、 重い処理は当然別スレッドにする必要があります。 その中でプログレスバーの進捗を進めればOKです。 ただし、直接呼ぶのはお勧めできません。 まぁ、ほとんどの場合、何も問題なく動くで…

気になる・・・。 C(四)の後継だから、Go(五)なのか？ んなわけないよなー。

やるなー。 しかも、WinAPIか。なつかしい。 データの持ち方が私のやり方と違いますね。そういうやり方もあるのか。 テトリスはいろんな言語で作ったことがあるけれど、私も以前、計ってみたところ、一時間チョイで作れたハズ。 C言語だったかな？ そのとき…

続いて素数です。 アルゴリズムはもちろん「エラトステネスのふるい」です。 まず、2から100までのリストを作ってみます。 (2 to 100)でRange(2, 3, 4, ... 100)ができるので、コレをListに変換。 scala> (2 to 100).toList res23: List[Int] = List(2, 3, 4…

まずは、フィボナッチ数列の定義どおりに書いてみました。 // Fibonacci数（フィボナッチ数）fib(10)=>55, fib(20)=>6765 def fib(n:Int):Int = { if (n==0) 0 else if (n==1) 1 else fib(n-1)+fib(n-2) } 補助関数を作って末尾再帰にしてみました。 def fib…

import scala.swing._ object AsanTextEditor0 extends SimpleGUIApplication { def top = new MainFrame { title = "AsanTextEditor0"; contents = new TextArea("Aさんのテキストエリア！\n・・・です。"); size = (320, 240); } } コンパイル >scalac Asa…

Scalaを勉強してます。 これは絶対ハマります！ 私がw

調べてみました。 <a href=""> <img src=""> <iframe src="">ぐらいは思いついたのだけれど、調べてみると意外に多いです。 {"HEAD","PROFILE"}, {"BODY","BACKGROUND"}, {"META","URL"}, {"BASE","HREF"}, {"LINK","HREF"}, {"LINK","SRC"}, {"INS","CITE"}, {"DEL","CITE"}, {"DIV","HREF"}, {"SP</iframe></a>…

この前、市民会館にペットボトルの大きなオブジェがあった。 ３メートルぐらいあるかな？ 星型の多面体だ。興味深々♪ まじまじと観察・・・ ペットボトルを縦につなげ、それを辺として多面体を作ってる。 えーと、星の中心は正２０面体。 そのそれぞれの面に…

クリップボードは複数のデータ形式を保持することができますが、JavaのAPIには、 文字列用のクラス(StringSelection)しかありません。 なので、複数の任意のデータ形式を扱えるクラスを作ってみました。 /* * 作成日: 2009/10/18 */ package util; import ja…

XPまでは、System32\ にclipbrd.exe があったのに、Vistaにはない。 最低・・・

自慢です。Nさんが私のAsanDatabaseBrowserを使ってました。 あの人はスーパープログラマだから、私のツールなどなくても困らないのだけれど、なぜ使っているのだろう？ 聞いてみると、データベースの中に、中国語とスペイン語(?)が混在していて、SI-ObjectB…

外の方が涼しいので、夜、読書ができる場所を探してみた。 座る場所があること。 本が読める程度の光源があること。 できれば静かなところ。 人に迷惑がかからないこと。 一番いいのは図書館の正面でした。 当然夜は閉まっているけれど、夜間に本を返す人の…

@ITの以下の記事を見て、会社のマシンで試してみました。 http://www.atmarkit.co.jp/fsecurity/rensai/tipstoday08/tips01.html 第8回 ファイル名は「左から右に読む」とは限らない?!新規にテキストファイルを作成します。foo_exe.txt ファイル名の編集を行…

お仕事でチョット調べたのでメモ。 ●標準エラー出力をファイルに出力する。 C:\> foo.exe 2> stderr.txt ●それぞれを別のファイルに出力する。 C:\> (foo.exe 2> stderr.txt) > stdout.txt ●標準エラー出力を標準出力にリダイレクトする。 C:\> foo.exe 2>&1…

あらかじめJTextComponentのActionMapにはたくさんのActionが登録されている。 登録されているActionのキーは以下のとおり。 cut copy paste beep cut-to-clipboard copy-to-clipboard paste-from-clipboard page-up page-down delete-previous delete-next …

利用者から、テーブルウィンドウで編集できないのか？と問い合わせがありました。 調べてみたところ、MySQLのTEXTは、JDBCとしては Types.LONGVARCHAR という型で扱われます。 あまりメジャーな型ではなかったので、対応していませんでした。 本来ならばJTex…

昔、Swingで作っていたFileManagerもどきを、久しぶりに書き足しています。 昔は全然使えるレベルではなかったけれど、なんか我慢すれば使えるレベルまでになってきた。 家のマシンはVistaだけれど、 表示形式が勝手に大きなアイコン表示になったり、 検索で…

BELLって鳴るのかな？ System.out.print("\u0007"); // BELL コンソールからだと鳴った。 eclipseから動かすと鳴らない。□が表示される。 eclipseとコンソールでは標準出力が違うんですね。 なので、動作が異なる。ふむ。