[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