洪成完
退休教師
邏輯、計算科學、離散數學