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

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

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

58: 2024/03/22(金)22:21:33.16 ID:LL1SYasV(1/2) AAS
>>56
それは違う
数学ができるプログラミング言語のコンパイラをCで書くことができる
そもそもすべてのプログラム言語はチューリング完全だからCで書けてハスケルに書けないなどということは無い

63(1): 2024/03/23(土)00:32:34.16 ID:0VbIgFfj(2/2) AAS
>>60
跡から登場したってことはRubyやPythonのほうが優れているってことやろが

74(3): 2024/03/23(土)15:36:22.16 ID:O64Y227M(3/5) AAS
>>73
配列から配列なんて嘘つきだな
例えば写像の入力を数学でもよくある自然数とする
これは配列では表現できない
イテレータならば表現できる
出力も同様で配列は不可能だがイテレータなら可能

77(1): 2024/03/23(土)17:05:10.16 ID:O64Y227M(4/5) AAS
>>76
配列なんていう間違った考えをするからそのように失敗する
正しくイテレータと捉えれば自然数もそこからの写像も扱える

261(1): 2024/04/13(土)01:56:05.16 ID:GLx3WLPp(1) AAS
>>260
とっくに解決した話題にいちいち間違った指摘をするのは面白いのか？

480: 2024/04/28(日)09:28:31.16 ID:xSCCuQGd(1/2) AAS
自由すぎても強力とはいえないけどな
go to considered harmful
適度にバグりにくい制限があるほうが強力

591: 2024/11/05(火)18:15:43.16 ID:jjQPMbtg(1) AAS
表示的意味論をDSって略すのほとんど見たことない

619: 2024/11/14(木)10:42:00.16 ID:ner7v2hh(1/4) AAS
イキルボウフラ

706: 2024/11/19(火)16:44:50.16 ID:BjXbrgPI(6/10) AAS
物理、化学もプログラミングできるんじゃね、知らんけど

892: 01/24(金)11:22:58.16 ID:wJVzGCxN(2/2) AAS
振舞いを自動化しろと言われるのと判断は人間の責任っていうのは
振舞いと判断を区別すれば矛盾しないんだけど
「証明する」というのは振舞いか判断かさっぱり分からんから矛盾だという批判がある