スノーグローブとゲーデルとマトリックス - hiroki_f’s diary
眠い‥*1 映画マトリックスは好きな映画の一つだ。 主人公ネオの生きていた世界は実はコンピューターの中だったという話。 ネオは飴玉をなめて、コンピューターの外の世界に出ることができた。コンピューターの外部の世界を出ることに成功したネオは、マトリックスの物理法則をチートして、マトリックスの世界で超能力者になる。 第二部以降で、ネオは現実世界にもチートをして、超能力者になる。えっと、それは単にVMから出ただけで、まだコンピューターの世界にいたってことなのかな？ ネオの存在までマトリックスでは織り込まれていた感じだったし。 これって、スノーグローブだよね。 昨日のラムダ計算のセミナーは面白かった。 あっ、言い忘れていた：なんで停止性なのか？ - 檜山正幸のキマイラ飼育記 ゲーデルの論文のほとんどは 1.できる演算の定義 2.命題を数字にすることができる。 に費やされていて、その解説が終わったら、
Usability of Stronger Authentication Options - Internet Identity Research
In many cases, websites would like to authenticate their users with something in addition to (or instead of) a password. This can be done as a method to prevent phishing, but also to reduce the chance of someone manually hacking into a user's account. However the usability of some approaches in this area are poor. This document attempts to describe how usability and portability can be improved
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
openIDって実は「ゼロ知識証明」？ | | プログラマ2.0日報 | あすなろBLOG
