[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
306(4): デフォルトの名無しさん [sage] 2024/04/15(月) 12:44:15.61 ID:scEUff9F(4/17) AAS
>>305だから存在をどうやって示すんだ
364: デフォルトの名無しさん [] 2024/04/16(火) 21:28:36.61 ID:g+y/CpM4(1) AAS
だまれー！！
545: デフォルトの名無しさん [sage] 2024/05/07(火) 21:41:43.61 ID:nLVZhmwB(3/3) AAS
言語はQ# / QuTiP /Qiskitなどがあるようだ
QuTiPはpythonの延長で使えるらしい
602(1): デフォルトの名無しさん [sage] 2024/11/12(火) 15:55:48.61 ID:CKJ1cusC(1/7) AAS
>>596596(5): デフォルトの名無しさん [sage] 2024/11/12(火) 04:10:14.19 ID:15KCzjek(2/5) AAS
x^2 = 2をみたす正の実数xは一意的に存在する
なら、それを√2というシンボルで扱えるようにすべきだ
計算は必要なときにだけすればいい
x = 1.4142云々という数値にしなければ扱えないのは不要な制約
これは誤差があるとかそういう問題ではない
人間の思考をコンピュータの都合に合わせようとしているのが問題
そういう道具をお前が開発すればいい話、有効ならみんな使ってくれる
677: デフォルトの名無しさん [] 2024/11/18(月) 19:29:55.61 ID:cmnYUiAb(4/8) AAS
ｘ比可算
o非可算
708(1): デフォルトの名無しさん [sage] 2024/11/19(火) 16:46:56.61 ID:BjXbrgPI(8/10) AAS
コンピュータをプログラムするのはできるのかな
709: デフォルトの名無しさん [] 2024/11/19(火) 16:47:12.61 ID:coO1UiYz(1) AAS
チューリングやノイマンにも「それ意味あるの？」とか言ってそう
887(1): デフォルトの名無しさん [sage] 2025/01/24(金) 08:08:03.61 ID:xJrwwu40(1) AAS
その代わりにmany shared XOR one mutableのキツいルールがあるけどな。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.067s