>>174
現在、議題は、「真は0以外」で「0以外は真とは限らない」と言う主張は正しいのかどうかです
ですので、コンパイルエラーがでるでないでは無く
「真は0以外」で「0以外は真とは限らない」と言うのを証明して貰わなければならないのですが
少なくとも現時点の実装では、「0以外は真」として動作しているので、その見解を聞きたいのです