koher 8/18/2017 7:44 AM

おお、ずっとマウスで操作してた。ありがとう。

7:49 AM

本当に圏論の話だった・・・これは最初から丁寧に追わないとわからなさそうだ。