その名称、およびみどりの窓口に常備されているという事実から、いわゆる「JR時刻表」が公式時刻表だとこれまで思っていた。現在は実際その通りなのだが、この状況になったのは1987(昭和62)年に実施された国鉄の分割民営化以後のことで、それまでは先に取り…