[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
554: デフォルトの名無しさん [] 2024/06/14(金) 19:32:02.03 ID:J8nW31cj 乗除算の近似解を加減算のみで求める技術 https://qiita.com/adaiimps/items/7c1114bd955ed2d239cc http://mevius.5ch.net/test/read.cgi/tech/1710585705/554
555: デフォルトの名無しさん [] 2024/06/15(土) 11:11:44.45 ID:I+z8iAZu 三角関数でも同じ事が出来る http://mevius.5ch.net/test/read.cgi/tech/1710585705/555
556: デフォルトの名無しさん [] 2024/07/10(水) 03:52:10.39 ID:l805LDy6 すごいな http://mevius.5ch.net/test/read.cgi/tech/1710585705/556
557: デフォルトの名無しさん [sage] 2024/07/10(水) 16:25:56.43 ID:2GPD5dJ4 微分は漏れが発見した(Napier) http://mevius.5ch.net/test/read.cgi/tech/1710585705/557
558: 警備員[Lv.5][新芽] [sage] 2024/07/10(水) 23:19:12.13 ID:oFRVSf47 勉強になりました http://mevius.5ch.net/test/read.cgi/tech/1710585705/558
559: デフォルトの名無しさん [] 2024/07/19(金) 13:53:04.91 ID:kaoCcgmG >>542 分解したら、Windows PCだったりして http://mevius.5ch.net/test/read.cgi/tech/1710585705/559
560: デフォルトの名無しさん [sage] 2024/07/19(金) 14:39:13.29 ID:bKXE7aT9 マルウェアがもれなく付いてきます http://mevius.5ch.net/test/read.cgi/tech/1710585705/560
561: デフォルトの名無しさん [] 2024/07/19(金) 23:54:46.97 ID:rC6z5NUh クラウドストライク略してクラスト 本気でストライク開始 http://mevius.5ch.net/test/read.cgi/tech/1710585705/561
562: デフォルトの名無しさん [] 2024/07/23(火) 09:18:20.47 ID:iSDzXJU2 半整数を定義してくれ http://mevius.5ch.net/test/read.cgi/tech/1710585705/562
563: デフォルトの名無しさん [sage] 2024/07/23(火) 10:43:32.92 ID:Kdzr5IGr 整数を半分にします http://mevius.5ch.net/test/read.cgi/tech/1710585705/563
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
565: あぼーん [あぼーん] あぼーん http://mevius.5ch.net/test/read.cgi/tech/1710585705/565
566: デフォルトの名無しさん [sage] 2024/08/27(火) 18:58:40.55 ID:cp4Z1Add >>565 めっちゃ簡単よ http://mevius.5ch.net/test/read.cgi/tech/1710585705/566
567: デフォルトの名無しさん [] 2024/10/03(木) 09:59:27.49 ID:Z/ktGrzU NHK BS 熱血Bリーグ 司会者：「今日から彩雪さんが登場です」 ゲスト一同：「うぇーい」 司会者：「彩雪さんは高校の教師もしておられます」 一同：「うぇーい」 司会者：「彩雪さんは何の科目？」 彩雪：数学です ゲスト：「高校数学なんてついていけない」 司会者：「大学では何を専門に？」 彩雪：複素解析です 司会者：「複素解析？なんですそれは？」 彩雪：複素数は御存知ですか？ 一同：「・・・」 彩雪：「・・・」 http://mevius.5ch.net/test/read.cgi/tech/1710585705/567
568: デフォルトの名無しさん [sage] 2024/10/04(金) 13:34:20.62 ID:RixEjMnj 1729とは http://mevius.5ch.net/test/read.cgi/tech/1710585705/568
569: デフォルトの名無しさん [sage] 2024/10/05(土) 15:11:52.05 ID:u1hwkRNd >>568 誰もそんな話をしてないぞ ガイジ http://mevius.5ch.net/test/read.cgi/tech/1710585705/569
570: デフォルトの名無しさん [] 2024/10/20(日) 19:53:15.13 ID:Xkf3xe26 こういうのはLLMでどうにかならんの？ o1で推論能力かなり上がったらしいけど http://mevius.5ch.net/test/read.cgi/tech/1710585705/570
571: デフォルトの名無しさん [] 2024/10/20(日) 20:30:20.00 ID:Rpp5gjxc 無理かな。 決定論的な数学（微分積分見たいな予測の方の数学）のラプラスの悪魔（すべての現在の状態が分かればすべてを予測可能）と 確率論的な数学のLLMの引数を無限にすれば万能関数になるってのは多分、別々の道を進んだ先が同じになるパターン。 現実的には無理だけど、その極限で全く別に見えた数学の分野が交差する瞬間と考えるとちょっと感動。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/571
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 431 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.015s