アトム

「アトム（atom）」は、Erlang で使う定値のことです（数値は除く）。アトムの値は、英数字やアットマークあるいはアンダースコアが使えます。ちなみに大文字で始めると変数として解釈されてしまうため、シングルクォートで囲む癖をつけるとよいです（シングルクォートで囲むと、アットマークやアンダースコア以外の文字も使えます）。例えば、

1> Lang = ‘japanese’.
japanese

2> Resid = Osaka.
* 1: variable ‘Osaka’ is unbound
（Osaka を変数と解釈するので、まだ値で束縛されていないというエラーが出る）

3> Resid = ‘Osaka’.
‘Osaka’

となります。

アトムも Erlang の式として扱われ、値を持ちます。当然、アトムの値はアトム自身なので、’japanese’ というアトムは japanese という値を持つと考えてください。したがって、上記の 1> では、Lang という変数を ‘japanese’ というアトム（これは japanese という値で束縛されている）で束縛していることになります。

4> ‘kwsn@kwsn.com’.
‘kwsn@kwsn.com’ # アトムはアトム自身を値としてもっています

タプル

さて、数値や浮動小数点数あるいはアトムを一つのまとまったデータとして扱いたいときがあると思います。例えば、個人のプロフィールを、

氏名、性別、現在地、キャリア、機種

という項目でまとめて扱いたいとき、

kwsn, Male, Dojima, au, W51H

という幾つかのデータの集まりに名前をつけて扱えたら、

kwkw, Male, Dojima, au, W51H

という他の集まりと比較したときに、「氏名だけが違う」との結果から、例えば他人であると判断できたりするわけです。Erlang では、ひとまとまりの値（表記するときは変数やアトムなのですが）を取り扱う方法として、「タプル（tuple）」と「リスト（list）」という二つの方法が用意されています。

まず、上記のプロフィールからタプルを作ってみましょう。

5> Tuple = { ‘kwsn’, ‘Male’, ‘Dojima’, ‘au’, ‘W51H’ }.
{ kwsn, ‘Make’, ‘Dojima’, au, ‘W51H’ }
#（大文字で始まるアトムは変数と解釈されないように、シングルクォートで囲まれて表示されます）

これで、Tuple を5つの値から成るタプルで束縛したことになります。タプルは波括弧（ブレース）で囲んで表記するという点に注意してください。また、タプルは入れ子にもできるので、｛式, ｛式, ｛式, 式｝, 式, 式｝, 式, 式｝のようにも作れます。

リスト

リストも同じように幾つかの値で作れますが、タプルと違う特徴があります。試しにリストを作ってみましょう。

6> List = [ 'kwsn', 'Male', 'Dojima', 'au', 'W51H' ].
[ kwsn, 'Male', 'Dojima', au, 'W51H' ]

表記としては、値を鍵括弧（ブラケット）で囲むのがタプルとの違いです。ここまでは括弧の違いだけですが、タプルは要素の個数を変えられません。いちど作ったら、中身はずっと同じままです。これに対して、リストは後から要素を先頭に追加できます。

それからリストには、パイプ「｜」で、先頭の要素である「ヘッダ」と先頭以降の要素からなる「テイル」に、それぞれリストとして分割できるという特徴があります。

7> [ ListHead | ListTail ] = List.
[ kwsn, 'Male', 'Dojima', au, 'W51H' ] # 見た目は同じ
8> ListHead. # 先頭
kwsn
9> ListTail. # 残り
[ 'Male', 'Dojima', au, 'W51H' ]

のように、先頭と残りに分割できます。そこで、次のような事例を見てみましょう。

10> List = [ 1, 2 ].
[1,2]
11> [ Prior | Posterior ] = List. # List を前後に分割します
[1,2]
12> Posterior.
[2]
13> [ PrePosterior | PostPosterior ] = Posterior. # 残りを更に前後に分割します
[2]
14> PostPosterior.
[]

ここで分かることは、要素が一つの場合でも作れることと、要素がない場合でも作れるということです。もちろんタプルについても、要素が一つだけでもかまいませんし、要素がなくてもかまいません。

では次に、前後に分割できるという特徴を使って、次のようにどんどん分割するとどうなるでしょうか。

15> A = [ 1, { 2, 3 } ].
[ 1, { 2, 3 } ]
16> [ B | C ] = A.
[ 1, { 2, 3 } ]
17> [ D | E ] = C.
[ { 2, 3 } ]
18> [ F | G ] = E.
** exception error: no match of right hand side value []

最後にエラーが出てしまいました。この理由は、「リストの分割」とは、或るリストを前半のリストと後半のリストに分けることだからです。16> では、A というリストを分割して、1 と [ { 2, 3 } ] という二つのリストにしています。それから、17> では、[ { 2, 3 } ] というリストを分割して、[ { 2, 3 } ] と [] という二つのリストにしているのです（実際、E. を入力すれば、E が [] であると分かります）。したがって、18> では空のリストを更に分割しようとしているため、エラーとなっているわけです（リストとして分けなければならないので、タプルである { 2, 3 } は分割できません）。

タプルとリストはどちらも、お互いの要素として使えます。つまり、タプルの要素としてリストがあってもよいですし、その逆も可能です。

19> A = [ 1, 2, { 3, 4 } ].
[ 1, 2, { 3, 4 } ]
20> B = { 1, 2, [ 3, 4 ] }.
{ 1, 2, [ 3, 4 ] }

タプルとリストから値を取り出す

次に、タプルとリストから値を一つ取り出す手順についてご紹介しておきましょう。要素を取り出せたら、要素ごとに比較したり、他の目的に値を使えますね。それでは、まずリストからお話しすると、これはさきほどの「先頭とそれ以外にリストを分割する」という操作を繰り返して値を取り出します。いま、[ 1, 2, 3 ] というリストがあって、2番目の要素（「2」）を取り出したいとすれば、

21> TestList = [ 1, 2, 3 ].
[ 1, 2, 3 ]
22> [ L1 | L2 ] = TestList.
[ 1, 2, 3 ]
23> [ L3 | L4 ] = L2.
[ 2, 3 ]
24> L3.
2

として、目的の2を取り出せます。また、取り出したい要素の数が分かっているなら、

25> [ Li1, Li2, Li3 ] = TestList.
[ 1, 2, 3 ]
26> Li2.
2

のように、元の TestList というリストと同じ数の要素でパターンを作り、変数を取り出したい値の束縛対象として指定してもよいでしょう。あるいは、元のリストの要素が分かっていれば、他の要素を全く同じ値にして、

27> [ 1, List2, 3 ] = TestList.
[ 1, 2, 3 ]
28> List2.
2

のようにしても、取り出せます。

後半の二つの方法は、Erlang のプログラミングでは「＝」記号を使ったパターンマッチングと呼ばれていて、左辺と右辺のパターンを照合するという操作を行います。この照合が正しく行えたら、左辺の変数やリストなどは、右辺で該当している変数の値などによって束縛されるのです。ですから、もともとの要素が分かっていて、それを単独の変数に割り当てたいときは、

29> [ One, Two ] = [ 295, 'foo' ].
[ 295, foo ]
30> One.
295
31> Two.
foo

とすれば、One, Two それぞれにリストの値を割り当てられます。

次に、タプルの場合はどうでしょうか。タプルの場合は、ヘッダとテイルに分割できないので、このパターンマッチングを使います。

32> Tup = { ‘die’, ‘der’, ‘den’, ‘die’ }.
{ die, der, den, die }
33> { D1, D2, D3, D4 } = Tup.
{ die, der, den, die }
34> D3.
den

上記の例は、三つ目の “den” を取り出そうとした場合です。もちろん、

35> { die, der, DX, die } = Tup.
{ die, der, den, die }
36> DX.
den

として、取り出したい要素だけに変数を割り当ててもOKです。

無名変数

それでは、今回最後に、「無名変数」をご紹介しておきます。さきほどのようにパターンマッチングでリストやタプルから要素を取り出せますが、全ての要素に一時的であれ変数を割り当てるのはメモリの無駄遣いですし・・・それよりなにより面倒くさい（笑。そこで、取り出したい要素以外は「どうでもよい要素」ですから、どうでもよい要素はどうでもいいように扱えたら便利ですね。そこで、「どうでもよい変数」というのが用意されています。実際、無名変数を ”don’t care variable”（どうでもよい変数）と呼んでいる解説ドキュメントがあります。

無名変数は、アンダースコア（＿）で表されます。そこで、上記の 35>, 36> を無名変数を使って書き換えると、

37> { _, _, DX, _ } = Tup.
{ die, der, den, die }
38> DX.
den

となって、一つだけ要素を取り出すのが楽になります（ちなみに、このようにパターンマッチングを使って値を取り出す方法を「ユニフィケーション」と呼びます）。リストやタプルの要素が幾つあるのかわかっていて、ユニフィケーションで値を取り出すときは、無名変数を使うと楽ですね。

以上で今回のお話は終わりです。次回は、簡単なプログラムを書いてみたいと思います。

おまけ: Erlang の環境を作ってみる

会社で使っているテスト用のマシンは、MacMini（PowerPC 1.4GHz, MacOS X 10.4）です。Erlang をインストールするには、Linux 用のソースファイルから自力でコンパイルする方法と、MacPorts というインストールソフト（GUI でインストールするために、別途 Porticus というソフトも使えます）を使う方法があります。MacPorts でインストールするよりも好きな場所へ自力でインストールする方が、僕個人の精神衛生によいため（笑、自力でインストールしています。MacPorts か自力のどちらにしても、インストールした後は、bin の中にある erl という Erlang の実行ファイルにパスが通るように（フルパスを入力しなくても erl と入力するだけで起動するように）、環境変数に Erlang のフォルダを追加しておきましょう。なお、MacMini は社内の LAN にぶら下がっているのですが、モニターは繋いでいないので、別のマシン（僕が業務用に使っている個人マシン）からアクセスする際は TeraTerm や Putty などの ssh ターミナルを使っています。ファイルを送るときは共有アクセスできるフォルダに入れています。

Erlang を入れるだけだと、Windows 用の Erlang を個人マシンに入れてシェルを使っているのとさほど使い勝手は変わりません。そのため、Yaws という名前の、Erlang（一部 C ）で書かれたウェブサーバを入れています。これは Linux 用のソースをダウンロードしてから、make, make install で、

** etc files went into /usr/local/etc
** executables went into /usr/local/bin
** library files went into /usr/local/lib/yaws
** var files went into /usr/local/var
** default docroot went into /usr/local/var/yaws/www

という場所にそれぞれインストールされます。設定ファイルは /usr/local/etc/yaws.conf にありますので、<server>～</server> で指定する、ちょうど Apache の VirtualHost 設定のような項目を次のように書いています。

<server 192.168.1.***>
port = 8080
listen = 0.0.0.0
docroot = /Users/*******/htdocs
appmods = <cgi-bin, yaws_appmod_cgi>
</server>

設定をご覧頂くと、8080 ポートを使って他のマシンからアクセスすると、/htdocs がドキュメントルートになります。通常の 80 ポートは Apache 用に使っているため、LAN でのブロードキャストされた IP で 80 番ポートにアクセスすると、Apache で使っているドキュメントルートが表示されるので、使い分けができます。

で、この Erlang（あーらん）というのは「関数型」と呼ばれているプログラミング言語の一つで、携帯でもおなじみエリクソンという会社が 1987 年頃から自社用に開発して使ってきました。現在は誰でも使えるので、公式サイトへ行って、Downloads のページから最新版をダウンロードするとよいでしょう。

インストールは、ふつうのアプリケーションと同じように、インストールするフォルダを指定するだけで殆ど終わります。インストールが終わると、Windows ならスタートメニューに「Erlang OTP ****」というメニューができるので、Erlang というショートカットを使ってください。すると、

こんな感じで DOS プロンプトみたいな画面が出てきます。これが、Erlang に命令するためのコンソール画面となっていて、プログラムを打ち込んで動かしてみたりできます。ちなみに、この画面を終了させるときは、終了ボタンを押してもよいですし、「1＞　」と出ているところで halt(). と入力し Enter キーを押してもよいです。

では、このコンソール画面で少し色々試してみましょう。まず、数を入力してみます。例えば、

1> 1098778899

と、適当な数を入力してみて、最後にピリオドを入力してから Enter を押します。すると、いま入力した数がそのまま次の行に表示されたと思います。同じようにして、「3.141592613」とか「-08977678」とか、色々な数を入力して、ピリオドを入力し Enter を押してみましょう。どれもそのまま表示されますね。では次に、

2> 23 + 78.

とやってみると、ちゃんと 101 という答えが表示されたと思います。計算もできますね。Erlang では、普通の電卓などでは表示しきれない桁も扱えるので、

3> 8989808098099870908768769876598769 * 908237140923847230942137012398.

なんて計算も、ちゃんとやってくれます。

すると、こういう数を入れておく「変数」はどうやって使うんだろう？　ということになりますね。Erlang では、変数は必ずアルファベットの大文字で始めることになっているので、

4> T = 64.

と書いてみましょう。すると、次の行にも 64 と表示されてめでたしめでたし。じゃあ、今度は変数を使って計算してみましょう・・・

5> T = 12.
** exception error: no match of right hand side value 12

・・・おっと？　エラーですね。これは Erlang のようなプログラム言語の特徴とも言える点で、いちど値を振った変数には、二度と値を振れないのです。違う値を振りなおそうとすると、いったんこれまでの入力内容を全てクリアしなくてはなりません。

6> f().

と入力すると、変数と値の結びつきが開放されて、T = 12. というふうに新しい値を振れるようになれますが、それまで振ってきた値がすっかりなくなってしまうので、Erlang と直に対話しているコンソール画面ならでわの方法だというくらいに理解したほうがよいです。こんな具合で、

7> R = 123.
123
8> S = 55.
55

とやってから、R + S. と入力すると、ちゃんと 178 と表示されます。その他、

9> R*S/S*R+R*S*R*S*R-S+R*R*S*S/S/R/R*S/R+R.
5629137896.593496

こんな感じでどんどん計算します。

今回はこのあたりまでで終わります。電卓代わりくらいにはなるでしょうか・・・

追記: リンク集など

Erlang-users.jp
http://erlang-users.jp/
日本の Erlang ユーザのためのハブサイト。できたて。

www.trapexit.org
http://www.trapexit.org/
London Erlang Training and Consulting Ltd.

Open Source Erlang
http://www.erlang.org/
the Ericsson Computer Science Laboratory（本家）

Computer Science Laboratory
http://web.telia.com/~u83304791/
The Software Architecture Laboratory, SARC（出生地です）

http://armstrongonsoftware.blogspot.com/
Joe Armstrong（『プログラミング Erlang』の原著者。Erlang で学位をとった人）
http://www.klab.org/
KLab（クラブ）株式会社さん。ブログの記事がたいへん勉強になります。
http://d.hatena.ne.jp/m-hiyama/
檜山正幸さん
http://www.thinkit.co.jp/free/article/0711/4/4/
並列処理が可能な関数型言語「Erlang」
http://jp.rubyist.net/magazine/?0017-Legwork
Rubyist のための他言語探訪 【第 10 回】 Erlang（まつもとゆきひろさん）
http://gihyo.jp/dev/clip/01/orangenews/vol39/0004
濃縮還元オレンジニュース: これから15分でErlangを始めるための資料（リンク先の Scribd で翻訳が読めます）

BlueprintCSS をはじめ、スタイルシートの雛形が話題になっていたのですが、幾つかの制作会社に在籍していた経験から言うと、それぞれの会社には「フレームワーク」とまではいかなくても、それぞれのルールがあります。

まず個人的な言い方ですが、フォントサイズを絶対単位で固定しないといったコンセプトのことを「レギュレーション」と呼んでいます。それから、.css ファイルとして用意されている雛形のことを「フォーマット」と呼んでいます。

或る会社では有料会員サイトを運営していたのですが、Mac ユーザをターゲットから外していたので、当時は margin や padding のショートハンドが効かなかった Safari ではレイアウトがおかしくなるという、ヘンなフォーマットを使っていました。もともと会社の中で「これを使ってくれ」と言われて渡されたものではありますが、そのうち、フォーマットはそのままにしておいて、自分なりに margin-top: 20px; などと書いた値でオーバーライドするようになりました。

しかし、考えようによっては、自分なりに書いた「オーバーロード用のフォーマット」をいつもヘッド部で読み込んでいたので、これは業務の問題として解決しなければならないでしょう。デザイナーが単独でそのようなことをやると、レギュレーションの意味がありません。もちろん受託案件の場合は、クライアント側からフォーマットが提供されていることもあるので、なるべくフォーマットにしたがいつつ、問題のある箇所にだけ独自の値やプロパティを使っています。

それから違う会社では、いわゆる Web 標準のコーディングができるスタッフに不足していたので、テーブルレイアウト用のフォーマットを使っていました。業務としては、コーディングが僕だけ専任という案件では Web 標準に準拠していましたが、それ以外の案件では生産性などの要素を優先しなくてはなりません。もちろん会社でスキルを標準化するのも一つの手なのですが、それだけでは不十分と言えるのも事実です。例えば受託案件で、納品先の担当者に Web 標準のスキルを強要したりできない筈です。

次に、フォーマットの具体例をご紹介して、ひとまず自分なりにこだわっているところをご説明したいと思います。

…
margin-top: 0; margin-right: 0; margin-bottom: 0; margin-left: 0;
…

このような記述を、div や p などボックス要素に対して適用しています。-top, -right といった記述の順番は、ショートハンドの記述順と同じです。「上・右・下・左」となっています。また、そもそも僕が個人的に使っているフォーマットでは、ショートハンドを使うとデバッグの際に原因を特定しにくくなるので、ショートハンドは使いません。

また、レイアウトに div 要素を使うことは多いと思うのですが、div マニアと呼ばれないていどに他のブロック要素と使い分けておき、基本的に div 要素には margin, padding を使わないというレギュレーションを立てています。スペーシングしたいときは子要素の margin, padding で行い、特にブラウザのモードによってボックス要素の解釈が異なるため、水平方向には padding を使わないというのもあります。もちろん、JavaScript 有効であることが前提で作られているようなサイトでは、UA およびバージョンを判定して使い分けたりもするでしょうし、特定のブラウザだけで無効となるバグを利用したりもするでしょうが、これらも基本的にやりません。そういう意味では、仕事ではともかくとして、個人的にはリセット用途のフォーマットは使わないという Snook さんに同意できる点があると考えています。

その他、フォーマットではフォントに対して font-style: normal; を適用しています。特に、address 要素にスラントがかかると読みづらいという単純な理由です。また、5年くらい前にスタイルシートを使い始めた頃は a 要素に text-decoration: none; を適用していたのですが、初心者や高齢者はありありとした「いかにもリンク」に見える箇所しかクリックしないものだという指摘をもらって、現在も検討しているところです。

あーと。簡単に自己紹介を・・・macca, kgm と同じ会社で、管理本部が所属の事務屋さんですー。また機会があれば、PHP のデザインパターンについていきなりお話しするかもしれません。でわでわ。