[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
75: デフォルトの名無しさん [sage] 2024/03/23(土) 16:14:29.71 ID:TQ7fzTlo(3/3) AAS
そもそもそんなレベルの話をしてるんではないが
82(2): デフォルトの名無しさん [] 2024/03/23(土) 20:19:21.71 ID:g/HfMmmn(6/9) AAS
>>78 >>8181(1): デフォルトの名無しさん [sage] 2024/03/23(土) 19:08:33.11 ID:HOjMmtFw(1) AAS
配列こそプログラミングやコンピュータ都合の邪道なものだね
配列は有限しか扱えないから不要
イテレータは自然数イテレータだけでなく例えばフィボナッチイテレータなど無限を扱える
イテレータは数学とも相性がいい
イタレータの意味を分かっているのか。反復子だぞ。反復子が写像のわけないだろ。
写像を実行するための操作手順でしかない。
反復子の遅延評価により無限の操作手順をコードとして書くことはできても、実際には
実行が途中で終わるので無限を扱えるわけではなく、有限を無限に見せている構文上の
まやかしに過ぎない。
116: デフォルトの名無しさん [sage] 2024/03/25(月) 09:20:53.71 ID:VkynB6Jg(1/4) AAS
アホ参上
148: デフォルトの名無しさん [sage] 2024/03/28(木) 20:52:41.71 ID:8WuDpFG2(1) AAS
ポエマーさんはポエム板にでも行けよ
統失なら病院のほうがいいかな
302(2): デフォルトの名無しさん [] 2024/04/15(月) 09:49:54.71 ID:ANhhwFml(3/5) AAS
>>301その存在示すのに、切断やコーシー列使うんやろ
576: デフォルトの名無しさん [] 2024/11/03(日) 20:10:04.71 ID:W/WQS3jI(1/2) AAS
専門外（そもそも趣味なので専門以前）だが、確かに詳しい人が居たら聞いてみたい
578: デフォルトの名無しさん [] 2024/11/03(日) 21:59:26.71 ID:W/WQS3jI(2/2) AAS
表示的意味論でプログラミング不可能な部分とか、その逆にプログラミングで出来るけど表示的意味論では不可能な部分。
要するに表示的意味論的にスレタイの「数学」をプログラミング。は可能か否か。
651(1): デフォルトの名無しさん [] 2024/11/17(日) 23:05:53.71 ID:vlQbYPk+(2/2) AAS
>>650やり直し。
TeXの数式じゃなくて、プログラミング言語のコードで。
使えば良いじゃんって事は、普通のプログラミング言語なら使えるんでしょ？
772: デフォルトの名無しさん [sage] 2024/12/13(金) 14:28:15.71 ID:eXnQCWqo(1/3) AAS
予言者
リーマン予想を解けば人類は理論上次の次元に到達する
884: デフォルトの名無しさん [sage] 2025/01/20(月) 08:45:50.71 ID:VdwKz6kz(1) AAS
int i=10;
char c='a';
printf("%d\n",i+c);
こんなのがかけるC++ではカリーハワード同型対応なりたたなさそう
941: デフォルトの名無しさん [sage] 2025/02/05(水) 02:28:44.71 ID:95a7ceRY(1) AAS
局所大域原理
986: デフォルトの名無しさん [sage] 2025/02/18(火) 22:49:45.71 ID:elcWerWt(2/2) AAS
グノーム
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.055s