[過去ログ]
「数学」をプログラミングするには (1002レス)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
890: デフォルトの名無しさん [] 2025/01/24(金) 10:51:55.41 ID:QSEbyU6x 言っちゃ悪いが、人間の知能は平等ではない ある人にとってはRustは自分の思考よりも高機能だから、Rustに引き上げてもらえる しかし、ある人にとってはRustを書くことは、Rustの書き方に思考を制限することになる http://mevius.5ch.net/test/read.cgi/tech/1710585705/890
891: デフォルトの名無しさん [] 2025/01/24(金) 11:18:52.70 ID:YFrK1zgU ある人は数論幾何学や場の量子論などがわかるが、ある人は中学校の連立方程式くらいしかわからない 連立方程式が世界で一番高度な学問と感じる人にとって、プログラミン言語はまるで魔法のようなのかも知れない が、数論幾何の水準の人にはプログラミング言語は耐え難いほど低水準だ http://mevius.5ch.net/test/read.cgi/tech/1710585705/891
892: デフォルトの名無しさん [sage] 2025/01/24(金) 11:22:58.16 ID:wJVzGCxN 振舞いを自動化しろと言われるのと判断は人間の責任っていうのは 振舞いと判断を区別すれば矛盾しないんだけど 「証明する」というのは振舞いか判断かさっぱり分からんから矛盾だという批判がある http://mevius.5ch.net/test/read.cgi/tech/1710585705/892
893: デフォルトの名無しさん [sage] 2025/01/24(金) 22:28:54.69 ID:TVTggs3s >>887 single writer XOR multiple readers はデータ参照の競合バグを防ぐために役立つルール これを守ると参照競合によるバグを防げるだけでなく プログラムのスパゲッティ化を防ぐ効果も高い さらにRustではそこに内部可変性が用意されているため そのルールを守ったまま複数のデータ更新者(ex.マルチスレッド)が排他制御しながら同じデータを書き換えることも可能 http://mevius.5ch.net/test/read.cgi/tech/1710585705/893
894: デフォルトの名無しさん [sage] 2025/01/25(土) 03:45:14.01 ID:LC7IJQQw 構ってもらえる相手を探し求めさまよう某 http://mevius.5ch.net/test/read.cgi/tech/1710585705/894
895: デフォルトの名無しさん [sage] 2025/01/25(土) 10:55:48.38 ID:iLzbIZXE >>891 その数論幾何の人にプログラミング言語を作ってもらえばいいんでね http://mevius.5ch.net/test/read.cgi/tech/1710585705/895
896: デフォルトの名無しさん [sage] 2025/01/25(土) 11:31:31.34 ID:wB2yLAW7 新商品を作ることにより今後の支障がなくなるといつから錯覚していた http://mevius.5ch.net/test/read.cgi/tech/1710585705/896
897: デフォルトの名無しさん [] 2025/01/25(土) 15:36:14.98 ID:OwaQndIK >>895 すでに表記の体系はある CS畑のやつが処理系を作ればいい http://mevius.5ch.net/test/read.cgi/tech/1710585705/897
898: デフォルトの名無しさん [sage] 2025/01/25(土) 17:09:03.97 ID:JNkrrIX3 ここまでWolframの話題なし http://mevius.5ch.net/test/read.cgi/tech/1710585705/898
899: デフォルトの名無しさん [sage] 2025/01/25(土) 17:25:15.44 ID:W3I6NstP rustがどうのとかいってるレベルだからね http://mevius.5ch.net/test/read.cgi/tech/1710585705/899
900: デフォルトの名無しさん [sage] 2025/01/25(土) 20:44:31.67 ID:iLzbIZXE >>897 それはMathematicaじゃダメなん? 表記の体系って、プログラミングするには演算子の優先順位を決めないといけないがそれも決まってるの? CSやってて数学のわからないところは記号の優先順位がわからなくて読み解けないことがある点 http://mevius.5ch.net/test/read.cgi/tech/1710585705/900
901: デフォルトの名無しさん [] 2025/01/25(土) 22:15:16.23 ID:wEoGbTgh >>900 だめに決まってるじゃん http://mevius.5ch.net/test/read.cgi/tech/1710585705/901
902: デフォルトの名無しさん [] 2025/01/25(土) 22:33:12.05 ID:LqupDpHB >>900 Mathematicaは数式処理システムだ http://mevius.5ch.net/test/read.cgi/tech/1710585705/902
903: デフォルトの名無しさん [sage] 2025/01/25(土) 22:57:41.30 ID:iLzbIZXE 数論幾何用のソフトウェアがないってことかね、表記の体系はどこでみれるの グレブナー基底とかならRisa/Asirとか群論ならgapとか 多分数学の分野ごとにソフトウェアがあるのが現状だと思う http://mevius.5ch.net/test/read.cgi/tech/1710585705/903
904: デフォルトの名無しさん [] 2025/01/25(土) 23:20:00.08 ID:T4wakzBv 内容がわからないなら無理に書き込まなくていいのに http://mevius.5ch.net/test/read.cgi/tech/1710585705/904
905: デフォルトの名無しさん [sage] 2025/01/26(日) 01:21:09.90 ID:RxnNQ4s+ 必要なのはドリルではなく穴 記号ではなく意味 と思うじゃん? http://mevius.5ch.net/test/read.cgi/tech/1710585705/905
906: デフォルトの名無しさん [] 2025/01/26(日) 07:09:22.82 ID:8U3hDZ20 >>903 アホすぎて返す言葉もない http://mevius.5ch.net/test/read.cgi/tech/1710585705/906
907: デフォルトの名無しさん [] 2025/01/26(日) 07:29:10.83 ID:xKZhC4SH ID:iLzbIZXE こういう現代文なら零点のレス返してくる人って、日々の生活相当苦労してそうだな http://mevius.5ch.net/test/read.cgi/tech/1710585705/907
908: デフォルトの名無しさん [sage] 2025/01/26(日) 15:13:07.48 ID:RxnNQ4s+ 試験はギリギリ解けないレベルまで難化する トーナメントは敗者で埋め尽くされる http://mevius.5ch.net/test/read.cgi/tech/1710585705/908
909: デフォルトの名無しさん [] 2025/01/26(日) 20:27:15.66 ID:m+VDOodg レベル、経験値、ポイント、HP、通貨、メッセージ数、フレンド数 4(死)、13(キリスト教における忌み数字) 18(嫌)、24(〜に死)、34(〜さん死) 40、42、44 56(殺)、64(無視) 71(無い)、74(無し)、79(無く、亡く) 84(〜は死)、94(〜君死)、96(黒) このような数字と名前や生年月日、IDなどを組み合わせて執拗に強調することで、精神攻撃をする業者やストーカー、嫌がらせ組織がキモい。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/909
910: デフォルトの名無しさん [] 2025/01/26(日) 20:55:22.65 ID:BcwcPe/+ ドリル優子が大臣に http://mevius.5ch.net/test/read.cgi/tech/1710585705/910
911: デフォルトの名無しさん [sage] 2025/01/26(日) 22:29:07.43 ID:RxnNQ4s+ 経験的なデータはリセットできるからリセット不可能なものと分断されたり見下されたりする http://mevius.5ch.net/test/read.cgi/tech/1710585705/911
912: デフォルトの名無しさん [] 2025/01/26(日) 22:57:02.10 ID:s+0AyHDZ ごみはしんでもごみ http://mevius.5ch.net/test/read.cgi/tech/1710585705/912
913: デフォルトの名無しさん [] 2025/01/27(月) 08:24:35.73 ID:Lwj4/s6G そう言えばPASCALのスレ無くなってるな (ObjectPASCALやDelphi除く) http://mevius.5ch.net/test/read.cgi/tech/1710585705/913
914: デフォルトの名無しさん [] 2025/01/28(火) 00:55:22.49 ID:IzCMkZvk スレタイ、レス件数、スレ作成日、投稿時刻に4や13、忌み数字を使って嫌がらせするネットストーカー、SNSストーカー業者がキモすぎ 4や13などの忌み数字と以下の情報、ポケベル暗号の数字などを(近い位置の並びで)組み合わせて使われていたら嫌がらせの可能性高し。 ・名前やニックネーム ・生年月日 ・住所、番地 ・車のナンバー ・電話番号やメールアドレス http://mevius.5ch.net/test/read.cgi/tech/1710585705/914
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 88 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.018s