ケータイ入力の状態遷移 State transition of a Japanese text input system