「数学」をプログラミングするには (550レス)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
1: デフォルトの名無しさん [] 2024/03/16(土) 19:41:45.98 ID:nuwGv9us たとえば、プログラミングで π/4 = 1 - 1/3 + 1/5 - 1/7 + ... を近似ではなく厳密に確かめるにはどうしたらいいの 人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど http://mevius.5ch.net/test/read.cgi/tech/1710585705/1
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/ どうプログラミングするのかは分からなかったw 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
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.933s*