https://123deta.com/document/qvl48odg-1教授小林俊行リー群の無限次元表現論不連続群論1.html