この記事のタイトルをよく見ると、「なにが」ではなく「なにか」と書いてある。ブロックチェインがすごいのかすごくないのかよくわからないからだ。君はEthereum Foundationで働いているのではないかと聞かれると、はいそのとおりですと答えるのだが、ブロックチェインはなにがすごいのかと聞かれると、なにかすごいのかしらんと考え込んでしまう。

こっそり思うブロックチェインの一番の功績は公開鍵暗号の利用者を増やしたことである。電子メールにせよwebページにせよ、つけようとおもえば公開鍵暗号をつかえるのだが、つかおうと思わなければつかわないで済む。いっぽうブロックチェインにはアカウントの秘密を保持する機能がないので、自分の秘密鍵は自分で管理するのが当然の開拓時代である。これは、ブロックチェインがすごくないから起こることで、秘密を管理する機能がないところで価値を扱おうとするから利用者にしわ寄せが行っているだけで、まあ怪我の功名と言えるだろう。

そういえば、ブロックチェインで合意が取れるという話について、昔からある研究に照らして何か言えるか考えてみた。

分散アルゴリズムの研究では、ビザンチン故障(すぐせつめいします)するノードがいくつまでなら、まだ動きますよ、というような定理を証明していくことが多い。ビザンチン故障したノードは何をするか何をしないかわからないノードということで、意味不明なデータを送りつけるかもしれないし、黙り込むかもしれないし、意味ありげだけなデータを送ってきてだましてくるかもしれないし、ふつうにしばらく動いているかもしれないし、とにかくなにをするかわからない。よいアルゴリズムを使うと、このような胡乱な参加者がたくさんいても、そうでない参加者同士でアルゴリズムを動かし続けられる。たとえばビットコインとかEthereumとかでビザンチン故障の参加者がいると何が起きるかというと、よい性質がすべて失われる。ビットコインでもEthereumでも、超絶的に運のいいビザンチン故障ノードが人のアドレスから秘密鍵をずばずば当てたり、proof of workの課題を他人の億兆倍のスピードで解いたりしはじめると、全体的に崩壊して素のインターネットよりよいところがなにかあったのか、わからなくなってしまう。これは極端な議論なのだが、ビザンチン故障に耐えるというのは、そういう超絶幸運参加者がいても壊れないということなので、しかたがない。

それではといって、これらのビザンチン故障のノードは実は確率多項式チューリングマシンで、これこれの計算は安くなくて、うんぬん、と、暗号の議論をするときに使うような仮定を置いていけば、暗号の議論でよくある結論の、セキュリティパラメータの増加につれてそのどんな多項式よりも早く攻撃が難しくなっていくので、これはいい方式なんですという議論ができるだろうか。できないとおもう。ビットコインにしてもEthereumにしても、たくさんお金を出してproof of workの課題を人より速く解けば、昔の支払いをなかったことにさせたりとか、いやな攻撃ができる。この「たくさんお金を出して」という障壁を、秘密鍵の長さにつれてどんな多項式よりも素早く引き上げていくというのは、できない話である。世界の富の半分以上がそのブロックチェインを支えているというふうになれば安全かもしれないが、それはディストピアだと思われる。

それから分散データベースとしてどうなんですかというと全然だめである。なにしろすべての参加者がすべての歴史を持つので、一台の計算機より速くなるということがない。そもそもすべての歴史に全順序をつけて一列に並べようというのがなんだか無駄な感じがして、個々のアカウントのすることについて全順序がつけばそれで十分なのではないの、と思ってしまう。全順序をつけるつけかたにしても、原子時計でタイムスタンプをつけたほうが、性能はでそう。このへんをもうちょっとましにする計画はあるが、分散データベースとして開発された分散データベースに性能が及ぶことはあるまい。

ブロックチェインはなにかすごいのか。たぶん、おたがい信用しないノードがたくさん集まって、ちゃんとprice of anarchyを払って一つの歴史を編んでいくのが、これまでになかったことで、おもしろい眺めなのだろう。そしてそのうち、ブロックチェインの側が地球を眺めていることになるんじゃないかしら、と思わせるようなところがある。既の僕のまわりでは変わったブロックが現れるたびに人が働いているので、ブロックチェインの側の都合で人間が動いている。

ともかく、人が使い始めていて、Ethereumのスマートコントラクトが走る仮想マシンはごく単純なもので、形式手法のよいターゲットとなっている。自分にとってはそれで十分である。

ふとETHDEV Berlinに遊びに行ってみた。

• 上階の空手道場の振動で、部屋の照明が揺れていた。
• 突然の来客、Ethereumってどうすれば買えるんですか、と切り出して、質問重々、お茶を飲んで帰って行った。
• みんな黙々コードを書いていた。
• Why3+Z3を試している人がいて、なんでこんな簡単な事後条件を判ってくれないんだと嘆いていた。
• git fix-upという技を教えてもらった。git blameしてからgit rebase -i、というgit史改変を簡便にできるらしい。
• Berlinにはemacs meetupがあるらしい。よいなあ。

目標を決めてそれに向かって進むのが嫌いだ。たぶん目標を言葉にしてその題目に自己投企するのが嫌なのだろう。巨視的な道筋を決めてそれに沿って進むより、微視的に意義ありげなことをずっとしているほうが好きである。それでは大事は成し遂げられないというかもしれないが、大事には興味がない。

ただ、微視的に目先をほじくり返していては、ひとつも形が現れないおそれがある。そこで枠を切る。切った枠の中を散漫にでもずっと掘り返していれば、枠の中のどこかは深く掘り返されて、暖かみさえ帯びるだろう。

この枠の形が人にとってわかりやすいとそれは専門と呼ばれるが、世界には地脈が巡っているので、人には関連がわからない飛び地をいくつも持つこともできる。枠の切り方は人にはわからないほうがたのしいかもしれない。

このまえ日本で買った本を読み終えたわけでもないのに、別のものばかり読んでいる。

• 中野幸一編「変体仮名の手引」。「つ、つ、つ、つ、つ」とか言いながら、たくさんの「つ」の書き方をみている。頭を冷やすのによい。あと良寛の字がかっこいい。
• Andrew Kennedyら “Coq: The world’s best macro assembler?”のCoqのソース これは読み始めたばかり。おもしろい。
• bitcoindのソース ちょっと気になったので、ぼんやり眺めている。わりと荒っぽい感じがする。
• Marco Poloの、ドイツ語で書いてあるアムステルダムの案内書 辞書を引き引き読んでいる。やっと分離動詞を見切れるようになってきた。住んだことがある場所なので、辞書を引いたらだいたい現実と対照がつくのが楽。

他に7冊か8冊、休眠状態のがあるけれども、あまり気にしない。

ところで、読んでいて頭を使うものがあまりないので、なにか仕入れようということで、刹那的瞬発力のために確率論パズルみたいのを、もうちょっと息の長い演繹を追うためにGeneral Topologyの教科書を、それぞれ買った。

ドイツでは休日や夜間にも輪番で薬局が開いていて、たとえばApotheken.deというサイトで検索できる。

2011年3月11日

北海道の定山渓というところでPPLという学会が終わって、新千歳空港でそろそろ手荷物検査を受けようかというところで揺れを感じ、なにか落ちてこないかと天井を見上げていた。新千歳空港のテレビで、津波の映像を見た。羽田行きの飛行機は遅れたが飛んだ。

羽田空港、出られなくなった人々で混雑。コンビニの前に警官がいて入店制限をしていた。自分は歩いて外に出ることにした。天空橋を渡って鎌田に向かう途中のコンビニで、おにぎりやパンや弁当など食事になりそうなもの一切が売り切れていたが、アイスクリームはたくさん残っていたので、それを二つ買って、食べながら鎌田のほうへ歩きつづけた。居酒屋やラーメン屋が営業していて、そこで夜を過ごそうかとも思ったが、鎌田駅まであるいてみた。途中、都心から来て多摩川を渡ろうとする行進に出会った。東急鎌田から列車が動くというので、乗ってみたら、乗り継いで実家の近くまで行けたので、歩いて帰った。

2011年3月

プラハで食べたもの

• Wine sausageという、柔弱なソーセージを食べた。ぐるぐる渦を巻いて楊枝で止められていた。ふにゃふにゃしていて、おいしかった。

• トマトスープを食べた。クリームたっぷりで、おいしかった。

• ニョッキを食べた。ニンニクが効いて、おいしかった。

• 豚スネ肉の煮込みを食べた。学校給食みたいな器で出てきた。脂身が健康に悪そうだった(私は脂肪が余っている)が、おいしかった。

• 鴨のconfitを食べた。一緒に出てきた、じゃが芋の餅みたいなものが、おいしかった。

• 麻婆豆腐を食べた。山椒が効いて、おいしかった。

• Tom’s burgerというのを食べた。たれの味と卵と肉が調和して、おいしかった。

海外で働くエンジニア（or Webの人） Advent Calendar 2014の12月11日分の記事です。半年ほど前から、ドイツのドレスデンという街で、アメリカに本社がある会社に勤めています。

数日前の東京とボストン（シアトル含む）の比較をみて、アメリカとヨーロッパはだいぶ違うのだなあ、とおもったので、そのあたりのことを書いてみましょう。

医療費

このまえ、歯のつめものがとれたので歯医者に行ったら、詰め物をしてくれました。健康保険証を見せただけで、支払いをしないですみました(ただし、詰め物の色を白にしたい場合は、追加の支払いが必要だったようです)。大学の学費も無料だそうです。

ビザ

EU Blue Cardという制度があって、IT-skilled workerで年収がいくらか以上の雇用契約がある人には、ビザがおりるようです。ビザの抽選はきいたことがありません。

チップ

チップは払ってもよいが、べつに特別なことをしてもらったわけではない場合にチップを払わないのは普通のことのようです。

公共交通機関

ドレスデン限定のことですが、路面電車が充実しています。自分は家から職場まで歩いています。

職場の構造

自分のところはオープンオフィスですが、ふつうは三人一部屋くらいの小さい部屋らしいです。

時間の使い方

みんな、ちゃんと帰ります。同じ会社に、自宅で働いている人もけっこういます。インターネットごしに会議できてしまいます。ときどき顔は合わせます。

喫煙者

喫煙者はたいへん多いです。タバコの吸殻が大量にちらばっているところがあります。

労働市場

労働市場の需給がどうなっているのか、いまいちよくわかっていません。自分は、特殊技能をもって入りこんだので、あまり参考にならないでしょう。ベルリンには起業している人がたくさんいるようですが、まだ、その界隈に出掛けていません。

ドイツ語

仕事は英語でも、ドイツ語が話せないと困る場面がいろいろあります。勉強しながら、ややこしいことが起きないように慎重に暮らしています。

このまえ日本に帰って本屋をうろついた。いくつか読み始めた。

• 飯倉照平『中国民話集』登場人物がすぐ死ぬ(日本の民話もそうかもしれない)。
• 神取道宏『ミクロ経済学の力』。著者をいちどだけ見たことがあって、どういう人だったのだろうと思って、読んでみた。たいへん親切な本。この本の補論Dというところをみて、おもいだしたのは、一度、休みを取って東大の図書館に行ってKoopmans, “Three Essays on the State of Economic Science”のはじめのほうを読んだ。そこで、価格は情報の節約だというせりふをみたのだった。
• 竹内啓『賭けの数理と金融工学』もとになったShaferとVovkの本は長くて大変だなあとおもっていたので、助かった。5章の有利な賭けのところをみて、そりゃそうだなとおもって、なにがしかの具体例を計算してみたけれども、ちょっとした確率分布の変化にだいぶ敏感に戦略が変わってしまうので(というか手持ちの情報がどういう確率分布をもたらすのかあまりよくわかっていないので)あった。このへんの話の登場人物を多くしていくと何が起きるかは、ちょっと気になる。
• 宇治拾遺。最初の話をよみおえて、翁は誰だったのだろうとか言っていて、題を見ると誰だったのかわかるなどする。

Kurt VonnegutのSlaughterhouse-Fiveを読んだ。ドレスデンの小説だと教えてもらったのがきっかけだ。読んでみたら、文脈がころころ行ったり来たりして、CPUになったような気持ちがする小説だった。第二次大戦末期のドイツと、ベトナム戦争の頃のアメリカと、UFOで連れ去られた他の惑星と、記述が行ったり来たりする。主人公は時間を行ったり来たりするので、ときどき映画を逆回しに見てしまって、燃えさかる市街から炎を飛行機が回収して、飛行機は後ろ向きにアメリカまで飛んでいき、危険物は工場で分解されて、石油は地面に戻される、というようなことになる。しかし、UFOや時間跳躍は日常めいて、第二次大戦末期のほうが、よほど現実離れしている。貨車に捕虜を積んで何日も運んでいると、貨車全体が生き物のようになって、食べ物が入って排泄物とうめき声が出てくる。爆撃の跡は月面で、鳥の声がプーチーイー、である。

ドレスデンの地理的描写はあまり出てこないのだが、そろそろドレスデンに半年も住んでいるので、ちょっとしたことで、どのへんの話だか見当がついてしまう。かぱこぽと馬車が進んでいたのは、我が家の前の道ではなかろうか。

Andrey Kurkov “Ukraine Diaries”
を読んだ。切羽詰まったときに何が起きるのか読みためておくと、自分が切羽詰まったときに、すこしはましな動きを取れるであろう。

• デモの勢いを抑えるために、地下鉄が市内の駅をすべて通過するようになる。
• デモのあったときその広場に近寄った携帯電話すべてに、同じSMSが届く。
• Vodkaの値段が、ウクライナとロシアで違うので、クリミア半島には、Vodkaをウクライナの値段で買っておいてロシアの値段で売ろうとしたひとがたくさんいる。

というような、さかしい行動ががたくさんでてきた。こういうことは、言われてみれば納得がいって、かしこいなあ、というくらいの話である。こういう、かしこいなあ、というくらいの話のよこに、少し間違えただけで、あるいは何も間違えていないのに、命を落とす人もたくさん出てくる。

ところで、著者はヨーロッパべったりで、ヨーロッパに啓蒙してもらいたい、というようなことを書いている。ロシアには批判的だ。強国に挟まれて、どちらにつくかで国が二分されると、個々人も自分がどちら派か決めると楽なのだろうか。

大庭亀夫は英国の人なり。号して十全外人といふ。幼時よりキュウリのサンドイッチを餐する身なれど、自力にて発明や投資やを以て億万の財を成す。料理、乗馬、格闘など多才尽し難し。

日本語練習帳といふ文、率直自然に綴れば即ち中る。百千を知り一のみを書くやうなり。数多の人の苦楽を、直に聴き知れる人なるべし。富貴の極みを草頭の露と飲み下して浮遊する人なるべし。

日本の記事多し。暗然たる未来を見通す。
http://gamayauber1001.wordpress.com/2014/09/13/nomad17/

ときに生活の一端を覗かしむ。
http://gamayauber1001.wordpress.com/2014/04/30/living-in-obscurity/

これらの文は日本語界の風穴なれば、驚き疑ひ誹る者あり。嘘と決むる者あり、偽外人と呼ぶ者あり。日本への警鐘を賢しらに聴く者あれど、日本人の為す所変はらず、解釈改憲は成り韓国人への罵倒は続く。遂に呆れ果て「日本語人なんて心から嫌いになった」と述ぶるに至れり。宜なり。

きみは、わからないのがきらいだ。ひとにわかるのに、じぶんにわからないわけがない、そうおもって、しばらくがんばるといい。わからないときに、わかったふりをしては、いけない。わからないまま、うんうんいうとよい。しつもんできるとよい。そうしてくらすと、ものすごくかしこいひとに、あえる。すると、がんばらないとわからないことが、たくさんでてくる。たのしい。わからないことがたくさんでてくる。たのしい。

きみは、れんしゅうがきらいだ。れんしゅうしないとうまくならないことが、きらいだ。どうしてうまくいかないのか、わからないのが、きにいらない。どうしてうまくいかないのかわからないのに、なんどもためすだけで、うまくいくのが、きにいらない。にんげんは、じぶんがどうしてなにができるか、あまりよくわからないようにできている。たくさんしっぱいするだけで、せつめいできなくても、しっぱいしなくなることがある。どうしてうまくいくのかわからなくて、ほんとうにうまくなんてしんじられなくても、やればすこしはうまくなる。

あとは、たのしくしているのが、だいじだ。たのしいふりは、しなくていい。

明日なにをしようか、考えていると思う。実をいうと、君が明日なにをするのかで、君が十年後になにをしているのか、だいぶ決まってしまう。こんなことを知ると、深刻になってかえって愚かな判断をすることもあるので、気にしないでもいいけれども。雲先生に楽しいことをすればいいと言われた通りだ。

君は、わかってしまえば単純なような話が好きなので、米谷先生の量子論の講義を眺めてよくわからないと思い、アイシャムの本を見てよくわからないと思い、そのままにしてしまったけれども、真面目な物性物理の人になる気はないのか、一度よく考えてみるといい。真面目と言ったのは、計算機と比べての話で、だいたい、電気を食べて熱を出している箱の中にいると、何かが保存するという気もしないし、どこに原則を求めるのかで意見が一致することもない。

君は、あるとき、立花隆事務所の本を運ぶ手伝いをして、書棚の夥しい昭和史の本を見て、北一輝とはどういう人であったのかなあと思ったが、そうしたら、その場でしゃがみこんででも、読んでみるとよかったと思う。

ところで君は、あるとき高校の数学の教師に何をするのか聞かれて、「研究者になるのかなああ」とか言って窓の外を見て、「いや、研究者じゃなくてもいいんだけれども」なんて言われていた。君の「なるのかなああ」は長く尾を引くのだけれども、君はうすうす気付いていて、君は北の窓から小金井の方を見ていたつもりだったが、つくばに行くことになった。そのあと外国に行くことになるのは、知らなかったであろう。

さて君は、USの大学には行かずに日本の大学に通っている。それで良かったのか悪かったのか、よくわからない。流行が激しい分野では、田舎で学問をやるのにも、思うままにじっくりやれるという長所がある。君はその後、ちょっとだけUSに行くけれど、極めて短期のお客さんだったので、どういうところなのか、あまり洞察が無い。もっと言うと、君は日本がどういうところであるのかについても、あまり洞察がなくて、おかげで土地をうつっても、どうにか暮らしてしまう。もちろん、初めて一人で出掛けた外国の、ダカールの空港を出て、炎天の下で途方に暮れることはあったが。

testing the code highlighting

int f(double x) {
  testing();
}

なんでドレスデンに行くのか、よく聞かれる。

まず、証明士という職業を作りたいとか言っていたら、既にformal method engineerという職名で募集をかけられて、どうもやることがまともそうなので、負けを認めて軍門に下る。

地理

ドレスデンには路面電車がある。ドレスデンの路面電車は編成も長くて、路線もたくさんある。人口50万人程度の都市なのに、総延長130kmもの路線があるのだ。路面電車で暮らせてしまう。階段を上り下りしなくていいぶん、大都市の鉄道よりも楽かも知れない。ちなみに運転免許は取ったけれども、間違いが多めの人間なので、できる限り自動車の運転は避けたい。

文化

ドイツで暮らした日本人の本をみると、わりと自分には暮らしやすそうな気がする。理屈っぽい、たいへんよろしい。個人をやらないといけないのは、まあ練習だと思おう。

2012年頃

自分が書いたものをみていると、どうも、2012年の春ごろに、将来のことをながなが考えていたようすがある。たとえば、立花隆がどこかの本で、ジャーナリストとしての活動方法として、みはらしがいいところに立っておもしろそうなところを見つけたら寄っていって掘るということを繰り返すのだという趣旨のことを書いていたのを思いだしていた。みはらしのいいところに行ったら今度は面白そうなところに飛びつくぞと思っていた節がある。

それから、2012年5月1日に、このように書いている。「日本のふつうの人が海外にほいほい出かけられる時代というのは、あと何年もつかわからんが、案外すぐに終わってしまうものであろうという気がしておるので、どっか外に根を下ろすのもよかろう」。当時の気持ちを思いだすとだいぶ真面目に書いたようだが、今となっては、いるべきところの決め方がこう大雑把ではいけなくて、もっと局所的にどういう人となにをするのか見ないといけないと思う。ただし、日本がどうのとかいう話を気にするときに、動きまわれるようにしておくのは一つの作戦だ。

やはり同じような時期に、「人生から情報量をたくさん取り出すには先が見えないことをするといい」と書いた。これに従うのは、いまでは、どうかと思う。つまり、いろとりどりの不幸につっこんでいくよりも、単調な幸福のほうがよい。ホワイトノイズに浸るのが一番いいかというと、それも違う(ホワイトノイズの各試行の違いが分かって感興を覚える人なら、いいのかもしれないけど)。毎日びっくりするのが望みかというと、それは違う気がする。このへんは、もっと考えてから、また別に書こう。

結局のところ

Ellery Queenの推理小説を一階述語論理式に書き起こそうとして時間をつぶしていた変な小学生が長じて、演繹して暮らしたい、記号列が動くなんて楽しい時代だ、ソフトウェアについて演繹して暮らすのだ、と、わがままを言い出し、このわがままが叶う世の中になるとするとどんな具合に進むのかなあと考えて、それに沿って進んでみている。

よみもの

• 通訳ダニエルシュタイン。こういう人になりたいなあ、とは言えない壮絶な本(@y0k1muraの紹介)。国家も宗教も越えて、いつも同じことをしている。
• 十全外人ガメ・オベールとはわしのことじゃ。へんによくわかっていて、日本語で書けば誰にも読めないとかいって日本語で書いている。

Accelerandoという、singularityを描いたSFを読んだ。猫型ロボットの物語だが、ちゃんと猫らしく勝手な振る舞いをする。

話の筋はともかく、出てくる技術がときどき面白い。訴訟を自動化してDOS攻撃するとか。

物語の後半になると、だいたい仮想空間上の話になってしまって楽しくないのだが、登場人物が日常的にfork(2)するのはうらやましい。

遅れた政府の描写:

convinced that, if you have to pay for software, it must be worth something

また、遅れた人々の描写:

They’re like medieval peasants looking in puzzlement at the troubadour

戸田山和久『哲学入門』について。

この本は「ありそでなさそでやっぱりあるもの」を扱う。あるとかないとかの話をするなら、あるというのがどういうことか決めないと、話をすすめづらい。この本で、せっかく情報量の話を書くなら、どうしてこう言わなかったのだろう：情報量が大きいことが起きたらなにかあったということで、たとえば静寂に小さな音がするだけでなにかある感じがするのはそのためである。

戸田山氏は「私は唯物論者である」と言ってから、意味とか機能とか「人生にとって大切な『存在もどき』」を物理的ものだらけの世界に煎じ詰めようとする。まず問題がわからない。意味とか機能とかを「存在もどき」と「もどき」をつけて呼びたくなる気分がわからない。機能というのがうまくいきそうもないことがうまくいくことなら、もともとうまくいきそうもなかったほどに情報量が大きくて、なにかあるということになる。また方法が気に入らない。起源を論じて煎じ詰める方法は姑息であると思う。昔の世界がいまより簡単だったらたまたま使える論法で、筋がわるい。

この本は、最終的には自由や道徳の話をする。道徳の話は集団維持の話だから、進化で説明するのもいい。しかし自由については、せっかく情報量の話を書くなら、どうしてこう言わなかったのだろう：自由とは、自分がなにをしそうか、周囲の予想よりずっとよくわかっていることだと。ついでに、自分というのは世界の中でどうなるのかの予想がつきやすい一角だと。

あとがきに「哲学はすべてを一枚の絵に描き込むことを目的とする営み」とある。これはやったほうがいい。でも話は簡単なほうがいい。シャノンの情報理論に目をつけたなら、もっと大胆に使ったほうが話が簡単になったのではないか。

産総研の博士型任期付研究員の職を昨日付で退職し、これから、ある会社でformal method engineerという職につくこととなった。ドイツのドレスデンに住むことになる。

昨日まで、産総研の人だということで、いろいろな人に呼んでいただいたり来ていただいたり面白かった。不満がないのに辞める人は初めてだ、と呆れられてもいる。しかし、ドレスデンでの仕事がたいへん気になったので行ってしまう。