[1] Lycos の robot は一時期
URI の TILDE
を JIS X 0212 で符号化して HTTP
鯖に送り付けるという奇行をしていたそうです。
[2]
何を考えているのでしょうかねぇ。
まあどうせ腐ったプログラムで例の TILDE
問題にはまったことは容易に想像つきますけど、 JIS X 0212 ってことはどうせ日本語EUC ですよね。 (ISO-2022-JP-2 とは流石に思えない。) でも日本語 EUC なら TILDE
は 0x7E
で表現するはずです。 Unicode → JIS を(1) JIS0208.TXT
(2) JIS0212.TXT
(3) U+0000
〜U+007F
→ 0x00
〜0x7F
みたいな阿呆なプログラムを書いたのかな。
[3] >>2 Jcode.pm なら ISO-2022-JP-1 を出力する! と思ったけど、 Jcode.pm が TILDE
を JIS X 0212 で表現するとは思えないな。
[4]
JIS X 0201:1997 では、 7/14
を
OVER LINE
としていますが、
TILDE
のような図形記号で実装してもよいことになっています。
(詳しくは OVER LINE
の項を参照。)
[6] 文豪HP:Q&A;, , https://web.archive.org/web/20041215160546/http://www.nec.co.jp/bungo/10info/support/c00215.html