[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
888: 01/24(金)08:08 ID:wJVzGCxN(1/2) AAS
自力で証明するよりも他者の言質を取るというか契約が成立することにより安全が保証される
という思考に人類は依存しすぎている
半導体は自作できないかもしれないが数学は紙媒体でもできる
889: 01/24(金)10:45 ID:QSEbyU6x(1/2) AAS
正直、Rustに心酔してる奴って、程度が低すぎ・・・
PythonやC#みたいなオモチャと比べたら、たしかにRustはマトモだ
だが、しょせんはまだ従来型のプログラミング言語
人間の思考ほどの表現力は無い
890: 01/24(金)10:51 ID:QSEbyU6x(2/2) AAS
言っちゃ悪いが、人間の知能は平等ではない
ある人にとってはRustは自分の思考よりも高機能だから、Rustに引き上げてもらえる
しかし、ある人にとってはRustを書くことは、Rustの書き方に思考を制限することになる
891(1): 01/24(金)11:18 ID:YFrK1zgU(1) AAS
ある人は数論幾何学や場の量子論などがわかるが、ある人は中学校の連立方程式くらいしかわからない
連立方程式が世界で一番高度な学問と感じる人にとって、プログラミン言語はまるで魔法のようなのかも知れない
が、数論幾何の水準の人にはプログラミング言語は耐え難いほど低水準だ
892: 01/24(金)11:22 ID:wJVzGCxN(2/2) AAS
振舞いを自動化しろと言われるのと判断は人間の責任っていうのは
振舞いと判断を区別すれば矛盾しないんだけど
「証明する」というのは振舞いか判断かさっぱり分からんから矛盾だという批判がある
893: 01/24(金)22:28 ID:TVTggs3s(1) AAS
>>887
single writer XOR multiple readers はデータ参照の競合バグを防ぐために役立つルール
これを守ると参照競合によるバグを防げるだけでなく
プログラムのスパゲッティ化を防ぐ効果も高い
さらにRustではそこに内部可変性が用意されているため
そのルールを守ったまま複数のデータ更新者(ex.マルチスレッド)が排他制御しながら同じデータを書き換えることも可能
894: 01/25(土)03:45 ID:LC7IJQQw(1) AAS
構ってもらえる相手を探し求めさまよう某
895(1): 01/25(土)10:55 ID:iLzbIZXE(1/3) AAS
>>891 その数論幾何の人にプログラミング言語を作ってもらえばいいんでね
896: 01/25(土)11:31 ID:wB2yLAW7(1) AAS
新商品を作ることにより今後の支障がなくなるといつから錯覚していた
897(1): 01/25(土)15:36 ID:OwaQndIK(1) AAS
>>895
すでに表記の体系はある
CS畑のやつが処理系を作ればいい
898: 01/25(土)17:09 ID:JNkrrIX3(1) AAS
ここまでWolframの話題なし
899: 01/25(土)17:25 ID:W3I6NstP(1) AAS
rustがどうのとかいってるレベルだからね
900(2): 01/25(土)20:44 ID:iLzbIZXE(2/3) AAS
>>897 それはMathematicaじゃダメなん？
表記の体系って、プログラミングするには演算子の優先順位を決めないといけないがそれも決まってるの？
CSやってて数学のわからないところは記号の優先順位がわからなくて読み解けないことがある点
901: 01/25(土)22:15 ID:wEoGbTgh(1) AAS
>>900
だめに決まってるじゃん
902: 01/25(土)22:33 ID:LqupDpHB(1) AAS
>>900
Mathematicaは数式処理システムだ
903(1): 01/25(土)22:57 ID:iLzbIZXE(3/3) AAS
数論幾何用のソフトウェアがないってことかね、表記の体系はどこでみれるの
グレブナー基底とかならRisa/Asirとか群論ならgapとか
多分数学の分野ごとにソフトウェアがあるのが現状だと思う
904: 01/25(土)23:20 ID:T4wakzBv(1) AAS
内容がわからないなら無理に書き込まなくていいのに
905: 01/26(日)01:21 ID:RxnNQ4s+(1/3) AAS
必要なのはドリルではなく穴
記号ではなく意味
と思うじゃん？
906: 01/26(日)07:09 ID:8U3hDZ20(1) AAS
>>903
アホすぎて返す言葉もない
907: 01/26(日)07:29 ID:xKZhC4SH(1) AAS
ID:iLzbIZXE こういう現代文なら零点のレス返してくる人って、日々の生活相当苦労してそうだな
908: 01/26(日)15:13 ID:RxnNQ4s+(2/3) AAS
試験はギリギリ解けないレベルまで難化する
トーナメントは敗者で埋め尽くされる
909: 01/26(日)20:27 ID:m+VDOodg(1) AAS
レベル、経験値、ポイント、HP、通貨、メッセージ数、フレンド数
4（死）、13（キリスト教における忌み数字）
18（嫌）、24（〜に死）、34（〜さん死）
40、42、44
56（殺）、64（無視）
71（無い）、74（無し）、79（無く、亡く）
84（〜は死）、94（〜君死）、96（黒）
このような数字と名前や生年月日、IDなどを組み合わせて執拗に強調することで、精神攻撃をする業者やストーカー、嫌がらせ組織がキモい。
910: 01/26(日)20:55 ID:BcwcPe/+(1) AAS
ドリル優子が大臣に
911: 01/26(日)22:29 ID:RxnNQ4s+(3/3) AAS
経験的なデータはリセットできるからリセット不可能なものと分断されたり見下されたりする
912: 01/26(日)22:57 ID:s+0AyHDZ(1) AAS
ごみはしんでもごみ
913: 01/27(月)08:24 ID:Lwj4/s6G(1) AAS
そう言えばPASCALのスレ無くなってるな
(ObjectPASCALやDelphi除く)
914: 01/28(火)00:55 ID:IzCMkZvk(1/3) AAS
スレタイ、レス件数、スレ作成日、投稿時刻に4や13、忌み数字を使って嫌がらせするネットストーカー、SNSストーカー業者がキモすぎ
4や13などの忌み数字と以下の情報、ポケベル暗号の数字などを（近い位置の並びで）組み合わせて使われていたら嫌がらせの可能性高し。
・名前やニックネーム
・生年月日
・住所、番地
・車のナンバー
・電話番号やメールアドレス
915: 01/28(火)00:57 ID:IzCMkZvk(2/3) AAS
業者の嫌がらせ数字組み合わせ
.204 〜に死
.214 21日生まれ（記念日の人）死
.224 夫婦死
.234 兄さん、爺さん死
.244 西死
.254 事故死、事後死、ニコ死
.264 〜に無視
.274 〜に無し、次男死
.284 〜には死
.294 〜29日生まれ（記念日の人）死
.304 〜さん死
.314
.324 〜さんに死
.334
.344
.354
.364 〜さん無視
.374 〜さん無し
.384 〜さんは無し
.394
執拗に強調することで精神攻撃になる業者の嫌がらせ手法がキモい
916: 01/28(火)06:05 ID:IzCMkZvk(3/3) AAS
閲覧171人とか174人、179人、180人、184人
／総視聴者数 （配信者の名前やID、誕生日などの語呂合わせ数字）
数字操作の嫌がらせがキモすぎ
917(1): 01/28(火)10:01 ID:dqvH8r5C(1) AAS
暗号化技術とガロア体の関係を教えて下さい
上下前次1-新書関写板覧索設栞歴
あと 85 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.013s