KB232は見た目は親指シフト配列だけど中身的には単なるJIS配列USBキーボード
でしかないので、ATOKで使えないわけが無いと思うが