公式とかからのPDFを日本語に置き換えてる人は、ソフト何を使ってるのかな?