じゃあプログラム言語で矛盾があっても
動いてる段階でマシン語では矛盾してないってこと？