文化財である吉田寮が使用されつつ現存しているということは、京大にとって誇るべきことだと思います。登録有形文化財への登録は、それを明示的にします。