理系が恋に落ちたので証明してみた.  登場人物