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