4号機時代に減算値判別編み出したのってガリさんで合ってますか?