＊「ふっかつのじゅもんがちがいます。」

Javaにvariant型を実装した

最近Hadoopを使うために5～6年ぶりにJavaをいじっています。

そんで、ちょっとばかり耐えがたいわけです。

例えばありがちな例題を挙げると、

["google", "検索エンジン","開発"]のようなタグ(文字列)のリスト(でも配列でもなんでもいい)を受け取って

[ {tag=>"google", enc=>"google"}, {tag=>"検索エンジン", enc=>"%E6%A4%9C%E7%B4%A2%E3%82%A8%E3%83%B3%E3%82%B8%E3%83%B3"}, {tag=>"開発", enc=>"%E9%96%8B%E7%99%BA"} ]

のようなハッシュテーブルのリストに変換しなさい。

ただしパーセントエンコーディングを行う関数(でもメソッドでもなんでもいい) uri_encodingは与えられているものとする。

こんなこと、Webアプリケーションではよくやるじゃないですか。

んで、実際Perlなんかでは結構簡単に書けて



my @tags;

#@tags : ("google", "検索エンジン","開発") はモデルとかから取得



my @ret = map{ { tag=>$_,enc=>uri_encoding($_) } } @tags;

まあこんな感じじゃないですか。

これをJavaで書くとこんなんなります。



List<String> tags;

//tags の中身はモデルとかから取得



List<Map<String,String>> result = new LinkedList<Map<String,String>>();

Iterator<String> i = tags.iterator();

while(i.hasNext()){

    String tag = i.next();

    Map<String,String> m = new HashMap<String,String>();

    m.put("tag", tag);

    m.put("enc", uri_encode(tag));

    result.add(m);

}

こんなにも・・！！こんなにも苦しいのならば型などいらぬ！！

とか暗黒面に落ちそうになってしまいました。

これ以外にもWebアプリケーションなんかだとクエリーが全部文字列で来るけど、妥当性検証のためにintに変換してintと比較とかするのもJavaだとクソ面倒です。（例えば今表示している0件目ページの次の100件を表示するためにoffset=100とかをGETパラメタで受け取るとかそういう場合。こういうのはフレームワークが吸収してくれるんでしょうか？)

そんで、Javaのリハビリとしてバリアント型を作ってみました。

どうせWebアプリケーションのコントローラとかHadoopでやるようなテキスト処理だと、使う型はせいぜい文字列、整数、日付、リスト、ハッシュおよびそれらの組み合わせと相互変換なわけです。

こういう簡単なことは簡単に書けるように、これらを全部つっこめるvarクラスを作って、例えばさっきの問題ならこんな風に書けるようにするのがゴールです。(lambdaはファンクタのための抽象クラス、$はhashとかmapとかの関数的なクラスメソッドを入れておくためのクラス。)



var tags = $.list("Google", "検索エンジン", "開発");

lambda tag2hash = new lambda(){var f(var tag){

  return $.hash( "tag", tag, "enc", uri_encode(tag) );

}};

var result = $.map(tag2hash, tags);

んで、書いたのがコレ(var.java)。

1ファイルにまとめるために無理やりpublicじゃない内部クラスを大量に使ってますが気にしないでください。

varクラス(クラス名が大文字で始まらないけど勘弁してねｗ)にmainついてますが、もうJavaソースには見えませんｗ

JavaでhackするというよりJavaをFxxkしてる気分になりました。



public class var {

    public static void main(String[] args){

        lambda square = new lambda(){var f(var v){

            return new $(v.i() * v.i());

        }};

        lambda say = new lambda(){var f(var v){

            System.out.println(v.display());

            return var.NIL;

        }};



        //文字列

        var name = new $("James");

        say.apply(name);



        //文字列と数値の混合リスト

        var ls = $.list(1, "2", 3, 4, 5);

        //リストの各要素を2乗したリストを返す(数値は自動変換)

        say.apply($.map(square, ls));

        //cdr(笑)

        say.apply(ls.cdr());



        //入れ子のハッシュテーブル

        var hash = $.hash(

          "John", $.hash("sex", "male", "age", 20),

          "Eva",  $.hash("sex", "female", "age", "unknown"),

          "Abe",  $.hash("sex", "unknown", "age", "25")

          );

        say.apply(hash.get("John").get("sex"));

        say.apply(hash.get("Nobita").get("sex"));

        say.apply(hash.keys());

        say.apply(hash);

    }

}

このmainを実行するとこんな感じ。



$ java variant/var

"James"

(1 4 9 16 25)

("2" 3 4 5)

"male"

nil

("John" "Abe" "Eva")

(("John" => (("age" => 20)("sex" => "male")))("Abe" => (("age" => "25")("sex" => "unknown")))("Eva" => (("age" => "unknown")("sex" => "female"))))

HUNTER×HUNTER

会社に来るついでにHxH25巻を買って読んだ。

もちろんジャンプ本誌でも読んでる、どころか各週3回は読み直したのになんでこんなに面白いのか。

あまりに面白いのでなんか電車の中で涙ぐんでしまった。はたからみたらキモかったと思う。別にオチはないけどおまえらもっとHxHを読むといいと思いました。

HUNTER×HUNTER NO.25 (25) (ジャンプコミックス)

価格：￥410 （税込）
メーカー：集英社
→Amazonで詳細を見る
→ECナビリストで詳細を見る
おすすめ度：

レビュー

業務連絡次回SICP読書会は2/25(月)です

makogaにリマインドしようとおもったら携帯忘れてたのでブログで連絡します。
あとs木さんの連絡先を一切知らないのでご連絡をお願いします。

次回は1.2.2木構造再帰(p20)からです。

TB用リンク。ないと失敗するかな？

ECナビリスト

ECナビリストていう昔作ったサービスがあって、全然ふるわないんですが、これをなんとかしようぜとかいうブレスト的なミーティングに出たけど、改めて使うとECナビリストめっちゃ素晴らしくてびびる。書いた人すげーよ。僕とunkだけど。

↓こんなん簡単につくれるんだぜ？全部僕のアフィリエイトリンク付きで。

動かないなーとおもったら改行を<br>に変えるオプションがついてて腐ってただけだった。

対数

SICP読書会をしてて、「対数なんて習った記憶がないand/or知らない」的な人が6人中4人いて軽くカルチャーショックを受けた。なお6人全員現役のプログラマ。
Webアプリケーション書くのに対数なんて必要ないデスヨネ…
文系or商業科でそもそも習わない人が2人、習ったはずだけど記憶から削除された人が2人。

習ってないのはしょうがないし、忘れてダメなわけじゃない(リファレンスカウントが0な時点で記憶からガベージコレクトされちゃうのはしょうがない)とは思うので、責めるではないのだけど単純に驚いた。

DQ4

弊社のインフラチームのネ申いわゆるゴッドであるところのY村さんが

「DQ4 DSが何時間遊べようが関係ない暇つぶし方法を思いついた
ロードランナーだ！！！
Wryyyyyyyy!!!!!!!!!」

的なことをタバコ部屋で言っていた。

SICP練習問題1.1～1.3

SICPの読書会ちゃんとやってます。週一回。

2回やって練習問題1.3まで来ました。淡々と答案を書こうと思います。schemeは全然分かってないので、識者の方は突っ込みお願いします。

1.1 式を評価した結果を答えよ省略

1.2 式を前置記法で書け省略

1.3 3つの数を引数に取りその中の大きいもの二つの平方の和を返す手続きを定義せよ。

ここまでに出てきているschemeの要素は以下。

変数/関数定義

条件分岐

論理和/論理積

以上の要素だけを使って馬鹿正直に書くとこう。

でもこんな if/else だらけのコードを書くためにSICP読んでるわけじゃないのであとでもうちょっと何とかしてみる。



(define (square x) (* x x))

(define (ex1-3-1 x y z)

  (cond ((and (< x y) (< x z)) (+ (square y) (square z)))

        ((and (< y x) (< y z)) (+ (square z) (square x)))

        (else (+ (square x) (square y)))))

単体テストはdefine-syntax でユニットテストの素敵なマクロを使ってみる。

このあと別なバージョンの実装もテストするので、テストケースに関数を渡せるように改変。



(define (report-result result form)

  (format #t "[~A] ... ~A~%" (if result "pass" "FAIL") form))

(define-syntax check

  (syntax-rules ()

                ((_ form ...) (begin (report-result form 'form) ...))))



(define (testcase1-3 ex1-3)

  (check

    (= (ex1-3 1 2 3) 13)

    (= (ex1-3 3 1 2) 13)

    (= (ex1-3 3 2 1) 13)

    (= (ex1-3 1 2 2) 8)

    (= (ex1-3 2 1 2) 8)

    (= (ex1-3 2 2 1) 8)

    (= (ex1-3 1 1 1) 2)))



(testcase1-3 ex1-3-1)



[pass] ... (= (ex1-3 1 2 3) 13)

[pass] ... (= (ex1-3 3 1 2) 13)

[pass] ... (= (ex1-3 3 2 1) 13)

[pass] ... (= (ex1-3 1 2 2) 8)

[pass] ... (= (ex1-3 2 1 2) 8)

[pass] ... (= (ex1-3 2 2 1) 8)

[pass] ... (= (ex1-3 1 1 1) 2)

考え方その2

全部足してから一番小さいのだけ引く

2つの数のうち小さい方を返すmin-pair関数を定義してやる。3つの引数をとって最小を返すほうmin-trioとかのほうが綺麗に書けるけどどうみても汎用性がなさすぎる。任意個の引数から最小を返すmy-min関数を実装してもいいけど、ここまでの範囲では書けない。

ただこのやり方は富豪的過ぎるかもしれない。3数ごときならどうでもいいけど。



(define (ex1-3-2 x y z)

  (define (min-pair a b) (if (< a b) a b))

  (+ (square x) (square y) (square z) (- (square (min-pair x (min-pair y z))))))

(testcase1-3 ex1-3-2)

(以下テスト結果は略)

さすがにmin関数くらいは組み込みを使ってもいいかもしれない。ここまでに出てきた要素から逸脱するけれど。



(define (ex1-3-3 x y z)

  (+ (square x) (square y) (square z) (- (square (min x y z)))))

(testcase1-3 ex1-3-3)

考え方その3

何度もsquareを書きたくない。関数型言語なんだからmapくらいあるだろ。minの時点でここまでの範囲を逸脱しちゃったのでここからはもう気にしない。

perlでいうList::Util::reduce、Rubyでいうinjectみたいのは何だろうとしらべたらfoldらしいのでそれを使う。foldには初期値を設定できるので、初期値に (- (square (min x y z))) を渡したら割とすっきり。



(define (ex1-3-4 x y z)

  (fold + (- (square (min x y z))) (map square (list x y z))))

(testcase1-3 ex1-3-4)

考え方その4

考え方その3はあまりにもこの問題の前提条件に依存しすぎている。4引数で上位2つという問題に拡張されたらどうするのか？もうすでに無駄な拡張性確保の領域。設計上やってはいけないことの一つですね。

解き方として、引数をソートしてから上位n個を取り出して2乗して足すという問題の特殊な場合と見る。

sliceとかheadとかそういう関数はなさそうだったのでまずはリストの先頭n個を取り出す関数headを作る（こういう目的の関数ありそうだけど）。



(define (head num ls)

  (define (<= a b) (not (> a b)))

  (if (<= num 0) '() (cons (car ls) (head (- num 1) (cdr ls)))))

(head 3 '(1 2 3 4 5 6))

なんか非効率な実装のような気もする。

次に2乗の和を求める関数sum-of-square（必要ない気もするけど式が長くなっていやだったので切り分けた）



(define (sum-of-square ls)

  (fold + 0 (map square ls)))

最後にリストの上位n個リストを返す関数bigger（同上）。



(define (bigger num ls)

  (head num (reverse (sort ls))))

以上を使えばこうなる。当初の問題から逸脱しすぎている。



(define (ex1-3-5 x y z)

  (sum-of-square (bigger 2 (list x y z))))

補助関数の定義はex1-3-5の内部にしちゃって実際にはこう。



(define (ex1-3-5 x y z)

  (define (head num ls)

    (define (<= a b) (not (> a b)))

    (if (<= num 0) '() (cons (car ls) (head (- num 1) (cdr ls)))))

  (define (sum-of-square ls)

    (fold + 0 (map square ls)))

  (define (bigger num ls)

    (head num (reverse (sort ls))))

  (sum-of-square (bigger 2 (list x y z))))

今年の目標その2：SICPを読了する

以前買ったSICPだけど、4、5章でつまづいていた。
ざーっと読んだけど、4,5章は演習問題をがっちりやらないと絶対理解できないと思って、そのうちやろうで放置してしまっていた。
なんとかするために社内で何人かに声をかけて社内でSICP読書会をすることにした。

第一回は1/16(水)

計算機プログラムの構造と解釈

価格：￥4830 （税込）
メーカー：ピアソンエデュケーション
→Amazonで詳細を見る
おすすめ度：

今年の目標：引越しする

何年も前から言い続けてるけどいい加減引越ししよう。
会社から徒歩10分くらいのところに。
このロケーションだと猫飼うのはあきらめることになるけど・・・

＊「ふっかつのじゅもんがちがいます。」

Javaにvariant型を実装した

HUNTER×HUNTER

HUNTER×HUNTER NO.25 (25) (ジャンプコミックス)

レビュー

業務連絡次回SICP読書会は2/25(月)です

ECナビリスト

対数

DQ4

SICP練習問題1.1～1.3

今年の目標その2：SICPを読了する

計算機プログラムの構造と解釈

今年の目標：引越しする

最近読んだマンガ

マッドメン (1)

マッドメン (2) (創美社コミック文庫 (M-1-2))

栞と紙魚子 1 新版 (1) (ソノラマコミック文庫も 16-1)

栞と紙魚子 2 新版 (2) (ソノラマコミック文庫も 16-2)

海神記上 (1) (光文社コミック叢書“シグナル” 6)

海神記[下] (光文社コミック叢書〈SIGNAL〉 (0007))

巨娘 1 (1) (アフタヌーンKC)

銃夢外伝 (ヤングジャンプコミックス)

＊「ふっかつのじゅもんがちがいます。」

Javaにvariant型を実装した

HUNTER×HUNTER

レビュー

業務連絡 次回SICP読書会は2/25(月)です

ECナビリスト

対数

DQ4

SICP練習問題1.1～1.3

今年の目標その2：SICPを読了する

今年の目標：引越しする

最近読んだマンガ

業務連絡次回SICP読書会は2/25(月)です