[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
40: デフォルトの名無しさん [] 2024/03/19(火) 18:04:10.23 ID:qttME5ET(1) AAS
>>3636(2): デフォルトの名無しさん [] 2024/03/19(火) 17:00:04.15 ID:WY0TXEXb(3/3) AAS
lean4はプログラミング言語としても、haskellやrustくらいパワフルな言語なので、cだのfortranだの勉強するよりプログラミングの勉強にもなる
「プログラミングの勉強」を「プログラム言語」の勉強だと思ってるバカ
「program」の意味を調べてみろ。言語はただの手法の一つ
130: デフォルトの名無しさん [sage] 2024/03/26(火) 11:17:19.23 ID:ZLsRjAqD(1) AAS
計算機だからなぁ
134: デフォルトの名無しさん [sage] 2024/03/27(水) 18:25:48.23 ID:sRZ89+IF(1/2) AAS
コンプライアンス的には絶対に違反しないブレないスタイルの方が楽だな
中庸とかいうのは数学的にも意味のない言葉
の筈だけど
258: デフォルトの名無しさん [] 2024/04/12(金) 20:41:54.23 ID:HS/aYR/B(1) AAS
レヴィ・ストロース？
259: デフォルトの名無しさん [sage] 2024/04/12(金) 22:22:16.23 ID:Kw0ACNUt(7/7) AAS
水道方式の遠山
313: デフォルトの名無しさん [sage] 2024/04/15(月) 17:32:13.23 ID:scEUff9F(7/17) AAS
自己紹介乙
324: デフォルトの名無しさん [] 2024/04/15(月) 19:43:04.23 ID:NsRnPyj0(5/6) AAS
ただし
A + A' := {a + a' : a∈A, a'∈A'}
A+ := {a∈A : a > 0}
B- := {b∈B : b ≤ 0}
358: デフォルトの名無しさん [] 2024/04/16(火) 21:16:45.23 ID:UT47qync(5/9) AAS
しねええええっ！！！
525: デフォルトの名無しさん [] 2024/05/06(月) 00:51:10.23 ID:gOZqaVA4(1/2) AAS
どんぐりが足りないと言われてしまう。
541: デフォルトの名無しさん [sage] 2024/05/07(火) 15:10:49.23 ID:pdFuXZMq(2/4) AAS
もうできるよ
686(2): デフォルトの名無しさん [] 2024/11/18(月) 19:58:41.23 ID:uqz705Or(7/8) AAS
print("2 - (1/2)^100");
693(1): デフォルトの名無しさん [sage] 2024/11/19(火) 12:52:15.23 ID:+rLs2eZU(1) AAS
なんか擬似問題臭くて良くわからんが、非可算無限と可算無限を同列に扱っている？
ε-δ論法の話をしているけど、「対象」が可算集合ならコンピュータでもε-δ論法を扱えるけど、「対象」が実数とかの無限列相当のものは扱えないよね。
ここは同意できているの？
809(2): デフォルトの名無しさん [sage] 2025/01/13(月) 09:12:00.23 ID:J7wtrzSF(1/2) AAS
俺が大学生だった20年前はオブジェクト指向もCSの一部だったが
教授はカプセル化が一番重要だといってた
研究はされてたけど、アスペクト指向は流行らなかったなー
837: デフォルトの名無しさん [sage] 2025/01/15(水) 00:45:33.23 ID:2eRf9tIs(1) AAS
ユーザー定義関数から値返せないじゃん
901: デフォルトの名無しさん [] 2025/01/25(土) 22:15:16.23 ID:wEoGbTgh(1) AAS
>>900900(2): デフォルトの名無しさん [sage] 2025/01/25(土) 20:44:31.67 ID:iLzbIZXE(2/3) AAS
>>897 それはMathematicaじゃダメなん？
表記の体系って、プログラミングするには演算子の優先順位を決めないといけないがそれも決まってるの？
CSやってて数学のわからないところは記号の優先順位がわからなくて読み解けないことがある点
だめに決まってるじゃん
917(1): デフォルトの名無しさん [] 2025/01/28(火) 10:01:48.23 ID:dqvH8r5C(1) AAS
暗号化技術とガロア体の関係を教えて下さい
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s