「数学」をプログラミングするには

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

7: 2024/03/17(日)17:46:14.57 ID:zKMEHLV8(1/2) AAS
定理証明支援系はオワコン

103: 2024/03/24(日)19:36:33.57 ID:WsANI0D/(1) AAS
ゴミみたいな話しかしてないな、定理証明系とかの話をしているのかと思ったら

190: 2024/04/01(月)19:56:44.57 ID:SUfRD0Nz(1) AAS
>>189
不満なら見なきゃいいだろ
インターネットしか居場所ないのか？w

275: 2024/04/14(日)18:00:53.57 ID:CaUwpcFN(2/12) AAS
極限と帰納法は違うんじゃね

472: 2024/04/26(金)18:55:54.57 ID:/+TxHGye(4/4) AAS
>>466
元の概念(マイクロスレッドとかファイバ)は関数とは独立かもしれんがコルーチンの実装は関数のようだぞ
pythonはジェネレーティブ関数とよび、c#のコルーチンも関数って書いてあった

606(1): 2024/11/12(火)18:26:13.57 ID:CKJ1cusC(3/7) AAS
どうせコンピュータの仕組み、どう動くか分からん素人のポエムだろ

669: 2024/11/18(月)13:55:52.57 ID:0TuJxtFY(1) AAS
>646
lim[x→0](sin(x)/x)
lim[x→-0](1/x)

701(1): 2024/11/19(火)16:24:25.57 ID:I/l9JBha(1) AAS
結局それをやる意味ってないよね
効率よくプログラミングできるようになるわけでもないし