>>882
複式簿記や補数表現による負の数の表し方ってグロタンディーク構成に先行してるよね?