[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
876(1): 01/18(土)15:06 ID:2/LPmLwt(1) AAS
プログラミングに必要な数学は数値計算で使う数学くらいか？
微積と線形
圏論がプログラミングで無意味なのは誰でもわかるか
877: 01/18(土)15:34 ID:28NAL8Fg(1) AAS
>>876
プログラミングと数学を分けてる時点で、Qiitaのブログのサンプルコピペしてる雑魚と同レベル
878: 01/18(土)15:41 ID:Zj1ghav+(1) AAS
反論になってないなぁ
879: 01/18(土)16:26 ID:xuSYONRy(1) AAS
プログラミングに数学はいくらでも使うことができる
プログラミングに使う数学とか言ってんのは、ただ単に自分が数学を学びたくないだけ
880: 01/19(日)12:35 ID:fNMlPpUq(1) AAS
Felleisen 30年研究して「プログラミングには型が必要なことがわかった」←これ好き
881(1): 01/20(月)01:24 ID:8nHIoBfi(1) AAS
型＝命題
項＝証明
この対応は、通常のプログラミングでも同様
そう思えないってことは、型の使い方が大雑把すぎるってこと
882: 01/20(月)06:41 ID:qtJTpWnY(1) AAS
>>881
お前のソースコード見せてくれよ
どんだけ立派なのか拝ませてくれ
883: 01/20(月)08:41 ID:jEcxLOMX(1) AAS
立派とは？
884: 01/20(月)08:45 ID:VdwKz6kz(1) AAS
int i=10;
char c='a';
printf("%d\n",i+c);
こんなのがかけるC++ではカリーハワード同型対応なりたたなさそう
885: 01/20(月)09:06 ID:3GFrNXKp(1) AAS
C/C++の型付けは、メモリをなんぼ確保するかの目印でしかないからな
886: 01/23(木)23:15 ID:gkeqtoks(1) AAS
Rustの型はトレイト属性があって
マルチスレッドでも同期が保証される型など
抽象度の高い表現が型システムで扱えるようになってるね
それによりデータ競合が起きないことを型システムで保証してしまってるところが凄いと思った
887(1): 01/24(金)08:08 ID:xJrwwu40(1) AAS
その代わりにmany shared XOR one mutableのキツいルールがあるけどな。
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
必要なのはドリルではなく穴
記号ではなく意味
と思うじゃん？
上下前次1-新書関写板覧索設栞歴
あと 97 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.014s