作用素環は優秀な先生が沢山いるね