並前往https://v1zvf31553.pixnet.net/blog/post/3063381-%E4%BA%BA%E6%B0%A3%E6%8E%A8%E8%96%A6%21formal-%E8%BC%95%E9%87%8F-%E7%89%9B%E7%9A%AE-%E6%B2%96%E5%AD%94%E7%B4%B3%E5%A3%AB%E5%BE%B7%E6%AF%94%E7%9A%AE%E9%9E%8B-0