How to do Math in programming (34ﾚｽ)
How to do Math in programming http://mevius.5ch.net/test/read.cgi/tech/1710981703/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
9: デフォルトの名無しさん [sage] 2024/03/25(月) 00:03:34.00 ID:q4vXpy6m 数学者だって、自分の専門分野の数学をすべて論理学と集合論の公理から演繹したわけじゃないだろう すでに理解したことやよく知られた事実は認めて問題を解いているはずだ そういう柔軟性がほしい つまり、認めてもいい仮説はその場その場で手軽に導入できるような言語設計がいい その上で、そこから機械的に導けることの証明や、定義から直接わかる具体例の計算などを半自動でしてほしい もちろん、コンピュータにやらせる以上、曖昧さのない構文は必要だろうが def continuous_at(f: Real -> Real, a: Dom(f)) = forall({e: Real | e > 0}, exists({d: Real | d > 0}, forall({x: Dom(f)}, implies(abs(x - a) < d, abs(f(x) - f(a)) < e) ) ) ) これよりもさらに手短に、見た目ももっと見易く http://mevius.5ch.net/test/read.cgi/tech/1710981703/9
10: デフォルトの名無しさん [sage] 2024/03/25(月) 01:17:03.24 ID:YF7A8RJG たとえば>>9のcomtinuous_atなんかも、一度書いたはいいけど実際に使うとなると、使うたびに、fの定義域が実数全体じゃない場合みたいな微妙な調整が必要になるんだよね 人間が考えたら時間がかかるような部分をコンピュータに助けてほしいのに、どうしても「知りたいのはそこじゃない」って部分に時間をかけなきゃいけない http://mevius.5ch.net/test/read.cgi/tech/1710981703/10
13: デフォルトの名無しさん [sage] 2024/03/25(月) 11:24:25.60 ID:tzV2+lCA >>9 量化した変数や条件式の評価は遅延させなきゃいかんから、コールバック地獄みたいになるのね http://mevius.5ch.net/test/read.cgi/tech/1710981703/13
33: デフォルトの名無しさん [sage] 2024/06/10(月) 22:10:57.74 ID:TCmEQru+ >>9 同意 http://mevius.5ch.net/test/read.cgi/tech/1710981703/33
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.013s