「等しい」とは何か (33ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
23: 09/27(土)17:09 ID:o/E9vLp4(1) AAS
"="も
x = 1
の"＝"と、">"とかの条件のための"="があるけど、プログラミング言語と違って数学は同じ記号使ってるんだよな。
逆像と逆写像も同じｆの-1乗だし。
歴史とか習慣でなのは分かるけど、モヤモヤする。
Haskellでは自然数や整数でなら"=="(条件分岐用の「等しい」記号）は作れるけど、数学じゃ作れない。
パターンマッチって数学的にはどう解釈されるんだろう？f(0)とf(x)が別の関数として解釈されるんじゃろか。
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.005s