(実はここはわからなくはない。思うのだが、本当にそういう読み方で合っているのかなぁ)というわけで、漸化式と単なる関数をごたまぜにして読んでいるようでもあり、つまるところはこのあたりをまじめに勉強しなかったうえに忘れきっているのでさっぱりわからない。考えれば考えるほどむしろわからなくなる状態です。よろしければ、教えてください、よろしくお願いします。[どうもありがとうございます。T(1)=0として、k=1からと置くと納得がいきます。[上に追記:S(k)=kcに合わせて、T(1)=cになっていた(正誤表)。他山の石わからないってことの一端には、自信がないってことが、確実にあるなぁ。考えても自明なミスでも、読者によっては、それが間違いらしいとは思えても、自信がないだけに自分が間違えてる可能性を捨てきれず、結局そこで足踏みするってことだ。言葉遊びキリスト教に帰依した人を、キリスト者と呼ぶ。幸福の科学に帰依した人は、幸福の科学者だろう。幸福な科学者は想像しやすいが、幸福の科学者という言葉は違和感がある。「幸福の」という活用は特異だからだ。考えるとオスカーワイルドが出てくる。綾子)幸福の王子は、渡りに乗り遅れたツバメを使って自ら身ぐるみ剥いでボロボロになって溶かされてしまう王子の物語であった。幸福の科学者も自ら身ぐるみ剥いでボロボロに溶かされてしまうのだろうか。実に「の」は恐ろしい。元の宗教に帰依した人の呼び方を離れると、幸福の科学者ってのは確かに存在することに気付く。テスラはその筆頭だろう。豊雄)自らを剥ぐといえば、こんな本があって、ずいぶん面白かった。あゆみ)文字通り身ぐるみ剥がされて(受動的)溶かされた女性科学者もいた。[DVD]溶かしたのはキリスト者なので円環が閉じる。佐川くんの手紙ぽっぺん日記を開くと予想外の絵が出ていてびっくりする。ラノベ(なんかアッカンベーみたいな言葉だ)とか読まない人っぽいのだが。本文を読むと、なんとビジネス書みたいだ。なんと楽しい時代になったんだろう。悠/冨士原良)今のところ技術書分野とビジネス書分野(ドラッカーのやつが先鞭をつけたってことかな)が、この道を突っ走っているわけだが、それは技術者と経営者は当然、時代の流れに過敏だからだ。いうことは、そろそろ海舟萌えとか、後醍醐萌えとかの偉人伝(前者はそう思わなくもないが、後者はむしろ怪人かも)や、五輪書萌えとか花伝書萌えとかの日本の思想書とか、パスカル萌えとかモンテスキュー萌えのような海外思想研究書とか、エチオピア萌えとかモルディブ萌えみたいな観光書とか、子育て萌え(もうありそうな気がする)とか、絵本のジャンルも再翻訳された機関車トーマス萌えとか、小さなお家萌えとかの絵本とか、今日の料理萌えとか、天然酵母でおいしいパン萌えといった料理分野、さらには高慢と偏見萌えとかトニオクレゲール萌えのような翻訳文学まで、本屋中が、このての表紙で埋め尽くされる日も近そうで、わくわくする。なると、電子書籍なんか本物の本ではございませぬ、みたいな寝言をたれている人たちが、なんとなく本当の本屋から足が遠のいて電子書籍のほうを買うようになったりして市場が混乱するとおもしろいなぁ。良く、Webページにfacebookのいいねボタンが付いていて、おれは、あれを押したくて押したくてしょうがなくて、ついに押してみたわけだ。するとログインしろと出てくるので、ふむふむとメールアドレスとパスワードを入れて「ログイン」をクリックする。すると「表示された言葉を入力してください。」とキャプチャの存在を匂わせる香ばしいメッセージが表示される。良いのだが、一体、どこに何を入力すれば良いのだろうか?でも、facebookのタイムラインを眺めていると、「いいねしました」みたいなエントリーを見かけるので、おれ以外の人たちは表示された言葉を入力できているのだろう。キャプチャはおれには無理っぽい。黒い社員それにしても、同じ佐川でも黒い本と萌え本の落差がすごい。寛)その秘密は黒い本に書かれているっぽい。半分他人のおれ子供が本当の赤ん坊をちょっと越えたくらいの頃(まだ乳児ではある)、こんなことがあった。夏を控えて(ということで思い出したが、つまり11か月目くらいだな)散髪に行って髪の毛をばっさり切ってきた。忙しくてずーっと伸ばしっぱなしだったから、ほとんど刈り上げが入ったおれを見るのは、多分、はじめてのことだろう(ほとんど見えてないような頃は別として)。いつものように、食卓につくと、子供がひきつった顔をして、おれを避ける避ける。(いや、正確にはおびえきった顔をしておれを見ているという感じだった)ははー、髪を切ったから見知らぬ他人と思ったんだなぁとかその時は思ったわけだが(妻が、ほらほら、いつものやつでしょ、みたいなフォローをしてくれても、とにかくおびえていたのはわかった)、それにしても、ちょっと妙な気はした。人懐こい小僧ではないが、だが、そこまで人見知りというわけでもないからだ。両親が来たとか、保険所のおばさんが来たとかでも、あそこまでおびえた様子はなかった。-赤ちゃんが示す「不気味の谷」現象を発見-だ。これはすげぇおもしろい。元の研究=1970年(というのを実はこれ読んで知ったくらい、不気味な谷現象というのは、おれは例のアバター以降のCGの文脈でしか知らなかったわけだが)に、こういう分野へ適用されるとは考えもしなかっただろうなぁ(そのくらい、モーフィングやビデオ合成の技術が進歩してるってことだけど)とか、実に奥が深いおもしろさに満ちている。これを読んで、ふと、上のことを思い出した。いうか、忘れられないくらいに、印象的だから当然、あてはめたくもなる。いうわけで、あの時のおれは、子供にとって不気味の谷から這い上がる半分父さんに見えたのかも知れないなぁ。[なるほど、不気味の谷はロボットに限った話ではなかったのですね。電子投票は難しいちょっと電子投票システムについて考えてみたが、おれの想像を超えて厄介なものだな、と気付いた。知らぬはおればかりなりということだ。東京とかで考えるからいい加減になるので、以下の条件で考えてみた。・プロバイダはCATV一社のみ。CATVということもあって、ほぼすべての市民はこの回線を利用している。・携帯回線(3G)はある。・システムは選挙管理委員管轄で、サーバールームは市役所にある。・市長選には、現職、対立の2者が優勢で、他に共産党と無農薬エコがそれぞれ立候補している。・現職市長の一派は地元の昔ながらの経済を牛耳っているので、店子とかは大家から、現職に投票したほうがいいですよ~とかそれとなく言われているので、ちょっと他の候補者に入れると知られたくはない状況。地場の企業に就職している人間は毎日演説会にまで動員させられている始末。ちなみにプロバイダのCATVは現職が10年前にてこいれして引っ張って来た会社で、現職市長の弟が社長をやっていたり。・対立候補は、地元の大手工場の労組が支えているので、工員たちは~君をよろしく、と毎日言われている状況。現職に投票したのがばれるとなんかいやんなことが起きそうな予感。工員はやたらと数がいて、市の半数弱を占めている。・最近の地元不況で、一部の商店主とかが対立候補に傾きつつあるという噂も流れている。商店会の会長は、裏切りものが出ないか毎日のように親睦会を開いて睨みをきかせている。・市内でシステムを構築できる技術を持つ企業は、大手工場に付属しているソフトハウスと、現職の甥が経営しているソフトハウス(基本的に市役所のシステム構築は数十年にわたってここが受託している)。・選挙人は全員1票を投票する権利を受けられる・選挙人は1票のみ投票でき、投票後は再投票はできない・どの候補者に誰が投票したかは絶対にわからない(あたりまえだ)・選挙人の数は1万弱程度(ちょっと多い気がするけどまあいいや)と想定する。・投票された1票は確実に選挙人の投票行動と一致する。(現職に投票したはずが、いつのまにか対立候補にカウントされるということはあり得ない)問題点まず政治的な合理性に基づいて考えると、現職が勝てばCATV会社を経由している点が怪しまれる。対立候補が勝てば、市役所内のサーバーチェックだの、CATV会社でのログチェックで、犯人捜しが行われるのも想像の範囲。いうか、投票システムの入札でどこが受託するかはやる前からわかっている。仮に予想が外れても大差がなかったり。いうわけで、どうすれば、そのシステムが公正なシステムと担保できるかが最初の問題。仮にそれが解決したとしても、これまでの紙の投票だと、さすがに1万枚弱の筆跡を分析したりするのは無理だと思っていた連中が、システム化されれば、誰がこの市に住むべきではないかとか、減給対象にできるかとかが、ばっちりわかるのではないかと期待している状態を、どう解決できるかが次の問題。選挙が匿名で行われるということ=誰が投票したかわからないのであれば、現職のほうが得票が多かったと発表すれば済むし(なぜなら誰が誰に投票したか調べられない)、逆に誰が誰に投票したかがわかるのであれば徹底的に社会的報復を食わせられるのでそれもまた良し、と期待にわくてか状態の人たちの期待をどのようにすれば、それが無理だとシステム的に理解させることが可能なシステムとできるかという問題である。・まず、そう考えてみると、電子投票システムは、暗号のアルゴリズムと同じで、公開システムでなければならないようだ、ということが想定できる。投票箱への投票行為と開票行為は完全なホワイトボックスシステムである必要がある。(受託して開発するようなものではなく、オフザシェルフでなければならない)・経路の安全は、内容の秘匿だけで不足で、アプリケーション層が内容を取り出した瞬間に経路情報から完全に分離する必要がある(デバッグが大変そうだ)。このIPアドレスから送られたメッセージというものと、この投票トークンというものを、後から再結合できないようにする必要がある。その一方で、その投票トークンが明白にシステム内で生成されたものではなく、外部由来のものだということが明らかでなければならない。すると、まずシステムそのものは、第3者機関が提供、設置するものでなければならない。最初の前提と変わるなぁ。ベリサインみたいな機関が必要なのだな。ISPはそうであれば単なる通過点となるため、内容さえ秘匿できていれば良い。誰が誰に得票したかは、本人確認が可能であれば良しとして(そうでなければ、その投票は私ではないと名乗ることに問題ない)考えると、個人と紐付けた投票トークン(これは公開)と、そのシステムを通して得られるハッシュ(これは秘密。本人は参照可能)とし、システムはハッシュと被投票人の紐付けペアを持てば良い。追記:投票時に生成する必要がある(おそらく投票時間をソルトとして付加することで、公開の投票トークンを知っていても再現できないものとしなければならない。投票トークンと投票先を送ると、ハッシュ(意味としては秘密の投票トークンだな)が返ってくるので投票人はそれをメモすることで自分の投票を後で検証可能とする、とすれば良いと思う)そのようになっていれば、最悪の状況として、開示が必要となれば、ハッシュとその投票先のリストを公開する。ハッシュは本人のみが知っているので自分の投票結果と一致するか、あるいは自分がリストされているかを確認できるということだ。自分の投票結果と一致しない、あるいはリストされていない、という状況が確認できればそこで文句を言える(と思うが、最初の前提から、対立候補に投じたはずの票が、なぜか現職に投じたことになっていても、公開の場で異を唱えられないということはあり得る。いうわけで、バグ以外の原因で投票行為を恣意的に操作することが考えにくい第3者機関がシステムを持つ必要があり、投票結果を左右するような有意な障害は起きないものとみなせなければならない。追記:これだと水増しされたリストが発表された場合に間違いを指摘できない。これも第3者機関なのでそのモチベーションが無いということで担保するしかないのかなぁ)。ここまでを確認すると、まず投票結果の集積所は第3者機関とし、投票トークンの発行は現在と同様にどこでも良く、ただしハッシュの生成と管理は同様に第3者機関が行うとすれば済む。(通信はSSLで良い)なんか、まだまだ電子投票が可能な民度に達していませんというように感じてしまうおれがいる。電子投票は考えれば考えるほど難しいね昨日は被選挙人側(システム側)の不正について考えてみたが、選挙人側の不正を考えるともっと厄介なことに気付く。ハガキに投票トークンが書いてあるものが送られてくることを想定する。いうことは、36桁のトークンジェネレータを利用して、次々とトークンを変えながら投票するプログラムを作られることにどう対応できるだろうか?同一IPアドレスからの異なるトークンを排除するとした場合は、家庭内で4人がそれぞれ異なるコンピュータから投票することを阻害する。大体の投票率は50%前後なのだから、約50%は早い者勝ちの草刈り場となり得るね(つまり、投票人による監視が必須)。後勝ちで有効票とするというのもだめだろう。朝早く投票して放っておいたら、別のやつが上書き投票できるということだからだ。いずれにしても、投票人による開票結果の検証は必須となる。紙と箱の選挙を考えたやつの頭の良さに舌を巻く。衆人環視の投票所で、ハガキと交換で紙を1枚、投票人に与える。投票人が箱に何十枚も事前に用意した紙を入れないように監視できる(監視している選挙管理人が信用できなければ、投票所にどちらの選挙陣営も第3者管理人を送って不正を見張らせることが可能だ)。箱を開けて紙の内容をカウントしていく作業も、基本公開だ(なので、双眼鏡を利用して開票所を監視して速報を打てる。これが重要だということがはじめて理解できた)。明らかにおかしいと考えられた場合、あらためてカウントすることもできないことではない。納得がいった時点で投票用紙は廃棄できる。電子投票システムは、投票時点の不正確認のためには、2種類のトークンが必要で、結局、投票人が秘密キーを事前にシステムに登録していなければならない。(投票時点で入力するのであれば、自動投票プログラムで代理投票が可能となるからだ)事前に登録した秘密キーは開票後の(投票システム側の)不正確認に利用できる(昨日は、このキーは、投票時に生成するハッシュで良いと考えていたが、それは投票人による不正には対応できない)。protocols)は途中から極端に難しくなる(証明をまったく読めていない。地の文で書いてあることは読めるけどわからない)のでどうしようもなくななめ読みになってしまうのだが、最初のあたりを読むと、既にいろいろ考案されて、課題が確立されているようだということがわかっておもしろかった。事前にキーを登録するような仕組みではなく、電子署名の利用が前提となっている(と読めた)。verifiability誰もが登録された選挙人の唯一の投票のみが選挙結果に反映されているかを確認できること紙と箱のシステムは、このうち1つめと3つめの検証可能性を自ずと備えている。protocols)としてあって(この論文の中では後続のプロトコルを採用している)、この分野で日本人(だと思うよな)が基盤を提供しているのか、となんとなく(まあ、民族的な自尊心みたいなものが無いわけではないので)嬉しかったりしたけど、後は続いてないのかな。githubのここが大嫌いgithubには、お世話になっているが、どうにも気に食わないところがある。したら、おれが知らないだけで、~すればいいだけじゃん、みたいなことも当然あるので、ここで不満点を書いてみる。何が気に食わないかと言えば、HTMLがまともに読めないことだ。理由があって、HTMLがレポジトリに入っているとするじゃん。それをブラウザーを使って(だって、githubだからね)読みたいとする。問屋がおろしてくれない。ファイル名をクリックすると、行番号つきのテキストとして表示される。きれいに色がついているが、styleで指定したcolorが反映されているわけじゃない。タグが紺色っぽい色、属性名名が緑青で、属性が赤になっているだけだ。構文を解釈して種類によって色わけしてあるだけだね。おれはHTMLのソースが読みたいんじゃないんだ。file」(もちろん違う)、Raw、Blame、Historyとあるから、そうだ、HTMLのRawってのは、つまりHTMLとして(レンダリングされて、というかcontent-typeがtext/htmlとして)読めるんじゃないかと期待して、クリックしてみる。これまたplain/textで返るだけで、行番号と構文の色付けがなくなるだけだから、まったく役に立たない。構文の色付けできているってことは、これがHTMLだということを認識しているはずなのだ。ところが、たかだか、content-typeをtext/htmlとして送り返すだけの機能が無い。スクリプトをgithubサイドで実行できないっていうような無茶振りとは思えないね。いうわけで、githubのHTMLの扱いは非常に不満だ。礼儀正しさ2.0だと認識しよう普通の人がネットワークを使い出して15年がたった。言っとくけど、パソコン通信とか、テレホ時代ってのは普通の人の世界じゃないぜ。いう題と枕で礼儀正しさ重要についてかこうと思ったがやめた。ありがとうございます。svnにはそういう柔軟性があるんですね(いつも使っているのに全然知らなかったです)。Githubのここが嫌いはここが間違いChromeはもちろん、IE9でさえ、RawでHTMLを読むとタグの羅列が戻ってきて読む気にならない(承前)。IE4あたりだったら、何も考えずにHTMLとしてレンダリングしてくれたのになぁと思いながら、ふと、iPadのSafariで見てみたら、ちゃんとレンダリングされて表示された。前回のエントリーの最後の段落は嘘だったようだ。