「数学」をプログラミングするには
- 1 :デフォルトの名無しさん:2024/03/16(土) 19:41:45.98 ID:nuwGv9us.net
- たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
- 412 :!id:igunore:2024/04/21(日) 16:32:04.97 ID:QcTo+DFu.net
- test
- 413 :デフォルトの名無しさん:2024/04/22(月) 19:57:50.12 ID:Z/mW1wgm.net
- 国際社会では日本はすっかり女性差別および児童ポルノ大国と見られている
シリアやアフガニスタンと同列の人権後進国だと見なされている
- 414 :デフォルトの名無しさん:2024/04/22(月) 20:50:40.46 ID:o0SSvQPa.net
- 光るものすべて金ならず
- 415 :デフォルトの名無しさん:2024/04/24(水) 00:45:42.60 ID:qYUcXmw2.net
- >>411
網羅できない理由の方が多いのに何故できる方に賭けてしまうのかね
カリー・ハワード対応もそうだが
- 416 :デフォルトの名無しさん:2024/04/24(水) 06:04:35.75 ID:0I0qCYsp.net
- 酒を飲むと脳が萎縮するソクラテスは豚だ
- 417 :デフォルトの名無しさん:2024/04/24(水) 06:37:08.15 ID:Ucc6jtP7.net
- 41歳列車で真ん中に座れるようになりました
- 418 :デフォルトの名無しさん:2024/04/24(水) 07:26:08.85 ID:sd26LqbM.net
- >>415
お前の首の上につけているものはなんだw
- 419 :デフォルトの名無しさん:2024/04/24(水) 11:01:50.05 ID:0on+NXwB.net
- プログラミングは線形代数だろ?
- 420 :デフォルトの名無しさん:2024/04/24(水) 11:16:56.18 ID:qYUcXmw2.net
- モビルスーツに手と足と頭があるのも網羅がしたいだけ
- 421 :デフォルトの名無しさん:2024/04/24(水) 11:44:52.53 ID:sd26LqbM.net
- ポエムしか書けないアホ
- 422 :デフォルトの名無しさん:2024/04/24(水) 12:02:24.24 ID:BuUg9b8b.net
- カリーハワード対応の元でも
型の表現力の問題で大した命題は表現できなさそう
依存型をもつ言語が待たれる
ただ、haskellにはカン拡張のライブラリがあるので圏論とは相性がよいのかもしれない
- 423 :デフォルトの名無しさん:2024/04/24(水) 12:18:51.40 ID:sd26LqbM.net
- 馬鹿だね、ただの道具
- 424 :デフォルトの名無しさん:2024/04/24(水) 12:46:31.82 ID:hOEBS28r.net
- Kan拡張ってどう便利なの
- 425 :デフォルトの名無しさん:2024/04/24(水) 14:34:26.92 ID:qYUcXmw2.net
- 「Haskellには依存型がない」は「Cにはclassがない」と同じ形式だし
「数学だから違う」は数学の定理ではない
- 426 :デフォルトの名無しさん:2024/04/24(水) 16:07:04.29 ID:sd26LqbM.net
- 数学知らないんだろ
- 427 :デフォルトの名無しさん:2024/04/24(水) 16:28:57.36 ID:sd26LqbM.net
- https://leanprover-community.github.io/
こういう話をしてるんだよ
- 428 :デフォルトの名無しさん:2024/04/24(水) 17:12:59.42 ID:wm22WFWW.net
- 依存型がなければ、その上に型システムを構築したらいいのでは?
- 429 :デフォルトの名無しさん:2024/04/24(水) 17:25:41.09 ID:qYUcXmw2.net
- やりたいことをやってる人は問題ないが必然的にこの道しかないみたいな考えはたいてい間違っている
- 430 :デフォルトの名無しさん:2024/04/24(水) 17:27:54.06 ID:sd26LqbM.net
- 意味不明を繰り返す爺
- 431 :デフォルトの名無しさん:2024/04/24(水) 19:49:04.05 ID:H3cF+EGE.net
- 微分積分
- 432 :デフォルトの名無しさん:2024/04/24(水) 20:37:33.11 ID:8tkXCVQE.net
- 型に複雑さ移動するだけで何も楽にならない
むしろ難しくなる
- 433 :デフォルトの名無しさん:2024/04/24(水) 20:39:18.33 ID:H3cF+EGE.net
- 楽になるなんて誰が言ったんだ
- 434 :デフォルトの名無しさん:2024/04/24(水) 21:00:04.00 ID:qYUcXmw2.net
- 「道具」には役に立つとか楽になるための道具という意味がなくもない
数学は道具ではないと言うべきだった
- 435 :デフォルトの名無しさん:2024/04/24(水) 21:01:14.18 ID:sd26LqbM.net
- ソフトウェアは道具だろ、ボケ
- 436 :デフォルトの名無しさん:2024/04/24(水) 21:45:02.37 ID:W5xC8R60.net
- 高崎
常磐
- 437 :デフォルトの名無しさん:2024/04/24(水) 21:45:58.35 ID:W5xC8R60.net
- コドモイド
- 438 :デフォルトの名無しさん:2024/04/24(水) 21:46:28.48 ID:W5xC8R60.net
- ポイントカードと熱線
- 439 :デフォルトの名無しさん:2024/04/24(水) 21:46:52.14 ID:W5xC8R60.net
- 糸が砕けました
- 440 :デフォルトの名無しさん:2024/04/24(水) 21:48:24.25 ID:W5xC8R60.net
- ああっ、ナメクジみたいな篦が目の裏に浮かんでくる~っ!!
- 441 :デフォルトの名無しさん:2024/04/24(水) 21:49:49.75 ID:W5xC8R60.net
- ばあちゃん、ボイパで米研ぐふりするな
- 442 :デフォルトの名無しさん:2024/04/24(水) 21:52:22.25 ID:W5xC8R60.net
- 縁側と玄関の間に黒電話
渡辺さんワインを持って皆勤賞
ジャラランガ・ライスシャワー
- 443 :デフォルトの名無しさん:2024/04/25(木) 05:45:14.46 ID:zFonvm9V.net
- 群青色のふとんカバー
ルートを見るより田中社長
- 444 :デフォルトの名無しさん:2024/04/25(木) 11:27:25.32 ID:JREeyAkZ.net
- 効いてるな
- 445 :デフォルトの名無しさん:2024/04/25(木) 12:40:38.59 ID:zFonvm9V.net
- サッポー「楡の木陰に高島さん」~ダンディな占い師伝説
- 446 :デフォルトの名無しさん:2024/04/25(木) 14:35:55.58 ID:XMEAkwKC.net
- じゃあ、物理をプログラミングするには?
- 447 :デフォルトの名無しさん:2024/04/25(木) 14:36:12.53 ID:XMEAkwKC.net
- じゃあ、物理をプログラミングするには?
- 448 :デフォルトの名無しさん:2024/04/25(木) 14:36:27.27 ID:iaYqsq7d.net
- じゃあ、物理をプログラミングするには?
- 449 :デフォルトの名無しさん:2024/04/25(木) 15:14:42.67 ID:VKvfdxmp.net
- Unity一択
- 450 :デフォルトの名無しさん:2024/04/25(木) 17:48:35.80 ID:JREeyAkZ.net
- スレチ
- 451 :デフォルトの名無しさん:2024/04/25(木) 19:35:00.54 ID:qJxknH9s.net
- 物理をプログラミングって
シミュレーションじゃないだろ
たとえば世界がライフゲームだとして、
ライフゲームのプログラムを実行するのと、
N手後や前の状態を求めたり、パターンを分類するのは
別のこと
- 452 :デフォルトの名無しさん:2024/04/25(木) 19:48:06.98 ID:+T+qvOw+.net
- その辺が、πを計算するのに近似値がどうのこうの言ってる連中の誤解かも知れんな
- 453 :デフォルトの名無しさん:2024/04/26(金) 00:22:39.50 ID:v8FaoBvR.net
- 本体と付属品が別なのは当たり前だが問題は
名詞に相当するものが本体で動詞やら形容詞やらは付属品というのは本当か?
- 454 :デフォルトの名無しさん:2024/04/26(金) 02:36:24.00 ID:YMX+rGLs.net
- じゃあプログラミングをプログラミングするには?
- 455 :デフォルトの名無しさん:2024/04/26(金) 06:25:43.74 ID:/fL4F0G5.net
- 制御構文を廃止せよ
- 456 :デフォルトの名無しさん:2024/04/26(金) 06:28:41.74 ID:sqJNLx+3.net
- モナド
依存型
- 457 :デフォルトの名無しさん:2024/04/26(金) 07:05:57.81 ID:MwB9a3Td.net
- >>454
圏論や型理論を記述言語にする
結局、数学を記述できる言語が必要
- 458 :デフォルトの名無しさん:2024/04/26(金) 10:38:30.14 ID:/+TxHGye.net
- プログラミングをプログラミングするといえばlispだろ
- 459 :デフォルトの名無しさん:2024/04/26(金) 11:01:14.08 ID:Rfmzu2jE.net
- FORTH! FORTH!!
- 460 :デフォルトの名無しさん:2024/04/26(金) 11:23:32.92 ID:BpYBau1Z.net
- prologじゃダメなんですか?
- 461 :デフォルトの名無しさん:2024/04/26(金) 12:04:23.78 ID:/+TxHGye.net
- ジェダイは可
一階述語論理(prolog)がやられたようだな
やつは命題論理の次に最弱、プログラミング言語の面汚しよ
- 462 :デフォルトの名無しさん:2024/04/26(金) 12:23:42.03 ID:BpYBau1Z.net
- 淵さんの悪口は止めてー
- 463 :デフォルトの名無しさん:2024/04/26(金) 12:23:53.06 ID:Qv/2Ju5X.net
- Use the Forth, Luke.
- 464 :デフォルトの名無しさん:2024/04/26(金) 14:58:11.95 ID:XmG4rE99.net
- コルーチンは普遍的だ
- 465 :デフォルトの名無しさん:2024/04/26(金) 15:41:42.09 ID:/+TxHGye.net
- 同じ入力に対して常に同じ出力をかえすのが数学の関数だからコルーチンは邪道
- 466 :デフォルトの名無しさん:2024/04/26(金) 15:54:00.95 ID:XmG4rE99.net
- コルーチンは関数ではない
- 467 :デフォルトの名無しさん:2024/04/26(金) 17:20:22.24 ID:SscvQYbj.net
- なんか圏論が万能かのように語る雑魚ってかならずいるよな
そもそも関数型言語をやるうえで言論の知識なんて1ミリも必要ないわけだけど
- 468 :デフォルトの名無しさん:2024/04/26(金) 17:28:01.02 ID:BpYBau1Z.net
- 言論の自由だ
- 469 :デフォルトの名無しさん:2024/04/26(金) 17:47:43.85 ID:XmG4rE99.net
- 依存性の注入
継続渡し
- 470 :デフォルトの名無しさん:2024/04/26(金) 18:43:55.22 ID:hVnzlfRF.net
- ∃.elim(h, (w) => ((hw) => q))
- 471 :デフォルトの名無しさん:2024/04/26(金) 18:51:28.19 ID:hVnzlfRF.net
- append (v: Vec t n) (w: Vec t m) : (Vec t (n + m)) :=
[] w => w
x:xs w => x:(append xs w)
- 472 :デフォルトの名無しさん:2024/04/26(金) 18:55:54.57 ID:/+TxHGye.net
- >>466
元の概念(マイクロスレッドとかファイバ)は関数とは独立かもしれんがコルーチンの実装は関数のようだぞ
pythonはジェネレーティブ関数とよび、c#のコルーチンも関数って書いてあった
- 473 :デフォルトの名無しさん:2024/04/26(金) 22:45:29.55 ID:hVnzlfRF.net
- Megumin
- 474 :デフォルトの名無しさん:2024/04/27(土) 01:20:53.97 ID:e525gwYe.net
- >>467
1ミリも関係ないもの同士がじつは同型だったみたいな感じ?
何もしてないのに同型
- 475 :デフォルトの名無しさん:2024/04/27(土) 14:04:36.05 ID:5FYmDggB.net
- lambdaはghost componentを扱えるからな
Idrisなどの関数型言語は、型推論とメタプログラミングによって増々レバレッジを得る
- 476 :デフォルトの名無しさん:2024/04/27(土) 15:14:22.70 ID:VoduIlph.net
- プログラミング言語論とか本当に役に立たないからな
- 477 :デフォルトの名無しさん:2024/04/27(土) 17:07:16.37 ID:nw1MgPev.net
- 割り当てられたメモリの値を変更できる時点で数学はできない
- 478 :デフォルトの名無しさん:2024/04/28(日) 01:44:22.22 ID:rN6WPJxf.net
- つまりプログラミングは数学よりも強力ということ
- 479 :デフォルトの名無しさん:2024/04/28(日) 09:02:04.37 ID:0uI3fhfO.net
- プログラミングは数学もできるしアルゴリズムも書ける
- 480 :デフォルトの名無しさん:2024/04/28(日) 09:28:31.16 ID:xSCCuQGd.net
- 自由すぎても強力とはいえないけどな
go to considered harmful
適度にバグりにくい制限があるほうが強力
- 481 :デフォルトの名無しさん:2024/04/28(日) 10:15:43.02 ID:Z64LYgN7.net
- 雑談もできる
- 482 :デフォルトの名無しさん:2024/04/28(日) 11:14:59.05 ID:Z64LYgN7.net
- 盛り上がるいいスレ
- 483 :デフォルトの名無しさん:2024/04/28(日) 11:35:47.04 ID:QLrqknwf.net
- ハスケルはモナドで副作用を扱うって本当?
- 484 :デフォルトの名無しさん:2024/04/28(日) 11:43:27.30 ID:xSCCuQGd.net
- 基本はIOモナドとSTモナドで副作用を扱える
let x = print 1 in x>>x>>x
↑これはIOモナド(1を改行して3回表示)。副作用を値のようにも扱える
- 485 :デフォルトの名無しさん:2024/04/28(日) 12:01:18.22 ID:UWVjL+Gl.net
- >>483
嘘
- 486 :デフォルトの名無しさん:2024/04/28(日) 13:34:31.41 ID:451AX1n4.net
- モナドはListとMaybeをベースに理解しろとあれほど言ったのに
- 487 :デフォルトの名無しさん:2024/04/28(日) 14:08:30.43 ID:Z64LYgN7.net
- ∧_∧ / ̄ ̄ ̄ ̄ ̄
( ´∀`)< オマエモナー
( ) \_____
| | |
(__)_)
- 488 :デフォルトの名無しさん:2024/04/30(火) 15:21:29.13 ID:3Q7tAM30.net
- モナドは副作用の繋げ方を定義しているだけで、副作用を起こしているわけではない
- 489 :デフォルトの名無しさん:2024/05/02(木) 10:21:11.74 ID:6yj3jofJ.net
- OEISとか数学の数列をプログラミングしてるサイトだな
project eulerを解くとき参考になった
- 490 :デフォルトの名無しさん:2024/05/03(金) 07:58:46.22 ID:0CJEHho2.net
- モジュラ計算はマルチコアに依存するからプログラミングではできない
- 491 :デフォルトの名無しさん:2024/05/03(金) 10:55:40.47 ID:VWU4jyai.net
- モジラーや、モジラーや♪
- 492 :デフォルトの名無しさん:2024/05/03(金) 11:30:26.90 ID:x0ve7rFX.net
- マルチコアの処理をするコードもプログラミングの範疇だが
- 493 :デフォルトの名無しさん:2024/05/03(金) 12:01:30.25 ID:KP5VxXzU.net
- モナドはわかるがコモナドがわからない
- 494 :デフォルトの名無しさん:2024/05/03(金) 13:18:55.82 ID:VWU4jyai.net
- マゴモナド
- 495 :デフォルトの名無しさん:2024/05/03(金) 13:30:27.46 ID:x0ve7rFX.net
- 大きいモナドはお父さん 小さい緋鯉はコモナドたち 面白そうに双対してる
- 496 :デフォルトの名無しさん:2024/05/03(金) 15:22:02.36 ID:ctk/xevC.net
- 対象と関手を同一視したいな?
はい対角関手
- 497 :デフォルトの名無しさん:2024/05/03(金) 15:23:58.60 ID:VWU4jyai.net
- 対角拳
- 498 :デフォルトの名無しさん:2024/05/03(金) 16:09:54.34 ID:NI13qzeL.net
- 半単純リー代数の分類も知らぬザコめが
- 499 :デフォルトの名無しさん:2024/05/03(金) 16:51:49.76 ID:VWU4jyai.net
- ボウフラを食べる雑魚
- 500 :デフォルトの名無しさん:2024/05/03(金) 18:02:13.91 ID:VWU4jyai.net
- >>498
それをどうプログラムするんだ?
- 501 :デフォルトの名無しさん:2024/05/03(金) 20:15:19.00 ID:m2Di0Yp8.net
- >>500
それを考えるスレだろアホかお前
- 502 :デフォルトの名無しさん:2024/05/03(金) 20:18:12.49 ID:KP5VxXzU.net
- 考える気があるやつなんかいるかよボケ
- 503 :デフォルトの名無しさん:2024/05/03(金) 20:26:19.76 ID:x0ve7rFX.net
- モンスターの位数は10^52ぐらいだから256ビット(10^77ぐらい)あれば表現できる
- 504 :デフォルトの名無しさん:2024/05/03(金) 20:39:18.66 ID:S3Ew+Xh3.net
- >>503
お前進歩しないな
- 505 :デフォルトの名無しさん:2024/05/03(金) 20:56:58.08 ID:x0ve7rFX.net
- 趣味だからいいんだよ 骨っこたーべーてー
- 506 :デフォルトの名無しさん:2024/05/03(金) 21:53:18.28 ID:VWU4jyai.net
- >>501
知ってても役に立たない知識を自慢げに披露してどや顔する馬鹿
>半単純リー代数の分類も知らぬザコめが
- 507 :デフォルトの名無しさん:2024/05/04(土) 00:53:24.00 ID:W7qwuJvR.net
- 書き込むごとに無知を晒すアホ
- 508 :デフォルトの名無しさん:2024/05/04(土) 10:17:00.64 ID:F0cx6LpK.net
- ポエムを書くにはちょうどいいネタ
- 509 :デフォルトの名無しさん:2024/05/04(土) 23:34:00.17 ID:GgxGcrxO.net
- 素数と自然数、どっちが先?
- 510 :デフォルトの名無しさん:2024/05/04(土) 23:36:43.06 ID:5BNMHTWk.net
- 乗法モノイド構造から、環構造を復元できるか?
- 511 :デフォルトの名無しさん:2024/05/05(日) 00:03:10.41 ID:BDRFhWHf.net
- はじめに空間と場としよう
エレメンタリーには場ありきだ
結論から言ってqは最大公約数的
116 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver.24052200