Prof. Tatsuo Arai and Dr. Hiroko Kamide of Osaka University visited us and gave us a talk.