[過去ログ]
「数学」をプログラミングするには (1002レス)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
883: デフォルトの名無しさん [sage] 2025/01/20(月) 08:41:47.10 ID:jEcxLOMX 立派とは? http://mevius.5ch.net/test/read.cgi/tech/1710585705/883
884: デフォルトの名無しさん [sage] 2025/01/20(月) 08:45:50.71 ID:VdwKz6kz int i=10; char c='a'; printf("%d\n",i+c); こんなのがかけるC++ではカリーハワード同型対応なりたたなさそう http://mevius.5ch.net/test/read.cgi/tech/1710585705/884
885: デフォルトの名無しさん [sage] 2025/01/20(月) 09:06:44.29 ID:3GFrNXKp C/C++の型付けは、メモリをなんぼ確保するかの目印でしかないからな http://mevius.5ch.net/test/read.cgi/tech/1710585705/885
886: デフォルトの名無しさん [sage] 2025/01/23(木) 23:15:16.69 ID:gkeqtoks Rustの型はトレイト属性があって マルチスレッドでも同期が保証される型など 抽象度の高い表現が型システムで扱えるようになってるね それによりデータ競合が起きないことを型システムで保証してしまってるところが凄いと思った http://mevius.5ch.net/test/read.cgi/tech/1710585705/886
887: デフォルトの名無しさん [sage] 2025/01/24(金) 08:08:03.61 ID:xJrwwu40 その代わりにmany shared XOR one mutableのキツいルールがあるけどな。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/887
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
918: デフォルトの名無しさん [sage] 2025/01/28(火) 15:48:49.65 ID:fgheZtrX >>917 暗号化技術でガロアとの肉体関係 http://mevius.5ch.net/test/read.cgi/tech/1710585705/918
919: デフォルトの名無しさん [] 2025/01/29(水) 21:16:18.67 ID:VEYwrfKC 忌み数字を踏ませる業者、アプリ、コンピュータプログラムの嫌がらせ 動画再生回数、表示回数、登録者数、フォロワー数、評価数、コメント数、レベル、経験値、ポイント、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/919
920: デフォルトの名無しさん [sage] 2025/01/30(木) 01:47:43.22 ID:pmUo+geg サブタイピングは本当に必要なのか? http://mevius.5ch.net/test/read.cgi/tech/1710585705/920
921: デフォルトの名無しさん [sage] 2025/01/30(木) 06:49:31.93 ID:b37CpeH6 サブタイピングはトポス http://mevius.5ch.net/test/read.cgi/tech/1710585705/921
922: デフォルトの名無しさん [] 2025/01/31(金) 21:06:58.24 ID:SiR55I1h 閲覧171人とか174人、179人、180人、184人 /総視聴者数 (配信者の名前やID、誕生日などの語呂合わせ数字) 数字操作の嫌がらせがキモすぎ 競合配信者の名前、ポケベル数字、不吉数字の組み合わせ嫌がらせがキモすぎ 忌み数字が表示されやすくなる仕様のクソアプリ、数字操作がキモすぎ http://mevius.5ch.net/test/read.cgi/tech/1710585705/922
923: デフォルトの名無しさん [sage] 2025/02/01(土) 11:40:33.63 ID:sUYLXBXm お薬のもうね 171 いいないい 174 いいな良い 179 いいな休憩 180 飛躍(百) ハッピー 自由(十) 184 飛躍 ハッピー 幸せ http://mevius.5ch.net/test/read.cgi/tech/1710585705/923
924: デフォルトの名無しさん [] 2025/02/02(日) 23:57:45.05 ID:Drgu6Qh4 口コミや地域マップの表示回数やいいね件数、コメント数、フォロワー数、投稿時刻、通知件数、レビュー評価等で、意図的に忌み数字や悪意のあるポケベル暗号数字をしつこく強調する町内会員の嫌がらせがキモすぎ 例 4(死)、13(キリスト教における忌み数字) 18(嫌)、24(〜に死)、34(〜さん死) 40、42、44 56(殺)、64(無視) 71(無い)、74(無し)、79(無く、亡く) 84(〜は死)、94(〜君死)、96(黒) 忌み数字や不吉を連想させる数字が表示されやすくなるウイルスを業者が仕込んでるっていうね。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/924
925: デフォルトの名無しさん [sage] 2025/02/03(月) 11:27:08.47 ID:WyTS2dKB お薬のもうね http://mevius.5ch.net/test/read.cgi/tech/1710585705/925
926: デフォルトの名無しさん [] 2025/02/03(月) 12:07:03.75 ID:wBItYUjQ 3が付くときと3の倍数でアホになる http://mevius.5ch.net/test/read.cgi/tech/1710585705/926
927: デフォルトの名無しさん [sage] 2025/02/03(月) 17:58:17.64 ID:D+cWD+hu 無から有は生じない http://mevius.5ch.net/test/read.cgi/tech/1710585705/927
928: デフォルトの名無しさん [sage] 2025/02/03(月) 17:58:31.17 ID:D+cWD+hu 型はクライスリ圏の対象 http://mevius.5ch.net/test/read.cgi/tech/1710585705/928
929: デフォルトの名無しさん [sage] 2025/02/03(月) 17:59:07.77 ID:D+cWD+hu 極限は普遍性 普遍性は表現 すべてはカン拡張 http://mevius.5ch.net/test/read.cgi/tech/1710585705/929
930: デフォルトの名無しさん [sage] 2025/02/03(月) 19:18:40.28 ID:zeOU8J2H スケッチ→スキャッフォルド→スキーマ これが数学的プログラミングの骨格 http://mevius.5ch.net/test/read.cgi/tech/1710585705/930
931: デフォルトの名無しさん [sage] 2025/02/03(月) 21:26:57.77 ID:lZjIFBNe とりあえずフロントエンドは度外視 あれはJSで動かせるただのオモチャ http://mevius.5ch.net/test/read.cgi/tech/1710585705/931
932: デフォルトの名無しさん [sage] 2025/02/03(月) 23:48:49.59 ID:XBLKOMOL 仕様記述言語というのがあってだな http://mevius.5ch.net/test/read.cgi/tech/1710585705/932
933: デフォルトの名無しさん [sage] 2025/02/04(火) 02:03:30.03 ID:axINJClc 装飾と結合 http://mevius.5ch.net/test/read.cgi/tech/1710585705/933
934: デフォルトの名無しさん [sage] 2025/02/04(火) 03:58:03.13 ID:Mw0YRrvx モナド 再帰と不動点コンビネータ 継続と背理法 http://mevius.5ch.net/test/read.cgi/tech/1710585705/934
935: デフォルトの名無しさん [] 2025/02/04(火) 12:25:57.48 ID:AbihjpY6 BNF http://mevius.5ch.net/test/read.cgi/tech/1710585705/935
936: デフォルトの名無しさん [sage] 2025/02/04(火) 15:34:32.31 ID:uhr4OKyS 普遍性は不動点である http://mevius.5ch.net/test/read.cgi/tech/1710585705/936
937: デフォルトの名無しさん [sage] 2025/02/04(火) 20:57:39.48 ID:Oeo4Jry5 Wolfram Languageの使い方を聞きに来たんだが 新しくスレ立てた方がよい? http://mevius.5ch.net/test/read.cgi/tech/1710585705/937
938: デフォルトの名無しさん [sage] 2025/02/04(火) 21:27:36.82 ID:Es9g2xhz そうだな http://mevius.5ch.net/test/read.cgi/tech/1710585705/938
939: デフォルトの名無しさん [sage] 2025/02/04(火) 21:28:19.56 ID:kCOYqPIc 存在は普遍性 普遍性は極限 極限は不動点 つまり、存在は不動点 http://mevius.5ch.net/test/read.cgi/tech/1710585705/939
940: デフォルトの名無しさん [sage] 2025/02/05(水) 02:27:52.17 ID:yJbYA8kV 場の臨界点 http://mevius.5ch.net/test/read.cgi/tech/1710585705/940
941: デフォルトの名無しさん [sage] 2025/02/05(水) 02:28:44.71 ID:95a7ceRY 局所大域原理 http://mevius.5ch.net/test/read.cgi/tech/1710585705/941
942: デフォルトの名無しさん [] 2025/02/05(水) 14:45:57.05 ID:RWIQAOlp ゲスの極値乙女 http://mevius.5ch.net/test/read.cgi/tech/1710585705/942
943: デフォルトの名無しさん [sage] 2025/02/05(水) 23:44:40.38 ID:IbLGMnEN カタリロン http://mevius.5ch.net/test/read.cgi/tech/1710585705/943
944: デフォルトの名無しさん [sage] 2025/02/06(木) 07:56:01.83 ID:2B877/qC 米田埋込み http://mevius.5ch.net/test/read.cgi/tech/1710585705/944
945: デフォルトの名無しさん [sage] 2025/02/06(木) 10:34:59.56 ID:06aICcsP >>944 事件かな? http://mevius.5ch.net/test/read.cgi/tech/1710585705/945
946: デフォルトの名無しさん [sage] 2025/02/06(木) 21:00:15.76 ID:75UI+75Y コンパイラを書け http://mevius.5ch.net/test/read.cgi/tech/1710585705/946
947: デフォルトの名無しさん [sage] 2025/02/06(木) 21:04:29.07 ID:guqgasQB 継続指向言語 モナド指向言語 http://mevius.5ch.net/test/read.cgi/tech/1710585705/947
948: デフォルトの名無しさん [sage] 2025/02/06(木) 22:34:55.78 ID:m0cItbCE ゲーテルの不完全性定理と計算可能性の話で全部記述することは無理なんじゃなかった? http://mevius.5ch.net/test/read.cgi/tech/1710585705/948
949: デフォルトの名無しさん [sage] 2025/02/06(木) 23:10:35.99 ID:hwCUy5RI 全部記述って何?w http://mevius.5ch.net/test/read.cgi/tech/1710585705/949
950: デフォルトの名無しさん [sage] 2025/02/06(木) 23:14:20.21 ID:m0cItbCE >>949 ゲーテルの不完全性定理って知ってる? http://mevius.5ch.net/test/read.cgi/tech/1710585705/950
951: デフォルトの名無しさん [sage] 2025/02/06(木) 23:31:13.10 ID:T9D6/Ohn 全部記述って何? http://mevius.5ch.net/test/read.cgi/tech/1710585705/951
952: デフォルトの名無しさん [sage] 2025/02/06(木) 23:32:34.69 ID:/3i5yGjy >>950 知らんから教えて Wikipedia見ても分からん 「初等的な自然数論を含む」って何? 「有限の立場」って何? 説明してね http://mevius.5ch.net/test/read.cgi/tech/1710585705/952
953: デフォルトの名無しさん [sage] 2025/02/07(金) 00:09:55.74 ID:hW+AbfK5 >>951 ゲーテルの不完全性定理って知ってる? http://mevius.5ch.net/test/read.cgi/tech/1710585705/953
954: デフォルトの名無しさん [sage] 2025/02/07(金) 01:46:02.50 ID:KWZjh6Se >>953 知らんから教えて >>952の内容も http://mevius.5ch.net/test/read.cgi/tech/1710585705/954
955: デフォルトの名無しさん [sage] 2025/02/07(金) 09:40:09.77 ID:xzx1dNO8 逐次近似法 http://mevius.5ch.net/test/read.cgi/tech/1710585705/955
956: デフォルトの名無しさん [sage] 2025/02/07(金) 09:59:31.40 ID:gh02aWuS スペクトル分解 http://mevius.5ch.net/test/read.cgi/tech/1710585705/956
957: デフォルトの名無しさん [sage] 2025/02/07(金) 17:03:58.45 ID:QhJJc3Rt トレース http://mevius.5ch.net/test/read.cgi/tech/1710585705/957
958: デフォルトの名無しさん [sage] 2025/02/07(金) 17:57:33.87 ID:hEymaDN/ 固有値 固有多項式 http://mevius.5ch.net/test/read.cgi/tech/1710585705/958
959: デフォルトの名無しさん [sage] 2025/02/07(金) 19:38:55.37 ID:zGDKiBUV LU分解 特異値分解 ジョルダン分解 http://mevius.5ch.net/test/read.cgi/tech/1710585705/959
960: デフォルトの名無しさん [sage] 2025/02/07(金) 23:03:58.82 ID:xWjShgR/ ヒルベルト空間 http://mevius.5ch.net/test/read.cgi/tech/1710585705/960
961: デフォルトの名無しさん [] 2025/02/08(土) 12:50:19.01 ID:+3qBIV3v P(A)+P(~A)!=P(A|~A) http://mevius.5ch.net/test/read.cgi/tech/1710585705/961
962: デフォルトの名無しさん [sage] 2025/02/08(土) 17:15:11.47 ID:2KjsmU3G 自然数論を含む、というのは選択公理に匹敵する非常に強い仮定だと思えば 何が起きようがあまり違和感はない その仮定がない場合、たとえば 0 != 1 を肯定も否定もできないとかいうのはありふれた話で全然問題ない http://mevius.5ch.net/test/read.cgi/tech/1710585705/962
963: デフォルトの名無しさん [] 2025/02/08(土) 18:30:11.14 ID:q/D/l7Hn :-p を肯定も否定もできない http://mevius.5ch.net/test/read.cgi/tech/1710585705/963
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 39 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.011s