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