2021-07-17

いい加減みんな気がつけよ「数学プログラミング」だと

かにいま主流の計算機が「ノイマンコンピューターなのだけどさ、チューリングマシンには記載できていない問題があることを知ろうよ。例えばさ、チューリングマシン事実であるとしても、そこには CPU周波数が原因となる時差が生じることによるラグがあって、そのことを感覚的に知覚してないとコードできない事例もあるのを知るべきだと思うよ。人工知能を作ろうとする場合には、統計学的手法や、脳の仕組みを真似たものと色々あるわけだけど、究極的にはアセンブリで動くものになるのだったら、計算機特性による歪みが反映されるはずではないのかい?今の人工知能は半精度を多用する場合が多いけど、二進法と十進法の変換ミスによる理想現実乖離無視できるのかい?本当に我々の思考は「数学的なもの」で成り立っているのかい?もしそうだったら、どうして我々は計算ミスをするのだい?僕は不思議に思います。だから、数式と計算機は別物だと考えておくべきで、計算機科学も物理学と同じで「己の正しさを示すだめだけに数学を使う」学問で良いのじゃないでしょうか。

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

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

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

      • なんで?

        • なんというか、これって人工知能っぽいみたいな雰囲気を受けそうな 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 に収束するのじゃないの?

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

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

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

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

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