[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
2: デフォルトの名無しさん [sage] 2024/03/16(土) 20:29:40.05 ID:TBzj9DHS >>1 証明を記述するための言語がある。CoqとかAgdaとか あと単発質問はスレを立てるまでもない質問スレでどうぞ http://mevius.5ch.net/test/read.cgi/tech/1710585705/2
25: デフォルトの名無しさん [sage] 2024/03/18(月) 20:59:25.05 ID:zv8Td5xB 変数に別の変数 (を含む式) を代入するのは嫌なので、右辺を実際に計算してしまった値を代入する 計算してない式を代入するのが何故そんなに嫌なのかを理解しない限り話が進まない http://mevius.5ch.net/test/read.cgi/tech/1710585705/25
109: デフォルトの名無しさん [] 2024/03/24(日) 23:00:28.05 ID:D7nIPk2H 静的な固定長で最適化できるのは当たり前だから 少なくとも実行時までわからない可変長じゃないとな http://mevius.5ch.net/test/read.cgi/tech/1710585705/109
112: デフォルトの名無しさん [] 2024/03/25(月) 06:31:11.05 ID:20JdvYau 写像型言語は無いから無理やろ http://mevius.5ch.net/test/read.cgi/tech/1710585705/112
282: デフォルトの名無しさん [sage] 2024/04/14(日) 20:29:03.05 ID:CaUwpcFN 帰納法とは順序集合においてある命題がある番号まで成立としたとき次の番号の命題が成立することである http://mevius.5ch.net/test/read.cgi/tech/1710585705/282
419: デフォルトの名無しさん [] 2024/04/24(水) 11:01:50.05 ID:0on+NXwB プログラミングは線形代数だろ？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/419
431: デフォルトの名無しさん [] 2024/04/24(水) 19:49:04.05 ID:H3cF+EGE 微分積分 http://mevius.5ch.net/test/read.cgi/tech/1710585705/431
475: デフォルトの名無しさん [] 2024/04/27(土) 14:04:36.05 ID:5FYmDggB lambdaはghost componentを扱えるからな Idrisなどの関数型言語は、型推論とメタプログラミングによって増々レバレッジを得る http://mevius.5ch.net/test/read.cgi/tech/1710585705/475
482: デフォルトの名無しさん [sage] 2024/04/28(日) 11:14:59.05 ID:Z64LYgN7 盛り上がるいいスレ http://mevius.5ch.net/test/read.cgi/tech/1710585705/482
564: デフォルトの名無しさん [] 2024/07/31(水) 00:58:55.05 ID:YsLojSCU >>562 Haskellだと分数型があるから、整数型と分数型のタプルにするとして、分数を型の方で1/2に限定できないから、四則演算の演算子の方に分数が1/2かどうかとか、半整数型で閉じてないから、計算結果の型を条件ごとに…肩を同じにしないといけないから無理だ。 分数型で統一して、半整数の条件満たしてるか判定した方が早そう。 専用演算子の返す値の型は…分数と半整数かどうかの判定結果のタプルかな？ (Ratio, Bool) 奇数・単偶数も見分けた方が良いだろうし、Boolの方を4値位のHeafIntFlg型？的なの作るか？ data HIFlg = HInt | Odd | SEven | AEven deriving Show type HInt = (Ratio, HIFlg) 試しに(Ratio,Bool)で作れそうか見てみた。(Haskellの分数型は%が/の代わり) ghci> (1+1%2,True) -- 1+1%2 = 1 + 1/2 (3 % 2,True) うん。 行けそうだね。 >562、ここまでお膳立てすれば後は出来るよね？じゃあねﾉｼ http://mevius.5ch.net/test/read.cgi/tech/1710585705/564
569: デフォルトの名無しさん [sage] 2024/10/05(土) 15:11:52.05 ID:u1hwkRNd >>568 誰もそんな話をしてないぞ ガイジ http://mevius.5ch.net/test/read.cgi/tech/1710585705/569
730: デフォルトの名無しさん [] 2024/12/05(木) 16:32:01.05 ID:2LNpfkRJ test ・・・・・・・・・・・・・・・ ・■■■■■・・・■■■■■・ ・■・・・■・・・■・・・■・ ・■・■・■・・・■・■・■・ ・■・・・■・・・■・・・■・ ・■■■■■・・・■■■■■・ ・・・・・・・・・・・・・・・ ・・・・・・・・・・・・・・・ ・・・・・・・・■■■・・・・ ・■■■■■・・■・■・・・・ ・■・・・■・・■■■・・・・ ・■・■・■・・・・・・・・・ ・■・・・■・・・・・・・・・ ・■■■■■・・・・・・・・・ ・・・・・・・・・・・・・・・ http://mevius.5ch.net/test/read.cgi/tech/1710585705/730
803: デフォルトの名無しさん [sage] 2025/01/12(日) 16:35:24.05 ID:iqj2UdGG 主語がでかい http://mevius.5ch.net/test/read.cgi/tech/1710585705/803
804: デフォルトの名無しさん [sage] 2025/01/13(月) 02:34:19.05 ID:scTw5na7 オブジェクト指向って、コンピュータサイエンスじゃないんだよな 単に（一部の）人間にとって理解しやすくモジュール化しようってだけのことで、それで技術的に出来ることが増えるわけじゃないから http://mevius.5ch.net/test/read.cgi/tech/1710585705/804
869: デフォルトの名無しさん [sage] 2025/01/18(土) 08:45:22.05 ID:BE7PGd83 >>865 数学が専門の人がどんどんCSに入ってきて内容が高度化してるって聞いたぞ俺は http://mevius.5ch.net/test/read.cgi/tech/1710585705/869
902: デフォルトの名無しさん [] 2025/01/25(土) 22:33:12.05 ID:LqupDpHB >>900 Mathematicaは数式処理システムだ http://mevius.5ch.net/test/read.cgi/tech/1710585705/902
924: デフォルトの名無しさん [] 2025/02/02(日) 23:57:45.05 ID:Drgu6Qh4 口コミや地域マップの表示回数やいいね件数、コメント数、フォロワー数、投稿時刻、通知件数、レビュー評価等で、意図的に忌み数字や悪意のあるポケベル暗号数字をしつこく強調する町内会員の嫌がらせがキモすぎ 例 4（死）、13（キリスト教における忌み数字） 18（嫌）、24（〜に死）、34（〜さん死） 40、42、44 56（殺）、64（無視） 71（無い）、74（無し）、79（無く、亡く） 84（〜は死）、94（〜君死）、96（黒） 忌み数字や不吉を連想させる数字が表示されやすくなるウイルスを業者が仕込んでるっていうね。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/924
942: デフォルトの名無しさん [] 2025/02/05(水) 14:45:57.05 ID:RWIQAOlp ゲスの極値乙女 http://mevius.5ch.net/test/read.cgi/tech/1710585705/942
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.068s