2017年2月23日本系邀請日本鶴見大學田邊良則教授，以「解決數獨與可滿足性求解器(Solving Sudoku Puzzles with SAT Solvers)」為主題，為傳播匯流與創新管理學程二年級同學，介紹運算思 […]