ATOKって金正日は変換できても金正男は変換できないのな(;´Д`)
金泳三とか胡錦涛も変換できるのに