「数学」をプログラミングするには

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

531(1): 2024/05/06(月)12:18 ID:TmmkktzA(1/2) AAS
なぜ一点集中すると埋まるのか？

532: 2024/05/06(月)12:45 ID:TmmkktzA(2/2) AAS
そして集めてくる

533: 2024/05/06(月)20:50 ID:kPNEJGK+(1) AAS
標準型は常に全関数だ
なぜか？
積分という手法だからだ

534: 2024/05/06(月)21:23 ID:b1Bdlnhs(1) AAS
特徴的なふるまいには
形あるものが必要だ

535: 2024/05/06(月)21:50 ID:2UIG7pZN(1) AAS
>>529
っネーターの定理

536: 2024/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のことを「ハメル」という。

それぞれの意味は「欠けたもの」、「補われたもの」である。

537: 2024/05/07(火)11:12 ID:yUeV8oFM(1) AAS
数値のパターンによって、本質をとらえる。

538: 2024/05/07(火)12:36 ID:jlBp0+F2(1) AAS
エネルギーの在り方をスペクトル分析する。

539: 2024/05/07(火)13:52 ID:pdFuXZMq(1/4) AAS
黒体輻射

540: 2024/05/07(火)15:07 ID:nLVZhmwB(1/3) AAS
量子コンピュータでのプログラミングが出来るようになったら世界は変わるだろうか
現状誤り訂正に課題があるみたいだが

541: 2024/05/07(火)15:10 ID:pdFuXZMq(2/4) AAS
もうできるよ

542(1): 2024/05/07(火)20:40 ID:nLVZhmwB(2/3) AAS
調べたら中国のgeminiとかいう量子コンピュータが市販(価格は100万,500万,700万の3種類)されてるようだが
OSがどうなってるのかとかよくわからんかった
プログラミング言語も専用のがあるんかな
夢がひろがりんぐ

543: 2024/05/07(火)21:05 ID:pdFuXZMq(3/4) AAS
google
外部ﾘﾝｸ:ionq.com

どうプログラミングするのかは分からなかったｗ

544: 2024/05/07(火)21:06 ID:pdFuXZMq(4/4) AAS
理研
外部ﾘﾝｸ:rqc.riken.jp

545: 2024/05/07(火)21:41 ID:nLVZhmwB(3/3) AAS
言語はQ# / QuTiP /Qiskitなどがあるようだ
QuTiPはpythonの延長で使えるらしい

546: 2024/05/08(水)04:41 ID:ecR8cuQ+(1) AAS
プリズム通してみたらexplicitだった

547: 2024/05/09(木)12:42 ID:zANEcPys(1) AAS
物質は相互作用で理解する

548: 2024/05/09(木)15:28 ID:5LaPb0No(1) AAS
MRI

549: 2024/05/11(土)12:02 ID:ODzWPrnK(1) AAS
ポエムを・・もっとポエムを・・

550: 2024/05/11(土)12:43 ID:MLjUJJJu(1) AAS
私の前に道はない私の後ろに道はできる　童貞

551: 2024/06/12(水)21:53 ID:2UzQR7Po(1) AAS
ハッシュテーブル＋補集合フラグ＝無限集合？
外部ﾘﾝｸ:qiita.com

552(1): あぼーん [あぼーん] AAS
あぼーん

553: 2024/06/13(木)13:13 ID:8J2MNSgx(1) AAS
>>552
ばら撒き凄いな

554: 2024/06/14(金)19:32 ID:J8nW31cj(1) AAS
乗除算の近似解を加減算のみで求める技術
外部ﾘﾝｸ:qiita.com