[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
10: デフォルトの名無しさん [] 2024/03/17(日) 19:26:02.03 ID:OVnjvt7h 証明支援系で証明を書いても、それを再利用してべつの定理を自動で証明できるわけでもないし、ソフトウェアとして全く無意味だよね…… http://mevius.5ch.net/test/read.cgi/tech/1710585705/10
31: デフォルトの名無しさん [] 2024/03/19(火) 15:02:06.03 ID:YRVQB5Qs >2 の紹介しているCoqとか、純粋関数型言語HaskellもPCで動く数学って感じではあるけども、そもそもメモリが有限なので連続を表現できない。 どんなに小さい数を表現できても有限である以上は離散的なのよねん。 離散数学の範囲ならHaskell良いよ。 子供向けだけど、Viscuit(ﾋﾞｽｹｯﾄ)は写像というか変換のみで言語作ってる。 （ビスケットの中の人曰く「書き換え型言語」） http://mevius.5ch.net/test/read.cgi/tech/1710585705/31
203: デフォルトの名無しさん [] 2024/04/02(火) 20:02:04.03 ID:GZPLkX8A >>202 アホ http://mevius.5ch.net/test/read.cgi/tech/1710585705/203
207: デフォルトの名無しさん [sage] 2024/04/02(火) 20:54:29.03 ID:U2//VB/q printf("数学をプログラミングする\n"); http://mevius.5ch.net/test/read.cgi/tech/1710585705/207
321: デフォルトの名無しさん [] 2024/04/15(月) 19:39:20.03 ID:NsRnPyj0 Q = 有理数の全体 Qの部分集合A, Bの組(A, B)で以下をみたすものをQの切断という A ≠ ∅, B ≠ ∅ A∪B = Q a∈A, b∈B ⇒ a < b http://mevius.5ch.net/test/read.cgi/tech/1710585705/321
462: デフォルトの名無しさん [sage] 2024/04/26(金) 12:23:42.03 ID:BpYBau1Z 淵さんの悪口は止めてー http://mevius.5ch.net/test/read.cgi/tech/1710585705/462
539: デフォルトの名無しさん [sage] 2024/05/07(火) 13:52:05.03 ID:pdFuXZMq 黒体輻射 http://mevius.5ch.net/test/read.cgi/tech/1710585705/539
554: デフォルトの名無しさん [] 2024/06/14(金) 19:32:02.03 ID:J8nW31cj 乗除算の近似解を加減算のみで求める技術 https://qiita.com/adaiimps/items/7c1114bd955ed2d239cc http://mevius.5ch.net/test/read.cgi/tech/1710585705/554
580: デフォルトの名無しさん [sage] 2024/11/03(日) 23:55:07.03 ID:H5/A1U4T でも、問題はプログラミング言語のいろんな特徴を反映させたデータ領域というのが、機能をひとつ追加するごとにその 定義の記述がめちゃくちゃ複雑になるというところにあると思う。つまり原理的にはできるかもしれないけれど、 現実的には不可能ってやつ。 結局、プログラミングでできる部分を数学にするにも、結局プログラミングしないといけないとかいう状況になる。 表示的意味論はそのプログラミングでできる部分をプログラミングするという意味のプログラミングの機能が乏しい。特にモジュール性がない。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/580
584: デフォルトの名無しさん [sage] 2024/11/04(月) 20:20:29.03 ID:GSVf3MJi 表示的意味論 https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/96270/1/Tronso_35_16.pdf http://mevius.5ch.net/test/read.cgi/tech/1710585705/584
595: デフォルトの名無しさん [sage] 2024/11/12(火) 04:03:57.03 ID:15KCzjek マシンや処理系の仕様に合わせてキーを打つのは人間様のすることではない http://mevius.5ch.net/test/read.cgi/tech/1710585705/595
601: デフォルトの名無しさん [sage] 2024/11/12(火) 15:48:13.03 ID:3FuqnzdR >>596 マジレスするとsympyとか使ってxのまま計算して 最後にsolveさせると良いよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/601
724: デフォルトの名無しさん [] 2024/12/05(木) 06:54:57.03 ID:Rf9rE6qz O(n logn)のソートアルゴリズムいくつあると思ってんだ(笑) http://mevius.5ch.net/test/read.cgi/tech/1710585705/724
763: デフォルトの名無しさん [sage] 2024/12/12(木) 17:39:21.03 ID:rgUDNRxT 解散 http://mevius.5ch.net/test/read.cgi/tech/1710585705/763
824: デフォルトの名無しさん [] 2025/01/14(火) 12:50:51.03 ID:1hGtsoWq 水の呼吸、壱の型 http://mevius.5ch.net/test/read.cgi/tech/1710585705/824
846: デフォルトの名無しさん [sage] 2025/01/15(水) 08:56:17.03 ID:3W/U+R8x アキュームレータを再帰的に更新していくようなのはF代数に抽象化できる http://mevius.5ch.net/test/read.cgi/tech/1710585705/846
847: デフォルトの名無しさん [sage] 2025/01/15(水) 19:07:44.03 ID:8y1isLBr オブジェクト指向はオワコン http://mevius.5ch.net/test/read.cgi/tech/1710585705/847
855: デフォルトの名無しさん [sage] 2025/01/16(木) 22:19:04.03 ID:FAOk1woG 研究者の名前がなかなか思い出せなかったがGriffinだな POPL 1990 http://mevius.5ch.net/test/read.cgi/tech/1710585705/855
915: デフォルトの名無しさん [] 2025/01/28(火) 00:57:38.03 ID:IzCMkZvk 業者の嫌がらせ数字組み合わせ .204 〜に死 .214 21日生まれ（記念日の人）死 .224 夫婦死 .234 兄さん、爺さん死 .244 西死 .254 事故死、事後死、ニコ死 .264 〜に無視 .274 〜に無し、次男死 .284 〜には死 .294 〜29日生まれ（記念日の人）死 .304 〜さん死 .314 .324 〜さんに死 .334 .344 .354 .364 〜さん無視 .374 〜さん無し .384 〜さんは無し .394 執拗に強調することで精神攻撃になる業者の嫌がらせ手法がキモい http://mevius.5ch.net/test/read.cgi/tech/1710585705/915
933: デフォルトの名無しさん [sage] 2025/02/04(火) 02:03:30.03 ID:axINJClc 装飾と結合 http://mevius.5ch.net/test/read.cgi/tech/1710585705/933
964: デフォルトの名無しさん [sage] 2025/02/08(土) 20:35:20.03 ID:r1W4t8Yl >>962 定義を正確に述べよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/964
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.049s