• 正體: 邱池-杜林論題[電子計算機]