HTML→XHTML変換する関数を追加した。