http://www.logos.ic.i.u-tokyo.ac.jp/lectures/enshu2006/index.php?%A5%C8%A5%C3%A5%D7 http://www.logos.ic.i.u-tokyo.ac.jp/lectures/enshu2007/index.php?%A5%C8%A5%C3%A5%D7 (via http://secure.ddo.jp/~kaku/tdiary/20071113.html#p03)どう見てもτさ…