Prof. Toshio Fukuda of Meijo University and Nagoya University visited us and gave us a talk.