The Use of Generative AI in Education and Learning at Kyoto University