<?xml version="1.0" encoding="UTF-8" ?>
<rdf:RDF
	xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
	xmlns="http://purl.org/rss/1.0/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:content="http://purl.org/rss/1.0/modules/content/">

	<channel rdf:about="http://blog.ajiyoshi.org/RSS/100/">
		<title>＊「ふっかつのじゅもんがちがいます。」</title>
		<link>http://blog.ajiyoshi.org/</link>
		<description>Buzzurlの中の人日記</description>
		<dc:language>ja</dc:language>
		<items>
		<rdf:Seq>
			<rdf:li rdf:resource="http://blog.ajiyoshi.org/Entry/281/" />
			<rdf:li rdf:resource="http://blog.ajiyoshi.org/Entry/280/" />
			<rdf:li rdf:resource="http://blog.ajiyoshi.org/Entry/279/" />
			<rdf:li rdf:resource="http://blog.ajiyoshi.org/Entry/278/" />
			<rdf:li rdf:resource="http://blog.ajiyoshi.org/Entry/277/" />
			<rdf:li rdf:resource="http://blog.ajiyoshi.org/Entry/276/" />
			<rdf:li rdf:resource="http://blog.ajiyoshi.org/Entry/275/" />
			<rdf:li rdf:resource="http://blog.ajiyoshi.org/Entry/274/" />
			<rdf:li rdf:resource="http://blog.ajiyoshi.org/Entry/273/" />
			<rdf:li rdf:resource="http://blog.ajiyoshi.org/Entry/272/" />
		</rdf:Seq>
		</items>
	</channel>

	<item rdf:about="http://blog.ajiyoshi.org/Entry/281/">
		<link>http://blog.ajiyoshi.org/Entry/281/</link>
		<title>Javaにvariant型を実装した</title>
		<description>最近Hadoopを使うために5～6年ぶりにJavaをいじっています。

そんで、ちょっとばかり耐えがたいわけです。
例えばありがちな例題を挙げると、


[&amp;quot;google&amp;quot;, &amp;quot;検索エンジン&amp;quot;,&amp;quot;開発&amp;quot;]のようなタグ(文字列)のリスト(でも配列でもなんでもいい)を受け取って


[...</description>
		<content:encoded><![CDATA[<p>最近Hadoopを使うために5～6年ぶりにJavaをいじっています。</p><br />
<br />
<p>そんで、ちょっとばかり耐えがたいわけです。</p><br />
<p>例えばありがちな例題を挙げると、</p><br />
<br />
<blockquote><br />
<p>["google", "検索エンジン","開発"]のようなタグ(文字列)のリスト(でも配列でもなんでもいい)を受け取って</p><br />
<br />
<code><pre><br />
[<br />
 {tag=>"google", enc=>"google"},<br />
 {tag=>"検索エンジン", enc=>"%E6%A4%9C%E7%B4%A2%E3%82%A8%E3%83%B3%E3%82%B8%E3%83%B3"},<br />
 {tag=>"開発", enc=>"%E9%96%8B%E7%99%BA"}<br />
]<br />
</pre></code><br />
<p>のようなハッシュテーブルのリストに変換しなさい。</p><br />
<p>ただしパーセントエンコーディングを行う関数(でもメソッドでもなんでもいい) uri_encodingは与えられているものとする。</p><br />
</blockquote><br />
<br />
<p>こんなこと、Webアプリケーションではよくやるじゃないですか。</p><br />
<p>んで、実際Perlなんかでは結構簡単に書けて</p><br />
<br />
<code><pre><br />
my @tags;<br />
#@tags : ("google", "検索エンジン","開発") はモデルとかから取得<br />
<br />
my @ret = map{ { tag=>$_,enc=>uri_encoding($_) } } @tags;<br />
</pre></code><br />
<p>まあこんな感じじゃないですか。</p><br />
<p>これをJavaで書くとこんなんなります。</p><br />
<br />
<code><pre><br />
List&lt;String&gt; tags;<br />
//tags の中身はモデルとかから取得<br />
<br />
List&lt;Map&lt;String,String&gt;&gt; result = new LinkedList&lt;Map&lt;String,String&gt;&gt;();<br />
Iterator&lt;String&gt; i = tags.iterator();<br />
while(i.hasNext()){<br />
    String tag = i.next();<br />
    Map&lt;String,String&gt; m = new HashMap&lt;String,String&gt;();<br />
    m.put("tag", tag);<br />
    m.put("enc", uri_encode(tag));<br />
    result.add(m);<br />
}<br />
</pre></code><br />
<br />
<br />
<p>こんなにも・・！！こんなにも苦しいのならば型などいらぬ！！</p><br />
<p><img src="http://file.blog.ajiyoshi.org/Img/1205673600/" border="0" alt="" /></p><br />
<p>とか暗黒面に落ちそうになってしまいました。</p><br />
<br /><br />
<p>これ以外にもWebアプリケーションなんかだとクエリーが全部文字列で来るけど、妥当性検証のためにintに変換してintと比較とかするのもJavaだとクソ面倒です。（例えば今表示している0件目ページの次の100件を表示するためにoffset=100とかをGETパラメタで受け取るとかそういう場合。こういうのはフレームワークが吸収してくれるんでしょうか？)</p><br />
<br /><br />
<p>そんで、Javaのリハビリとしてバリアント型を作ってみました。</p><br />
<p>どうせWebアプリケーションのコントローラとかHadoopでやるようなテキスト処理だと、使う型はせいぜい文字列、整数、日付、リスト、ハッシュおよびそれらの組み合わせと相互変換なわけです。</p><br />
<p>こういう簡単なことは簡単に書けるように、これらを全部つっこめるvarクラスを作って、例えばさっきの問題ならこんな風に書けるようにするのがゴールです。(lambdaはファンクタのための抽象クラス、$はhashとかmapとかの関数的なクラスメソッドを入れておくためのクラス。)</p><br />
<br />
<code><pre><br />
var tags = $.list("Google", "検索エンジン", "開発");<br />
lambda tag2hash = new lambda(){var f(var tag){<br />
  return $.hash( "tag", tag, "enc", uri_encode(tag) );<br />
}};<br />
var result = $.map(tag2hash, tags);<br />
</pre></code><br />
<br />
<br />
<p>んで、書いたのが<a href="http://file.blog.ajiyoshi.org/var.java">コレ(var.java)</a>。</p><br />
<p>1ファイルにまとめるために無理やりpublicじゃない内部クラスを大量に使ってますが気にしないでください。</p><br />
<p>varクラス(クラス名が大文字で始まらないけど勘弁してねｗ)にmainついてますが、もうJavaソースには見えませんｗ</p><br />
<p>JavaでhackするというよりJavaをFxxkしてる気分になりました。</p><br />
<br />
<code><pre><br />
public class var {<br />
    public static void main(String[] args){<br />
        lambda square = new lambda(){var f(var v){<br />
            return new $(v.i() * v.i());<br />
        }};<br />
        lambda say = new lambda(){var f(var v){<br />
            System.out.println(v.display());<br />
            return var.NIL;<br />
        }};<br />
<br />
        //文字列<br />
        var name = new $("James");<br />
        say.apply(name);<br />
<br />
        //文字列と数値の混合リスト<br />
        var ls = $.list(1, "2", 3, 4, 5);<br />
        //リストの各要素を2乗したリストを返す(数値は自動変換)<br />
        say.apply($.map(square, ls));<br />
        //cdr(笑)<br />
        say.apply(ls.cdr());<br />
<br />
        //入れ子のハッシュテーブル<br />
        var hash = $.hash(<br />
          "John", $.hash("sex", "male", "age", 20),<br />
          "Eva",  $.hash("sex", "female", "age", "unknown"),<br />
          "Abe",  $.hash("sex", "unknown", "age", "25")<br />
          );<br />
        say.apply(hash.get("John").get("sex"));<br />
        say.apply(hash.get("Nobita").get("sex"));<br />
        say.apply(hash.keys());<br />
        say.apply(hash);<br />
    }<br />
}<br />
</pre></code><br />
<br />
<p>このmainを実行するとこんな感じ。</p><br />
<br />
<code><pre><br />
$ java variant/var<br />
"James"<br />
(1 4 9 16 25)<br />
("2" 3 4 5)<br />
"male"<br />
nil<br />
("John" "Abe" "Eva")<br />
(("John" => (("age" => 20)("sex" => "male")))("Abe" => (("age" => "25")("sex" => "unknown")))("Eva" => (("age" => "unknown")("sex" => "female"))))<br />
</pre></code><br />
]]></content:encoded>
		<dc:subject>未選択</dc:subject>
		<dc:date>2008-03-16T22:37:49+09:00</dc:date>
		<dc:creator>ajiyoshi</dc:creator>
		<dc:publisher>NINJA BLOG</dc:publisher>
		<dc:rights>ajiyoshi</dc:rights>
	</item>
	<item rdf:about="http://blog.ajiyoshi.org/Entry/280/">
		<link>http://blog.ajiyoshi.org/Entry/280/</link>
		<title>HUNTER×HUNTER</title>
		<description>会社に来るついでにHxH25巻を買って読んだ。
もちろんジャンプ本誌でも読んでる、どころか各週3回は読み直したのになんでこんなに面白いのか。
あまりに面白いのでなんか電車の中で涙ぐんでしまった。はたからみたらキモかったと思う。別にオチはないけどおまえらもっとHxHを読むといいと思いました。
...</description>
		<content:encoded><![CDATA[<p>会社に来るついでにHxH25巻を買って読んだ。</p><br />
<p>もちろんジャンプ本誌でも読んでる、どころか各週3回は読み直したのになんでこんなに面白いのか。</p><br />
<p>あまりに面白いのでなんか電車の中で涙ぐんでしまった。はたからみたらキモかったと思う。別にオチはないけどおまえらもっとHxHを読むといいと思いました。<p><br />
<br />
<H4><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/4088745353&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank>HUNTER×HUNTER NO.25 (25) (ジャンプコミックス)</A></H4><IMG style="BORDER-RIGHT: medium none; BORDER-TOP: medium none; MARGIN: 0px; BORDER-LEFT: medium none; BORDER-BOTTOM: medium none" height=1 alt="" src="http://www.assoc-amazon.jp/e/ir?t=ajiyoshiblog-22&amp;l=as2&amp;o=9&amp;a=4088745353" width=1 border=0><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/4088745353&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank><IMG alt="HUNTER×HUNTER NO.25 (25) (ジャンプコミックス)" src="http://images-jp.amazon.com/images/P/4088745353.09.MZZZZZZZ.jpg"></A><BR>価格 ： ￥410 （税込）<BR>メーカー ： 集英社<BR><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/4088745353&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank>→Amazonで詳細を見る</A><BR><A href="http://list.ecnavi.jp/item/asin/4088745353" target=_blank>→ECナビリストで詳細を見る</A><BR>おすすめ度 ： <IMG src="http://cdn.list.ecnavi.jp/static/image/rate/o_5.gif"><BR><h5>レビュー</h5><p><a href="http://list.ecnavi.jp">powered by ECナビ リスト</a></p>]]></content:encoded>
		<dc:subject>未選択</dc:subject>
		<dc:date>2008-03-09T20:24:46+09:00</dc:date>
		<dc:creator>ajiyoshi</dc:creator>
		<dc:publisher>NINJA BLOG</dc:publisher>
		<dc:rights>ajiyoshi</dc:rights>
	</item>
	<item rdf:about="http://blog.ajiyoshi.org/Entry/279/">
		<link>http://blog.ajiyoshi.org/Entry/279/</link>
		<title>業務連絡 次回SICP読書会は2/25(月)です</title>
		<description>makogaにリマインドしようとおもったら携帯忘れてたのでブログで連絡します。
あとs木さんの連絡先を一切知らないのでご連絡をお願いします。

次回は1.2.2木構造再帰(p20)からです。


TB用リンク。ないと失敗するかな？...</description>
		<content:encoded><![CDATA[makogaにリマインドしようとおもったら携帯忘れてたのでブログで連絡します。<br />
あとs木さんの連絡先を一切知らないのでご連絡をお願いします。<br />
<br />
次回は1.2.2木構造再帰(p20)からです。<br />
<br />
<br />
<a href="http://d.hatena.ne.jp/makoga/20080217/WeeklyReportRead">TB用リンク。ないと失敗するかな？</a>]]></content:encoded>
		<dc:subject>SICP</dc:subject>
		<dc:date>2008-02-22T19:25:03+09:00</dc:date>
		<dc:creator>ajiyoshi</dc:creator>
		<dc:publisher>NINJA BLOG</dc:publisher>
		<dc:rights>ajiyoshi</dc:rights>
	</item>
	<item rdf:about="http://blog.ajiyoshi.org/Entry/278/">
		<link>http://blog.ajiyoshi.org/Entry/278/</link>
		<title>ECナビリスト</title>
		<description>ECナビリストていう昔作ったサービスがあって、全然ふるわないんですが、これをなんとかしようぜとかいうブレスト的なミーティングに出たけど、改めて使うとECナビリストめっちゃ素晴らしくてびびる。書いた人すげーよ。僕とunkだけど。
↓こんなん簡単につくれるんだぜ？全部僕のアフィリエイトリンク付きで。...</description>
		<content:encoded><![CDATA[<p>ECナビリストていう昔作ったサービスがあって、全然ふるわないんですが、これをなんとかしようぜとかいうブレスト的なミーティングに出たけど、改めて使うとECナビリストめっちゃ素晴らしくてびびる。書いた人すげーよ。僕とunkだけど。</p><br />
<p>↓こんなん簡単につくれるんだぜ？全部僕のアフィリエイトリンク付きで。</p><br />
<p>動かないなーとおもったら改行を&lt;br&gt;に変えるオプションがついてて腐ってただけだった。</p><br />
<br />
<script type="text/javascript" charset="UTF-8"><br />
ecnavi_blog_parts_userid = "y-sudo";<br />
var ecnavi_blog_parts_listpath = "yukimura";<br />
var ecnavi_blog_parts_width = 150;<br />
var ecnavi_blog_parts_height = 300;<br />
var ecnavi_blog_parts_bgcolor = "FFFFFF";<br />
var ecnavi_blog_parts_bordercolor = "666666";<br />
var ecnavi_blog_parts_borderwidth = 1;<br />
var ecnavi_blog_parts_textcolor = "000000";<br />
var ecnavi_blog_parts_linkcolor = "3C8ABB";<br />
var ecnavi_blog_parts_imagesize = 100;<br />
</script><br />
<script type="text/javascript" charset="UTF-8" src="http://list.ecnavi.jp/static/js/blogparts/ecnavi_blogparts.js"></script>]]></content:encoded>
		<dc:subject>未選択</dc:subject>
		<dc:date>2008-02-20T19:45:42+09:00</dc:date>
		<dc:creator>ajiyoshi</dc:creator>
		<dc:publisher>NINJA BLOG</dc:publisher>
		<dc:rights>ajiyoshi</dc:rights>
	</item>
	<item rdf:about="http://blog.ajiyoshi.org/Entry/277/">
		<link>http://blog.ajiyoshi.org/Entry/277/</link>
		<title>対数</title>
		<description>SICP読書会をしてて、「対数なんて習った記憶がないand/or知らない」的な人が6人中4人いて軽くカルチャーショックを受けた。なお6人全員現役のプログラマ。
Webアプリケーション書くのに対数なんて必要ないデスヨネ…
文系or商業科でそもそも習わない人が2人、習ったはずだけど記憶から削除された...</description>
		<content:encoded><![CDATA[SICP読書会をしてて、「対数なんて習った記憶がないand/or知らない」的な人が6人中4人いて軽くカルチャーショックを受けた。なお6人全員現役のプログラマ。<br />
Webアプリケーション書くのに対数なんて必要ないデスヨネ…<br />
文系or商業科でそもそも習わない人が2人、習ったはずだけど記憶から削除された人が2人。<br />
<br />
習ってないのはしょうがないし、忘れてダメなわけじゃない(リファレンスカウントが0な時点で記憶からガベージコレクトされちゃうのはしょうがない)とは思うので、責めるではないのだけど単純に驚いた。]]></content:encoded>
		<dc:subject>毎日がエブリデイ</dc:subject>
		<dc:date>2008-02-04T21:24:00+09:00</dc:date>
		<dc:creator>ajiyoshi</dc:creator>
		<dc:publisher>NINJA BLOG</dc:publisher>
		<dc:rights>ajiyoshi</dc:rights>
	</item>
	<item rdf:about="http://blog.ajiyoshi.org/Entry/276/">
		<link>http://blog.ajiyoshi.org/Entry/276/</link>
		<title>DQ4</title>
		<description>弊社のインフラチームのネ申いわゆるゴッドであるところのY村さんが

「DQ4 DSが何時間遊べようが関係ない暇つぶし方法を思いついた
ロードランナーだ！！！
Wryyyyyyyy!!!!!!!!!」

的なことをタバコ部屋で言っていた。...</description>
		<content:encoded><![CDATA[弊社のインフラチームのネ申いわゆるゴッドであるところのY村さんが<br />
<br />
「DQ4 DSが何時間遊べようが関係ない暇つぶし方法を思いついた<br />
<span style="font-size:x-large">ロードランナーだ！！！</span><br />
Wryyyyyyyy!!!!!!!!!」<br />
<br />
的なことをタバコ部屋で言っていた。]]></content:encoded>
		<dc:subject>毎日がエブリデイ</dc:subject>
		<dc:date>2008-02-04T17:17:10+09:00</dc:date>
		<dc:creator>ajiyoshi</dc:creator>
		<dc:publisher>NINJA BLOG</dc:publisher>
		<dc:rights>ajiyoshi</dc:rights>
	</item>
	<item rdf:about="http://blog.ajiyoshi.org/Entry/275/">
		<link>http://blog.ajiyoshi.org/Entry/275/</link>
		<title>SICP練習問題1.1～1.3</title>
		<description>SICPの読書会ちゃんとやってます。週一回。
2回やって練習問題1.3まで来ました。淡々と答案を書こうと思います。schemeは全然分かってないので、識者の方は突っ込みお願いします。

1.1 式を評価した結果を答えよ 省略
1.2 式を前置記法で書け 省略
1.3 3つの数を引数に取りそ...</description>
		<content:encoded><![CDATA[<p>SICPの読書会ちゃんとやってます。週一回。<br />
<p>2回やって練習問題1.3まで来ました。淡々と答案を書こうと思います。schemeは全然分かってないので、識者の方は突っ込みお願いします。</p><br />
<br />
<p>1.1 式を評価した結果を答えよ 省略</p><br />
<p>1.2 式を前置記法で書け 省略</p><br />
<p>1.3 3つの数を引数に取りその中の大きいもの二つの平方の和を返す手続きを定義せよ。</p><br />
<br />
<p>ここまでに出てきているschemeの要素は以下。</p><br />
<ul><br />
<li>変数/関数定義</li><br />
<li>条件分岐</li><br />
<li>論理和/論理積</li><br />
</ul><br />
<br />
<p>以上の要素だけを使って馬鹿正直に書くとこう。</p><br />
<p>でもこんな if/else だらけのコードを書くためにSICP読んでるわけじゃないのであとでもうちょっと何とかしてみる。</p><br />
<code><pre><br />
(define (square x) (* x x))<br />
(define (ex1-3-1 x y z)<br />
  (cond ((and (< x y) (< x z)) (+ (square y) (square z)))<br />
        ((and (< y x) (< y z)) (+ (square z) (square x)))<br />
        (else (+ (square x) (square y)))))<br />
</pre></code><br />
<br />
<p>単体テストは<a href="http://d.hatena.ne.jp/tomapd/20060515/1147711444">define-syntax でユニットテスト</a>の素敵なマクロを使ってみる。</p><br />
<p>このあと別なバージョンの実装もテストするので、テストケースに関数を渡せるように改変。</p><br />
<code><pre><br />
(define (report-result result form)<br />
  (format #t "[~A] ... ~A~%" (if result "pass" "FAIL") form))<br />
(define-syntax check<br />
  (syntax-rules ()<br />
                ((_ form ...) (begin (report-result form 'form) ...))))<br />
<br />
(define (testcase1-3 ex1-3)<br />
  (check<br />
    (= (ex1-3 1 2 3) 13)<br />
    (= (ex1-3 3 1 2) 13)<br />
    (= (ex1-3 3 2 1) 13)<br />
    (= (ex1-3 1 2 2) 8)<br />
    (= (ex1-3 2 1 2) 8)<br />
    (= (ex1-3 2 2 1) 8)<br />
    (= (ex1-3 1 1 1) 2)))<br />
<br />
(testcase1-3 ex1-3-1)<br />
</pre></code><br />
<blockquote><pre><br />
[pass] ... (= (ex1-3 1 2 3) 13)<br />
[pass] ... (= (ex1-3 3 1 2) 13)<br />
[pass] ... (= (ex1-3 3 2 1) 13)<br />
[pass] ... (= (ex1-3 1 2 2) 8)<br />
[pass] ... (= (ex1-3 2 1 2) 8)<br />
[pass] ... (= (ex1-3 2 2 1) 8)<br />
[pass] ... (= (ex1-3 1 1 1) 2)<br />
</pre></blockquote><br />
<br />
<br />
<p>考え方その2</p><br />
<p>全部足してから一番小さいのだけ引く</p><br />
<p>2つの数のうち小さい方を返すmin-pair関数を定義してやる。3つの引数をとって最小を返すほうmin-trioとかのほうが綺麗に書けるけどどうみても汎用性がなさすぎる。任意個の引数から最小を返すmy-min関数を実装してもいいけど、ここまでの範囲では書けない。</p><br />
<p>ただこのやり方は富豪的過ぎるかもしれない。3数ごときならどうでもいいけど。</p><br />
<code><pre><br />
(define (ex1-3-2 x y z)<br />
  (define (min-pair a b) (if (< a b) a b))<br />
  (+ (square x) (square y) (square z) (- (square (min-pair x (min-pair y z))))))<br />
(testcase1-3 ex1-3-2)<br />
</pre></code><br />
(以下テスト結果は略)<br />
<br />
<p>さすがにmin関数くらいは組み込みを使ってもいいかもしれない。ここまでに出てきた要素から逸脱するけれど。</p><br />
<code><pre><br />
(define (ex1-3-3 x y z)<br />
  (+ (square x) (square y) (square z) (- (square (min x y z)))))<br />
(testcase1-3 ex1-3-3)<br />
</pre></code><br />
<br />
<br />
<p>考え方その3</p><br />
<p>何度もsquareを書きたくない。関数型言語なんだからmapくらいあるだろ。minの時点でここまでの範囲を逸脱しちゃったのでここからはもう気にしない。</p><br />
<p>perlでいうList::Util::reduce、Rubyでいうinjectみたいのは何だろうとしらべたらfoldらしいのでそれを使う。foldには初期値を設定できるので、初期値に (- (square (min x y z))) を渡したら割とすっきり。</p><br />
<code><pre><br />
(define (ex1-3-4 x y z)<br />
  (fold + (- (square (min x y z))) (map square (list x y z))))<br />
(testcase1-3 ex1-3-4)<br />
</pre></code><br />
<br />
<p>考え方その4</p><br />
<p>考え方その3はあまりにもこの問題の前提条件に依存しすぎている。4引数で上位2つという問題に拡張されたらどうするのか？もうすでに無駄な拡張性確保の領域。設計上やってはいけないことの一つですね。</p><br />
<p>解き方として、引数をソートしてから上位n個を取り出して2乗して足すという問題の特殊な場合と見る。</p><br />
<p>sliceとかheadとかそういう関数はなさそうだったのでまずはリストの先頭n個を取り出す関数headを作る（こういう目的の関数ありそうだけど）。</p><br />
<br />
<code><pre><br />
(define (head num ls)<br />
  (define (<= a b) (not (> a b)))<br />
  (if (<= num 0) '() (cons (car ls) (head (- num 1) (cdr ls)))))<br />
(head 3 '(1 2 3 4 5 6))<br />
</pre></code><br />
<p>なんか非効率な実装のような気もする。</p><br />
<p>次に2乗の和を求める関数sum-of-square（必要ない気もするけど式が長くなっていやだったので切り分けた）</p><br />
<code><pre><br />
(define (sum-of-square ls)<br />
  (fold + 0 (map square ls)))<br />
</pre></code><br />
<p>最後にリストの上位n個リストを返す関数bigger（同上）。</p><br />
<code><pre><br />
(define (bigger num ls)<br />
  (head num (reverse (sort ls))))<br />
</pre></code><br />
<br />
<p>以上を使えばこうなる。当初の問題から逸脱しすぎている。</p><br />
<code><pre><br />
(define (ex1-3-5 x y z)<br />
  (sum-of-square (bigger 2 (list x y z))))<br />
</pre></code><br />
<br />
<p>補助関数の定義はex1-3-5の内部にしちゃって実際にはこう。</p><br />
<code><pre><br />
(define (ex1-3-5 x y z)<br />
  (define (head num ls)<br />
    (define (<= a b) (not (> a b)))<br />
    (if (<= num 0) '() (cons (car ls) (head (- num 1) (cdr ls)))))<br />
  (define (sum-of-square ls)<br />
    (fold + 0 (map square ls)))<br />
  (define (bigger num ls)<br />
    (head num (reverse (sort ls))))<br />
  (sum-of-square (bigger 2 (list x y z))))<br />
</pre></code><br />
]]></content:encoded>
		<dc:subject>SICP</dc:subject>
		<dc:date>2008-01-25T19:34:49+09:00</dc:date>
		<dc:creator>ajiyoshi</dc:creator>
		<dc:publisher>NINJA BLOG</dc:publisher>
		<dc:rights>ajiyoshi</dc:rights>
	</item>
	<item rdf:about="http://blog.ajiyoshi.org/Entry/274/">
		<link>http://blog.ajiyoshi.org/Entry/274/</link>
		<title>今年の目標その2：SICPを読了する</title>
		<description>以前買ったSICPだけど、4、5章でつまづいていた。
ざーっと読んだけど、4,5章は演習問題をがっちりやらないと絶対理解できないと思って、そのうちやろうで放置してしまっていた。
なんとかするために社内で何人かに声をかけて社内でSICP読書会をすることにした。

第一回は1/16(水)

...</description>
		<content:encoded><![CDATA[以前買ったSICPだけど、4、5章でつまづいていた。<br />
ざーっと読んだけど、4,5章は演習問題をがっちりやらないと絶対理解できないと思って、そのうちやろうで放置してしまっていた。<br />
なんとかするために社内で何人かに声をかけて社内でSICP読書会をすることにした。<br />
<br />
第一回は1/16(水)<br />
<br />
<H4><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/489471163X&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank>計算機プログラムの構造と解釈</A></H4><IMG style="BORDER-RIGHT: medium none; BORDER-TOP: medium none; MARGIN: 0px; BORDER-LEFT: medium none; BORDER-BOTTOM: medium none" height=1 alt="" src="http://www.assoc-amazon.jp/e/ir?t=ajiyoshiblog-22&amp;l=as2&amp;o=9&amp;a=489471163X" width=1 border=0><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/489471163X&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank><IMG alt=計算機プログラムの構造と解釈 src="http://images-jp.amazon.com/images/P/489471163X.09.MZZZZZZZ.jpg"></A><BR>価格 ： ￥4830 （税込）<BR>メーカー ： ピアソンエデュケーション<BR><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/489471163X&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank>→Amazonで詳細を見る</A><BR>おすすめ度 ： <IMG src="http://cdn.list.ecnavi.jp/static/image/rate/o_0.gif"><BR><br />
]]></content:encoded>
		<dc:subject>未選択</dc:subject>
		<dc:date>2008-01-11T17:35:48+09:00</dc:date>
		<dc:creator>ajiyoshi</dc:creator>
		<dc:publisher>NINJA BLOG</dc:publisher>
		<dc:rights>ajiyoshi</dc:rights>
	</item>
	<item rdf:about="http://blog.ajiyoshi.org/Entry/273/">
		<link>http://blog.ajiyoshi.org/Entry/273/</link>
		<title>今年の目標：引越しする</title>
		<description>何年も前から言い続けてるけどいい加減引越ししよう。
会社から徒歩10分くらいのところに。
このロケーションだと猫飼うのはあきらめることになるけど・・・...</description>
		<content:encoded><![CDATA[何年も前から言い続けてるけどいい加減引越ししよう。<br />
会社から徒歩10分くらいのところに。<br />
このロケーションだと猫飼うのはあきらめることになるけど・・・]]></content:encoded>
		<dc:subject>未選択</dc:subject>
		<dc:date>2008-01-09T17:32:22+09:00</dc:date>
		<dc:creator>ajiyoshi</dc:creator>
		<dc:publisher>NINJA BLOG</dc:publisher>
		<dc:rights>ajiyoshi</dc:rights>
	</item>
	<item rdf:about="http://blog.ajiyoshi.org/Entry/272/">
		<link>http://blog.ajiyoshi.org/Entry/272/</link>
		<title>最近読んだマンガ</title>
		<description>正月は実家で諸星大二郎を読むのが習慣になっているので諸星大二郎を読みまくる。
僕の実家というのは、最寄の二車線の道路から1kmくらい離れており、にんじん畑と自衛隊の基地しかないような土地柄で、素足でフローリングの廊下を歩くとしもやけになりそうなロケーションであり、下手すると室内でも吐く息が白いよう...</description>
		<content:encoded><![CDATA[正月は実家で諸星大二郎を読むのが習慣になっているので諸星大二郎を読みまくる。<br />
僕の実家というのは、最寄の二車線の道路から1kmくらい離れており、にんじん畑と自衛隊の基地しかないような土地柄で、素足でフローリングの廊下を歩くとしもやけになりそうなロケーションであり、下手すると室内でも吐く息が白いような家で諸星大二郎を読むというのはそこはかとなく趣き深い。<br />
<br />
別にネタとかレビューがあるわけでもないけどとりあえず列挙。<br />
<br />
<H4><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/4420250062&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank>マッドメン (1)</A></H4><IMG style="BORDER-RIGHT: medium none; BORDER-TOP: medium none; MARGIN: 0px; BORDER-LEFT: medium none; BORDER-BOTTOM: medium none" height=1 alt="" src="http://www.assoc-amazon.jp/e/ir?t=ajiyoshiblog-22&amp;l=as2&amp;o=9&amp;a=4420250062" width=1 border=0><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/4420250062&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank><IMG alt="マッドメン (1)" src="http://images-jp.amazon.com/images/P/4420250062.09.MZZZZZZZ.jpg"></A><BR>価格 ： ￥630 （税込）<BR>メーカー ： 創美社<BR>おすすめ度 ： <IMG src="http://cdn.list.ecnavi.jp/static/image/rate/o_5.gif"><BR><br />
<H4><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/4420250070&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank>マッドメン (2) (創美社コミック文庫 (M-1-2))</A></H4><IMG style="BORDER-RIGHT: medium none; BORDER-TOP: medium none; MARGIN: 0px; BORDER-LEFT: medium none; BORDER-BOTTOM: medium none" height=1 alt="" src="http://www.assoc-amazon.jp/e/ir?t=ajiyoshiblog-22&amp;l=as2&amp;o=9&amp;a=4420250070" width=1 border=0><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/4420250070&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank><IMG alt="マッドメン (2) (創美社コミック文庫 (M-1-2))" src="http://images-jp.amazon.com/images/P/4420250070.09.MZZZZZZZ.jpg"></A><BR>価格 ： ￥630 （税込）<BR>メーカー ： 創美社<BR>おすすめ度 ： <IMG src="http://cdn.list.ecnavi.jp/static/image/rate/o_5.gif"><BR><br />
<H4><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/4022670851&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank>栞と紙魚子 1 新版 (1) (ソノラマコミック文庫 も 16-1)</A></H4><IMG style="BORDER-RIGHT: medium none; BORDER-TOP: medium none; MARGIN: 0px; BORDER-LEFT: medium none; BORDER-BOTTOM: medium none" height=1 alt="" src="http://www.assoc-amazon.jp/e/ir?t=ajiyoshiblog-22&amp;l=as2&amp;o=9&amp;a=4022670851" width=1 border=0><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/4022670851&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank><IMG alt="栞と紙魚子 1 新版 (1) (ソノラマコミック文庫 も 16-1)" src="http://images-jp.amazon.com/images/P/4022670851.09.MZZZZZZZ.jpg"></A><BR>価格 ： ￥600 （税込）<BR>メーカー ： 朝日新聞社出版局<BR>おすすめ度 ： <IMG src="http://cdn.list.ecnavi.jp/static/image/rate/o_4.gif"><BR><br />
<br />
<H4><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/402267086X&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank>栞と紙魚子 2 新版 (2) (ソノラマコミック文庫 も 16-2)</A></H4><IMG style="BORDER-RIGHT: medium none; BORDER-TOP: medium none; MARGIN: 0px; BORDER-LEFT: medium none; BORDER-BOTTOM: medium none" height=1 alt="" src="http://www.assoc-amazon.jp/e/ir?t=ajiyoshiblog-22&amp;l=as2&amp;o=9&amp;a=402267086X" width=1 border=0><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/402267086X&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank><IMG alt="栞と紙魚子 2 新版 (2) (ソノラマコミック文庫 も 16-2)" src="http://images-jp.amazon.com/images/P/402267086X.09.MZZZZZZZ.jpg"></A><BR>価格 ： ￥600 （税込）<BR>メーカー ： 朝日新聞社出版局<BR>おすすめ度 ： <IMG src="http://cdn.list.ecnavi.jp/static/image/rate/o_4.gif"><BR><br />
<br />
<br />
<H4><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/4334901409&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank>海神記 上 (1) (光文社コミック叢書“シグナル” 6)</A></H4><IMG style="BORDER-RIGHT: medium none; BORDER-TOP: medium none; MARGIN: 0px; BORDER-LEFT: medium none; BORDER-BOTTOM: medium none" height=1 alt="" src="http://www.assoc-amazon.jp/e/ir?t=ajiyoshiblog-22&amp;l=as2&amp;o=9&amp;a=4334901409" width=1 border=0><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/4334901409&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank><IMG alt="海神記 上 (1) (光文社コミック叢書“シグナル” 6)" src="http://images-jp.amazon.com/images/P/4334901409.09.MZZZZZZZ.jpg"></A><BR>価格 ： ￥2000 （税込）<BR>メーカー ： 光文社<BR>おすすめ度 ： <IMG src="http://cdn.list.ecnavi.jp/static/image/rate/o_5.gif"><BR><br />
<H4><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/4334901417&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank>海神記[下] (光文社コミック叢書〈SIGNAL〉 (0007))</A></H4><IMG style="BORDER-RIGHT: medium none; BORDER-TOP: medium none; MARGIN: 0px; BORDER-LEFT: medium none; BORDER-BOTTOM: medium none" height=1 alt="" src="http://www.assoc-amazon.jp/e/ir?t=ajiyoshiblog-22&amp;l=as2&amp;o=9&amp;a=4334901417" width=1 border=0><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/4334901417&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank><IMG alt="海神記[下] (光文社コミック叢書〈SIGNAL〉 (0007))" src="http://images-jp.amazon.com/images/P/4334901417.09.MZZZZZZZ.jpg"></A><BR>価格 ： ￥2000 （税込）<BR>メーカー ： 光文社<BR>おすすめ度 ： <IMG src="http://cdn.list.ecnavi.jp/static/image/rate/o_5.gif"><BR><br />
<br />
<br />
あと会社帰りに適当に買った漫画<br />
<br />
<H4><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/406314478X&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank>巨娘 1 (1) (アフタヌーンKC)</A></H4><IMG style="BORDER-RIGHT: medium none; BORDER-TOP: medium none; MARGIN: 0px; BORDER-LEFT: medium none; BORDER-BOTTOM: medium none" height=1 alt="" src="http://www.assoc-amazon.jp/e/ir?t=ajiyoshiblog-22&amp;l=as2&amp;o=9&amp;a=406314478X" width=1 border=0><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/406314478X&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank><IMG alt="巨娘 1 (1) (アフタヌーンKC)" src="http://images-jp.amazon.com/images/P/406314478X.09.MZZZZZZZ.jpg"></A><BR>価格 ： ￥540 （税込）<BR>メーカー ： 講談社<BR>おすすめ度 ： <IMG src="http://cdn.list.ecnavi.jp/static/image/rate/o_5.gif"><BR><br />
<H4><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/408877356X&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank>銃夢外伝 (ヤングジャンプコミックス)</A></H4><IMG style="BORDER-RIGHT: medium none; BORDER-TOP: medium none; MARGIN: 0px; BORDER-LEFT: medium none; BORDER-BOTTOM: medium none" height=1 alt="" src="http://www.assoc-amazon.jp/e/ir?t=ajiyoshiblog-22&amp;l=as2&amp;o=9&amp;a=408877356X" width=1 border=0><A href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&amp;path=ASIN/408877356X&amp;tag=ajiyoshiblog-22&amp;camp=247&amp;creative=1211" target=_blank><IMG alt="銃夢外伝 (ヤングジャンプコミックス)" src="http://images-jp.amazon.com/images/P/408877356X.09.MZZZZZZZ.jpg"></A><BR>価格 ： ￥780 （税込）<BR>メーカー ： 集英社<BR>おすすめ度 ： <IMG src="http://cdn.list.ecnavi.jp/static/image/rate/o_4.gif"><BR><br />
<br />
]]></content:encoded>
		<dc:subject>未選択</dc:subject>
		<dc:date>2008-01-08T16:14:37+09:00</dc:date>
		<dc:creator>ajiyoshi</dc:creator>
		<dc:publisher>NINJA BLOG</dc:publisher>
		<dc:rights>ajiyoshi</dc:rights>
	</item>
</rdf:RDF>
