[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
88: デフォルトの名無しさん [sage] 2024/03/23(土) 22:43:57.14 ID:/PCiT6cf(2/2) AAS
>>72は正しいよ
101: デフォルトの名無しさん [sage] 2024/03/24(日) 16:53:04.14 ID:GMGvnUD/(3/3) AAS
そんな低レベルの話してるんとちゃうんやで
114: デフォルトの名無しさん [] 2024/03/25(月) 09:05:37.14 ID:KQK4URb5(1) AAS
集合論はラッセルのパラドックスがあるからまちがい
選択公理もバナッハタルスキーのパラドックスがあるからまちがい
圏論こそ数学の基礎
235: デフォルトの名無しさん [] 2024/04/12(金) 11:52:19.14 ID:Hn7My37C(3/5) AAS
>>230
君、国語力が低すぎて文章を理解できないから、
数学の教科書もなんとなくで読んで来たんでしょ？
学問に向いてないよ、君（笑）
279: デフォルトの名無しさん [sage] 2024/04/14(日) 20:19:29.14 ID:CaUwpcFN(5/12) AAS
極限と帰納法が同じであると仮定する
309(1): デフォルトの名無しさん [sage] 2024/04/15(月) 15:20:17.14 ID:KspO/JeI(2/2) AAS
>>306 >>308
微積というよりも解析だな。
347: デフォルトの名無しさん [sage] 2024/04/16(火) 18:54:49.14 ID:usMdjojl(1) AAS
>>345,346
そんなことより>>340の題意は伝わってるようだね
成立してるよ
349: デフォルトの名無しさん [] 2024/04/16(火) 21:03:04.14 ID:A1Drxn9H(1) AAS
しねぇ！！！
439: デフォルトの名無しさん [] 2024/04/24(水) 21:46:52.14 ID:W5xC8R60(4/7) AAS
糸が砕けました
458: デフォルトの名無しさん [sage] 2024/04/26(金) 10:38:30.14 ID:/+TxHGye(1/4) AAS
プログラミングをプログラミングするといえばlispだろ
637: デフォルトの名無しさん [sage] 2024/11/15(金) 19:08:27.14 ID:RQFgsded(1) AAS
>>1や>>596への回答はまだなんですか？
698: デフォルトの名無しさん [sage] 2024/11/19(火) 16:02:28.14 ID:BjXbrgPI(2/10) AAS
イキル
742(1): デフォルトの名無しさん [sage] 2024/12/09(月) 18:37:31.14 ID:URePCLgA(1) AAS
グレゴリー・ライプニッツ級数の２通りの証明
https://manabitimes.jp/math/775
744: デフォルトの名無しさん [sage] 2024/12/10(火) 21:35:24.14 ID:r/rGR6/m(2/2) AAS
グレゴリー・ライプニッツ級数の収束をCoqで証明する際には、Realsライブラリを用いて実数の扱いを行い、級数の定義を元に収束の証明を組み立てます。証明の詳細は、数列の部分和の収束を示すために必要な補題や定理を適宜導入し、論理的に証明を進めていく必要があります。
799: デフォルトの名無しさん [sage] 2025/01/12(日) 07:50:15.14 ID:aNPLoHWH(1) AAS
それやってもすぐ人間の能力限界にぶつかるから
870: デフォルトの名無しさん [] 2025/01/18(土) 10:15:15.14 ID:ERaUWL8N(1) AAS
シンプレックスでコンプレックス
963: デフォルトの名無しさん [] 2025/02/08(土) 18:30:11.14 ID:q/D/l7Hn(1) AAS
:-p を肯定も否定もできない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s