数学とか 1+1=1×2の証明
自然数の加法と乗法 定義 自然数の加法は再帰的に、以下のように定義できる。1.すべての自然数 a に対して、a + 0 = a2.すべての自然数 a, b に対して、a + suc(b) = suc(a + b)1 := suc(0) と定...
数学とか
数学とか
数学とか
よもやま話
よもやま話
よもやま話
プライベート
よもやま話
よもやま話
数学とか
数学とか
トレーニング