対話型証明系(たいわがたしょうめいけい、英: Interactive proof system)は、2者間のメッセージ交換によって計算をモデル化した計算模型であり、計算複雑性理論で使われる。2者とは、検証者と証明者と呼ばれ、与えられた文字列がある形式言語に属するか否かをメッセージのやり取りによって決定するものである。証明者は無限の計算資源を持つ全能の計算能力を持つが、検証者の方は限定的な計算能力を持つ。メッセージのやり取りは、検証者が証明者による証明に納得して正しいと判断するまで続けられる。 対話型証明系は、必ず次のような2つの要求に従う。 完全性: 文が真である場合、プロトコルに正しく従う検証者は、プロトコルに正しく従う証明者の証明に納得する。 健全性: 文が偽である場合、証明者がプロトコルに正しく従うかどうかに関わらず、プロトコルに正しく従う検証者は証明者の(真であるという)証明には従
Twitterを始めました。https://twitter.com/huckleberry2008これまでTwitterの悪口をさんざん書いてきたけれど、Twitterからはうんともすんとも反応がなかったので、とりあえず自分で始めてみてTwitterの感触を確かめることにしました。そのために半年間ROMしました。といっても、Twitterを始めたのは村上隆さんの『芸術闘争論』を読んだからだ。ぼくはこれにかなりインスパイアされた。例えばこの本にはこういう言葉がある。自分の手に持っている職で金を儲けるには種も仕掛けもない。自分の持つ正義への忠誠心に忠実に生き、こつこつとモノを創造し、社会に問い、そしてその問いかけに対しての評価が下る。良い時も悪い時も、自分の正義に忠実であってそれが社会から信用を勝ち得た瞬間しか儲けを手に入れることはできません。あるいはこんな言葉も。 芸術家の勝ちは死後、作品に
いちばんメタな視点にたった子一等賞みたいな「はてな」「はてブ」とかも、あの遊び何年続けるんだろうと思ってたらどうやら一生卒業する気ないんじゃないかな
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く