Title: Tomita--Takesaki riron to sono ōyō