vector においてあるものの

URL が変わってみたいなので user.ecc.u-tokyo.ac.jp 内の URL を修正。やはし自分が管理できる広い空間が欲しくなってきたので真剣に検討を始めよう…どうせ来年の今頃にはまた URL 変わるしね。