「数学」をプログラミングするには (550ﾚｽ)
上下前次1-新
1(10): 03/16(土)19:41 ID:nuwGv9us(1) AAS
たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
531(1): 05/06(月)12:18 ID:TmmkktzA(1/2) AAS
なぜ一点集中すると埋まるのか？
532: 05/06(月)12:45 ID:TmmkktzA(2/2) AAS
そして集めてくる
533: 05/06(月)20:50 ID:kPNEJGK+(1) AAS
標準型は常に全関数だ
なぜか？
積分という手法だからだ
534: 05/06(月)21:23 ID:b1Bdlnhs(1) AAS
特徴的なふるまいには
形あるものが必要だ
535: 05/06(月)21:50 ID:2UIG7pZN(1) AAS
>>529
っ ネーターの定理
536: 05/07(火)09:55 ID:eRnvNXkn(1) AAS
>>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のことを「ハメル」という。
省1
537: 05/07(火)11:12 ID:yUeV8oFM(1) AAS
数値のパターンによって、本質をとらえる。
538: 05/07(火)12:36 ID:jlBp0+F2(1) AAS
エネルギーの在り方をスペクトル分析する。
539: 05/07(火)13:52 ID:pdFuXZMq(1/4) AAS
黒体輻射
540: 05/07(火)15:07 ID:nLVZhmwB(1/3) AAS
量子コンピュータでのプログラミングが出来るようになったら世界は変わるだろうか
現状誤り訂正に課題があるみたいだが
541: 05/07(火)15:10 ID:pdFuXZMq(2/4) AAS
もうできるよ
542: 05/07(火)20:40 ID:nLVZhmwB(2/3) AAS
調べたら中国のgeminiとかいう量子コンピュータが市販(価格は100万,500万,700万の3種類)されてるようだが
OSがどうなってるのかとかよくわからんかった
プログラミング言語も専用のがあるんかな
夢がひろがりんぐ
543: 05/07(火)21:05 ID:pdFuXZMq(3/4) AAS
google
https://ionq.com/
どうプログラミングするのかは分からなかったｗ
544: 05/07(火)21:06 ID:pdFuXZMq(4/4) AAS
理研
https://rqc.riken.jp/
545: 05/07(火)21:41 ID:nLVZhmwB(3/3) AAS
言語はQ# / QuTiP /Qiskitなどがあるようだ
QuTiPはpythonの延長で使えるらしい
546: 05/08(水)04:41 ID:ecR8cuQ+(1) AAS
プリズム通してみたらexplicitだった
547: 05/09(木)12:42 ID:zANEcPys(1) AAS
物質は相互作用で理解する
548: 05/09(木)15:28 ID:5LaPb0No(1) AAS
MRI
549: 05/11(土)12:02 ID:ODzWPrnK(1) AAS
ポエムを・・もっとポエムを・・
550: 05/11(土)12:43 ID:MLjUJJJu(1) AAS
私の前に道はない 私の後ろに道はできる 童貞
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.904s*