cai.cs.shinshu-u.ac.jp