[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
888: デフォルトの名無しさん [sage] 2025/01/24(金) 08:08:50.30 ID:wJVzGCxN 自力で証明するよりも他者の言質を取るというか契約が成立することにより安全が保証される という思考に人類は依存しすぎている 半導体は自作できないかもしれないが数学は紙媒体でもできる http://mevius.5ch.net/test/read.cgi/tech/1710585705/888
889: デフォルトの名無しさん [] 2025/01/24(金) 10:45:51.66 ID:QSEbyU6x 正直、Rustに心酔してる奴って、程度が低すぎ・・・ PythonやC#みたいなオモチャと比べたら、たしかにRustはマトモだ だが、しょせんはまだ従来型のプログラミング言語 人間の思考ほどの表現力は無い http://mevius.5ch.net/test/read.cgi/tech/1710585705/889
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
915: デフォルトの名無しさん [] 2025/01/28(火) 00:57:38.03 ID:IzCMkZvk 業者の嫌がらせ数字組み合わせ .204 〜に死 .214 21日生まれ（記念日の人）死 .224 夫婦死 .234 兄さん、爺さん死 .244 西死 .254 事故死、事後死、ニコ死 .264 〜に無視 .274 〜に無し、次男死 .284 〜には死 .294 〜29日生まれ（記念日の人）死 .304 〜さん死 .314 .324 〜さんに死 .334 .344 .354 .364 〜さん無視 .374 〜さん無し .384 〜さんは無し .394 執拗に強調することで精神攻撃になる業者の嫌がらせ手法がキモい http://mevius.5ch.net/test/read.cgi/tech/1710585705/915
916: デフォルトの名無しさん [] 2025/01/28(火) 06:05:44.47 ID:IzCMkZvk 閲覧171人とか174人、179人、180人、184人 ／総視聴者数 （配信者の名前やID、誕生日などの語呂合わせ数字） 数字操作の嫌がらせがキモすぎ http://mevius.5ch.net/test/read.cgi/tech/1710585705/916
917: デフォルトの名無しさん [] 2025/01/28(火) 10:01:48.23 ID:dqvH8r5C 暗号化技術とガロア体の関係を教えて下さい http://mevius.5ch.net/test/read.cgi/tech/1710585705/917
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 85 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s