なるほどです、！mod、、プログラミング的なやつです？

@サク ： いいえ、高校の数学の最初の方に出てくるやつですね。

@おでん ： あったっ、、はず、現役高校生なんすけどね、馬鹿すぎかも知れないです、！勉強します、

なるほど、！あまりでやるの初めて見たので驚きました。

@サク ： 小数とか分数が当たり前になっちゃうと、整数の概念までしかない算数は戸惑いますよね。

@紅緒べにを🦚 ： ですです！ ！？どうやんだこれってなっちゃいました笑

割る数の方が大きい計算って割り算習い始めの頃中々見ない気がします なのでそこだけ違和感があったんじゃないですかね

@もちぞう ： そこでつまずくのですね、勉強になります。

@Ruby ： 言われてみると１７÷３を「４余り５」って答えた時に何をもって間違いと定義するんだろうね

@パパ見習い ： それは割り算の定義が間違っていると思います。 うろ覚えですが、定義はこんな感じじゃなかったでしたっけ？ ∀x∈Z,∀y∈Z>0,∃!(z,n)∈Z×[0,y):x=y・z+n なる(z,n)によって x÷y=zあまりn

@Ruby ： 定義が間違い!?? それって割り算の商を小数や分数で表したらどこの世界に行っても間違いになるんでしょうか。

@パパ見習い ： x,yがきまったときに、x÷yの結果は一意的である必要があります。 もし余りの数がyより大きいことを認めると、一意性が崩壊してしまいます。 分数や小数で表すのはまた別の話です。

@Ruby ： 正の整数の商と剰余の組み合わせを一意としたのは「そう定義した」からであって、そうでないといけない理由が説明されていないです。

@パパ見習い ： 演算は写像なので、その解は一意的でなければならないのではありませんか？ 誤解されているようですが、商と剰余の組みは定義の『結果として』一意的になるものです。 小数や分数表示は整数における議論とは全く別の話です。

@Ruby ： そんなことはありませんよ。４の平方根は+2でも-2でも成り立ちますので境界条件や定義を適切に与えない限り一意に決まらない演算は存在します。「一意に決まらないと都合が悪い」(主観)と「一意に決まらなければならない」(客観的事実)は同じではありません。 「与えた定義」が「結果」のためでなく偶然なのだとしたら、商が負以外の整数のみを取り、剰余が自然数のみを取り、剰余が除数を超えてはならない意味が別に説明できるはずと思いますがどうでしょうか?私の疑問は最初からこの１点を指しているのですが、ずいぶんつまずきましたね。

@Ruby ： Rubyさんが何の話をされているかは私の疑問点には関係がないです。 実は私の最初のコメントはもちぞうさん宛に返信したつもりでしたがなぜかRubyさん宛になっていて貴方の言葉から何のインスピレーションも受けてません。申し訳ない。 ちなみに四則演算結果を分数や小数で表した場合は結果が複数あるというより表記方法が複数あるということになります。単位が与えらた場合に変換した場合も同様ですね。 私の最初のコメントの場合は「結果」が違うかどうかは結果の定義次第だと思いますが、Rubyさんの場合はそれが「演算の定義ではない」で片付くと思うのでそれでいいと思います。