数学とか 我流負数定義の修正
前回に定義した負数の乗法は自然数の乗法の定義でいけるんじゃないか、と閃いたので試してみます。あとはマイナス×マイナスに関する乗法も定義しました。 a×-(s(0))(前提)a×s(0)×-1(定義)((a×0)+a)×-1(定義)(0+a)...
数学とか
数学とか
数学とか
数学とか
トレーニング
数学とか
数学とか
よもやま話
数学とか
数学とか
選手分析
数学とか