Title: C*-kan to kanrensuru rikigakukei