<200305120154.h4C1sufY041474@tama.cive.gifu-u.ac.jp>	533 
<200305120339.h4C3dJ1I003015@fdlibm.sit.ac.jp>	534 
<BAE55600.7EF%hisashi@eps.s.u-tokyo.ac.jp>	535 
