[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
598: デフォルトの名無しさん [sage] 2024/11/12(火) 10:46:16.50 ID:15KCzjek >>597 問題だと思わないならすべてのソフトウェアをマシン語直接書けばいいと思うんだけど、そうしないの？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/598
599: デフォルトの名無しさん [sage] 2024/11/12(火) 11:09:37.06 ID:NBuxYVaH ありがちなつまらない問答 どうせなにも解を持ってない http://mevius.5ch.net/test/read.cgi/tech/1710585705/599
600: デフォルトの名無しさん [sage] 2024/11/12(火) 11:14:02.69 ID:u+3emFIN このガイジ3月からずっと粘着してんの？ きっしょ…… http://mevius.5ch.net/test/read.cgi/tech/1710585705/600
601: デフォルトの名無しさん [sage] 2024/11/12(火) 15:48:13.03 ID:3FuqnzdR >>596 マジレスするとsympyとか使ってxのまま計算して 最後にsolveさせると良いよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/601
602: デフォルトの名無しさん [sage] 2024/11/12(火) 15:55:48.61 ID:CKJ1cusC >>596 そういう道具をお前が開発すればいい話、有効ならみんな使ってくれる http://mevius.5ch.net/test/read.cgi/tech/1710585705/602
603: デフォルトの名無しさん [sage] 2024/11/12(火) 16:33:02.20 ID:15KCzjek >>601 それは√2を代数的に扱えるだけで、「数学」ができるようになるわけじゃないよね http://mevius.5ch.net/test/read.cgi/tech/1710585705/603
604: デフォルトの名無しさん [sage] 2024/11/12(火) 16:34:24.89 ID:15KCzjek >>602 CoqだのAgdaだのLeanだのすでにあるが、プログラミングのタスクに使うには現実的ではないから使われていない http://mevius.5ch.net/test/read.cgi/tech/1710585705/604
605: デフォルトの名無しさん [sage] 2024/11/12(火) 16:51:01.93 ID:CKJ1cusC >人間の思考をコンピュータの都合に合わせようとしているのが問題 http://mevius.5ch.net/test/read.cgi/tech/1710585705/605
606: デフォルトの名無しさん [sage] 2024/11/12(火) 18:26:13.57 ID:CKJ1cusC どうせコンピュータの仕組み、どう動くか分からん素人のポエムだろ http://mevius.5ch.net/test/read.cgi/tech/1710585705/606
607: デフォルトの名無しさん [sage] 2024/11/12(火) 18:53:59.94 ID:XP7honYa >>606 コンピュータの仕組みとこの話がどう関係すんの？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/607
608: デフォルトの名無しさん [sage] 2024/11/12(火) 18:55:38.17 ID:CKJ1cusC 何処が疑問？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/608
609: デフォルトの名無しさん [sage] 2024/11/12(火) 19:07:20.52 ID:XP7honYa >>608 コンピュータの仕組みとこの話がどう関係するの？（2回目） http://mevius.5ch.net/test/read.cgi/tech/1710585705/609
610: デフォルトの名無しさん [sage] 2024/11/12(火) 19:33:12.24 ID:8/9kiwLF Isabelle使えばいいだけじゃん？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/610
611: デフォルトの名無しさん [sage] 2024/11/12(火) 21:00:48.76 ID:CKJ1cusC >>609 お前は>>596か？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/611
612: デフォルトの名無しさん [sage] 2024/11/12(火) 22:38:55.70 ID:CKJ1cusC >>604 何に使うんだ、具体的に http://mevius.5ch.net/test/read.cgi/tech/1710585705/612
613: デフォルトの名無しさん [sage] 2024/11/12(火) 23:06:50.66 ID:Z0apa2/f >>612 自分で考えろ わかんねーなら口挟むな雑魚 http://mevius.5ch.net/test/read.cgi/tech/1710585705/613
614: デフォルトの名無しさん [sage] 2024/11/12(火) 23:10:47.26 ID:/X8f5cV1 >>612 定理証明支援だろ 日本語読めんのか？ｗ http://mevius.5ch.net/test/read.cgi/tech/1710585705/614
615: デフォルトの名無しさん [sage] 2024/11/12(火) 23:13:38.83 ID:CKJ1cusC >>613,614 死ねよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/615
616: デフォルトの名無しさん [sage] 2024/11/13(水) 16:19:20.46 ID:uVNdAEYi 子どもたちがママや先生に「なんで？どうして？」と質問攻めする http://mevius.5ch.net/test/read.cgi/tech/1710585705/616
617: デフォルトの名無しさん [sage] 2024/11/14(木) 06:47:55.50 ID:FKItOak5 やらないやつは どんな便利な道具を与えても どのみちやらない http://mevius.5ch.net/test/read.cgi/tech/1710585705/617
618: デフォルトの名無しさん [sage] 2024/11/14(木) 09:28:56.87 ID:nznif/OW ここまでやって>>1や>>596の問題でさえ、まともな解答を与えられない雑魚ども http://mevius.5ch.net/test/read.cgi/tech/1710585705/618
619: デフォルトの名無しさん [sage] 2024/11/14(木) 10:42:00.16 ID:ner7v2hh イキルボウフラ http://mevius.5ch.net/test/read.cgi/tech/1710585705/619
620: デフォルトの名無しさん [] 2024/11/14(木) 12:02:25.41 ID:OQvPqcBY 人間が証明する場合だって地道に微積分とか勉強しなきゃいけないんだから、プログラミングでやる場合でも、前提となる命題を地道にライブラリとして実装するしかないんじゃないの？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/620
621: デフォルトの名無しさん [sage] 2024/11/14(木) 13:14:43.41 ID:ner7v2hh 人間の証明 http://mevius.5ch.net/test/read.cgi/tech/1710585705/621
622: デフォルトの名無しさん [] 2024/11/14(木) 14:47:37.59 ID:a5xmyjQf strawhat http://mevius.5ch.net/test/read.cgi/tech/1710585705/622
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 380 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s