，CPUlla从与索引存储器内的地址对应的单位存储区域读出值，并判定读出的值是否与第I 一 I规定值(在步骤SllO写入的值)一致，在一致的情况(是)下进入至步骤S130，在不一致的情况(否)下进入至步骤S180。进入至步骤S180的情况是在RAM中发现了异常的情况，CPUlla存储RAM异常并从子例行程序SB100返回。
[0042]在进入至步骤S130的情况下，CPUlla向索引存储器内的地址的单位存储区域写入按照升序变更了的第I 一 2规定值，并进入至步骤S135。第I 一 2规定值例如是0x01。然后在步骤S135，CPUlla从索引存储器内的地址的单位存储区域读出值，并判定读出的值是否与第I 一 2规定值(在步骤S130写入的值)一致，在一致的情况(是)下进入至步骤S140，在不一致的情况(否)下进入至步骤S180。在进入至步骤S180的情况下，如上述那样，CPUlla存储RAM异常并从子例行程序SBlOO返回。其中，在步骤S135?步骤S140之间省略描绘了以下的多个步骤。即，与步骤S130以及步骤S135相同，向索引存储器内的地址的单位存储区域写入规定值，并使用第I 一 3规定值(例如0x03)、第I 一 4规定值(例如0x07)、第I 一 5规定值(例如OxOF)、第I 一 6规定值(例如OxlF)、第I 一 7规定值(例如0x3F)、第I 一 8规定值(例如0x7F)等以升序的数据进行读出的值是否是规定值的校验的步骤。
[0043]在进入至步骤S140的情况下，CPUlla向索引存储器内的地址的单位存储区域写入第I 一 a规定值(例如OxFF)，并进入至步骤S145。然后在步骤S145，CPUlla从索引存储器内的地址的单位存储区域读出值，并判定读出的值是否与第I 一 a规定值(在步骤S140写入的值)一致，在一致的情况(是)下进入至步骤S150，在不一致的情况(否)下进入至步骤S180。在进入至步骤S180的情况下，如上述那样，CPUlla存储RAM异常并从子例行程序SB100返回。
[0044]在进入至了步骤S150的情况下，CPUlla判定索引存储器内的地址是否是当前正在校验的(m，η)的组合块内的最后的单位存储区域的地址，在是最后的单位存储区域的地址的情况(是)下，移至与符号B对应的图5的处理，在不是最后单位存储区域的地址的情况(否)下进入至步骤S155。例如在图8所示的(1，2)的组合块(第一块与第二块)的情况下，CPUlla在索引存储器内的地址为0x3F的情况下，判定为是最后的单位存储区域的地址。
[0045]在进入至步骤S155的情况下，CPUlla将当前正在提取的(m，η)的组合块内的接下来应检查的单位存储区域的地址保存至索引存储器，并返回至步骤S125。例如在为当前正提取(1，2)的组合块的情况下，且在为结束了 0x00的单位存储区域的校验的情况下，在该图4的处理中按照升序改变单位存储区域的地址并检查，所以将接下来应检查的单位存储区域的地址的0x01保存至索引存储器。
[0046]通过图4所示的处理次序，按照升序变更单位存储区域的地址并且按照升序变更写入以及读出的数据(值)地执行的RAM的写入读出检查完成。接下来，按照图5所示的处理次序执行按照升序变更单位存储区域的地址并且按照降序变更写入以及读出的数据(值)地执行的RAM的写入读出检查。
[0047]若在图4所示的流程图中从步骤S150进入至B，则移至图5所示的处理。图5所示的步骤S215?步骤S280的处理相对于图4所示的处理，在按照升序校验相同的(m，η)的组合块内的单位存储区域的地址这一点上相同，但写入以及读出的数据不是按照升序而是按照降序这一点不同。
[0048]由于步骤S215的处理与图4的步骤S115的处理相同，所以省略说明。另外，步骤S225的处理相对于图4的步骤S125的处理，在读出的值是第I 一 a规定值(是在步骤S140写入的值，例如OxFF)这一点上不同。CPUlla在读出的值与第I 一 a规定值一致的情况(是)下进入至步骤S230，在与第I 一 a规定值不一致的情况下进入至步骤S280。在进入至了步骤S280的情况下，CPUlla存储RAM异常并从子例行程序SB100返回。
[0049]步骤S230、S235......S240、S245 的处理相对于图 4 的步骤 S130、S135......S140、
S145的处理，写入的值以及读出的值不同，且在不是按照升序而是按照降序这一点上不同。艮P，在图4的步骤S130、S135……S140、S145中，如第I — 2规定值(0x01)、第I — 3规定值(0x03)、第I 一 4规定值(0x07)......第I 一 a规定值(OxFF)这样按照升序对数据进行写入以及读出，但在步骤S230、S235……S240、S245的处理中，如第2 — I规定值(例如OxFE)、第2 — 2规定值(例如OxFC)、第2 — 3规定值(例如0xF8)、第2 — 4规定值(例如OxFO)、第2 — 5规定值(例如OxEO)、第2 — 6规定值(例如OxCO)、第2 — 7规定值(例如0x80)、第2 — b规定值(例如0x00)这样按照降序对数据进行写入以及读出。
[0050]然后，在进入至了步骤S250的情况下，与图4的步骤S150的处理相同，CPUlla判定索引存储器内的地址是否是当前正在校验的(m，η)的组合块内的最后单位存储区域的地址，在是最后单位存储区域的地址的情况(是)下移至表示为C的图6的处理，在不是最后单位存储区域的地址的情况(否)下进入至步骤S255。
[0051]在进入至了步骤S255的情况下，CPUlla将当前正在提取的(m，η)的组合块内的接下来应检查的单位存储区域的地址保存至索引存储器，并返回至步骤S225。例如在当前正提取(1，2)的组合块的情况下，且在结束了 0x00的单位存储区域的校验的情况下，在该图5的处理中按照升序检查单位存储区域的地址，所以将接下来应检查的单位存储区域的地址的0x01保存至索引存储器。
[0052]通过图5所示的处理次序，按照升序变更单位存储区域的地址并且按照降序变更写入以及读出的数据(值)地执行的RAM的写入读出检查完成。接下来，在图6所示的处理次序中，执行使单位存储区域的地址为降序并且使写入以及读出的数据(值)为升序地执行的RAM的写入读出检查。
[0053]在图5所示的流程图中，若从步骤S250进入至C，则移至图6所示的处理。图6所示的步骤S305?步骤S380的处理相对于图4所示的处理，按照降序校验相同的(m，η)的组合块内的单位存储区域的地址这一点不同，写入以及读出的数据为升序这一点相同。
[0054]在步骤S305，CPUlla从(m，n)的组合块内的全部单位存储区域顺序读出值(例如按照单位存储区域地址的升序读出)，并判定读出的值是否与第2 — b规定值(0x00) —致，在一致的情况(是)下进入至步骤S315，在不一致的情况(否)下进入至步骤S380。在进入至了步骤S380的情况下，CPUlla存储RAM异常并从子例行程序SB100返回。
[0055]在进入至了步骤S315的情况下，CPUlla将(m，η)的组合块内的最后的单位存储区域的地址(在该情况下，最后单位存储区域的地址为0x3F)保存至索引存储器并进入至步骤S325。在步骤S325，CPUlla从索引存储器内的地址的单位存储区域读出值，并判定读出的值是否与第2 - b规定值(在步骤S240写入的值)一致。在一致的情况(是)下进入至步骤S330，在不一致的情况(否)下进入至步骤S380。在进入至了步骤S380的情况下，CPUlla存储RAM异常并从子例行程序SB100返回。
[0056]步骤S330、S335......S340、S345 的处理与图 4 的步骤 S130、S135......S140、S145
的处理相同，写入的值以及读出的值为升序，但索引存储器内的值从最后单位存储区域的地址向先头单位存储区域的地址降序地变化这一点不同。对于写入以及读出，如第I 一 2规定值(0x0