2021-07-18

anond:20210718103715

たとえば、RSA暗号理論計算機の有限時間内の演算が難しいという特性を使っているわけじゃん。つまり暗号化されたものは確実に復号できるという特性を持ち、かつ有限時間以内に割り切れる可能性がほぼ無い」という特性を持つことは数学的にも正しく、計算機科学でも成り立つ事実じゃん。SHA-1ハッシュ暗号として脆弱なのは、異なるファイルで同じハッシュ値を作れることが PoC されたことであって、数学的に脆弱性が解読されたわけじゃないだろ?もし、数学的にこの脆弱性がわかっていたら、もっと早い段階でハッシュの衝突が起きていたと思うのだが、違うのかい?一応は SHA-1 で衝突が起こることは数学的に予期されていたが、これだけハッシュ破りに時間がかかったのだから有用性はあったとはおもうけどね。

記事への反応 -
  • 確かにいま主流の計算機が「ノイマン式コンピューター」なのだけどさ、チューリングマシンには記載できていない問題があることを知ろうよ。例えばさ、チューリングマシンが事実で...

    • 賢いふりするのやめなよ。数学的には解決可能だけど、チューリングマシンでは解決不可能な問題なんて提示できないでしょ?

      • たとえば、RSAの暗号理論は計算機の有限時間内の演算が難しいという特性を使っているわけじゃん。つまり「暗号化されたものは確実に復号できるという特性を持ち、かつ有限時間以内...

    • 数学語ってるのに字下げ増田じゃないだと?

    • 人工知能を作ろうとする場合には、統計学的な手法や、脳の仕組みを真似たものと色々あるわけだけど、究極的にはアセンブリで動くものになるのだったら、計算機の特性による歪みが...

      • つまり、その歪みをエミュレートしないと汎用人工知能は無理なんじゃね?

        • なんで?

          • なんというか、これって人工知能っぽいみたいな雰囲気を受けそうな AI を信頼できる?

            • お前はその辺の人間の頭の中が本当に「知能」なのか自信を持って判定できるのか?

              • 逆に聞くけど、質問を質問で返すのは詭弁のガイドラインに抵触するのは承知の上で、貴方は「計算機が実数を扱っているという前提が間違っている」のを知っているのか?たとえば、...

                • 浮動小数点演算の誤差がカオス理論を生んだということ? 知らんけど

                  • https://ja.wikipedia.org/wiki/%E3%82%A8%E3%83%89%E3%83%AF%E3%83%BC%E3%83%89%E3%83%BB%E3%83%AD%E3%83%BC%E3%83%AC%E3%83%B3%E3%83%84 Wikipedia で引用すると、 計算結果の検証のため同一のデータを初期値として複数回のシ...

                    • 求める精度がすべてでは デカイ値が必要なときに下の桁の正確な値なんかどうでもいいことのほうが多いし

                      • デカイ値が必要なときに下の桁の正確な値なんかどうでもいいことのほうが多いし そこだ。その下の数値が、十進数から二進数に切り替わるときにゴーストが生まれる。二進法になっ...

                • 逆に聞くけど、質問を質問で返すのは詭弁のガイドラインに抵触するのは承知の上で、貴方は「計算機が実数を扱っているという前提が間違っている」のを知っているのか? 逆に何で...

                  • 数学における定義なんか知らねーよ。オレは計算機で扱う数値と数学の数値には齟齬があって、その差は埋められないと思っているだけだ。数学者が間違って計算機を使って、現実と一...

                  • 数学という学問は「反例があったら、仮説を否定できる」という学問なんだよな?だったら、数学的な問題を計算機で処理できなければ「計算機科学=数学」を否定できるのだろ?なら、...

                    • WolframAlphaで④の式を計算させたら0が出力されたぞ。 https://ja.wolframalpha.com/input/?i=x%E3%81%8C%E7%84%A1%E9%99%90%E5%A4%A7%E3%81%AB%E8%BF%91%E4%BB%98%E3%81%8F%E3%81%A8%E3%81%8D%E3%81%AE+%28x%5E2%29%2F2%5Ex%E3%81%AE%E6%A5%B5%E9%...

                      • えっ、たしかに不定形になるけど、俺が間違ってるの? lim(n→∞)n^2 / 2 ^ n は 0 に収束するのじゃないの?

    • だから量子コンピューターでセールスマン問題を一発でとけるようにしようとしてるんじゃん

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん