HTML文書内で用いる特殊文字の変換器