[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
108: デフォルトの名無しさん [sage] 2024/03/24(日) 22:52:27.30 ID:IPqW9Eum >>104 固定長の配列を入力に使っている時点で失格 このスレは>>1の例のように対象は可算無限列 http://mevius.5ch.net/test/read.cgi/tech/1710585705/108
185: デフォルトの名無しさん [] 2024/04/01(月) 12:56:05.30 ID:jUMqCzD5 パプリカの妄言みてーなスレ http://mevius.5ch.net/test/read.cgi/tech/1710585705/185
217: デフォルトの名無しさん [] 2024/04/04(木) 23:16:51.30 ID:SgK99lwB 遅延評価のためのイテレータもあり得る http://mevius.5ch.net/test/read.cgi/tech/1710585705/217
393: デフォルトの名無しさん [] 2024/04/17(水) 07:41:11.30 ID:Rqxu+zgK ∀x, (x^2 + a)^2 - x^2 ≥ 0 となるようaをとってみる x^4 + (2a - 1)x^2 + a^2 = (x^2 + a - 1/2)^2 + a^2 - (4a^2 - 4a + 1)/4 a ≥ 1/4ならOKなのでa = 1/4とする x^4 - 1/2 x^2 + 1/16 = (x^2 - 1/4)^2 4次の場合は (x^2 + A)^2 + (X + B)^2 + C^2 の形にできそう 6次は？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/393
407: デフォルトの名無しさん [sage] 2024/04/17(水) 12:12:24.30 ID:MC+f1reS >>405 何個か系列が挙げられている 背後に深い理論があるんだろうけど導出が見当たらない https://math.stackexchange.com/questions/872324/diophantine-equation-abc-abd-acd-bcd-1 >>406 これはコンピューター代数が効きそうな設問だね http://mevius.5ch.net/test/read.cgi/tech/1710585705/407
484: デフォルトの名無しさん [sage] 2024/04/28(日) 11:43:27.30 ID:xSCCuQGd 基本はIOモナドとSTモナドで副作用を扱える let x = print 1 in x>>x>>x ↑これはIOモナド(1を改行して3回表示)。副作用を値のようにも扱える http://mevius.5ch.net/test/read.cgi/tech/1710585705/484
538: デフォルトの名無しさん [] 2024/05/07(火) 12:36:51.30 ID:jlBp0+F2 エネルギーの在り方をスペクトル分析する。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/538
702: デフォルトの名無しさん [sage] 2024/11/19(火) 16:28:44.30 ID:BjXbrgPI ZFCを書いて、それらで定理を書けばできそうな気もするけど、意味あるのｗｗｗ http://mevius.5ch.net/test/read.cgi/tech/1710585705/702
743: デフォルトの名無しさん [sage] 2024/12/10(火) 17:38:45.30 ID:r/rGR6/m Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明 https://mathlog.info/articles/1405 http://mevius.5ch.net/test/read.cgi/tech/1710585705/743
843: デフォルトの名無しさん [sage] 2025/01/15(水) 08:10:12.30 ID:zm/Y+w4S >>839 実行時のアサーションで書けることは、型にできる http://mevius.5ch.net/test/read.cgi/tech/1710585705/843
882: デフォルトの名無しさん [sage] 2025/01/20(月) 06:41:50.30 ID:qtJTpWnY >>881 お前のソースコード見せてくれよ どんだけ立派なのか拝ませてくれ http://mevius.5ch.net/test/read.cgi/tech/1710585705/882
888: デフォルトの名無しさん [sage] 2025/01/24(金) 08:08:50.30 ID:wJVzGCxN 自力で証明するよりも他者の言質を取るというか契約が成立することにより安全が保証される という思考に人類は依存しすぎている 半導体は自作できないかもしれないが数学は紙媒体でもできる http://mevius.5ch.net/test/read.cgi/tech/1710585705/888
903: デフォルトの名無しさん [sage] 2025/01/25(土) 22:57:41.30 ID:iLzbIZXE 数論幾何用のソフトウェアがないってことかね、表記の体系はどこでみれるの グレブナー基底とかならRisa/Asirとか群論ならgapとか 多分数学の分野ごとにソフトウェアがあるのが現状だと思う http://mevius.5ch.net/test/read.cgi/tech/1710585705/903
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.027s