しかし、コード31に対応する文字列がanaであることは原理上明らかである。