[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
29: デフォルトの名無しさん [] 2024/03/19(火) 12:34:54.32 ID:pUZ6M7m/ 動的型付けの証明支援系ってのは何をしてるんだ？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/29
125: デフォルトの名無しさん [] 2024/03/25(月) 21:23:38.32 ID:DOdK3gDR 数学をプログラミングするには、プログラマが数学の必要があるのでは？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/125
173: デフォルトの名無しさん [sage] 2024/03/31(日) 21:07:09.32 ID:zVzgI3KY 構成論理でしかない帰納法は逃げ 背理法をプログラミングできてこそ真の数学プログラマ http://mevius.5ch.net/test/read.cgi/tech/1710585705/173
254: デフォルトの名無しさん [sage] 2024/04/12(金) 17:56:16.32 ID:n/WEiCkF 構成的論理ならきいたことはあるが構成論理ってなんだよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/254
304: デフォルトの名無しさん [sage] 2024/04/15(月) 11:21:19.32 ID:scEUff9F 数学系のためのLean勉強会 https://haruhisa-enomoto.github.io/lean-math-workshop/ http://mevius.5ch.net/test/read.cgi/tech/1710585705/304
444: デフォルトの名無しさん [sage] 2024/04/25(木) 11:27:25.32 ID:JREeyAkZ 効いてるな http://mevius.5ch.net/test/read.cgi/tech/1710585705/444
735: デフォルトの名無しさん [sage] 2024/12/05(木) 20:22:08.32 ID:wt4vQ/2p Haskell厨かな 妄想も大概に http://mevius.5ch.net/test/read.cgi/tech/1710585705/735
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.035s