そうそう

ThumbキーボードはHTKの状態ではうまく動作しません。
SIPはAtokの英数あたりで使いましょう。