[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
75: 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 >>81
イタレータの意味を分かっているのか。反復子だぞ。反復子が写像のわけないだろ。
写像を実行するための操作手順でしかない。
反復子の遅延評価により無限の操作手順をコードとして書くことはできても、実際には
実行が途中で終わるので無限を扱えるわけではなく、有限を無限に見せている構文上の
まやかしに過ぎない。
116: 2024/03/25(月)09:20:53.71 ID:VkynB6Jg(1/4) AAS
アホ参上
148: 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: 2024/12/13(金)14:28:15.71 ID:eXnQCWqo(1/3) AAS
予言者
リーマン予想を解けば人類は理論上次の次元に到達する
884: 01/20(月)08:45:50.71 ID:VdwKz6kz(1) AAS
int i=10;
char c='a';
printf("%d\n",i+c);
こんなのがかけるC++ではカリーハワード同型対応なりたたなさそう
941: 02/05(水)02:28:44.71 ID:95a7ceRY(1) AAS
局所大域原理
986: 02/18(火)22:49:45.71 ID:elcWerWt(2/2) AAS
グノーム
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.070s