How to do Math in programming
at TECH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このスレッドのURL
■項目テキスト
12:デフォルトの名無しさん 24/03/25 08:59:06.31 e2d3VFLD.net 継承とかいう欠陥だらけのサブタイピングのしくみは、証明に置き換わってもいい つまり、厳密にis aであることを証明しなければ継承できない &ポリモーフィックな関数は型の共通部分で動作が一致することを証明しなければ定義できない そうすれば誰も使わなくなるか、使える能力のある奴だけが使うようになる 13:デフォルトの名無しさん 24/03/25 11:24:25.60 tzV2+lCA.net >>9 量化した変数や条件式の評価は遅延させなきゃいかんから、コールバック地獄みたいになるのね 14:デフォルトの名無しさん 24/03/25 18:53:28.86 gEcAWv1u.net 証明を書き下すのが手間なのもあるが、数学のオブジェクトをプログラムで扱えるよう定義するのも相当手間だろうね 行列式→行列式を計算するのは簡単だが、置換を使って定義するのはめんどくさそう。置換群を先に定義しなければならない リーマン積分→区間幅の最大値が0に収束するようなリーマン和の列すべてを考えなければいけない。 商空間で辺に沿って同一視した曲面とかもめんどくさそう。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック!
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
54日前に更新/9 KB
担当:undef