推 pikachu123:我Google查到的的好像是遞迴的初始條件耶 02/11 00:21
→ pikachu123:好像是在loop invarint那邊得樣子 02/11 00:23
→ pikachu123:base case好像是指數學歸納法得base step... 02/11 00:24
→ mickeyha:遞迴初始條件!!!...好像是這樣XD 02/11 00:48
→ metalalive:是 invariant loop 的 base case 嗎? (事嗎?) 02/11 11:21
推 llll5566:是初始條件 清大某年有 02/11 13:31