プログラマ専用SNS ミクプラ

Ｃ言語に限った話ではないのですが、
－２、－１、０、１、２
と普通は　なっていますが
この間に　－０（マイナスゼロ）はないだろうかと考え
－０の２の補数を数えると
０を２進数で
００００(2)
これを全部ビット反転して
１１１１(2)
これに１を加えて
１００００(2)
となり、桁がはみ出たので
００００(2)
となって無事マイナスゼロが成立したので
０　＝　－０　と考えていいのでしょうか？
大学には進学してないので、そこまではわからないのです

ん～、考えていいと思います。
-0=(-1)×0なんで。

厳密な証明は「群論」の範囲だと思います（あるいは群論をかじると判りやすい）。
有限の範囲を持つ自然数の集合を定義し、それらに対する「加算」や
「2の補数」という演算を定義した上で、0 = -0 を証明できます。
私もちゃんと勉強したことはないけど、できるはずです。

次に上記の定義をビットで表現すれば、腑に落ちるのではないでしょうか。

CやC++の場合でいえば、負の整数値の内部表現に、1の補数や符号ビットと絶対値を用いている処理系では-0があり得ます。
ただし、1の補数表現で全ビットが1の場合や、2の補数表現や符号ビットと絶対値表現で符号ビットが1で値ビットがすべて0の場合がトラップ表現かどうかは処理系定義です。
したがって、1の補数や符号ビットと絶対値を内部表現として用いている場合でも、常に-0が存在するとは限りません。

なお、浮動小数点数の場合は、符号ビットと絶対値表現を用いていますので、-0が存在するのが普通です。

>群論
はじめて聞きました
・・・老後の楽しみにしておきます
今から勉強しても間に合わないでしょうし

整数の場合しか考えていませんでした
浮動小終点の場合も考えないといけなかったですね

勉強になりました
ありがとうございました