Kiyoshi Kobayashi's scientific contributions