IUTと表現論の関連性を解明しようとは誰も思わんのかね?