[過去ログ]
「数学」をプログラミングするには (1002レス)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
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 定理証明支援だろ 日本語読めんのか?w 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
623: デフォルトの名無しさん [sage] 2024/11/14(木) 17:23:53.38 ID:ner7v2hh 麦わら帽子 http://mevius.5ch.net/test/read.cgi/tech/1710585705/623
624: デフォルトの名無しさん [sage] 2024/11/14(木) 21:13:20.72 ID:GhvEWAa6 >>63 RubyやPythonは実行も遅くバカ大衆向けの言語 http://mevius.5ch.net/test/read.cgi/tech/1710585705/624
625: デフォルトの名無しさん [] 2024/11/14(木) 21:48:56.39 ID:bKv2MHuD >>617 虐待するような親は どんな素晴らしい育児本が出ても どのみち読まない http://mevius.5ch.net/test/read.cgi/tech/1710585705/625
626: デフォルトの名無しさん [sage] 2024/11/14(木) 23:41:10.47 ID:ner7v2hh DLはパイソンだが http://mevius.5ch.net/test/read.cgi/tech/1710585705/626
627: デフォルトの名無しさん [sage] 2024/11/15(金) 04:40:11.25 ID:ZKTTgycs 虐待するような親は字読めない http://mevius.5ch.net/test/read.cgi/tech/1710585705/627
628: デフォルトの名無しさん [] 2024/11/15(金) 05:18:13.53 ID:hQy47J0s どの数学を勉強するかにもよるな 弦理論やるならリー群論や多様体解析は必須だ リーマンの定理やアインシュタインあたりまでは知っとく必要がある 微分解析やテンソル解析は腕のように使えなければならない シュレーディンガー値も http://mevius.5ch.net/test/read.cgi/tech/1710585705/628
629: デフォルトの名無しさん [] 2024/11/15(金) 05:23:46.08 ID:oiKZah8W コンピュータは電気で動いている 電気の法則は電磁気学に従う 電磁気学は数学で記述される したがって、コンピュータで数学をすることは不可能 http://mevius.5ch.net/test/read.cgi/tech/1710585705/629
630: デフォルトの名無しさん [] 2024/11/15(金) 11:17:31.81 ID:QdZaIMPx 電子レベルでは不確定性原理が成り立つから、演繹法は成り立たない http://mevius.5ch.net/test/read.cgi/tech/1710585705/630
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 372 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.026s