Rigorous & Trivial

「嚴謹」在 CS 沒有歧義，就是寫成程式（請注意此處的程式必須是「真正好的程式」XD），在此定義下，每個細節及其間聯繫都明確寫出，當然嚴謹。在數學的話，「嚴謹」就不需要寫出 every detail，只要理路明確，確定任何省略的細節都能夠建造出來即可。

"Trivial" 的話其實很好定義：解掉的問題就是 trivial XD。

--
顯然第二個定義是開玩笑 XD。