ATOK = AWA + TOKUHIMA という説は本当なのか?