「数学」をプログラミングするには2 (186レス)
「数学」をプログラミングするには2 http://mevius.5ch.net/test/read.cgi/tech/1739981456/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
1: デフォルトの名無しさん [sage] 2025/02/20(木) 01:10:56.24 ID:oTwZIw4i たとえば、プログラミングで π/4 = 1 - 1/3 + 1/5 - 1/7 + ... を近似ではなく厳密に確かめるにはどうしたらいいの 人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど 前スレ http://mevius.5ch.net/test/read.cgi/tech/1710585705/ http://mevius.5ch.net/test/read.cgi/tech/1739981456/1
2: デフォルトの名無しさん [] 2025/02/20(木) 01:34:41.34 ID:vQ5PrRiS 数学コンプレックスは書き込むな http://mevius.5ch.net/test/read.cgi/tech/1739981456/2
3: デフォルトの名無しさん [sage] 2025/02/20(木) 03:06:40.78 ID:7lQ484Ne まさか次スレを立てる馬鹿がいるとは思わなんだ http://mevius.5ch.net/test/read.cgi/tech/1739981456/3
4: デフォルトの名無しさん [sage] 2025/02/20(木) 07:47:49.33 ID:ZlQ9RgLk 性懲りもなくとはこのことだ http://mevius.5ch.net/test/read.cgi/tech/1739981456/4
5: デフォルトの名無しさん [sage] 2025/02/20(木) 07:48:33.32 ID:ZlQ9RgLk 馬鹿程自説に拘る http://mevius.5ch.net/test/read.cgi/tech/1739981456/5
6: デフォルトの名無しさん [] 2025/02/20(木) 08:35:46.63 ID:2SGzHU5w >>3 興味がないなら単に書き込まなければいい話 スレッドに分かれていて、中身をみないことが容易にできるのに、わざわざ文句をつけにくる それは君の知性ではなく幼稚さしか示さないよ http://mevius.5ch.net/test/read.cgi/tech/1739981456/6
7: デフォルトの名無しさん [] 2025/02/20(木) 09:18:50.52 ID:zTnnn+9R Pythonとかちょろっと書けるくらいで自分はプログラマだと思ってるような人とは無縁のスレだ 数学や計算機科学にコンプレックス持ってる奴は書き込むな http://mevius.5ch.net/test/read.cgi/tech/1739981456/7
8: デフォルトの名無しさん [] 2025/02/20(木) 10:54:20.24 ID:D4vFl61a 自分が、数学をやっている人より劣っているという僻みや妬みがあるから、数学に対して攻撃的になる 学歴コンプレックスと同じだ その原因は数学や数学者にはない、自分にある コンプレックスを解消するには、数学やプログラミングを勉強するしかない http://mevius.5ch.net/test/read.cgi/tech/1739981456/8
9: デフォルトの名無しさん [sage] 2025/02/20(木) 11:44:16.12 ID:ZlQ9RgLk 既に論破されてるのにまたスレを立てる馬鹿 http://mevius.5ch.net/test/read.cgi/tech/1739981456/9
10: デフォルトの名無しさん [sage] 2025/02/20(木) 11:49:00.57 ID:ZlQ9RgLk コンプレックス、妬み、幼稚という奴は自己紹介 http://mevius.5ch.net/test/read.cgi/tech/1739981456/10
11: デフォルトの名無しさん [] 2025/02/20(木) 12:39:35.87 ID:n9daHSA/ スレッドに分かれていて、興味がないなら見なければいいだけの話なのに、わざわざ開いて文句をつけにくるのはなんでだろう? それも平日の昼間から http://mevius.5ch.net/test/read.cgi/tech/1739981456/11
12: デフォルトの名無しさん [sage] 2025/02/20(木) 14:11:53.81 ID:ZlQ9RgLk スレッドを他人が書き込めないようにすればいいだけ http://mevius.5ch.net/test/read.cgi/tech/1739981456/12
13: デフォルトの名無しさん [sage] 2025/02/20(木) 15:18:10.08 ID:p1DQah4h 電車の中で大きくなってしまった僕のおちんちん http://mevius.5ch.net/test/read.cgi/tech/1739981456/13
14: デフォルトの名無しさん [sage] 2025/02/20(木) 15:37:00.52 ID:ZlQ9RgLk 微積分も碌にわからない奴が数学ガー http://mevius.5ch.net/test/read.cgi/tech/1739981456/14
15: デフォルトの名無しさん [] 2025/02/20(木) 16:04:08.29 ID:HHjtRjcd 圏論 依存型 定理証明支.援系 型付きラムダ計算 型理論 表示的意味論 のうち少なくとも1つがわかる奴だけ書き込んでくれ http://mevius.5ch.net/test/read.cgi/tech/1739981456/15
16: デフォルトの名無しさん [sage] 2025/02/20(木) 16:07:07.72 ID:ZlQ9RgLk 深夜と早朝以外の時間帯は書き込み禁止 http://mevius.5ch.net/test/read.cgi/tech/1739981456/16
17: デフォルトの名無しさん [sage] 2025/02/20(木) 16:07:35.86 ID:ZlQ9RgLk IDコロコロ以外書き込み禁止 http://mevius.5ch.net/test/read.cgi/tech/1739981456/17
18: デフォルトの名無しさん [sage] 2025/02/20(木) 17:08:33.23 ID:HYK2zLy1 ホーア論理というのがあるじゃないですか 実際にプログラムを書くときにすべてホーア論理で証明しながら書いたら バグのないプログラムが書けるということでしょうか http://mevius.5ch.net/test/read.cgi/tech/1739981456/18
19: デフォルトの名無しさん [sage] 2025/02/20(木) 17:17:03.82 ID:ZlQ9RgLk πの定義が分からない奴は書き込み禁止 http://mevius.5ch.net/test/read.cgi/tech/1739981456/19
20: デフォルトの名無しさん [sage] 2025/02/20(木) 18:00:30.81 ID:SSC+jOf4 プログラムも数学もできない幼児以下の知能児のためのスレ NG推奨 http://mevius.5ch.net/test/read.cgi/tech/1739981456/20
21: デフォルトの名無しさん [] 2025/02/20(木) 18:58:13.11 ID:HHjtRjcd 表示的意味論 http://mevius.5ch.net/test/read.cgi/tech/1739981456/21
22: デフォルトの名無しさん [] 2025/02/20(木) 19:05:52.44 ID:gQoYPJdu プログラミングの本質は合成である http://mevius.5ch.net/test/read.cgi/tech/1739981456/22
23: デフォルトの名無しさん [sage] 2025/02/20(木) 19:13:13.21 ID:ZlQ9RgLk 「数学」をプログラミングするには>>>>>>>>>>>>π/4 = 1 - 1/3 + 1/5 - 1/7 + ...が収束することの証明 http://mevius.5ch.net/test/read.cgi/tech/1739981456/23
24: デフォルトの名無しさん [] 2025/02/20(木) 19:41:36.39 ID:3EKcW6lQ 国民民主をみてると、ドイツでナチスが台頭した理由もわかるわ ああやって、理屈抜きで民衆の社会への不満を増大させて、共通の敵を作って団結するんだな http://mevius.5ch.net/test/read.cgi/tech/1739981456/24
25: デフォルトの名無しさん [] 2025/02/20(木) 19:42:16.39 ID:KUf/VvNI こいつ数学板でも暴れてるキチガイでしょ どんだけ数学にコンプレックスあんの http://mevius.5ch.net/test/read.cgi/tech/1739981456/25
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 161 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.005s