conditional annotation的中文,都是必然或也許會發生的事。 而type 2 的用法卻完全不同, we read P → Q ( “P arrow Q”) as if P,這種英文語法其實跟中文 ...
確定! 回上一頁