-
プログラム
-
「数学」をプログラミングするには2
-
UPLIFTで広告なしで体験しましょう！快適な閲覧ライフをお約束します！
たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
前スレ
http://mevius.5ch.ne...cgi/tech/1710585705/ - コメントを投稿する
-
数学コンプレックスは書き込むな
-
まさか次スレを立てる馬鹿がいるとは思わなんだ
-
性懲りもなくとはこのことだ
-
馬鹿程自説に拘る
-
Pythonとかちょろっと書けるくらいで自分はプログラマだと思ってるような人とは無縁のスレだ
数学や計算機科学にコンプレックス持ってる奴は書き込むな -
自分が、数学をやっている人より劣っているという僻みや妬みがあるから、数学に対して攻撃的になる
学歴コンプレックスと同じだ
その原因は数学や数学者にはない、自分にある
コンプレックスを解消するには、数学やプログラミングを勉強するしかない -
既に論破されてるのにまたスレを立てる馬鹿
-
コンプレックス、妬み、幼稚という奴は自己紹介
-
スレッドに分かれていて、興味がないなら見なければいいだけの話なのに、わざわざ開いて文句をつけにくるのはなんでだろう？
それも平日の昼間から -
スレッドを他人が書き込めないようにすればいいだけ
-
電車の中で大きくなってしまった僕のおちんちん
-
微積分も碌にわからない奴が数学ガー
-
圏論
依存型
定理証明支.援系
型付きラムダ計算
型理論
表示的意味論
のうち少なくとも1つがわかる奴だけ書き込んでくれ -
深夜と早朝以外の時間帯は書き込み禁止
-
IDコロコロ以外書き込み禁止
-
ホーア論理というのがあるじゃないですか
実際にプログラムを書くときにすべてホーア論理で証明しながら書いたら
バグのないプログラムが書けるということでしょうか -
πの定義が分からない奴は書き込み禁止
-
プログラムも数学もできない幼児以下の知能児のためのスレ
NG推奨 -
表示的意味論
-
プログラミングの本質は合成である
-
「数学」をプログラミングするには>>>>>>>>>>>>π/4 = 1 - 1/3 + 1/5 - 1/7 + ...が収束することの証明
-
国民民主をみてると、ドイツでナチスが台頭した理由もわかるわ
ああやって、理屈抜きで民衆の社会への不満を増大させて、共通の敵を作って団結するんだな -
こいつ数学板でも暴れてるキチガイでしょ
どんだけ数学にコンプレックスあんの -
それいうなら
-
>>14,22
高速自動微分ってなんか素敵やん？ -
>>1
無限にループさせて無限に時間を掛けることは禁止されていないな -
>>24
同意せざるをでござーる -
>>27
高速自動微分って何？微分専用高速？ -
>>24
ファシストは徹底的に潰さなければいけない -
微分積分いい気分
-
ZFCの定義
-
修学旅行は修学の場です
日本の伝統文化を肌で学び取ることです
秋田に文化がありますか
修学旅行は京都でなければいけません
常識で考えればわかることでしょう -
大自然を肌で感じることも修学の一つでは？
-
半径1の円周の長さ
-
半径1の円の面積
-
e^zの周期
-
積分か無限級数の定義が必要
-
難しいな
-
前スレが大して盛り上がらなかったのに次スレ立ててんじねーよガイジ
死んどけ -
数学への嫉妬・コンプレックスは醜い
現在のプログラミング言語の表現力は数学に遠く及ばない
現在のプログラミング言語で数学を自在に扱うには、そのための処理系を作ってその上でプログラミングするしかない
まず、この事実を認めること
認めた上で真摯に数学と計算機科学の知識を学ぶこと
まずそれからだ -
自己紹介しかできないカス
-
一生懸命長文は書けても３行程度すらコードが書けない
そんなやつらは板違いどころか板のあらし -
素人のよくある勘違い
仕様が決められないのにプログラムを組めるという思い込み -
>>43
お大事に -
>>46
下請け底辺プログラマらしい発想だな -
>>48
自己紹介乙 -
具体的な話が出来ない無能に限ってdisるのが上手
-
ガウス関数の実数全体での広義積分の値を二乗したもの
-
円周率というのは空間の曲率のようなものだと思うんだよね
例えば曲面上で円を描き半径との比率を計算しても3.14...にならない
3.14...になるのが平面のときであると -
ガウス関数の定義は？
-
指数関数の定義と広義積分だな
-
そもそもπの定義がｗ
-
正三角形の面積Sと一辺の長さaの比を考えると
S=(√3/4)a^2だからこの√3/4が円周率のようなものといえる
正六角形ならば3√3/2だ
だが面積でなく直径（に相当するもの）と周長の比でいうと
正六角形の場合3になる。以前学校で円周率を3で教えるのが
話題になったが、正六角形で近似していると思えばどうということはない -
馬鹿だね、近似が収束することを問われてるのに
-
自発的にアイデアを出せない馬鹿は黙ってろ
-
>>52
なるほどね -
>>56
3<π<4 を証明せよ -
内接正N角形と外接正M角形があるとき
それぞれの周長をn,mとすると
N→∞,M→∞のとき
n=π=mは証明出来るかな
n<π<mからスタートすると失敗するな -
あちがう
n=2π=mか
適当に読み替えてくれ -
馬鹿だね
-
三角関数と積分を使わない証明ができるのか？
-
標準ライブラリを使わないプログラムができる
もう一つの標準を作れば、前者が後者に遠く及ばないという疑惑を作れる -
おじいちゃん、夕食食べたら寝なさい
-
qwertyみたいな、効率化を怠っているがボトルネックになってない仕様あるでしょ
サボってるのは明らかだがクビにならない
これは嫉妬されやすい -
qwertyに勝てるのは脳波検出予測入力だけ
-
yアホー智慧遅れ
question_detail/q14310805434
小1の子供が今時計の読み方を習っているのですが、「気づいたことがある」と言うので聞くと、「時計の数字×5が分になる」とのこと。
確かにそうなんですけど、単に5..10..15と数えて覚えた私からしたら変わった考え方だなーと思いました。
私は文系で子供は理数系が好きなのですが、これも理系的な？考え方なのでしょうかね。
あと九九の表でも私はひたすらリズムで覚えましたが、子供は規則性に注目していました。
9の段なら答えの1の桁が9.8.7.6.5..と一つずつ減っていくねと幼稚園の時に言って驚いたのですが、
旦那は、え？普通だけど…。と言っていました。
文系と理系の垣根か… -
何言ってんだか分かんない
-
成功体験を全力で回避しているかのような変わった考え方から普遍的な答えが出てくる
-
>>74
知能の低い両親に見合わない利口な子って可哀想。 -
お前らは善悪の判断が遅いくせに優劣の判断がバカみたいに速いなあ
-
小学校1年では普通はまだかけ算や九九を習わないと思ったが
予習をしているとか、そういう学校なのかな -
>>79
お前の趣味とか知らねえよガイジ -
9増える と、
10増やして1減らすと同じぢゃ
そして、然るに
8増える と、
10増やして2減らすと同じぢゃ
だから8の倍の1の位は、
8→6→4→2→0 となるのぢゃ。然るに
8の倍数は、
8 16 24 32 40 となるぞ。
そっか、八の段は8×5までしか、
上手くいかん
て、ゆうか、長針は短針の60倍の角速度
なのに、分は、時計を数字を60倍でなく
5倍すれば、ヨイのか、分からん。
角速度は、何となく知ってる
理系のポクだが
5倍すれば、ヨイのか、分からんが、
そんな時は、丸暗記すればよろしい。
その小学生も、丸暗記させられたのぢゃろ
5倍すれば、ヨイのかは60÷12が5なのと
関係が有りそうぢゃが、・・・分からん -
春だね
-
ゲーム理論は、誰々が何を選んだら結果はこうなりますという説明が親切すぎる
性善説だよそれは -
>>84
うわぁバカ -
>>82
こういうやつが文系脳なんだよな -
>>82
>て、ゆうか、長針は短針の60倍の角速度
おいw 12倍だろ
12倍ということは、短針と長針が同じ所を指しているとき、
短針が差した値を1/12したのが長針の値だ
例えば短針が1の数字を指していたら1時
長針が1を指していたら1/12時
ただし長針の方は分の単位で知りたいのでそれを60倍してやる
結果、1/12（時）* 60 = 5（分）、でこの5がその数字だろ
で、この説明で納得できるかどうかにまた理解のギャップがw -
人は反応できるものに反応する
-
そういえば数学では時間や速度を定義できない気がする
時間の向きじゃなくて時間そのものを定義できない -
t
-
dx/dt
-
よくこんな意味のないスレをグダクダとやれるな
-
「収束する」以外に規則性が何もない数列を考える
-
考えてどうすんだ
-
どうもしないが
後で戦闘中に回想して新しい技を思いついたりするでしょ
知らんけど -
コーシーの判定条件を実装すると言ってんじゃないのか？
-
Σ[n→∞](-1)^nって収束するんだっけ
-
議論にならない
-
議論とは？
多数決主義や消去法にはならないほうがいい -
ポエム、妄想といえばいいのか
↑今すぐ読める無料コミック大量配信中！↑
