「数学」をプログラミングするには2

**デフォルトの名無しさん** · 2025/02/20(木) 01:10:56.24

たとえば、プログラミングで

π/4 = 1 - 1/3 + 1/5 - 1/7 + ...

を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど

前スレ
http://mevius.5ch.net/test/read.cgi/tech/1710585705/

**デフォルトの名無しさん** · 2025/02/20(木) 01:34:41.34

数学コンプレックスは書き込むな

**デフォルトの名無しさん** · 2025/02/20(木) 03:06:40.78

まさか次スレを立てる馬鹿がいるとは思わなんだ

**デフォルトの名無しさん** · 2025/02/20(木) 07:47:49.33

性懲りもなくとはこのことだ

**デフォルトの名無しさん** · 2025/02/20(木) 07:48:33.32

馬鹿程自説に拘る

**デフォルトの名無しさん** · 2025/02/20(木) 08:35:46.63

>>3
興味がないなら単に書き込まなければいい話
スレッドに分かれていて、中身をみないことが容易にできるのに、わざわざ文句をつけにくる
それは君の知性ではなく幼稚さしか示さないよ

**デフォルトの名無しさん** · 2025/02/20(木) 09:18:50.52

Pythonとかちょろっと書けるくらいで自分はプログラマだと思ってるような人とは無縁のスレだ
数学や計算機科学にコンプレックス持ってる奴は書き込むな

**デフォルトの名無しさん** · 2025/02/20(木) 10:54:20.24

自分が、数学をやっている人より劣っているという僻みや妬みがあるから、数学に対して攻撃的になる
学歴コンプレックスと同じだ
その原因は数学や数学者にはない、自分にある
コンプレックスを解消するには、数学やプログラミングを勉強するしかない

**デフォルトの名無しさん** · 2025/02/20(木) 11:44:16.12

既に論破されてるのにまたスレを立てる馬鹿

**デフォルトの名無しさん** · 2025/02/20(木) 11:49:00.57

コンプレックス、妬み、幼稚という奴は自己紹介

**デフォルトの名無しさん** · 2025/02/20(木) 12:39:35.87

スレッドに分かれていて、興味がないなら見なければいいだけの話なのに、わざわざ開いて文句をつけにくるのはなんでだろう？
それも平日の昼間から

**デフォルトの名無しさん** · 2025/02/20(木) 14:11:53.81

スレッドを他人が書き込めないようにすればいいだけ

**デフォルトの名無しさん** · 2025/02/20(木) 15:18:10.08

電車の中で大きくなってしまった僕のおちんちん

**デフォルトの名無しさん** · 2025/02/20(木) 15:37:00.52

微積分も碌にわからない奴が数学ガー

**デフォルトの名無しさん** · 2025/02/20(木) 16:04:08.29

圏論
依存型
定理証明支.援系
型付きラムダ計算
型理論
表示的意味論

のうち少なくとも1つがわかる奴だけ書き込んでくれ

**デフォルトの名無しさん** · 2025/02/20(木) 16:07:07.72

深夜と早朝以外の時間帯は書き込み禁止

**デフォルトの名無しさん** · 2025/02/20(木) 16:07:35.86

IDコロコロ以外書き込み禁止

**デフォルトの名無しさん** · 2025/02/20(木) 17:08:33.23

ホーア論理というのがあるじゃないですか
実際にプログラムを書くときにすべてホーア論理で証明しながら書いたら
バグのないプログラムが書けるということでしょうか

**デフォルトの名無しさん** · 2025/02/20(木) 17:17:03.82

πの定義が分からない奴は書き込み禁止

**デフォルトの名無しさん** · 2025/02/20(木) 18:00:30.81

プログラムも数学もできない幼児以下の知能児のためのスレ
NG推奨

**デフォルトの名無しさん** · 2025/02/20(木) 18:58:13.11

表示的意味論

**デフォルトの名無しさん** · 2025/02/20(木) 19:05:52.44

プログラミングの本質は合成である

**デフォルトの名無しさん** · 2025/02/20(木) 19:13:13.21

「数学」をプログラミングするには>>>>>>>>>>>>π/4 = 1 - 1/3 + 1/5 - 1/7 + ...が収束することの証明

**デフォルトの名無しさん** · 2025/02/20(木) 19:41:36.39

国民民主をみてると、ドイツでナチスが台頭した理由もわかるわ
ああやって、理屈抜きで民衆の社会への不満を増大させて、共通の敵を作って団結するんだな

**デフォルトの名無しさん** · 2025/02/20(木) 19:42:16.39

こいつ数学板でも暴れてるキチガイでしょ
どんだけ数学にコンプレックスあんの

**デフォルトの名無しさん** · 2025/02/20(木) 20:04:55.58

それいうなら

**デフォルトの名無しさん** · 2025/02/21(金) 02:46:58.00

>>14,22
高速自動微分ってなんか素敵やん？

**デフォルトの名無しさん** · 2025/02/21(金) 11:32:12.83

>>1
無限にループさせて無限に時間を掛けることは禁止されていないな

**デフォルトの名無しさん** · 2025/02/21(金) 11:34:15.83

>>24
同意せざるをでござーる

**デフォルトの名無しさん** · 2025/02/21(金) 11:45:43.98

>>27
高速自動微分って何？微分専用高速？

**デフォルトの名無しさん** · 2025/02/21(金) 11:47:36.32

>>24
ファシストは徹底的に潰さなければいけない

**デフォルトの名無しさん** · 2025/02/21(金) 11:50:55.94

微分積分いい気分

**デフォルトの名無しさん** · 2025/02/21(金) 11:52:35.82

ZFCの定義

**デフォルトの名無しさん** · 2025/02/21(金) 11:53:18.82

修学旅行は修学の場です
日本の伝統文化を肌で学び取ることです
秋田に文化がありますか
修学旅行は京都でなければいけません
常識で考えればわかることでしょう

**デフォルトの名無しさん** · 2025/02/21(金) 12:23:24.43

大自然を肌で感じることも修学の一つでは？

**デフォルトの名無しさん** · 2025/02/21(金) 18:01:48.45

半径1の円周の長さ

**デフォルトの名無しさん** · 2025/02/21(金) 19:24:37.84

半径1の円の面積

**デフォルトの名無しさん** · 2025/02/21(金) 20:25:22.18

e^zの周期

**デフォルトの名無しさん** · 2025/02/21(金) 20:29:05.80

積分か無限級数の定義が必要

**デフォルトの名無しさん** · 2025/02/21(金) 21:01:44.71

難しいな

**デフォルトの名無しさん** · 2025/02/21(金) 21:14:43.61

前スレが大して盛り上がらなかったのに次スレ立ててんじねーよガイジ
死んどけ

**デフォルトの名無しさん** · 2025/02/21(金) 21:35:03.80

数学への嫉妬・コンプレックスは醜い

現在のプログラミング言語の表現力は数学に遠く及ばない
現在のプログラミング言語で数学を自在に扱うには、そのための処理系を作ってその上でプログラミングするしかない

まず、この事実を認めること
認めた上で真摯に数学と計算機科学の知識を学ぶこと
まずそれからだ

**デフォルトの名無しさん** · 2025/02/21(金) 22:02:40.95

>>41
認知歪んでるぞ
大丈夫か？

**デフォルトの名無しさん** · 2025/02/21(金) 22:13:26.18

自己紹介しかできないカス

**デフォルトの名無しさん** · 2025/02/22(土) 08:14:09.72

一生懸命長文は書けても３行程度すらコードが書けない
そんなやつらは板違いどころか板のあらし

**デフォルトの名無しさん** · 2025/02/22(土) 08:29:35.36

素人のよくある勘違い
仕様が決められないのにプログラムを組めるという思い込み

**デフォルトの名無しさん** · 2025/02/22(土) 15:00:15.43

>>43
お大事に

**デフォルトの名無しさん** · 2025/02/22(土) 15:47:39.86

>>46
下請け底辺プログラマらしい発想だな

**デフォルトの名無しさん** · 2025/02/22(土) 16:36:50.64

>>48
自己紹介乙

**デフォルトの名無しさん** · 2025/02/22(土) 16:58:42.40

具体的な話が出来ない無能に限ってdisるのが上手

**デフォルトの名無しさん** · 2025/02/22(土) 18:13:10.38

ガウス関数の実数全体での広義積分の値を二乗したもの

**デフォルトの名無しさん** · 2025/02/22(土) 18:37:35.82

円周率というのは空間の曲率のようなものだと思うんだよね
例えば曲面上で円を描き半径との比率を計算しても3.14...にならない
3.14...になるのが平面のときであると

**デフォルトの名無しさん** · 2025/02/22(土) 18:48:30.19

ガウス関数の定義は？

**デフォルトの名無しさん** · 2025/02/22(土) 18:54:22.76

指数関数の定義と広義積分だな

**デフォルトの名無しさん** · 2025/02/22(土) 18:55:21.76

そもそもπの定義がｗ

**デフォルトの名無しさん** · 2025/02/22(土) 18:55:48.90

正三角形の面積Sと一辺の長さaの比を考えると
S=(√3/4)a^2だからこの√3/4が円周率のようなものといえる
正六角形ならば3√3/2だ

だが面積でなく直径（に相当するもの）と周長の比でいうと
正六角形の場合3になる。以前学校で円周率を3で教えるのが
話題になったが、正六角形で近似していると思えばどうということはない

**デフォルトの名無しさん** · 2025/02/22(土) 18:57:52.92

馬鹿だね、近似が収束することを問われてるのに

**デフォルトの名無しさん** · 2025/02/23(日) 05:45:37.93

>>1の問いかけが無意味
そもそも前スレの時点で>>1が逃げ出してるし建設的な議論はなかった

**デフォルトの名無しさん** · 2025/02/23(日) 06:55:40.27

自発的にアイデアを出せない馬鹿は黙ってろ

**デフォルトの名無しさん** · 2025/02/23(日) 06:58:27.04

>>58
問いは他人に出してもらうものではなく、自分から発するもの
実りある意見が出せないなら一々いっちょかみしようとすんな

**デフォルトの名無しさん** · 2025/02/23(日) 10:51:26.50

>>52
なるほどね

**デフォルトの名無しさん** · 2025/02/23(日) 10:54:19.30

>>56
3<π<4 を証明せよ

**デフォルトの名無しさん** · 2025/02/23(日) 14:44:15.42

>>60
それは前スレ立てた馬鹿に言ってやるんだな
このスレタイになんの意味もないのがわからないのか？

**デフォルトの名無しさん** · 2025/02/23(日) 15:25:09.37

>>62
円の直径を1とすると
π＝円周＜外接正方形周＝4

三平方の定理により
π＝円周＞内接正八角形周＝√(32-16√2)＞√(32-16×1.415)＝√9.36＞3

**デフォルトの名無しさん** · 2025/02/24(月) 11:29:49.06

>>64
>円周＜外接正方形周
>円周＞内接正八角形周

ここらは自明としていいのかね。直感的には明らかけど
後者は二点を結ぶ任意の曲線で最短であるものは直線である、みたいな感じか
前者は

**デフォルトの名無しさん** · 2025/02/24(月) 14:57:29.88

内接正N角形と外接正M角形があるとき
それぞれの周長をn,mとすると
N→∞,M→∞のとき
n=π=mは証明出来るかな
n<π<mからスタートすると失敗するな

**デフォルトの名無しさん** · 2025/02/24(月) 14:58:21.69

あちがう
n=2π=mか
適当に読み替えてくれ

**デフォルトの名無しさん** · 2025/02/24(月) 16:02:52.44

馬鹿だね

**デフォルトの名無しさん** · 2025/02/24(月) 16:08:49.48

三角関数と積分を使わない証明ができるのか？

**デフォルトの名無しさん** · 2025/02/24(月) 19:11:55.03

標準ライブラリを使わないプログラムができる
もう一つの標準を作れば、前者が後者に遠く及ばないという疑惑を作れる

**デフォルトの名無しさん** · 2025/02/24(月) 20:46:56.83

おじいちゃん、夕食食べたら寝なさい

**デフォルトの名無しさん** · 2025/02/25(火) 01:05:47.85

qwertyみたいな、効率化を怠っているがボトルネックになってない仕様あるでしょ
サボってるのは明らかだがクビにならない
これは嫉妬されやすい