[1] [[パンチカード]]の7単位符号、8単位符号。