数学やってて「よーし問題作るぞ」って思わなくね (19ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
18: 09/28(日)20:59 ID:ukWFqdUB(1) AAS
作るというか、何かを考えていて新たに生まれた疑問がそのまま問題になるというか。
関数型言語とかだと足し算は特殊な関数。
括弧で囲めば関数になる。
(+) 1 2 = 3
問1 足し算とは何ぞや？
ペアノの公理を元に足し算を自作。
＋記号の左右で値が傾き-1のシーソーの様に動く軌道の関数。
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.171s*