Hermann Weyl
名前はヘルマン・ワイル (Hermann Weyl) にちなむ。