ウォーリーの位置を明かさずウォーリーを見つけたことを証明する「ゼロ知識証明」を説明するための地図塗り分けゲームが登場
by Si1very 何かを証明したい人が「自分はある事柄を知っている」という事実を、他人に対して「知っている」という事実以外の知識を与えることなく証明する技術が「ゼロ知識証明」です。ゼロ知識証明の例えとして挙げられるのがウォーリーをさがせ！で、具体的には「ウォーリーを見つけた際に、ウォーリーの場所を明かさずに見つけたことだけを証明する」というもの。そんなゼロ知識証明をはじめとする、さまざまな数学上の問題や定理などを直感的に理解できるゲームが公開されています。 rahulilango.com/coloring/ https://www.rahulilango.com/coloring/ 上記URLにアクセスすると、紫色で塗られたイギリスおよびアイルランドの地図が表示されます。この地図を、「隣接する2つの地域が同じ色にならないように色分けしてください」というのが最初の問題です。 地図をクリッ
P-versus-NP page
The P-versus-NP page This page collects links around papers that try to settle the "P versus NP" question (in either way). Here are some links that explain/discuss this question: A clear formulation of the "P versus NP" question by Stephen Cook. Mathworld's page on "P versus NP" The Wikipedia page on "P versus NP" Michael Sipser has a survey paper on "The History and Status of the P versus NP ques
Connected-component labeling - Wikipedia
Connected-component labeling (CCL), connected-component analysis (CCA), blob extraction, region labeling, blob discovery, or region extraction is an algorithmic application of graph theory, where subsets of connected components are uniquely labeled based on a given heuristic. Connected-component labeling is not to be confused with segmentation. Connected-component labeling is used in computer visi
大きい数を作る - さすけの日記
しばらく前に Twitter で流れた問題。 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 2.0の10個と + - × ÷ ( )を使って大きい数を作れ 数字の利用は各一回ずつ、順番は自由、べき乗は禁止。 出題者は[twitter:@fufufukawa]さん、広めたのは[twitter:@s01]さん。 @s01さんの解説がこことここに、[twitter:@xhl]さんがメモリ40GBを使って近似解を求めたプログラムの解説がここにある。 以下ネタばれ注意。 人力で解く場合の考え方 というか、僕が考えたことのログ。 大きくするならとりあえず全部掛けておけばいいんじゃね、という考えを0.5秒で却下し、2未満の数では掛け算より足し算の方が強いことに気がつくよりも前に、1.2-1.1=0.1 で割るのが強力なことに気がつく。これで 39,000 が作れる。（僕は足し算
Rubyist Magazine - 0006-Ruby Library Report - 数値計算と可視化
『るびま』は、Ruby に関する技術記事はもちろんのこと、Rubyist へのインタビューやエッセイ、その他をお届けするウェブ雑誌です。 Rubyist Magazine について 『Rubyist Magazine』、略して『るびま』は、日本 Ruby の会の有志による Rubyist の Rubyist による、Rubyist とそうでない人のためのウェブ雑誌です。 最新号 Rubyist Magazine 0058 号 バックナンバー Rubyist Magazine 0058 号 RubyKaigi 2018 直前特集号 Rubyist Magazine 0057 号 RubyKaigi 2017 直前特集号 Rubyist Magazine 0056 号 Rubyist Magazine 0055 号 Rubyist Magazine 0054 号 東京 Ruby 会議 11 直
わんこら日記 わんこら式数学の勉強法(受験生、小学生から中学生、高校生、大学生、社会人まで通用)
今からわんこらの数学の勉強法を聞いてもらいます。うへ～。 １、定義、定理、解き方を覚える ２、無理やりページを進める ３、解き方をノートに写す ４、高速で繰り返す ５、適当にやれば次へ！ ６、出来ることをやる ○、覚醒モードに入る わんこら式数学の勉強法の実践動画(最新版) →わんこらメルマガ サンプル号も読んでください noteでの購読は→こちら １、定義、定理、解き方を覚える 数学は定義や定理、解き方まで何でも覚えまくってください。 あれはまだ短パンでママと手を繋いでお出かけしてたまだ純粋な頃やった。 僕は九九を覚えずにまともに計算してました。 それでドリルの真ん中辺りで ぶほー！ って血吐いて倒れてました。 それから学校で九九を強制的に覚えさせられたら簡単に出来るようになりました。 これはもう明らかに暗記が必要ですね。 ○難しい証明も定義や定理がスラスラ出るくらいじゃないと中々理解で
はてなブログ | 無料ブログを作成しよう
長いつぶやき 小説を書こうとできない理由が、少しずつ分かってきた。どこかに異化の力を宿したものを書きたいと、ずっと思ってきたが、そういう風に現実観を揺るがせるものに対してーー特にフィクションとしてそういうものを作ることに対してーーの不安が強まってしまっているのだ…
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The Chalk Market: Where Mathematicians Go to Get the Good Stuff - Cal Alumni Association
やたらすごい素数 - INTEGERS
まさかのNP困難？「九九って36種類しか数がないの不思議だよな」から始まる数学談義