記号"1"、"+"、それから"計算"の定義をどうぞ。