How to do Math in programmingat TECHHow to do Math in programming - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト14:デフォルトの名無しさん 24/03/25 18:53:28.86 gEcAWv1u.net 証明を書き下すのが手間なのもあるが、数学のオブジェクトをプログラムで扱えるよう定義するのも相当手間だろうね 行列式→行列式を計算するのは簡単だが、置換を使って定義するのはめんどくさそう。置換群を先に定義しなければならない リーマン積分→区間幅の最大値が0に収束するようなリーマン和の列すべてを考えなければいけない。 商空間で辺に沿って同一視した曲面とかもめんどくさそう。 15:デフォルトの名無しさん 24/03/26 01:22:14.15 D7UVXJYK.net LEAN https://lean-lang.org/ SageMath https://www.sagemath.org/ 今ならこの2つだな 16:デフォルトの名無しさん 24/04/01 00:51:33.03 1WSos/bD.net >>14 数学を表現するための概念のサブセットも選ばないといけない 現代数学が公理的集合論で記述されることは誰でも知ってるけど、具体的な対象（たとえば実数など）を扱う時に、それが∅から始めてZFCで構成可能かどうかなんてことを意識している人はいない おそらく多倍長整数と浮動小数点数くらいはあったほうがいい 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch