2007年6月アーカイブ

日常生活で整理整頓のコツは、「上手に捨てるこのと」だ。
「捨てる技術」なんていわれたりする。
端的なのが「超・整理法」っていうやつで、一定時間触っていない袋はバンバン捨てていく、という方法。
企業や政府でも、機密情報の管理は、「超・整理法」方式でやっていると思われる。賞味期限切れの個人情報なんかが残っていては困るので、一定期間を過ぎた機密情報はきちんと廃棄する、という感じだ。

コンピュータの世界でも、「捨てる技術」は性能を左右する大事な要素だ。

キャッシュの管理では、LRU(Least Recently Used)という、「超・整理法」と同じ方法がある。容量がいっぱいのときは、「もっとも使っていないもの(LRU)」を捨てる。そのために、そのデータを使うごとに、リストの先頭に持ってくる。LRUは常にリストの最後尾になる。

動的メモリ管理の方法であるガベージコレクション(GC)も「捨てる技術」だ。使わなくなったメモリ領域を、ある時点で片付けてまた利用可能にする。Java、Ruby、.NET Framework、Lisp などの、動的にメモリを確保/解放する言語で使われており、しばしばそのやりかたが性能を左右する。

探索アルゴリズムでも、「枝苅り」という考え方がある。全数を調べられないくらい大きいときに、「そっちには答えがなさそうだから、もう調べない」というのを一定の基準で決めて、時間を節約する。

統計だと「オッカムの剃刀」か。

- - -

難しいのは、捨てないものと、捨てるものを、どう峻別するかである。
必要な物はなるべく捨てないで、いらん物をとことん捨てる。
なるべく簡単で高速で、捨てすぎず残しすぎず、精度の高い「捨てる技術」を使えると、シアワセになれる。

IntelだとVT対応のx64CPUである必要がある。
Core2DuoとかXeon53xxとか。

VTなしで64ビットOSを起動しようとすると、警告が出る。
VT対応CPUでも、BIOSでVT機能がOFF/ONでき、通常OFFだったりすることもあるようだ。

VMTN Discussion Forums: 64bit VMs - no luck so far; will this ...

VT機能をONにした結果はまだ試していない。。。。

言葉の遊びエントリ。

- - -

文書の書き方に２つあるとする。
　1. 流れを追えるようにしっかり道筋を立てて文章を書く
　2. 要点を箇条書きにする

コンピュータ言語でいうと、
　1. C系の言語
　2. 関数系の言語
に近いのかなぁ、と思った。

もちろん、さっぱりと文章を書くことだって出来るし、
箇条書きを文章っぽく書くこともできるわけだから、
Cで究極まで文字数を減らすコードもかけるし、
関数系で冗長なコードを書くことだって自由だ。

箇条書きはときに説明力不足なので、
より多くの説明(コメント)が必要になるかもしれない。

公式サイトにある Erlang Courseを適当に訳したものです。

[メモ] Eralng Course
　* Module 1 - History
　* Module 2 - Sequential Programming (前編)
　* Module 2 - Sequential Programming (中編)
　* Module 2 - Sequential Programming (後編)
　* Module 3 - Concurrent Programming 前編
　* Module 3 - Concurrent Programming 中編
　* Module 3 - Concurrent Programming 後編

このひとのworkらしい。
Erlangの本もこのひとか。

Joe Armstrongさん、現在はSICS(Swedish Institute of Computer Science)の人っぽい
　Joe Armstrong SICS home page

日本のPrologの会議INAPS'96で96年に発表しているようだ。

　第2回Comet勉強会
　　http://rails.office.drecom.jp/takiuchi/daily/200706/18

に行ってきました。
ドリコム瀧内さん、また参加者の方々、お疲れさまでした。
濃密な時間をいただきました。ありがとうございました。

メモです。無編集。

　*　Erlangの2000万プロセスの秘密
　　　*　軽量プロセス(300K)の存在
　　　*　実行の切替戦略
　　　　　*　Rubyの場合は時間で片付ける
　　　　　*　ErlangはFunctionベース
　　　　　　　(並列的に持っているけど逐次処理)
　　　　　*　UNIXにあてはめると共有リソースの問題でダメだろう
　　　*　yaws　のパフォーマンス
　　　　　*　たぶんメッセージパッシングだから
　　　　　*　Apacheは受信ワーカと処理ワーカが分かれている。
　　　*　IOがからむとどうなる
　　　　　*　あんまりは有効な戦略はないんじゃないか？
　　　　　*　Erlangのhttpのソケットハンドリングはどうしてるのか?
　　　　　　　*　select?　sig?
　　　　　　　*　IO系のソース読むか
　　　　　　　*　仮想マシンのソース?
　　　*　Rubyのfiber
　　　　　*　fiberでブロックしたらきっと止まっちゃうよね。
　　　　　　　*　だからノンブロックで頑張ろう、と。
　　　*　そういやRubyの1.8.5->6で変わったらしい。
　　　*　Rubiniusは　8バイト?
　　　　　*　それじゃ状態も持てない
　　　　　*　特定用途向けだとよくやるケースではあるけど。
　　　　　*　Erlangはプロセス側にスタックも持っているし
　　　　　　　優先順位制御もしている。
　　　　　　　*　結局、「プロセスになにをさせたいか」と、
　　　　　　　　　オーバヘッドはトレードオフ。
　　　*　結局Erlangはpollじゃん
　*　C10K問題
　　　*　IO多重化　TCP　select　poll　でわりと解決したかも
　　　*　Producer/ConsumerパターンでQuereが溢れる
　　　　　*　これは本質的だ
　　　　　*　本質的には断るしかない
　　　　　　　*　電話屋さんはよくやっている。
　　　　　　　　　どの程度の機器となら通信するか
　　　*　Producer/Consumer
　　　　　*　登場人物
　　　　　　　*　Producer　:　
　　　　　　　*　queue　　　　:　キュー
　　　　　　　*　Consumer　:　
　　　　　*　ProduceしたとたんにConsume
　　　　　*　AP4Rとかarmail(?)で使っている
　*　Flashを使ったらCometじゃない？（Comet原理主義）
　　　*　FlashのXMLSocketを使っていると
　　　　　L7でなんかしているサーバは困りそう
　　　　　*　Proxy通るのか?
　　　*　XMLSocketのドメイン制約
　　　　　*　Level1:　クロスドメインXML
　　　　　*　Level2:　XMLSocketサーバの実装が必要
　　　　　　　*　System.secuurity.load.PolicyFile("xmlsocket://....")
　　　　　　　*　　<-　クロスドメインファイル
　　　*　XMLSocket　\0がセパレータ
　*　ShootingStarでクロスドメイン
　*　Jetty
　　　*　Continuation
　　　　　*　Runtime　Exceptionを使って
　　　*　JettyはJRE6でないとepollつかわないから、そっちがいいよ

もくじ

登録されたプロセス (Registered Processes)
　　register(Alias, Pid) プロセスID: Pid のプロセスを別名(Alias)に登録

　　　　start() ->
　　　　　　Pid = spawn(num_anal, server, [])
　　　　　　register(analyser, Pid).
　　　　
　　　　analyse(Seq) ->
　　　　　　analyser ! {self(),{analyse,Seq}},
　　　　　　receive
　　　　　　　　{analysis_result,R} ->
　　　　　　　　　　R
　　　　　　end.

　　「登録されたプロセス」へは、どのプロセスからでも
　　メッセージを送ることができる。

クライアントサーバモデル (Client Server Model)
　　メッセージ定義
　　　　　要求: {request, Req}
　　　　　応答: {reply, Rep}

　　サーバのコード
　　　　-module(myserver).

　　　　server(Data) ->
　　　　　　receive
　　　　　　　　{From,{request,X}} ->
　　　　　　　　　　{R, Data1} = fn(X, Data),
　　　　　　　　　　From ! {myserver,{reply, R}},
　　　　　　　　　　　　server(Data1)
　　　　　　end.

　　インタフェースライブラリ ( Interface Library ) = クライアント側
　　　　-export([request/1]).

　　　　request(Req) ->
　　　　　　myserver ! {self(),{request,Req}},
　　　　　　　　receive
　　　　　　　　　　{myserver,{reply,Rep}} ->
　　　　　　　　　　　　Rep
　　　　end.

　　※クライアント-サーバモデルはメッセージ通信で
　　　　簡単にかけるよ、と。「それメッセージで出来るよ。」

タイムアウト (Timeouts)
　　[ time ] --("tick")--> [ B ] <--(foo)-- [A]
　　　　receive
　　　　　　foo -> Actions1;
　　　　after
　　　　　　Time -> Action2
　　　　end
　　もしメッセージ foo を 時間Timeまでに A から
　　受け取っていたら Actions1を行い、そうでな
　　ければActions2を行う。

タイムアウトの使いかた (Uses of Timeouts)

　　sleep(T) - Tミリ秒の間、プロセスを止める
　　　　sleep(T) ->
　　　　　　receive
　　　　　　after
　　　　　　　　T ->
　　　　　　　　　　true
　　　　　　end.

　　suspend() - プロセスを無期停止
　　　　suspend() ->
　　　　　　receive
　　　　　　after
　　　　　　　　infinity ->
　　　　　　　　　　true
　　　　　　end.

　　alarm(T, What) - メッセージWhatはTミリ秒後にプロセスに届く
　　　　set_alarm(T, What) ->
　　　　　　spawn(timer, set, [self(),T,What]).

　　　　set(Pid, T, Alarm) ->
　　　　　　receive
　　　　　　after
　　　　　　　　T ->
　　　　　　　　　　Pid ! Alarm
　　　　　　end.
　　　　　　receive
　　　　　　　　Msg ->
　　　　　　　　　　... ;
　　　　　　end

　　flush() - メッセージバッファの吐き出し(flush)
　　　　flush() ->
　　　　　　receive
　　　　　　　　Any ->
　　　　　　　　　　flush()
　　　　　　after
　　　　　　　　0 ->
　　　　　　　　　　true
　　　　　　end.

　　　タイムアウト(after)のあとにある値0は、メッセージ
　　　バッファをまずチェックして、何もなければ、
　　　続くコードを実行する、ということを意味する。

- - -

　もくじ

Eralng Course: Module 3 - Concurrent Programming
http://www.erlang.org/course/concurrent_programming.html

もくじ

選択的メッセージ受信 (Selective Message Reception)

　　以下のとき、メッセージの発信順序とは関係なく、
　　foo, bar の順に受信処理される。
　　　　recieve
　　　　　　foo -> true
　　　　end,
　　　　recieve
　　　　　　bar -> true
　　　　end

どのメッセージも選択 (Selection of any message)
　　以下の場合、変数Msgにどんなメッセージでも束縛される。
　　(変数書き換えはないので)到着順で、最初のメッセージが束縛、処理される。
　　　　receive
　　　　　　Msg -> ...
　　　　end
　　※たぶん、その後も同じ値がきたときだけ、処理されるだろう。

例: 通話 (A Telephony Example)
　　AからBに電話をかける。この状態をCallというプロセスで表現

　　ringing_a(A, B) ->
　　　　receive
　　　　　　{A, on_hook} ->
　　　　　　　　A ! {stop_tone, ring},
　　　　　　　　B ! terminate,
　　　　　　　　idle(A);
　　　　　　{B, answered} ->
　　　　　　　　A ! {stop_tone, ring},
　　　　　　　　switch ! {connect, A, B},
　　　　　　　　conversation_a(A, B)
　　　　end.

　　　　AとBはプロセスCall内のローカル変数。
　　　　(なので、誰と誰でも通話できる。)

　　　　※こんなかんじ？
　　　　　　　1. ringing_a(A, B)で電話をかけ、状態遷移待ち。
　　　　　　　　　Aの受話器からはダイアルトーンが流れている。
　　　　　　　　　Bの受信ベルがなっている状態。
　　　　　　　2. {A, on_hook}: Aが受話器を置く。
　　　　　　　　　Aのダイアルトーンを止め、Bのベル音終了、
　　　　　　　　　Aは次のイベント待ち。
　　　　　　　3. {B, answered}: Bが受話器をとり、応答。
　　　　　　　　　Aのダイアルトーンを止め、
　　　　　　　　　交換機にAとBの接続を指示。
　　　　　　　　　AとBの通信開始。

プロセスIDもメッセージで送れる(Pids can be sent in messages)
　　プロセスA
　　　　B ! { transfer, self() }
　　プロセスB
　　　　receive
　　　　　　{transfer, A} -> C ! {transfer, A}
　　　　end
　　プロセスC
　　　　receive
　　　　　　{transfer, A} -> A ! {transfer, A}
　　　　end

　　　プロセスCがプロセスAを直接呼び出している

- - -

　もくじ

Eralng Course: Module 3 - Concurrent Programming
http://www.erlang.org/course/concurrent_programming.html

もくじ

定義(Definitions)
　　* プロセス Process - 並列動作。完全な仮想マシン。
　　　　　　　　　　　　　　　　システムはたくさんの並列プロセスを
　　　　　　　　　　　　　　　　同時に実行することがある。
　　* メッセージ Message - プロセス間通信手段
　　* タイムアウト Timeout - あたえられた時間の間、待機するしくみ。
　　* 登録プロセス Registered Process - 名前で登録されたプロセス
　　* クラ/サバ モデル Client/Server Model - 並列実行の基本モデル

プロセスの生成(Creating a New Process)
　　以下の命令でプロセスが生成される。Pid2はプロセスの
　　識別子(Pid = Process id)を保持する変数。
　　　　Pid2 = spawn(Mod, Func, Args)

簡単なメッセージ送信(Simple Message Passing)
　　プロセスA(送信側)
　　　　B!{self(), foo}.
　　プロセスB(受信側)
　　　　recieve
　　　　　　{From, Msg} -> Actions ...
　　　　end
　　組込関数self()は自分自身のPidを取得する。
　　この場合、受信側で
　　　　From = プロセスAのPid
　　　　Msg = foo
　　が入る
　　
　　プロセスA(送信側)
　　　　B!{self(), ｛digits, [1, 2, 6] }.
　　プロセスB(受信側)
　　　　recieve
　　　　　　{A, { digits, D } } -> analyse(D);
　　　　end

　　この場合、受信側で
　　　　A = プロセスAのPid
　　　　D = [1, 2, 6]
　　　が入るので、analyse([1, 2, 6])が実行される。

　　　すでに A が代入済みの場合は、データのみ
　　　受け入れ(accept)られる。

　　　※こういうことか？
　　　　recieve
　　　　　　{ _, { digits, D } } -> analyse(D).
　　　　end

エコープロセスの例(An Echo process)
　　-module(echo).
　　-export([go/0, loop/0]).

　　go() ->
　　　　　　Pid2 = spawn(echo, loop, []),
　　　　　　Pid2 ! {self(), hello},
　　　　　　receive
　　　　　　　　　　{Pid2, Msg} ->
　　　　　　　　　　　　　　io:format("P1 ~w~n",[Msg])
　　　　　　end,
　　　　　　Pid2 ! stop.

　　loop() ->
　　　　　　receive
　　　　　　　　　　{From, Msg} ->
　　　　　　　　　　　　　　From ! {self(), Msg},
　　　　　　　　　　　　　　loop();
　　　　　　　　　　stop ->
　　　　　　　　　　　　　　true
　　　　　　end.

　　go()で送信側。Pid2(受信側)プロセスを生成し、
　　文字列メッセージを送る。Pid2からの文字列メッセージを待ち、
　　受信したら Pid2に終了メッセージを送る。

　　loop()は受信側。
　　文字列メッセージと終了メッセージがある。
　　文字列メッセージは、送信元に同じ文字列メッセージを返す。
　　終了メッセージも受け取る（実行が停止する）。

　　実行方法
　　　echo.erl に保存して、
　　　> c(echo).
　　　> echo:go().
　　　P1 hello
　　　stop
　　　>

- - -

もくじ

Eralng Course: Module 3 - Concurrent Programming
http://www.erlang.org/course/concurrent_programming.html

かぼちゃだそうです。

CaboCha: Yet Another Japanese Dependency Structure Analyzer

有名な日本語係受け解析器。
わたしは今日知ったけど。

もくじ

リスト操作 ( Traversing Lists )
　　よくあるパターン (このへんはProlog)

　　Xを合計するsum関数の結果を、
　　Xの数を出すlen関数の結果で割った
　　ものが avarage ですよ。
　　　　average(X) -> sum(X) / len(X).

　　sumはリストの一番前と、その
　　残り要素のsumを足した物ですよ。
　　(再帰を使って総和を求める)
　　　　sum([H|T]) -> H + sum(T);
　　　　sum([]) -> 0.

　　lenは (1 +　先頭をのぞいた
　　残りのリストのlen)ですよ。
　　(再帰を使って要素数を求める)　　
　　　　len([_|T]) -> 1 + len(T);
　　　　len([]) -> 0.

　　ほかにこんな再帰のパターンがよくある

　　　　リストの各要素に２をかけたリストを返す　　
　　　　double([H|T]) -> [2*H|double(T)];
　　　　double([]) -> [].

　　　　第一引数のものが、第二引数のリストの
　　　　要素に一致するならtrue
　　　　member(H, [H|_]) -> true;
　　　　member(H, [_|T]) -> member(H, T);
　　　　member(_, []) -> false.

リストとアキュムレータ ( Lists and Accumulators )
　　リストの平均を計算する例
　　　　average(X) -> average(X, 0, 0).
　　　　average([H|T], Length, Sum) ->
　　　　　　　　average(T, Length + 1, Sum + H);
　　　　average([], Length, Sum) ->
　　　　　　　　Sum / Length.

　　　　末尾再帰(tail recursive)。
　　　　LengthとSumがアキュムレータ(加算器)の役。
　　　　再帰しながら、引数に渡される値が足され
　　　　ていく。

　　　　avarage([])はラインタイムエラーになる。
　　　　エラーハンドリングは後の章で。

Erlang起動 (Starting the system)
　　erlでシェルが起動する。
　　Prologとか、Tcl/tkのtclsh/wish みたいなものである。
　　一行ずつ打てばそのままそれがシェル世界に反映する。
　　毎行、打ち込んだ行がevalされる(Perl/JavaScript)、ということ。

　　　　> erl
　　　　Erlang (BEAM) emulator version 5.5.2 [source]
　　　　[async-threads:0] [kernel-poll:false]

　　　　Eshell V5.5.2 (abort with ^G)
　　　　1>

　　記述済みのソースファイルを取り込むには c/1 をつかう。
　　　　1> c(hoge).
　　　　{ok,hoge}
　　　　2>

- - -

もくじ

Eralng Course: Module 2 - Sequential Programming
http://www.erlang.org/course/sequential_programming.html

もくじ

関数呼出(Function Calls)
　　関数名はアトムのルールに沿っている必要がある
　　コロン区切りでモジュール名を前置。
　　引数にはErlangのあらゆるデータ構造が入る。
　　　　　module:func(Arg1, Arg2, ... Argn)
　　　　　func(Arg1, Arg2, .. Argn)

　　　引数の数が異なる関数は別の関数として扱われる(Prolog的)。
　　　なので関数を文書に表記するときは、
　　　somefunc/3 などと "/"のあとに引数の数をつけて示す。

関数記法 ( Function Syntax )
　　まだ条件があるときは ";" 、最後の条件は "." で終端する。
　　評価は上から順に行われる(バックトラックしない)。
　　ボディ部も前から順に呼び出される。
　　　　func(Pattern1, Pattern2, ...) ->
　　　　　　　　... ;
　　　　func(Pattern1, Pattern2, ...) ->
　　　　　　　　... ;
　　　　　　　　...
　　　　func(Pattern1, Pattern2, ...) ->
　　　　　　　　... .
　　※引数の数が違う同名の定義は、別関数と認識される。

ガードされた関数 (Guarded Function Clauses)
　whenを使って関数に条件式をつけられる(ガード)
　変数は全て束縛済み(代入済み)である必要がある
　　factorial(0) -> 1;
　　factorial(N) when N > 0 ->
　　　　N * factorial(N - 1).
　完全にガードすると、関数定義は順番に依存しなくなる
　　factorial(N) when N > 0 ->
　　　　N * factorial(N - 1);
　　factorial(0) -> 1.
　　※上は、第1の例と同じ意味で、下の例とは違う。
　　factorial(N) ->
　　　　N * factorial(N - 1);
　　factorial(0) -> 1.
　
モジュール　システム(Module System)
　　-moduleでモジュール名定義。
　　-exportで関数公開。
　　　　-module(demo).
　　　　-export([double/1]).
　　　　double(X) ->
　　　　　　　　times(X, 2).
　　　　times(X, N) ->
　　　　　　　　X * N.
　　　　※この場合、double/1 はモジュール外から
　　　　　　アクセスできるが、times/2 はだめ

ビルトイン関数 (Built In Functions / BIFs)
　　処理系に入っている関数。詳細はマニュアル嫁。
　　　　date()
　　　　time()
　　　　length([1,2,3,4,5])
　　　　size({a,b,c})
　　　　atom_to_list(an_atom)
　　　　list_to_tuple([1,2,3,4])
　　　　integer_to_list(2234)
　　　　tuple_to_list({})

ガードの例 (Examples of Guards)
　　number(X) - Xは数字(Number
　　integer(X)　- Xは整数
　　float(X)　　　- Xは浮動小数点数
　　atom(X)　　　- Xはアトム
　　tuple(X)　　　- Xはタプル
　　list(X)　　　　- Xはリスト
　　length(X) == 3　 - リストXの要素数は3
　　size(X) == 2 - タプルXのサイズは2
　　X > Y + Z　　- X > Y + Z
　　X == Y　　- X は Y と等しい
　　X =:= Y　　- X は Y と厳密に等しい
　　※ 1 == 1.0 は成功、 1=:=1.0 は失敗

- - -

　もくじ

Eralng Course: Module 2 - Sequential Programming
http://www.erlang.org/course/sequential_programming.html

米国大統領選ではYouTube積極活用の方向らしいです。

メディア・パブ: 米大統領選の報道合戦，ここでもGoogleが台頭

今回の大統領選選挙活動/報道で最も注目されるのがGoogleの対応である。特に買収したYouTubeが台風の目となる。実際に動き始めている。来月に開かれる大統領選の民主党および共和党の両討論会で，YouTubeがＣＮＮと共同主催者になる（San Jose Mercury Newsより）。

YouTubeは金にあかせてアップして有効活用できるメディアではないので、少なくとも政見放送の2次アップは「パレート効率的」だと思う。

　パレート効率性 - Wikipedia
　　

もくじ

数値(Numbers)
　　普通に数値を書く
　　　　2#1010, 16#1AD3: 数字+シャープで2進16進。
　　　　$A: $マークは Char->Ascii
　　　　123.45: 小数点をうつと float
　　　　123E-10: 有効数字のパターンでもかけるよ

アトム(Atoms)
　　普通に文字を書く
　　　　aaaa : "aaaa"という文字
　　　　'I am' : スペースをいれたいときはシングルクォート

タプル(Tuples)
　　固定長配列
　　　　{ aaa, bbb, ccc } : 要素数３のタプル

リスト(Lists)
　　可変長配列
　　　　[ aaa, bbb, ccc ] : 要素数３のリスト

変数(Variables)
　　大文字で始める。
　　　　　値の割り当て(変数束縛)は一回だけ。
　　　　　上書きはできない。

複雑なデータ構造 ( Complex Data Structures )
　　タプル/リストは重ねられる。

パターンマッチ(Pattern Matching)
　　タプル/リストでも変数束縛
　　　　A = 10　　　　　　　　　　　　　: A:=10
　　　　{B, C, D} = {10, foo, bar}　　: B:=10, C:=foo, D:=bar
　　　　{A, A, B} = {abc, abc, foo}　: A := abc, B = :foo
　　　　　　　　　　　　　　　　　　　　　　※Aは2回あるが値が同じなので無矛盾
　　　　{A, A, B} = {abc, def, 123}　　: 失敗する
　　　　　　　　　　　　　　　　　　　　　　　※Aは2回あり、値が違うので
　　　　[A,B,C] = [1,2,3] 　　　　　　　: A:=1, B:=2, C:=3

　　　　[A,B,C,D] = [1,2,3] 　　　　　　: 失敗する
　　　　　　　　　　　　　　　　　　　　　　　※要素数が違う。GNU Rとはちがう。

パターンマッチ(Pattern Matching)
　　"|"をつかったリストの操作
　　　　[A,B|C] = [1,2,3,4,5,6,7]　　　: A:=1, B:=2, C:=[3,4,5,6,7]
　　　　[H|T] = [1,2,3,4]　　　　　　　　: H := 1, T := [2,3,4]
　　　　[H|T] = [abc]　　　　　　　　　　: H := abc, T := []
　　　　[H|T] = []　　　　　　　　　　　　: 失敗
　　　　　　　　　　　　　※ HはHead、TはTail。先頭の値を取り出す。
　　　　　　　　　　　　　　　foreach/for...inに相当する処理でよくつかう。
　　　　　　　　　　　　　　　Perlだと pop()/unshift()。
　　　　　　　　　　　　　　　最後は空リスト[]になり失敗する。
　　　　{A,_, [B|_],{B}} = {abc,23,[22,x],{22}} : A:=abc, B:=22
　　　　　　　　　　　　　※ _ は無名変数。参照不可。何度でも使える。
　　　　　　　　　　　　　　　普通の変数は一度しか代入できないので、
　　　　　　　　　　　　　　　使い捨てしずらい。
　　　　　　　　　　　　　　　なので、いらんものは _ に放りこんでおく。

- - -

　もくじ

Eralng Course: Module 2 - Sequential Programming
http://www.erlang.org/course/sequential_programming.html

もくじ

* 基礎部分に、並列性とエラー回復能力 を持っていなければならない
* 実行モデルにはバックトラッキングは必須ではない (Lisp/Prolog にない特性)
* 並列性の粒度 - 1非同期通信=1言語内プロセス (Parlog にない特性)
* そこで、Lisp/Prolog/Parlog の望ましい特徴を持ち、並列性と持ちあわせた新言語を設計した。

- - -

　もくじ

Eralng Cource: Module 1 - History
http://www.erlang.org/course/history.html

AJAX方面で、よくつかわれているJSONというデータ記述形式がある。

　JavaScript Object Notation - Wikipedia
　　http://ja.wikipedia.org/wiki/JavaScript_Object_Notation

3年前に、FlashとWebサーバを通信させようとしてるときに存在は知っていたのだけれど、そのときはXML-RPCを選択した。JSONのWebサイトでいまいち使いかたを理解するまで行かなかったというのと、そのプロジェクトで使うには、知るのが遅すぎた。

で、ここのところ JavaScript をわりとじっくり触っていて、JSONの有用性をやっと理解してきた。なんじゃこりゃすげーなばっきゃろー。

　・JSONは、JavaScriptの文法に即している。
　・JSONでかかれたデータ構造は、JavaScriptパーサがそのまま変数として利用できる。
　・動的にテキストをソースとして読み込む eval 関数を使えば、JSONテキスト形式がそのままJavaScriptのネイティブのデータ構造として変数にセットされる(こともできる)。
　・JavaScriptは、ハッシュ(Object型)、配列、およびプリミティブな型(数値、文字列、日付とか)を持っているので、JSONはそれを表せる(プリミティブ型の静的型付は明示的にはできない・・・そんなのしたくもないけど)。

JavaScriptがJSONを読み込むこと自体は、通常のJavaScriptソース解析なので、標準的についている機能である。動的言語なので、ランタイムについている。しつこいけど、JSONのデシリアライズは標準で言語機能として実装されているのである。シリアライズはついてないので書くかライブラリを使う必要がある。自明だけど、シリアライズの方がコーディングはくらべものにならないぐらい楽だ。

- - -

さて、JSONの使いかたについて、JavaScriptソースで例をあげとく(お茶を濁す程度ですみません)。

var myJSONdata　= { 

                            "apple" :　１,

                            "gorilla" :　2,

                            "rapper" :　3

};

myJSONdata.apple　　　　=> 1

myJSONdata.gorilla　　　=> 2

myJSONdata.rapper　　　　=> 3

ってことで最初のソースを、XMLHttpRequestでとってきて、文字列Aにいれて、

eval(A)；

あと、HTMLの script タグをつかって、外部JavaScriptとして最初のソースを読み込むこともできる(この場合同一サイトでないサイトのJavaScriptも読み込める = セキュリティには注意)。

で、最近のウインドウズ(2000以降)にはWindowsScriptingHost(WSH)という、JavaScriptも読み込めるデスクトップ言語ランタイムが入っているので、ここでもJSONは使える。

RubyやPerl方面には、YAMLというマークアップ言語仕様があり、JSONはほぼそのままYAMLとして読み込めるようだ。

CSVの各行の両端に括弧[]、行末にカンマをいれ、全体を括弧[]で囲うと JSONデータになりそうな感じである(完全かどうかわからない。例外あるかも)。

これは便利だ。

きっとなにも新しくない道具なんだと思うけれど、かえってそれがすごいな、と感じる。
「XML開発者の日」とか「XML専業ベンダー」とか「高速XMLパーサ」というのはあるけれど、JSONは当り前すぎてそういうのが発生しそうにない気がする。

- - -

ちなみに文字コードはJavaScriptが読み込めればなんでもよいと思われるが、UTF-8が常識的っぽい。まあ、流通させなければ好きにしたらいいという気もする。

ウィルコムのPDAケータイ W-ZERO3[es] の 新機種が発表になった。薄く、小さく、軽く + 無線LANだそうだ。BlueToothとワンセグの内蔵は行われていない。

Advanced W-ZERO3 [es] 発表 - Engadget Japanese

と、書いているそばからプリスリリースが公開。そちらによれば： * WS011SH(S) * Windows Mobile 6 Classic 日本語版 * Marvell PXA270 プロセッサ 520MHz * 256MBフラッシュ / 128MB RAM * microSD * 802.11b/g * IrDA

ウィルコムのデータ通信は定額プランがあるのだけれど、無線LANに比べれば帯域が細いのはしかたがないと考えられる。常にネットにつながるのがこの機種のウリだと思うので、正当な進化だと感じた。

プロセッサは Marvell PXA270 というのだけれど、これは去年までは Intel XScale PXA 270 と呼ばれていたものらしい。Intelは、2006年後半にXScaleプロセッサのラインをまるごとMarvell社に売却している。
http://pc.watch.impress.co.jp/docs/2006/0628/intel.htm

Intelは最近、UMPCなど小型のIA-32プロセッサに注力しており、そっち系の省電力化に自信をのぞかせている感じである。Vistaが動く超小型ノートが画像として使われているけれど、それはつまり、UbuntuもMacも動くマシンということになると思われ、大変喜ばしい。っていうか大変欲しい。

- - -

名前が長い。
「W-ZERO3 [es] 2.0」くらいにしとけばいいのに。
ところで ZERO3 の 3ってなんじゃろ。
(調べる気はおきない)

- - -

(6/10追記) 古田＠道具眼 氏よりW-ZERO3 の語源についてコメントいただいた。

http://pc.watch.impress.co.jp/docs/2005/1020/willcom.htm
によると、
-----
W-ZERO3は、WILLCOM、Windows、Wirelessの「W」、携帯電話もPCも超える新端末としてゼロからスタートするという意味の「ZERO」、PHS 音声/データ、ワイヤレスLANの3つの通信機能という意味の「3」を組み合わせたもの。
-----
だそうだ。

1. Prologに似てるなあ。
2. 大学のとき、SICStus Prolog という処理系を使っていたのをおもいだすなぁ。PrologとTcl/Tkでソケット通信しながらゴニャゴニャしたなぁ。どっちもソケットは簡単に書けたなぁ。
3. SICStus Prologはスウェーデンの研究所が作った奴だったなぁ。Erlangもスウェーデンだから、きっとそういうコミュニティがあるんだろうなぁ。

- - -

SICStus Prologは健在みたいです。

SICStus Prolog Homepage

Perlbalのインストールがうまくゆかず。
t/15-webserver でエラーになると。
悶々として、普段みないサイトまでWEBサーフィンしていたけれど、
しばらくして、shellを再起動してもういっかいやったら、通った。

うわ、時間を無駄にした。
人生は長くないのに・・・・。

「Javaに並列処理と関数型言語の要素を」、ティム・ブレイ氏 − ＠IT

　「Hadoopは外部ライブラリですが、Java言語自体で並列処理をサポートすることも必要」（ブレイ氏）といい、そのモデルとして2年ほど前から“Erlang”（アーラン）に注目しているという（参考記事：twitterブームの陰で注目を集める“Erlang”）。「Erlangはエリクソンが開発した古い言語ですが、とても興味深い特徴を持っています。きわめて効率的にプログラムの並列化ができ、ふつうのAMDやインテルのCPUを使って25万スレッドを動かすこともできます。ただErlangはオブジェクト指向言語ではなく、関数型言語です。つまり、一般的な言語になじんだ、ほとんどのプログラマには奇異に感じられるので、われわれとしてはErlangが持っているいいところを、もっと身近なRubyやJavaに入れていこうと考えています」。Java上で動くRubyの実装であるJRubyが、本家Rubyより先にこうした並列処理サポートを取り込む可能性もあるという。

Java上にJRubyと軽量プロセスが載ってきたりするのでしょうか。