- 1 名前：デフォルトの名無しさん [2024/03/16(土) 19:41:45.98 ID:nuwGv9us.net]
- たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
- 983 名前：デフォルトの名無しさん mailto:sage [2025/02/12(水) 04:41:30.83 ID:osC1JZ7j.net]
- >>950
チャイティンのオメガはもっと知られてても良い筈。
- 984 名前：横方向放物線星人の怪しい呟き [2025/02/13(木) 07:01:05.40 ID:FhbTSjBw.net]
- >>970 👾よ。チミは、昨日のオレだな
２次関数の逆関数 なんていってるが
それは、存在しない ようだ
y=±√x って関数ぢゃないらしい
なぜかって、関数はxが定まればyが一意に定まる必要がある
だから、２次関数の逆関数は、
xが定まっでyが2つだったりするぢゃーーん
２次関数の逆関数は、関数の定義と矛盾するから、
２次関数の逆関数は、関数ぢゃないんだ。ゲラゲラ
by 👽横方向放物線星人
- 985 名前：デフォルトの名無しさん mailto:sage [2025/02/13(木) 19:48:04.80 ID:4b3jmnmv.net]
- カムパ
- 986 名前：デフォルトの名無しさん mailto:sage [2025/02/14(金) 06:28:02.67 ID:wveL+BCx.net]
- 計算はスケッチ
証明はアセンブラ
- 987 名前：デフォルトの名無しさん mailto:sage [2025/02/14(金) 10:30:50.28 ID:VTViOKZQ.net]
- 証明はスケッチの極限
- 988 名前：デフォルトの名無しさん mailto:sage [2025/02/14(金) 12:09:15.73 ID:iq1Ku00z.net]
- ちょっとシュレディンガー方程式をプログラミングする方法を教えてくれないか。
- 989 名前：デフォルトの名無しさん mailto:sage [2025/02/14(金) 18:30:04.64 ID:u9OLXtkz.net]
- そんなものはない
- 990 名前：デフォルトの名無しさん mailto:sage [2025/02/15(土) 02:43:07.02 ID:ZdJRR9Qn.net]
- >>978
量子力学をライフゲームみたいにルールが決まってるオートマタで再現する研究とかならある。
- 991 名前：デフォルトの名無しさん mailto:sage [2025/02/15(土) 20:08:47.76 ID:HVOvloyf.net]
- >>977
自分で考えろ
- 992 名前：デフォルトの名無しさん mailto:sage [2025/02/16(日) 10:34:36.10 ID:+v+MZ0kq.net]
- >>980
答えられないなら黙ってろ
- 993 名前：デフォルトの名無しさん mailto:sage [2025/02/16(日) 14:23:12.54 ID:euivBKz6.net]
- 女にモテる方程式教えて
- 994 名前：デフォルトの名無しさん mailto:sage [2025/02/16(日) 19:09:24.07 ID:YNSNqNCo.net]
- ♪方程式で 恋の難問解けるなら
誰の曲だっけ
- 995 名前：デフォルトの名無しさん mailto:sage [2025/02/16(日) 19:18:30.08 ID:6CTe/u52.net]
- 「○○の方程式」みたいに学術用語を歌詞とかスローガンに流用するの、センス無いからやめたほうがいい
- 996 名前：デフォルトの名無しさん mailto:sage [2025/02/16(日) 20:09:49.33 ID:YNSNqNCo.net]
- >>983
思い出した
上級生／森口博子(1991)
ババアじゃねーか！（某Twitter漫画のノリで）
- 997 名前：デフォルトの名無しさん [2025/02/18(火) 11:15:51.69 ID:HbHlBTpR.net]
- >>984
判る
●●神話とかも辞めて欲しい
- 998 名前：デフォルトの名無しさん mailto:sage [2025/02/18(火) 22:49:21.77 ID:elcWerWt.net]
- 土地神話
- 999 名前：デフォルトの名無しさん mailto:sage [2025/02/18(火) 22:49:45.71 ID:elcWerWt.net]
- グノーム
- 1000 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 08:41:08.67 ID:I0XIk1Cj.net]
- 数学やってる人間からすると、プログラミング言語はどれも抽象度が低すぎて読み書きが苦痛でしかない
そりゃRustとかHaskellとかで満足してる人にとっては、他の言語とそれらの間には天と地ほどの隔たりがあるんだろうが、
一度数学を身につけてしまうと、見下ろしている位置が高すぎて、プログラミング言語なんてどれも機械語とほとんど変わらない
- 1001 名前：デフォルトの名無しさん [2025/02/19(水) 10:15:37.60 ID:SAhYOuHj.net]
- 数学やらなければ苦痛に感じないとでも言うのかね
苦痛を悦びに感じるようになればいいと思う
- 1002 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 10:48:29.22 ID:UfCfSE41.net]
- >>989
そうやって横着すると矛盾が混ざるから気をつけたほうが……
- 1003 名前：デフォルトの名無しさん [2025/02/19(水) 11:27:26.70 ID:Sqgkwi0D.net]
- プログラミング言語に欠陥があるんじゃなくて
君の頭が悪いんだろう
- 1004 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 15:52:59.68 ID:8rlYEoii.net]
- >>992
>プログラミング言語に欠陥がある
という話がどこから出てきたのだろう？
- 1005 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 15:59:36.63 ID:8rlYEoii.net]
- たとえばアセンブラには「欠陥がある」のか
もちろん、特定のアセンブラの特定のバージョンに不具合がある可能性はある
が、CPUの操作を記述するという点において、別にアセンブラに欠陥があるわけではない
ただ、高レベルのプログラムを記述するには原始的すぎるだけだ
>>989はそういうことを言っている
日本語を正しく読もう
- 1006 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 16:02:39.63 ID:94/Ld6d4.net]
- 的外れな文句いうだけで何も提案できない無能
- 1007 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 16:10:22.75 ID:8rlYEoii.net]
- もし、現代の比較的強力なプログラミング言語（たとえばRustやHaskell）が、数学と同じ表現力を持っていると主張しているのなら、それはあまりにも逆張りが過ぎるか、ものを知らな過ぎる
本気でそうだと思うなら、以下をやってみてくれ
任意の集合Xには、整列順序≦を入れることができる
これを用いて、任意のベクトル空間Vに対して、その基底を一組作ること
- 1008 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 16:11:56.64 ID:8rlYEoii.net]
- >>995
自分のニーズに技術が追いついていないのだから、不満が生じるのは当たり前
- 1009 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 16:21:56.11 ID:8rlYEoii.net]
- FORTRANやCOBOLが夢の技術だと思っている人がいた時代にも、PerlやPython、さらにはHaskellやRustの水準でものを考える人もいたわけだ
自分が原始的なコンピュータの枠組みでしか思考できないなんてことを、そんなに得意げに言うもんじゃない
- 1010 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 16:21:57.73 ID:94/Ld6d4.net]
- >>997
そのニーズの具体例書いてみろよ？
どうせ使うツール間違ってるのワンパン
- 1011 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 16:55:07.40 ID:8rlYEoii.net]
- >>999
994をプログラミング言語で記述してみてね
- 1012 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 17:06:31.12 ID:8rlYEoii.net]
- >>999
>使うツールが間違ってる
正直、こんなことを言ってる時点で程度が低すぎる
洗濯機のない時代にその出現を想像できてる人に、「お前は洗濯板の使い方が間違ってる」とか言ってるようなもん
- 1013 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 17:54:51.51 ID:V/CQ4I1a.net]
- 意味なし
- 1014 名前：1001 [Over 1000 Thread.net]
- このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 339日 22時間 13分 7秒
- 1015 名前：過去ログ ★ [[過去ログ]]
- ■ このスレッドは過去ログ倉庫に格納されています
|
 |
