機能性で言えばアルテかATOKなんだろうけど変換の賢さではどれになるんだろう