「プログラミングは数学であるべき」で海外勢が激論 4chan
姉妹サイトの新着
他サイトの新着
- 5chまとめMAP【社会】運転中にてんかんによる発作で車を暴走させ当時22歳の女性を死亡させたなど 危険運転致死傷の罪問われた女の裁判 検察側「懲役8年」求刑 女は「てんかんの発作が起きたわけではない」無罪主張
- ニュース速報まとめMAP「ママになって強くなった？」大坂なおみ、テニスを「副業」と呼び放った覚悟の裏側
- なんJ傑作まとめアンテナMAP寝ても寝ても疲れが取れんのやが
- アニメ声優まとめアンテナMAP【悲報】VTuberオリキャラメーカーが発表されるも大炎上！！ 誰でも手軽にVtuberになれるのに・・・
- VTuberまとめアンテナMAP【にじさんじ】同時視聴配信自体はVにそこまで負担大きくなくて楽な方なんやろけど、手放しで褒められない作品にぶつかってしまうと急に緊張感が生まれてしまう諸刃の剣やね
- だめぽアンテナ【画像】女の子「こんな恥ずかしい格好・・・許さないから💢」
- ヌルポあんてな富士山3776mに挑んだ19歳、9合目で吐き気＆歩行不能→救助隊出動
- 2chまとめアプリ+【危機】米国産ポテト解禁で『とんでもないリスク』が浮上してしまう・・・・
- News人「障碍者の娘が普通学級で冷遇されている」とメディアで訴えた女性タレント、だが目論見とは裏腹に視聴者の反応は……他
- ブルーアンテナ【朗報】泥酔女の工ロさは異常ｗｗｗｗｗｗｗｗｗｗｗ
- ウマーあんてな国際的な小咄 本当に泣ける
- 即まとch若者のカラオケ定番曲TOP4を平成ソングが独占 物心つく前のヒットがなぜ持ち歌に
- Ask Reddit まとめ海外「司書に頼んだら一週間後に本27冊と5ギガ分の資料を揃えてくれて、料金はゼロだった」払う価値のある出費とは？
- Red4 海外の反応まとめ【海外の反応】「日本を出る準備を始めた」永住権の要件厳格化と年収基準アップに在日外国人から失望と怒りの声
- 海外の反応ジャーナル「日本でラーメン業界が衰退しているのはなぜなのか？」海外の反応
- アニメ・漫画アンテナゲンガンアシュラって格闘漫画おもしろくね？
- ハゲリシャス速報【ハゲ速報】客のクレカで化粧品購入した慶応大学4年女子大学生の頭皮がハゲすぎてヤバいｗｗｗ
- 憂国あんてな|●|【ナフサ不足問題】目詰まりを解消を確認 相談件数は激減で供給不安は収束「詰む専門家とカルビーの自爆で終わる」
- ライムアンテナ【Wowsl】「なんだこのイカれた主砲の配置ィ！？スターウォーズでも観ながら設計したんかWG！？」
- とろたまヘッドライン【悲報】フランス人「日本人は挨拶せずに店入るのやめろ…マナー守れよ！」
海外掲示板4chanの/g/(Technology)板に、「プログラミングは厳密に数学的であるべきだ」という主張への賛否を問う投稿が立ち、レスが伸びていた。返信ではOOP(オブジェクト指向)は数学的と言えるのか、証明指向プログラミングやアセンブリへの回帰は現実的かといった論点で意見が割れ、最終的には「そもそも数学に『状態』という概念は存在するのか」というかなり根本的な話にまで発展した。
ちなみに俺はFireship(YouTubeの解説チャンネル)を見てるだけのノーコード勢な
そう。プログラミングは厳密に数学的であるべきだ。
>>4
そんなことは一度もなかった。プログラミングは昔から数学からの抽象化でしかない。
そんなことは一度もなかった。プログラミングは昔から数学からの抽象化でしかない。
>>4
それな。大規模なプログラムの正しさを検証する方法はOOP(ダメ)と証明指向プログラミング(良い)しかない。後者はAIによる自動証明のおかげでじわじわ主流になっていくはずだ。
それな。大規模なプログラムの正しさを検証する方法はOOP(ダメ)と証明指向プログラミング(良い)しかない。後者はAIによる自動証明のおかげでじわじわ主流になっていくはずだ。
>>4
オブジェクトのどこが数学的じゃないんだ?数学だって色んなものをまとめて新しい定義にパッケージ化するのが大好きだろ。同じことじゃないか。
オブジェクトのどこが数学的じゃないんだ?数学だって色んなものをまとめて新しい定義にパッケージ化するのが大好きだろ。同じことじゃないか。
>>1
最近はCodexに作らせるだけだから、どんなプログラミングパラダイムを選ぼうと関係ない。もう何年もスーパークラスなんて見てない。
最近はCodexに作らせるだけだから、どんなプログラミングパラダイムを選ぼうと関係ない。もう何年もスーパークラスなんて見てない。
>>1
いや、どのプログラミング言語もそれぞれ得意な用途があるツールでしかない。オレンジとリンゴどっちが優れてるかで揉めてるようなものだ。
いや、どのプログラミング言語もそれぞれ得意な用途があるツールでしかない。オレンジとリンゴどっちが優れてるかで揉めてるようなものだ。
>>4
プログラミングはアセンブリから離れるべきじゃなかった。
プログラミングはアセンブリから離れるべきじゃなかった。
>>1
OOPは理論上は良いものだよ。
OOPは理論上は良いものだよ。
>>1
彼が正しいかどうかは知らないが、一つ確かなのは、彼は史上最も過大評価されているコンピュータ科学者の一人だということ。2位はドナルド・クヌースだな。
彼が正しいかどうかは知らないが、一つ確かなのは、彼は史上最も過大評価されているコンピュータ科学者の一人だということ。2位はドナルド・クヌースだな。
>>12
証明指向プログラミングね、はいはい。でもまずそれを何とかしてくれ、今使える手法は笑えるくらい酷いから。
証明指向プログラミングね、はいはい。でもまずそれを何とかしてくれ、今使える手法は笑えるくらい酷いから。
>>16
むしろOOPを使わない方が不自然だろう。OOPなしの数学なんて想像できないし、プログラミングがそれと大きく違う理由もない。
むしろOOPを使わない方が不自然だろう。OOPなしの数学なんて想像できないし、プログラミングがそれと大きく違う理由もない。
>>1
「チャット」って、ちゃんと高評価とチャンネル登録もよろしくな。
「チャット」って、ちゃんと高評価とチャンネル登録もよろしくな。
他サイトの新着
>>16
まあ、大半というかほぼ全ての数学には「状態」という概念がない。プロパティやコレクションを持つオブジェクトは数学的と言えなくもないが、ミューテーション(書き換え)は完全にコンピュータサイエンス側のパラダイムだ。
まあ、大半というかほぼ全ての数学には「状態」という概念がない。プロパティやコレクションを持つオブジェクトは数学的と言えなくもないが、ミューテーション(書き換え)は完全にコンピュータサイエンス側のパラダイムだ。
>>20
それは一理ある。イミュータブル(不変)なOOPが一番数学に近い形なんだろうな。
それは一理ある。イミュータブル(不変)なOOPが一番数学に近い形なんだろうな。
>>20
チューリングマシンは文字通り状態をエンコードしてるんだが、バカか。
チューリングマシンは文字通り状態をエンコードしてるんだが、バカか。
>>20
「数学には状態という概念がない」だって?アルゴリズム=プログラム、中間結果=状態、だろ。
「数学には状態という概念がない」だって?アルゴリズム=プログラム、中間結果=状態、だろ。
>>1
「全部クラスにする」でも別にいい。名前空間と同じように機能する静的クラスを作ればいいだけだから。どんなプログラミングパラダイムもOOPと両立できる。継承を使いすぎなければ問題ない。
「全部クラスにする」でも別にいい。名前空間と同じように機能する静的クラスを作ればいいだけだから。どんなプログラミングパラダイムもOOPと両立できる。継承を使いすぎなければ問題ない。
>>20
パパ〜、群論ってなに?数値解析ってなに?パパが教えてくれるまで、数学の「状態」なんて存在しないんだよぉ〜
パパ〜、群論ってなに?数値解析ってなに?パパが教えてくれるまで、数学の「状態」なんて存在しないんだよぉ〜
この話題の背景と論点
スレの発端となった「彼の言っていることは正しいか」という問いが誰を指すかは本文からは分からないが、続く「プログラミングは厳密に数学的であるべき」という主張への賛否が議論の軸になっている。ここで言う「証明指向プログラミング」は、Coqのような定理証明支援系や依存型言語を使ってプログラムの正しさを数学的に証明する手法を指し、「AI主導の自動証明」という発言は近年進むAIによる形式検証支援の研究動向を踏まえたものと見られる。OOPが数学的かという論点は結局決着せず、オブジェクトが状態(ミュータブルな内部値)を持つかどうかが賛否の分かれ目になっていた点は、命令型言語と関数型言語の間で古くから続く対立とも重なる。読み物として面白いのは、群論や数値解析を持ち出した反論のように、数学側にも「状態」に類する概念があるという指摘が出て、単純な二項対立では割り切れなくなっていくところだ。
※本記事は海外掲示板 4chan /g/ (Technology) のスレッド「Chat, is he right?」から抜粋し、編集部で日本語に意訳したものです。訳文の責任は当サイトにあります。
この記事のリアクション
まだコメントはありません。