by Si1very 何かを証明したい人が「自分はある事柄を知っている」という事実を、他人に対して「知っている」という事実以外の知識を与えることなく証明する技術が「ゼロ知識証明」です。ゼロ知識証明の例えとして挙げられるのがウォーリーをさがせ！で、具体的には「ウォーリーを見つけた際に、ウォーリーの場所を明かさずに見つけたことだけを証明する」というもの。そんなゼロ知識証明をはじめとする、さまざまな数学上の問題や定理などを直感的に理解できるゲームが公開されています。 rahulilango.com/coloring/ https://www.rahulilango.com/coloring/ 上記URLにアクセスすると、紫色で塗られたイギリスおよびアイルランドの地図が表示されます。この地図を、「隣接する2つの地域が同じ色にならないように色分けしてください」というのが最初の問題です。 地図をクリッ

20日夕方、東京・永田町の国会議事堂近くの道路で、乗用車が歩行者の男性をはねたあと逃走し、男性は病院に搬送されましたが、死亡しました。逃走したのは財務省の公用車で、警視庁は運転していた会社員をひき逃げなどの疑いで逮捕し、詳しい状況を調べています。 20日午後6時前、東京・永田町の国会議事堂近くで乗用車が横断歩道を歩いていた男性をはねたあとそのまま走り去りましたが、およそ200メートル先で別の車と接触し、横転しました。 はねられたのは新宿区の団体職員、大野泰弘さん（67）で、病院に搬送されましたが、およそ3時間後に死亡しました。 横転したのは財務省の公用車で、警視庁は、運転手をひき逃げなどの疑いでその場で逮捕しました。 逮捕されたのは、財務省が公用車の運転を委託している会社に勤務する濃畑宣秀容疑者（55）で、調べに対し「パニックになった」と供述しているということです。 警視庁が逃走したいきさ

江崎グリコは4月3日に基幹システムの切り替え作業時にトラブルが発生し、物流センターにおける出荷データなどに不具合が生じた。同社製品のほか、江崎グリコが販売を請け負うキリンビバレッジの「トロピカーナ」なども出荷停止を余儀なくされている。障害発生から2カ月以上たってなお、主力商品の出荷を再開できない深刻な事態だ。 ユニ・チャームでも5月上旬に基幹システムを更新した後にトラブルが起こった。大規模な混乱にはならなかったが、公式通販サイトでは6月中旬時点で、紙おむつなどの到着に1週間～10日ほどかかる状況だ。ユニ・チャーム上席執行役員の上田健次ESG本部長はこの遅れについて、「小売店向けの出荷を優先して正常化させたため」と説明する。 3社のトラブルはともに基幹システムの障害を発端としたものだが、今後同様のトラブル事例が増える可能性は高い。日本独特の商習慣など複数の原因が絡み合い、システム刷新を難しく

「週刊新潮」の発売前日に速報が届く！ メールマガジン登録 デイリー新潮とは？ 広告掲載について お問い合わせ 著作権・リンクについて ご購入について 免責事項 プライバシーポリシー データポリシー 運営：株式会社新潮社 Copyright © SHINCHOSHA All Rights Reserved. すべての画像・データについて無断転用・無断転載を禁じます。