高木くんがアクセプトされるまで見守るスレ ★7

[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★7 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

936(2): ◆pObFevaelafK 2024/12/16(月)20:08 ID:JOor3GsK(10/18)調 AAS
>>935
1. そんな事を示せる人間は誰もいない
2. 変わっていない。

偏微分を知らない人間が私にとやかく言うのは大間違いだ。

937(1): 2024/12/16(月)20:30 ID:m85GoqR7(1/6)調 AAS
>>936
偏微分知ってるから君が間違ってるのが
よく分かるよ

偏微分を知ってると言うなら偏微分の定義を延べてごらんよ

定義を述べられない高木くんｗ

938: 2024/12/16(月)20:34 ID:qPSFR81u(2/2)調 AAS
>>936
横だけど Idris や Agda などの必ず停止する言語でプログラムを書けば、
全てのnで"停止"することは言えると思うよ