[1] 多様体 - Wikipedia (2017-02-15 01:37:49 +09:00) <https://ja.wikipedia.org/wiki/%E5%A4%9A%E6%A7%98%E4%BD%93>