[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
26: デフォルトの名無しさん [] 2024/03/18(月) 21:35:55.83 ID:fpvRWfHG(1) AAS
コード書けない奴が必死に妄想でレスバするクソスレ
ＮＧ決定
38: デフォルトの名無しさん [] 2024/03/19(火) 17:54:01.83 ID:/7JjNXd8(1) AAS
証明支援系っつっても、ふつうにプログラム書くのと同じで、特定の問題の解法をプログラムしてるだけ
ようは論理のピタゴラスイッチ作ってるだけ
べつに未知の証明を自動で発見してくれるわけではない（もちろん、問題によっては自動的に解決できる場合もあるが）
98: デフォルトの名無しさん [] 2024/03/24(日) 14:58:03.83 ID:iK6Wk5rB(1) AAS
この完全なデタラメな話をここまで長々とする気力がどこから湧いてくるのかがわからない
137(1): デフォルトの名無しさん [sage] 2024/03/27(水) 21:40:20.83 ID:ucDYKmHx(1) AAS
>>135
135(1): デフォルトの名無しさん [sage] 2024/03/27(水) 20:27:56.36 ID:NpBSIV2x(1) AAS
>>126
ガイジか？
プログラマ→職業
数学→学問分野
日本語勉強し直すか死ねよ
125へ言えよ、キチガイ
151: デフォルトの名無しさん [sage] 2024/03/29(金) 10:11:08.83 ID:vNZyJemM(1) AAS
不完全ではなく無定義語で挫折する人がいる
無定義語の定義を特定できないと命題を肯定も否定もできない説
日常生活で出てくる
178: デフォルトの名無しさん [] 2024/04/01(月) 00:21:59.83 ID:3Pei3vn5(1) AAS
>>177
177(1): デフォルトの名無しさん [sage] 2024/03/31(日) 23:16:01.19 ID:slFHfGV9(1) AAS
>>171
プログラム技術と全く関係ないの、わかる？
単語だけ知ってても意味ないのよ
知らないのに、無理しちゃって・・・w
357: デフォルトの名無しさん [] 2024/04/16(火) 21:15:22.83 ID:hd0EAKHj(1) AAS
Pachinkoですった借金
積もりに積もって、、もどーる
378: デフォルトの名無しさん [] 2024/04/17(水) 05:31:12.83 ID:riJpNYPi(1/2) AAS
社会正義を気取ったコンプレックスの初ライブ
543: デフォルトの名無しさん [sage] 2024/05/07(火) 21:05:01.83 ID:pdFuXZMq(3/4) AAS
google
外部ﾘﾝｸ:ionq.com

どうプログラミングするのかは分からなかったｗ
551: デフォルトの名無しさん [] 2024/06/12(水) 21:53:34.83 ID:2UzQR7Po(1) AAS
ハッシュテーブル＋補集合フラグ＝無限集合？
外部ﾘﾝｸ:qiita.com
615: デフォルトの名無しさん [sage] 2024/11/12(火) 23:13:38.83 ID:CKJ1cusC(7/7) AAS
>>613,614
613(1): デフォルトの名無しさん [sage] 2024/11/12(火) 23:06:50.66 ID:Z0apa2/f(1) AAS
>>612
自分で考えろ
わかんねーなら口挟むな雑魚
614(1): デフォルトの名無しさん [sage] 2024/11/12(火) 23:10:47.26 ID:/X8f5cV1(1) AAS
>>612
定理証明支援だろ
日本語読めんのか？ｗ
死ねよ
750: デフォルトの名無しさん [sage] 2024/12/11(水) 12:53:19.83 ID:9ebR4E1i(3/8) AAS
ポエム爺さんの代わりに考えてあげたのに酷い（笑）
907: デフォルトの名無しさん [] 2025/01/26(日) 07:29:10.83 ID:xKZhC4SH(1) AAS
ID:iLzbIZXE こういう現代文なら零点のレス返してくる人って、日々の生活相当苦労してそうだな
944(1): デフォルトの名無しさん [sage] 2025/02/06(木) 07:56:01.83 ID:2B877/qC(1) AAS
米田埋込み
970: デフォルトの名無しさん [sage] 2025/02/12(水) 04:41:30.83 ID:osC1JZ7j(1) AAS
>>948
948(1): デフォルトの名無しさん [sage] 2025/02/06(木) 22:34:55.78 ID:m0cItbCE(1/2) AAS
ゲーテルの不完全性定理と計算可能性の話で全部記述することは無理なんじゃなかった？
チャイティンのオメガはもっと知られてても良い筈。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s