[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
473: デフォルトの名無しさん [] 2024/04/26(金) 22:45:29.55 ID:hVnzlfRF Megumin http://mevius.5ch.net/test/read.cgi/tech/1710585705/473
474: デフォルトの名無しさん [sage] 2024/04/27(土) 01:20:53.97 ID:e525gwYe >>467 1ミリも関係ないもの同士がじつは同型だったみたいな感じ？ 何もしてないのに同型 http://mevius.5ch.net/test/read.cgi/tech/1710585705/474
475: デフォルトの名無しさん [] 2024/04/27(土) 14:04:36.05 ID:5FYmDggB lambdaはghost componentを扱えるからな Idrisなどの関数型言語は、型推論とメタプログラミングによって増々レバレッジを得る http://mevius.5ch.net/test/read.cgi/tech/1710585705/475
476: デフォルトの名無しさん [sage] 2024/04/27(土) 15:14:22.70 ID:VoduIlph プログラミング言語論とか本当に役に立たないからな http://mevius.5ch.net/test/read.cgi/tech/1710585705/476
477: デフォルトの名無しさん [] 2024/04/27(土) 17:07:16.37 ID:nw1MgPev 割り当てられたメモリの値を変更できる時点で数学はできない http://mevius.5ch.net/test/read.cgi/tech/1710585705/477
478: デフォルトの名無しさん [] 2024/04/28(日) 01:44:22.22 ID:rN6WPJxf つまりプログラミングは数学よりも強力ということ http://mevius.5ch.net/test/read.cgi/tech/1710585705/478
479: デフォルトの名無しさん [] 2024/04/28(日) 09:02:04.37 ID:0uI3fhfO プログラミングは数学もできるしアルゴリズムも書ける http://mevius.5ch.net/test/read.cgi/tech/1710585705/479
480: デフォルトの名無しさん [sage] 2024/04/28(日) 09:28:31.16 ID:xSCCuQGd 自由すぎても強力とはいえないけどな go to considered harmful 適度にバグりにくい制限があるほうが強力 http://mevius.5ch.net/test/read.cgi/tech/1710585705/480
481: デフォルトの名無しさん [sage] 2024/04/28(日) 10:15:43.02 ID:Z64LYgN7 雑談もできる http://mevius.5ch.net/test/read.cgi/tech/1710585705/481
482: デフォルトの名無しさん [sage] 2024/04/28(日) 11:14:59.05 ID:Z64LYgN7 盛り上がるいいスレ http://mevius.5ch.net/test/read.cgi/tech/1710585705/482
483: デフォルトの名無しさん [] 2024/04/28(日) 11:35:47.04 ID:QLrqknwf ハスケルはモナドで副作用を扱うって本当？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/483
484: デフォルトの名無しさん [sage] 2024/04/28(日) 11:43:27.30 ID:xSCCuQGd 基本はIOモナドとSTモナドで副作用を扱える let x = print 1 in x>>x>>x ↑これはIOモナド(1を改行して3回表示)。副作用を値のようにも扱える http://mevius.5ch.net/test/read.cgi/tech/1710585705/484
485: デフォルトの名無しさん [] 2024/04/28(日) 12:01:18.22 ID:UWVjL+Gl >>483 嘘 http://mevius.5ch.net/test/read.cgi/tech/1710585705/485
486: デフォルトの名無しさん [] 2024/04/28(日) 13:34:31.41 ID:451AX1n4 モナドはListとMaybeをベースに理解しろとあれほど言ったのに http://mevius.5ch.net/test/read.cgi/tech/1710585705/486
487: デフォルトの名無しさん [sage] 2024/04/28(日) 14:08:30.43 ID:Z64LYgN7 ∧＿∧ ／￣￣￣￣￣ （ ´∀｀）＜ オマエモナー （ ） ＼＿＿＿＿＿ ｜ ｜ | （_＿）＿） http://mevius.5ch.net/test/read.cgi/tech/1710585705/487
488: デフォルトの名無しさん [] 2024/04/30(火) 15:21:29.13 ID:3Q7tAM30 モナドは副作用の繋げ方を定義しているだけで、副作用を起こしているわけではない http://mevius.5ch.net/test/read.cgi/tech/1710585705/488
489: デフォルトの名無しさん [sage] 2024/05/02(木) 10:21:11.74 ID:6yj3jofJ OEISとか数学の数列をプログラミングしてるサイトだな project eulerを解くとき参考になった http://mevius.5ch.net/test/read.cgi/tech/1710585705/489
490: デフォルトの名無しさん [] 2024/05/03(金) 07:58:46.22 ID:0CJEHho2 モジュラ計算はマルチコアに依存するからプログラミングではできない http://mevius.5ch.net/test/read.cgi/tech/1710585705/490
491: デフォルトの名無しさん [sage] 2024/05/03(金) 10:55:40.47 ID:VWU4jyai モジラーや、モジラーや♪ http://mevius.5ch.net/test/read.cgi/tech/1710585705/491
492: デフォルトの名無しさん [sage] 2024/05/03(金) 11:30:26.90 ID:x0ve7rFX マルチコアの処理をするコードもプログラミングの範疇だが http://mevius.5ch.net/test/read.cgi/tech/1710585705/492
493: デフォルトの名無しさん [sage] 2024/05/03(金) 12:01:30.25 ID:KP5VxXzU モナドはわかるがコモナドがわからない http://mevius.5ch.net/test/read.cgi/tech/1710585705/493
494: デフォルトの名無しさん [sage] 2024/05/03(金) 13:18:55.82 ID:VWU4jyai マゴモナド http://mevius.5ch.net/test/read.cgi/tech/1710585705/494
495: デフォルトの名無しさん [sage] 2024/05/03(金) 13:30:27.46 ID:x0ve7rFX 大きいモナドはお父さん 小さい緋鯉はコモナドたち 面白そうに双対してる http://mevius.5ch.net/test/read.cgi/tech/1710585705/495
496: デフォルトの名無しさん [sage] 2024/05/03(金) 15:22:02.36 ID:ctk/xevC 対象と関手を同一視したいな？ はい対角関手 http://mevius.5ch.net/test/read.cgi/tech/1710585705/496
497: デフォルトの名無しさん [sage] 2024/05/03(金) 15:23:58.60 ID:VWU4jyai 対角拳 http://mevius.5ch.net/test/read.cgi/tech/1710585705/497
498: デフォルトの名無しさん [] 2024/05/03(金) 16:09:54.34 ID:NI13qzeL 半単純リー代数の分類も知らぬザコめが http://mevius.5ch.net/test/read.cgi/tech/1710585705/498
499: デフォルトの名無しさん [sage] 2024/05/03(金) 16:51:49.76 ID:VWU4jyai ボウフラを食べる雑魚 http://mevius.5ch.net/test/read.cgi/tech/1710585705/499
500: デフォルトの名無しさん [sage] 2024/05/03(金) 18:02:13.91 ID:VWU4jyai >>498 それをどうプログラムするんだ？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/500
501: デフォルトの名無しさん [] 2024/05/03(金) 20:15:19.00 ID:m2Di0Yp8 >>500 それを考えるスレだろアホかお前 http://mevius.5ch.net/test/read.cgi/tech/1710585705/501
502: デフォルトの名無しさん [sage] 2024/05/03(金) 20:18:12.49 ID:KP5VxXzU 考える気があるやつなんかいるかよボケ http://mevius.5ch.net/test/read.cgi/tech/1710585705/502
503: デフォルトの名無しさん [sage] 2024/05/03(金) 20:26:19.76 ID:x0ve7rFX モンスターの位数は10^52ぐらいだから256ビット(10^77ぐらい)あれば表現できる http://mevius.5ch.net/test/read.cgi/tech/1710585705/503
504: デフォルトの名無しさん [] 2024/05/03(金) 20:39:18.66 ID:S3Ew+Xh3 >>503 お前進歩しないな http://mevius.5ch.net/test/read.cgi/tech/1710585705/504
505: デフォルトの名無しさん [sage] 2024/05/03(金) 20:56:58.08 ID:x0ve7rFX 趣味だからいいんだよ 骨っこたーべーてー http://mevius.5ch.net/test/read.cgi/tech/1710585705/505
506: デフォルトの名無しさん [sage] 2024/05/03(金) 21:53:18.28 ID:VWU4jyai >>501 知ってても役に立たない知識を自慢げに披露してどや顔する馬鹿 >半単純リー代数の分類も知らぬザコめが http://mevius.5ch.net/test/read.cgi/tech/1710585705/506
507: デフォルトの名無しさん [] 2024/05/04(土) 00:53:24.00 ID:W7qwuJvR 書き込むごとに無知を晒すアホ http://mevius.5ch.net/test/read.cgi/tech/1710585705/507
508: デフォルトの名無しさん [sage] 2024/05/04(土) 10:17:00.64 ID:F0cx6LpK ポエムを書くにはちょうどいいネタ http://mevius.5ch.net/test/read.cgi/tech/1710585705/508
509: デフォルトの名無しさん [] 2024/05/04(土) 23:34:00.17 ID:GgxGcrxO 素数と自然数、どっちが先？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/509
510: デフォルトの名無しさん [] 2024/05/04(土) 23:36:43.06 ID:5BNMHTWk 乗法モノイド構造から、環構造を復元できるか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/510
511: デフォルトの名無しさん [] 2024/05/05(日) 00:03:10.41 ID:BDRFhWHf はじめに空間と場としよう エレメンタリーには場ありきだ 結論から言ってqは最大公約数的 http://mevius.5ch.net/test/read.cgi/tech/1710585705/511
512: デフォルトの名無しさん [] 2024/05/05(日) 00:07:03.48 ID:BDRFhWHf pを取ると 盲目的崖っぷちに近い 1, 2, 3, と数えても とわに埋まらないものがある だから存在するとしよう http://mevius.5ch.net/test/read.cgi/tech/1710585705/512
513: デフォルトの名無しさん [] 2024/05/05(日) 00:08:02.74 ID:BDRFhWHf ここで疑問じゃ それが本当に正しい解釈か？ わたしたち 擬似的なストーリーに 惑わされてやしないか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/513
514: デフォルトの名無しさん [] 2024/05/05(日) 00:09:27.68 ID:BDRFhWHf なぜ、針の先端 のようなものから セメント流しこむのか？ 本当にそれで合ってる？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/514
515: デフォルトの名無しさん [] 2024/05/05(日) 00:10:30.47 ID:BDRFhWHf 種がわれた未来では 構成は簡単だ しかし本質は 未知に近い http://mevius.5ch.net/test/read.cgi/tech/1710585705/515
516: デフォルトの名無しさん [] 2024/05/05(日) 00:15:03.97 ID:BDRFhWHf さて そもそもこれは何じゃ？ 元はモジュロじゃ しかし全体はわからんから 一部だけ見る http://mevius.5ch.net/test/read.cgi/tech/1710585705/516
517: デフォルトの名無しさん [] 2024/05/05(日) 00:16:19.37 ID:BDRFhWHf まず、トリビアル これが逆説的に難しい 何も出てこないから そこで変形する 近視眼的になる http://mevius.5ch.net/test/read.cgi/tech/1710585705/517
518: デフォルトの名無しさん [] 2024/05/05(日) 00:18:03.87 ID:BDRFhWHf どこかに、綻び・縺れがあった それを回避した形じゃ これが柔軟な考え方を 可能にする儂らに http://mevius.5ch.net/test/read.cgi/tech/1710585705/518
519: デフォルトの名無しさん [] 2024/05/05(日) 00:19:26.21 ID:BDRFhWHf 答えがわかれば カヴァーは簡単だ あとはまとめればいい http://mevius.5ch.net/test/read.cgi/tech/1710585705/519
520: デフォルトの名無しさん [] 2024/05/05(日) 00:20:11.96 ID:BDRFhWHf 結論から言うと 全部の駅を合わせる ただそれだけ http://mevius.5ch.net/test/read.cgi/tech/1710585705/520
521: デフォルトの名無しさん [sage] 2024/05/05(日) 13:19:56.22 ID:7WTeO/Yw 結論からいうとqは最大公約数的で全部の駅を合わせればいいんだな わかった。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/521
522: デフォルトの名無しさん [sage] 2024/05/05(日) 16:39:16.87 ID:/mYn2+os なんか小難しいスレに迷い込んでしまった ここまでをまとめると、モナドはオワコンということでOK? http://mevius.5ch.net/test/read.cgi/tech/1710585705/522
523: デフォルトの名無しさん [sage] 2024/05/05(日) 18:23:09.48 ID:raEbTx5v スレタイ読めよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/523
524: デフォルトの名無しさん [sage] 2024/05/05(日) 20:31:07.15 ID:7WTeO/Yw >>522 まず、トリビアル 結論から言うと擬似的なストーリーに惑わされてやしないか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/524
525: デフォルトの名無しさん [] 2024/05/06(月) 00:51:10.23 ID:gOZqaVA4 どんぐりが足りないと言われてしまう。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/525
526: デフォルトの名無しさん [sage] 2024/05/06(月) 01:47:37.82 ID:S9z+7FUo 惑いは現象であり物ではない 物を変えることなく、惑うことも惑わないこともありうる http://mevius.5ch.net/test/read.cgi/tech/1710585705/526
527: デフォルトの名無しさん [sage] 2024/05/06(月) 09:14:01.68 ID:ZgM9kjEK トリビアルさんがsageを覚えたようだ これが柔軟な考え方を可能にする儂らに http://mevius.5ch.net/test/read.cgi/tech/1710585705/527
528: デフォルトの名無しさん [] 2024/05/06(月) 11:19:11.95 ID:AfAuGHgh 第二量子化と関係ある？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/528
529: デフォルトの名無しさん [] 2024/05/06(月) 11:46:55.88 ID:gOZqaVA4 数は何かのエネルギー場らしい http://mevius.5ch.net/test/read.cgi/tech/1710585705/529
530: デフォルトの名無しさん [] 2024/05/06(月) 12:03:02.98 ID:gd5I0tjN エバQはあくまで共通部分だから中身スッカスカ もっと一点集中しないと http://mevius.5ch.net/test/read.cgi/tech/1710585705/530
531: デフォルトの名無しさん [] 2024/05/06(月) 12:18:36.69 ID:TmmkktzA なぜ一点集中すると埋まるのか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/531
532: デフォルトの名無しさん [] 2024/05/06(月) 12:45:48.79 ID:TmmkktzA そして集めてくる http://mevius.5ch.net/test/read.cgi/tech/1710585705/532
533: デフォルトの名無しさん [] 2024/05/06(月) 20:50:00.51 ID:kPNEJGK+ 標準型は常に全関数だ なぜか？ 積分という手法だからだ http://mevius.5ch.net/test/read.cgi/tech/1710585705/533
534: デフォルトの名無しさん [] 2024/05/06(月) 21:23:50.59 ID:b1Bdlnhs 特徴的なふるまいには 形あるものが必要だ http://mevius.5ch.net/test/read.cgi/tech/1710585705/534
535: デフォルトの名無しさん [sage] 2024/05/06(月) 21:50:56.76 ID:2UIG7pZN >>529 っ ネーターの定理 http://mevius.5ch.net/test/read.cgi/tech/1710585705/535
536: デフォルトの名無しさん [] 2024/05/07(火) 09:55:37.07 ID:eRnvNXkn >>531 数学では様々な構成において、ある関係をみたすA1, A2, A3, ... を集めてくると、新たな対象Aが一意的に定まる、という形式のものがある。 これは普遍性と呼ばれている。 たとえば、Rを環とし、R加群M, Nのテンソル積π: M x N → M⊗Nは、次の性質で特徴付けられる。 (☆) 任意のR加群Lと、双線形写像f: M x N → Lを与えるごとに、線形写像g: M⊗N → Lが存在して、g∘π = fをみたす。 アラビア語圏では、材料となるデータA1, A2, A3, ...のことを「マンコ」、新しい対象Aのことを「ハメル」という。 それぞれの意味は「欠けたもの」、「補われたもの」である。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/536
537: デフォルトの名無しさん [] 2024/05/07(火) 11:12:58.59 ID:yUeV8oFM 数値のパターンによって、本質をとらえる。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/537
538: デフォルトの名無しさん [] 2024/05/07(火) 12:36:51.30 ID:jlBp0+F2 エネルギーの在り方をスペクトル分析する。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/538
539: デフォルトの名無しさん [sage] 2024/05/07(火) 13:52:05.03 ID:pdFuXZMq 黒体輻射 http://mevius.5ch.net/test/read.cgi/tech/1710585705/539
540: デフォルトの名無しさん [sage] 2024/05/07(火) 15:07:21.20 ID:nLVZhmwB 量子コンピュータでのプログラミングが出来るようになったら世界は変わるだろうか 現状誤り訂正に課題があるみたいだが http://mevius.5ch.net/test/read.cgi/tech/1710585705/540
541: デフォルトの名無しさん [sage] 2024/05/07(火) 15:10:49.23 ID:pdFuXZMq もうできるよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/541
542: デフォルトの名無しさん [sage] 2024/05/07(火) 20:40:15.04 ID:nLVZhmwB 調べたら中国のgeminiとかいう量子コンピュータが市販(価格は100万,500万,700万の3種類)されてるようだが OSがどうなってるのかとかよくわからんかった プログラミング言語も専用のがあるんかな 夢がひろがりんぐ http://mevius.5ch.net/test/read.cgi/tech/1710585705/542
543: デフォルトの名無しさん [sage] 2024/05/07(火) 21:05:01.83 ID:pdFuXZMq google https://ionq.com/ どうプログラミングするのかは分からなかったｗ http://mevius.5ch.net/test/read.cgi/tech/1710585705/543
544: デフォルトの名無しさん [sage] 2024/05/07(火) 21:06:28.54 ID:pdFuXZMq 理研 https://rqc.riken.jp/ http://mevius.5ch.net/test/read.cgi/tech/1710585705/544
545: デフォルトの名無しさん [sage] 2024/05/07(火) 21:41:43.61 ID:nLVZhmwB 言語はQ# / QuTiP /Qiskitなどがあるようだ QuTiPはpythonの延長で使えるらしい http://mevius.5ch.net/test/read.cgi/tech/1710585705/545
546: デフォルトの名無しさん [] 2024/05/08(水) 04:41:16.80 ID:ecR8cuQ+ プリズム通してみたらexplicitだった http://mevius.5ch.net/test/read.cgi/tech/1710585705/546
547: デフォルトの名無しさん [] 2024/05/09(木) 12:42:26.75 ID:zANEcPys 物質は相互作用で理解する http://mevius.5ch.net/test/read.cgi/tech/1710585705/547
548: デフォルトの名無しさん [sage] 2024/05/09(木) 15:28:33.54 ID:5LaPb0No MRI http://mevius.5ch.net/test/read.cgi/tech/1710585705/548
549: デフォルトの名無しさん [sage] 2024/05/11(土) 12:02:44.39 ID:ODzWPrnK ポエムを・・もっとポエムを・・ http://mevius.5ch.net/test/read.cgi/tech/1710585705/549
550: デフォルトの名無しさん [sage] 2024/05/11(土) 12:43:19.46 ID:MLjUJJJu 私の前に道はない 私の後ろに道はできる 童貞 http://mevius.5ch.net/test/read.cgi/tech/1710585705/550
551: デフォルトの名無しさん [] 2024/06/12(水) 21:53:34.83 ID:2UzQR7Po ハッシュテーブル＋補集合フラグ＝無限集合？ https://qiita.com/adaiimps/items/091aab66b4fe5a5e3287 http://mevius.5ch.net/test/read.cgi/tech/1710585705/551
552: あぼーん [あぼーん] あぼーん http://mevius.5ch.net/test/read.cgi/tech/1710585705/552
553: デフォルトの名無しさん [sage] 2024/06/13(木) 13:13:57.73 ID:8J2MNSgx >>552 ばら撒き凄いな http://mevius.5ch.net/test/read.cgi/tech/1710585705/553
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 449 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.015s