こっそり思うブロックチェインの一番の功績は公開鍵暗号の利用者を増やしたことである。電子メールにせよwebページにせよ、つけようとおもえば公開鍵暗号をつかえるのだが、つかおうと思わなければつかわないで済む。いっぽうブロックチェインにはアカウントの秘密を保持する機能がないので、自分の秘密鍵は自分で管理するのが当然の開拓時代である。これは、ブロックチェインがすごくないから起こることで、秘密を管理する機能がないところで価値を扱おうとするから利用者にしわ寄せが行っているだけで、まあ怪我の功名と言えるだろう。
そういえば、ブロックチェインで合意が取れるという話について、昔からある研究に照らして何か言えるか考えてみた。
分散アルゴリズムの研究では、ビザンチン故障(すぐせつめいします)するノードがいくつまでなら、まだ動きますよ、というような定理を証明していくことが多い。ビザンチン故障したノードは何をするか何をしないかわからないノードということで、意味不明なデータを送りつけるかもしれないし、黙り込むかもしれないし、意味ありげだけなデータを送ってきてだましてくるかもしれないし、ふつうにしばらく動いているかもしれないし、とにかくなにをするかわからない。よいアルゴリズムを使うと、このような胡乱な参加者がたくさんいても、そうでない参加者同士でアルゴリズムを動かし続けられる。たとえばビットコインとかEthereumとかでビザンチン故障の参加者がいると何が起きるかというと、よい性質がすべて失われる。ビットコインでもEthereumでも、超絶的に運のいいビザンチン故障ノードが人のアドレスから秘密鍵をずばずば当てたり、proof of workの課題を他人の億兆倍のスピードで解いたりしはじめると、全体的に崩壊して素のインターネットよりよいところがなにかあったのか、わからなくなってしまう。これは極端な議論なのだが、ビザンチン故障に耐えるというのは、そういう超絶幸運参加者がいても壊れないということなので、しかたがない。
それではといって、これらのビザンチン故障のノードは実は確率多項式チューリングマシンで、これこれの計算は安くなくて、うんぬん、と、暗号の議論をするときに使うような仮定を置いていけば、暗号の議論でよくある結論の、セキュリティパラメータの増加につれてそのどんな多項式よりも早く攻撃が難しくなっていくので、これはいい方式なんですという議論ができるだろうか。できないとおもう。ビットコインにしてもEthereumにしても、たくさんお金を出してproof of workの課題を人より速く解けば、昔の支払いをなかったことにさせたりとか、いやな攻撃ができる。この「たくさんお金を出して」という障壁を、秘密鍵の長さにつれてどんな多項式よりも素早く引き上げていくというのは、できない話である。世界の富の半分以上がそのブロックチェインを支えているというふうになれば安全かもしれないが、それはディストピアだと思われる。
それから分散データベースとしてどうなんですかというと全然だめである。なにしろすべての参加者がすべての歴史を持つので、一台の計算機より速くなるということがない。そもそもすべての歴史に全順序をつけて一列に並べようというのがなんだか無駄な感じがして、個々のアカウントのすることについて全順序がつけばそれで十分なのではないの、と思ってしまう。全順序をつけるつけかたにしても、原子時計でタイムスタンプをつけたほうが、性能はでそう。このへんをもうちょっとましにする計画はあるが、分散データベースとして開発された分散データベースに性能が及ぶことはあるまい。
ブロックチェインはなにかすごいのか。たぶん、おたがい信用しないノードがたくさん集まって、ちゃんとprice of anarchyを払って一つの歴史を編んでいくのが、これまでになかったことで、おもしろい眺めなのだろう。そしてそのうち、ブロックチェインの側が地球を眺めていることになるんじゃないかしら、と思わせるようなところがある。既の僕のまわりでは変わったブロックが現れるたびに人が働いているので、ブロックチェインの側の都合で人間が動いている。
ともかく、人が使い始めていて、Ethereumのスマートコントラクトが走る仮想マシンはごく単純なもので、形式手法のよいターゲットとなっている。自分にとってはそれで十分である。
]]>ただ、微視的に目先をほじくり返していては、ひとつも形が現れないおそれがある。そこで枠を切る。切った枠の中を散漫にでもずっと掘り返していれば、枠の中のどこかは深く掘り返されて、暖かみさえ帯びるだろう。
この枠の形が人にとってわかりやすいとそれは専門と呼ばれるが、世界には地脈が巡っているので、人には関連がわからない飛び地をいくつも持つこともできる。枠の切り方は人にはわからないほうがたのしいかもしれない。
]]>他に7冊か8冊、休眠状態のがあるけれども、あまり気にしない。
ところで、読んでいて頭を使うものがあまりないので、なにか仕入れようということで、刹那的瞬発力のために確率論パズルみたいのを、もうちょっと息の長い演繹を追うためにGeneral Topologyの教科書を、それぞれ買った。
]]>北海道の定山渓というところでPPLという学会が終わって、新千歳空港でそろそろ手荷物検査を受けようかというところで揺れを感じ、なにか落ちてこないかと天井を見上げていた。新千歳空港のテレビで、津波の映像を見た。羽田行きの飛行機は遅れたが飛んだ。
羽田空港、出られなくなった人々で混雑。コンビニの前に警官がいて入店制限をしていた。自分は歩いて外に出ることにした。天空橋を渡って鎌田に向かう途中のコンビニで、おにぎりやパンや弁当など食事になりそうなもの一切が売り切れていたが、アイスクリームはたくさん残っていたので、それを二つ買って、食べながら鎌田のほうへ歩きつづけた。居酒屋やラーメン屋が営業していて、そこで夜を過ごそうかとも思ったが、鎌田駅まであるいてみた。途中、都心から来て多摩川を渡ろうとする行進に出会った。東急鎌田から列車が動くというので、乗ってみたら、乗り継いで実家の近くまで行けたので、歩いて帰った。
2011年3月
]]>北海道の定山渓というところでPPLという学会が終わって、新千歳空港でそろそろ手荷物検査を受けようかというところで揺れを感じ、なにか落ちてこないかと天井を見上げていた。新千歳空港のテレビで、津波の映像を見]]>
Wine sausageという、柔弱なソーセージを食べた。ぐるぐる渦を巻いて楊枝で止められていた。ふにゃふにゃしていて、おいしかった。
トマトスープを食べた。クリームたっぷりで、おいしかった。
ニョッキを食べた。ニンニクが効いて、おいしかった。
豚スネ肉の煮込みを食べた。学校給食みたいな器で出てきた。脂身が健康に悪そうだった(私は脂肪が余っている)が、おいしかった。
鴨のconfitを食べた。一緒に出てきた、じゃが芋の餅みたいなものが、おいしかった。
麻婆豆腐を食べた。山椒が効いて、おいしかった。
Tom’s burgerというのを食べた。たれの味と卵と肉が調和して、おいしかった。
Wine sausageという、柔弱なソーセージを食べた。ぐるぐる渦を巻いて楊枝で止められていた。ふにゃふにゃしていて、おいしかった。
トマトスープを食べた。クリームたっぷりで、おいしかっ]]>
数日前の東京とボストン（シアトル含む）の比較をみて、アメリカとヨーロッパはだいぶ違うのだなあ、とおもったので、そのあたりのことを書いてみましょう。
このまえ、歯のつめものがとれたので歯医者に行ったら、詰め物をしてくれました。健康保険証を見せただけで、支払いをしないですみました(ただし、詰め物の色を白にしたい場合は、追加の支払いが必要だったようです)。大学の学費も無料だそうです。
EU Blue Cardという制度があって、IT-skilled workerで年収がいくらか以上の雇用契約がある人には、ビザがおりるようです。ビザの抽選はきいたことがありません。
チップは払ってもよいが、べつに特別なことをしてもらったわけではない場合にチップを払わないのは普通のことのようです。
ドレスデン限定のことですが、路面電車が充実しています。自分は家から職場まで歩いています。
自分のところはオープンオフィスですが、ふつうは三人一部屋くらいの小さい部屋らしいです。
みんな、ちゃんと帰ります。同じ会社に、自宅で働いている人もけっこういます。インターネットごしに会議できてしまいます。ときどき顔は合わせます。
喫煙者はたいへん多いです。タバコの吸殻が大量にちらばっているところがあります。
労働市場の需給がどうなっているのか、いまいちよくわかっていません。自分は、特殊技能をもって入りこんだので、あまり参考にならないでしょう。ベルリンには起業している人がたくさんいるようですが、まだ、その界隈に出掛けていません。
仕事は英語でも、ドイツ語が話せないと困る場面がいろいろあります。勉強しながら、ややこしいことが起きないように慎重に暮らしています。
]]>ドレスデンの地理的描写はあまり出てこないのだが、そろそろドレスデンに半年も住んでいるので、ちょっとしたことで、どのへんの話だか見当がついてしまう。かぱこぽと馬車が進んでいたのは、我が家の前の道ではなかろうか。
]]>というような、さかしい行動ががたくさんでてきた。こういうことは、言われてみれば納得がいって、かしこいなあ、というくらいの話である。こういう、かしこいなあ、というくらいの話のよこに、少し間違えただけで、あるいは何も間違えていないのに、命を落とす人もたくさん出てくる。
ところで、著者はヨーロッパべったりで、ヨーロッパに啓蒙してもらいたい、というようなことを書いている。ロシアには批判的だ。強国に挟まれて、どちらにつくかで国が二分されると、個々人も自分がどちら派か決めると楽なのだろうか。
]]>日本語練習帳といふ文、率直自然に綴れば即ち中る。百千を知り一のみを書くやうなり。数多の人の苦楽を、直に聴き知れる人なるべし。富貴の極みを草頭の露と飲み下して浮遊する人なるべし。
日本の記事多し。暗然たる未来を見通す。
http://gamayauber1001.wordpress.com/2014/09/13/nomad17/
ときに生活の一端を覗かしむ。
http://gamayauber1001.wordpress.com/2014/04/30/living-in-obscurity/
これらの文は日本語界の風穴なれば、驚き疑ひ誹る者あり。嘘と決むる者あり、偽外人と呼ぶ者あり。日本への警鐘を賢しらに聴く者あれど、日本人の為す所変はらず、解釈改憲は成り韓国人への罵倒は続く。遂に呆れ果て「日本語人なんて心から嫌いになった」と述ぶるに至れり。宜なり。
]]>日本語練習帳といふ文、率直自然に綴れば即ち中る。百千を知り一のみを書くやうなり。数多の人]]>
きみは、れんしゅうがきらいだ。れんしゅうしないとうまくならないことが、きらいだ。どうしてうまくいかないのか、わからないのが、きにいらない。どうしてうまくいかないのかわからないのに、なんどもためすだけで、うまくいくのが、きにいらない。にんげんは、じぶんがどうしてなにができるか、あまりよくわからないようにできている。たくさんしっぱいするだけで、せつめいできなくても、しっぱいしなくなることがある。どうしてうまくいくのかわからなくて、ほんとうにうまくなんてしんじられなくても、やればすこしはうまくなる。
あとは、たのしくしているのが、だいじだ。たのしいふりは、しなくていい。
]]>君は、わかってしまえば単純なような話が好きなので、米谷先生の量子論の講義を眺めてよくわからないと思い、アイシャムの本を見てよくわからないと思い、そのままにしてしまったけれども、真面目な物性物理の人になる気はないのか、一度よく考えてみるといい。真面目と言ったのは、計算機と比べての話で、だいたい、電気を食べて熱を出している箱の中にいると、何かが保存するという気もしないし、どこに原則を求めるのかで意見が一致することもない。
君は、あるとき、立花隆事務所の本を運ぶ手伝いをして、書棚の夥しい昭和史の本を見て、北一輝とはどういう人であったのかなあと思ったが、そうしたら、その場でしゃがみこんででも、読んでみるとよかったと思う。
ところで君は、あるとき高校の数学の教師に何をするのか聞かれて、「研究者になるのかなああ」とか言って窓の外を見て、「いや、研究者じゃなくてもいいんだけれども」なんて言われていた。君の「なるのかなああ」は長く尾を引くのだけれども、君はうすうす気付いていて、君は北の窓から小金井の方を見ていたつもりだったが、つくばに行くことになった。そのあと外国に行くことになるのは、知らなかったであろう。
さて君は、USの大学には行かずに日本の大学に通っている。それで良かったのか悪かったのか、よくわからない。流行が激しい分野では、田舎で学問をやるのにも、思うままにじっくりやれるという長所がある。君はその後、ちょっとだけUSに行くけれど、極めて短期のお客さんだったので、どういうところなのか、あまり洞察が無い。もっと言うと、君は日本がどういうところであるのかについても、あまり洞察がなくて、おかげで土地をうつっても、どうにか暮らしてしまう。もちろん、初めて一人で出掛けた外国の、ダカールの空港を出て、炎天の下で途方に暮れることはあったが。
]]>int f(double x) {
testing();
}
int f(double x) {
https://yoichihirai.com/blog/enter_germany/
2014-05-31T07:18:57.000Z
2014-05-31T16:28:21.000Z
5月19日にドイツに入った。入国にあたって日本のパスポートを見せた。働くためにドイツに来たと伝えると、外人局に行かなくてはならないことを知っているか聞かれ、知っていると言ったら通してもらえた。税関で、赤の門に行って、持っている高い品の品名、買った場所、値段の一覧を見せたら、申告するのは正しいけれども、今回はドイツに引越しするということで、これらのものは自分で使うためのものであるから、まったく問題ないと言ってもらって通してもらった。
泊まった宿は、現地のrelocation agentが教えてくれたところで、そこに泊まっていれば住民登録できるという。宿に着いたのは20時ごろ。
5月20日の8時半にrelocation agentと宿のロビーで待ち合わせて、そのままWelcome Center Dresdenという場所で、住民登録等の面談。この面談は、relocation agentのひとが、ぎりぎりに空き枠を見つけて予約してくれたもの。いろいろと日本で準備してきた書類を見せたら、住民登録してもらえて、仮の就労許可証も出してもらえた。翌日から働けるとのこと。ただし、学位の証明書をドイツ語に訳して持っていくという条件と、健康保険の加入証明を持っていくという条件をつけられた。
宿に戻って、健康保険の人と面談(これもrelocation agentの人に予約してもらった)し、加入する旨の書類にサインした。
5月21日の午前に、銀行まで行って銀行の人と面談(これもrelocation agentの人に予約してもらった)して口座を開いた。のちに、いろいろな番号やカードが郵便で届いた。その足で携帯を買おうとしたら、月賦払いの承認が下りないとかで、面倒なことを言われたのでprepaidの携帯を買った。仮の就労許可はあったので、そのまま仕事に行った。
]]>
5月19日にドイツに入った。入国にあたって日本のパスポートを見せた。働くためにドイツに来たと伝えると、外人局に行かなくてはならないことを知っているか聞かれ、知っていると言ったら通してもらえた。税関で、赤の門に行って、持っている高い品の品名、買った場所、値段の一覧を見せたら、]]>
まず、証明士という職業を作りたいとか言っていたら、既にformal method engineerという職名で募集をかけられて、どうもやることがまともそうなので、負けを認めて軍門に下る。
ドレスデンには路面電車がある。ドレスデンの路面電車は編成も長くて、路線もたくさんある。人口50万人程度の都市なのに、総延長130kmもの路線があるのだ。路面電車で暮らせてしまう。階段を上り下りしなくていいぶん、大都市の鉄道よりも楽かも知れない。ちなみに運転免許は取ったけれども、間違いが多めの人間なので、できる限り自動車の運転は避けたい。
ドイツで暮らした日本人の本をみると、わりと自分には暮らしやすそうな気がする。理屈っぽい、たいへんよろしい。個人をやらないといけないのは、まあ練習だと思おう。
自分が書いたものをみていると、どうも、2012年の春ごろに、将来のことをながなが考えていたようすがある。たとえば、立花隆がどこかの本で、ジャーナリストとしての活動方法として、みはらしがいいところに立っておもしろそうなところを見つけたら寄っていって掘るということを繰り返すのだという趣旨のことを書いていたのを思いだしていた。みはらしのいいところに行ったら今度は面白そうなところに飛びつくぞと思っていた節がある。
それから、2012年5月1日に、このように書いている。「日本のふつうの人が海外にほいほい出かけられる時代というのは、あと何年もつかわからんが、案外すぐに終わってしまうものであろうという気がしておるので、どっか外に根を下ろすのもよかろう」。当時の気持ちを思いだすとだいぶ真面目に書いたようだが、今となっては、いるべきところの決め方がこう大雑把ではいけなくて、もっと局所的にどういう人となにをするのか見ないといけないと思う。ただし、日本がどうのとかいう話を気にするときに、動きまわれるようにしておくのは一つの作戦だ。
やはり同じような時期に、「人生から情報量をたくさん取り出すには先が見えないことをするといい」と書いた。これに従うのは、いまでは、どうかと思う。つまり、いろとりどりの不幸につっこんでいくよりも、単調な幸福のほうがよい。ホワイトノイズに浸るのが一番いいかというと、それも違う(ホワイトノイズの各試行の違いが分かって感興を覚える人なら、いいのかもしれないけど)。毎日びっくりするのが望みかというと、それは違う気がする。このへんは、もっと考えてから、また別に書こう。
Ellery Queenの推理小説を一階述語論理式に書き起こそうとして時間をつぶしていた変な小学生が長じて、演繹して暮らしたい、記号列が動くなんて楽しい時代だ、ソフトウェアについて演繹して暮らすのだ、と、わがままを言い出し、このわがままが叶う世の中になるとするとどんな具合に進むのかなあと考えて、それに沿って進んでみている。
まず、証明士という職業を作りたいとか言ってい]]>
話の筋はともかく、出てくる技術がときどき面白い。訴訟を自動化して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
この本は「ありそでなさそでやっぱりあるもの」を扱う。あるとかないとかの話をするなら、あるというのがどういうことか決めないと、話をすすめづらい。この本で、せっかく情報量の話を書くなら、どうしてこう言わなかったのだろう：情報量が大きいことが起きたらなにかあったということで、たとえば静寂に小さな音がするだけでなにかある感じがするのはそのためである。
戸田山氏は「私は唯物論者である」と言ってから、意味とか機能とか「人生にとって大切な『存在もどき』」を物理的ものだらけの世界に煎じ詰めようとする。まず問題がわからない。意味とか機能とかを「存在もどき」と「もどき」をつけて呼びたくなる気分がわからない。機能というのがうまくいきそうもないことがうまくいくことなら、もともとうまくいきそうもなかったほどに情報量が大きくて、なにかあるということになる。また方法が気に入らない。起源を論じて煎じ詰める方法は姑息であると思う。昔の世界がいまより簡単だったらたまたま使える論法で、筋がわるい。
この本は、最終的には自由や道徳の話をする。道徳の話は集団維持の話だから、進化で説明するのもいい。しかし自由については、せっかく情報量の話を書くなら、どうしてこう言わなかったのだろう：自由とは、自分がなにをしそうか、周囲の予想よりずっとよくわかっていることだと。ついでに、自分というのは世界の中でどうなるのかの予想がつきやすい一角だと。
あとがきに「哲学はすべてを一枚の絵に描き込むことを目的とする営み」とある。これはやったほうがいい。でも話は簡単なほうがいい。シャノンの情報理論に目をつけたなら、もっと大胆に使ったほうが話が簡単になったのではないか。
]]>この本は「ありそでなさそでや]]>
昨日まで、産総研の人だということで、いろいろな人に呼んでいただいたり来ていただいたり面白かった。不満がないのに辞める人は初めてだ、と呆れられてもいる。しかし、ドレスデンでの仕事がたいへん気になったので行ってしまう。
]]>昨日まで、産総研の人だということで、いろいろな人に呼んでいただいたり来ていただいた]]>