0012132人目の素数さん垢版 | 大砲2017/02/18(土) 09:56:50.32ID:IF0xpOEH 個人的には「接続」の定義が一番煩雑に思える。 特に圏論的な定義が綺麗に出来ないのがなんか異物感が強い。