2014-11-10

最近読んだ本と最近買ったもの

本

My Years with Xerox: The billions Nobody Wanted
Alanが以前に行った講演の中で勧めていた"My Years with Xerox: The billions Nobody Wanted"という本です。これは1900年代から40年代、50年代、60年代にXerox (と前身のHaloidという会社)がいかに奇跡的な急成長をして、またいかに素晴らしい企業風土を持っているか、ということを、Haloid時代からずっとR＆Dの重役だったJohn H. Dessauerという人が1970年というXeroxのまさに絶頂期にまとめたものです。社員やxerography発明者のChester Carlsonたちがいかに個人的な借金までして研究資金を作り、他社が見向きもしなかった発明を世界を変える商品にまでしたかということが書かれています。印画紙という安定していたビジネスを持っていたものの、未来のために本業を変えてまでコピー機に乗り込んで大成功したXeroxは、コンピュータこそが次の主戦場であるということを理解していろいろな行動をとったものの、結局のところコピー機の成功が仇となってXerox PARCの成果を生かすことができなかった、という経緯につながります。ただ、Xeroxは今でもちゃんとした会社として順調にやっているんですよね。ただ、逃したものが大きかったために実態以上に印象が悪くなっているという面があります。おそるべし。

Reality Is Broken: Why Games Make Us Better and How They Can Change the World

作者: Jane McGonigal
出版社/メーカー: Penguin Books
発売日: 2011/12/27
メディア: ペーパーバック
この商品を含むブログを見る

こちらは脇田さんに勧められて読みました。最初の方は、なぜゲームが人を惹きつけるのか、ということを多くの側面から解説し、最後はalternate realityとしてのゲームを通じて実世界を変えていこうというビジョンを、彼女自身が関わった幾つかのゲーム(北京オリンピックの"Olympic the Lost Game"や、Institute of The Futureの活動)を例に打ち出しています。gamificationを適用する分野として誰しも考えるのがプログラミングの分野であり、その手の試みも幾つかあるのですが、やはりslow processであるプログラミングを、リアルタイム性のある枠組みに押し込んでいるものでうまくっているものが見当たらない、という問題は大いにあります。

[isbn: 0679761063:title=The Master of Go]

川端康成による「名人」の英訳です。San Franciscoオフィスの同僚Chaimが読んだと言っていたので私も読んでみました。「封じ手で主戦場とは違うところに一手打ち、それを見た本因坊が感情的になってミスをした」という話なのですが、どうなのでしょうか。

話は変わりますが、13年間乗ったToyota Corollaはついに後進に道を譲ることとなり、我が家は新しい車を導入しました。7年前に2台体制にしなくてはいけなくなったときにも、電気自動車の夢はあったものの断念してプリウスを導入した、という経緯があり、2年前に引っ越すときも充電器を設置できるように自前のガレージがあるところ、という方針だったので、満を持してというところではあります。とはいうものの、今回も危うく日和ってChevy Voltになりそうだった気持ちを振り切り、Nissan Leafに決定しました。勤務地が新しくなってここ5ヶ月ほど、私が運転するのは片道13マイルの通勤と、そのまわりのちょっとした行き来に限られているといるのだという認識があり、Voltでも電池のみの航続距離には入っているとは言えるのですが、それならばなおのこと純粋電気自動車でもよいはず、という判断だったわけです。

といっても、やはり電池切れで止まるかもしれない、と心配になる"range anxiety"問題は確実にあって、購入した当日の夜、まだ実際の通勤でどのくらい電池が消費されるのかについての経験がない時点ではかなり心配になって眠れなくなるくらいでした。「往復26マイルとは言っても405の山越えがあるから予想以上に消費するかもしれないし、安全係数をとって52マイル相当、さらに混雑や他の事情で2倍かかるかもしれないので104マイル相当、さらには子供の送り迎えやらで寄り道をしたりすることを思うと、公称値の84マイルなどあっという間に超えてしまうではないか！もしかして往復さえもできないのでは！」と思ったりしていたのです。が、実際には山越えでも回生ブレーキがあるので結局のところ平地を行くのとそれほど大きくは変わらない電力消費で済みますので、今日の往復は電池容量の30%程度の消費量で行けました。かつ、オフィスのすぐそばのパーキングには4つほどチャージャーもあって無料で使えることがわかりましたし(全部塞がっていることも多いみたいですが)。まあどうやら今の生活パターンにおいては電池の心配はあまりしなくても良さそうです。よかったよかった。

標高の高いところから低いところに通勤する場合には、往路の下り坂の時に電池が満タンになってしまって位置エネルギーが無駄になり、復路は上り坂で過剰に電池を酷使する、というパターンになることがありえます(私の場合もそれほどではないですがややそういう傾向があります)。オフィスで確実に充電できる、というのであれば、慣れてきてそれほど無駄に心配することがなくなってくれば、充電はオフィスのみですることにするということが良いのかもしれません。

LAにおいては家族でもう一台ガソリンを使える車を所有しているという前提は事実上必須ではありますが、その条件がクリアされてさえいれば、他の人にとっても現実味のある選択肢だと思います。

そうそう、ガレージに導入される充電器を作っているのはあのPaul MacCready創設のAeroVironment社です。これを聞いたときにぐっとLeafに心惹かれるものがあったわけで、ブランド力というのは大事。(AreoVironment社はドローンなども作っているのですが、車内で「戦争に手を貸すような仕事はしたくない、ということができ、その場合は電気自動車や他の事業に専念できる、というようなことが以前新聞に載っていました。)

2014-08-25

ESUG 2014とロンドン観劇

仕事

European Smalltalk Users Group Conference に10年ぶりに参加してきました。フレンドリーで、かつ激しい議論を戦わせるだけでの共通認識があるので、楽しい会議である事には違いないです。新しいVMがぽろぽろ出てきていたり、ベンダーも多数来てプロダクトのアップデートをしたり、学生達が発表したりと活気もあります。

帰り道ロンドンで一晩空きがあったので、Gielgud Theatreでやっていた"The Curious Incident of the Dog in the Night-Time"の劇をDan とKatとDanのお姉さんと見てきました。舞台装置がとても創造的で、かつ原作が提示する「少年の成長物語」を余すところなく伝えていてなかなか素晴らしい舞台でした。

The Curious Incident of the Dog in the Night-Time: A Novel

作者: Mark Haddon
出版社/メーカー: Vintage
発売日: 2004/04/01
メディア: ペーパーバック
この商品を含むブログを見る

2014-08-14

Scratch@MIT

仕事

4年ぶりにScratch@MITに参加しています。以前ののんびりした感じよりも、大人がまじめな事をしている集まりの用でもありますが、それぞれの人は本当に元気で面白い事を考えているので、素晴らしいです。

日記を検索したら、私が書いたScratchに関する最初のエントリは2004年4月でした。時は流れます。

http://d.hatena.ne.jp/squeaker/20040417#p1

2014-07-24

J言語をOMeta2/Squeakで作る

仕事?

APLの集まりに参加した関係上、私も処理系の1つぐらいは作らなくてはな、ということで雑用に追われる中(実は転職しました)ちょっと作ってみました。

実装の都合上、シンボルはAPLのシンボルではなく、ASCIIベースでやっているJ言語のものを使っています。

実装に使う言語はOMeta2/Squeakで、パーザーとインタープリターをそれぞれ別のクラスとします。あ、ちなみに世界に蓄積された「効率の良いAPL処理系を作る」ためのノウハウ(http://www.slac.stanford.edu/pubs/slacreports/reports07/slac-r-114.pdf にある"drag-along and beating"とか)とは距離を置き、とにかく簡単な実装とすることを目標とします。

パーザーはJParserというOMeta2クラスのサブクラスとして作ります。

Jの実行単位は「文」と呼ばれているもので、それは簡単に言ってしまえば、「要素」の1つ以上の列です。ですので、文を認識する構文規則は以下のようになります。

sentence =
        element+

ですが、一応認識したもののリストを結果として取り出し、よけいな余白などがあっても動くようにするわけなので、実際の規則は

sentence =
        element+:s spaces -> [{#sentence}, s reversed]

のようになっています。認識した結果は逆順にひっくり返された後、#sentenceというキーワードをあたまにつけたリストになります。

ここで使われている要素を認識するためのelementという構文規則は以下のような感じです。

element =
        "(" sentence ")" | number number+ | number | primitive | name

文を括弧でくくったもの、数字の2つ以上の並び、一つだけの数字、記号、そしてアルファベットで始まる普通の名前のどれか、ということになっています。elementも認識したものを結果としての粉作手は行けないので、実際には

element =
        "(" sentence:s ")"      -> [s]

    
           number:f number+:s      -> [{#array. f}, s]
    
    
           number
    
    
           primitive:p             -> [{#primitive. p}]
    
    
           name:n                  -> [{#name. n}]
    
    
    
    
のようになっています。それぞれ結果はあたまに適切なキーワードをつけたリストです。
まあnumberとかprimitiveとかの規則も定義はしなくてはいけないのですが、それらはまあ簡単なのでここでは省きます。と

いうわけで、sentenceとelementという規則を定義することによって、Jのパーザーが完成しました。このパーザーは例えば
(2 3 $ 1 2 3) +/ 4 4 4 
のような入力を食わせると
{#sentence.
  {#array. {#number. 4}. {#number. 4}. {#number. 4}}.
  {#primitive. #/}.
  {#primitive. #+}.
  {#sentence.
     {#array. {#number. 1}. {#number. 2}. {#number. 3}}.
     {#primitive. #'$'}.
     {#array. {#number. 2}. {#number. 3}}}}
という構文解析の結果を出力します。

次はインタープリターです。インタープリターの基本的な動作は http://www.jsoftware.com/help/dictionary/dicte.htm に記述されています。要するに入力を後ろからスタックに積んでいき、スタックトップの近くで還元できる要素があれば還元する、ということになります。OMeta2は要素の後ろの方を処理するという機能がないので、パーザーの方で順序をひっくり返していたのでした。

インタープリターはJInterpreterというOMeta2クラスのサブクラスとして作ります。

JInterpreterはスタックを状態として持ち、入力要素を見るたびにスタックに「シフト」し、還元できるようなら「リデュース」するという動作になるので、これをそのまま書き下して
sentence =
        {#sentence (shift | reduce(false. stack))+} reduce(true. stack)*
                -> [stack last]
と書きます。sentenceキーワードで始まるリストの要素を全部見終わった後にもスタック上に還元すべき要素がまだ残っているかもしれないので、最後には還元できる間ループして(クリーネ閉包*を使う)、スタックトップを結果とします。

shift規則の骨子は
shift =
        ({(#array 
                ({#number anything:n} [n])+:nn
                [JArray new: {nn size} data: nn offset: 0]
        |       #number anything:n [n]):n
        } [n]
        | anything):n
        [stack addLast: n]
というくらいのもののはずです。#arrayキーワードで始まる配列が来た場合は、JArrayというJの配列を表すオブジェクトを作ります。数値やシンボルなどは構文解析の結果そのもので良いです。

ですが、上記のページを見ると副詞(adverb)や接続詞(conjunction)の結合規則について何やら書いてあります。構文解析時にバラバラのままにしておいた+や/のシンボルはどこかの段階で結合させなくてはならないようです。ですので、シフトしようとしたものが副詞や接続詞だった場合には、その時点で読めるだけ読んで結合したものを動詞としてシフトするようにします。 さらに、もともと丸括弧で囲まれていた副文であった場合にはそれを評価しなくてはならないので、それもシフト時にやってしまうことにします。
shift =
        (
          parseVerb
        | {
            (#array 
                ({#number anything:n} [n])+:nn
                [JArray new: {nn size} data: nn offset: 0]
           | #number anything:n [n]):n
        } [n]
        | anything):n
        (
        isInnerSentence(n)
        | [stack addLast: n])
例によってparseVerbやisInnerSentenceの定義は省きます。

還元を表すreduce規則はだいたい

reduce :last =
        {(
                arg:n conjunctions:c
                -> [self pop: 4 andPush: c andPush: n]
        |       arg:r dyadOp:o ~verb arg:l 
                -> [self pop: 3 andPush: (o value: l value: r)]
        |       arg:r monadOp:o (?[last] | (~arg ~conjunction anything))
                -> [self pop: 2 andPush: (o value: r)]
        ):n _*}
        [n]
のようなものです。

というわけで、後は必要となるヘルパーを書いて、パーザーとインタープリターの完成です。

ただ、実際に計算を行う演算子の実装にはまだ手間がかかります。+や-といった2項演算子であっても、引数となっている配列の次元の組み合わせ、そしてランクオペレータの指定するランクによって振る舞いが変わってくるので、その辺に対処したものをSqueakのコードとして書きます。Jの場合は演算子の動作の定義を、JArrayのメソッドとして書いて、左辺と右辺を非対称にするのは気が進まないので、JInterpreterの暮らすメソッドとして "doDyad: op with: l with: r lRank: lr rRank: rr"のようなシグネチャのものとして書きます。

さらには、このような演算子は副詞や接続詞によって際限なく修飾されうるので、Squeakのクロージャーを活用して、組み合わせることにします。例えば、+が使われたときに適用される関数は
        Dyad at: #'+' put: [:a :b :ar :br | self doDyad: [:x :y | x + y] with: a with: b lRank: ar rRank: br].
のようにDyadという辞書にしまっておきます。4つ引数があるのは、２つの引数およびそれぞれの引数のランク情報を渡すためです。

そして、例えば一般化された外積を表す2項演算子の'/'は、
        DAdverb at: #'/' put: [:v |
                [:l :r :lr :rr | self outerProduct: v with: l with: r lRank: lr rRank: rr]].
のようにDAdverbという辞書にしまっておきます。入力として"+/"のような組み合わせが現れた場合には、

(DAdverb at: #'/') value: (Dyad at: #'+')
のようにすると、再び4引数のブロックが結果として返るので、それを2項演算子として使うことができるわけです。

で、せっかくSqueakで作った以上、対話的な環境を作らねばなりませぬ。というわけで、Workspaceのサブクラスを作って2,3のメソッドをオーバーライドし、入力したものがJの式として評価されるようなものを作ります。



さらなる発展があるかどうかはかなり謎ですが、まあ記録までに日記にしてみました。

2014-07-14

出張

仕事

２週間にわたってドイツとイギリスに出張してきました。ドイツはStuttgartとTübingenに近いGäufeldenという街というか村で、共同開発者とハイキングをしながら設計会議をみっちりと。イギリスの方はAPL系配列言語の開発者達が密かに集まってこれまたみっちりとAPLについて語ったり実装をしたりするというCambridgeのTrinity HallでもたれたIverson Collegeなる集まりでした。

Iverson Collegeのほうはさすがにとっても濃い感じでした。中でも、Kという言語とkOSというOS、kDB+というデータベースをやっているArthur Whitneyの書くコードには、その徹底的なminimalismに驚かされました。

私も片手間ながらちょっとしたJもどき言語のパーザーとインタープリタを作り始めました。まあ本格的なものにはなりませんが、ちょっとした遊びに使えるようにはしたいと思っています。

「スノッブなイギリス人」のステレオタイプとして、何気ない会話の中で、突如日本文化に関する質問をし、話すに足る人間かどうかを調べる、というものがあります。今回は「侘び寂びは英語に訳すときはなんと言えば良いのだろう」と聞かれました。これは探りを入れてきたというよりは純粋に思いついた質問、と言う様子ではありましたが。とっさに(というかどこかで聞いたことのある)"beauty in imperfection"と答えてその後マクロスの話で盛り上がったりもしてまあ良かったのですが、アウェイでの戦い方はそれなりい経験したなあと思ったりもする旅でもありました。

2014-04-25

The Future of Programming Workshop

仕事

http://www.future-programming.org/call.html

です。最近はときどきいろいろなプログラム委員になっている気がしますが、これは結構楽しみです。

"Communications Design Group SAP Labs"というのはAlan Kayが音頭取りをして新たに設立した研究グループです。Viewpointsそのものもほぼ飲み込まれた、というかCDGがViewpointsの拡張というか、事実上一体化して活動しています。いろいろと有名な人が入っているのでこれからが本当に楽しみです。

squeakerのブログ

最近読んだ本と最近買ったもの

ESUG 2014とロンドン観劇

最近読んだもの

Scratch@MIT

J言語をOMeta2/Squeakで作る

出張

The Future of Programming Workshop