作者查詢 / chiya0219

總覽項目: 發文 | 留言 | 暱稱
作者 chiya0219 在 PTT [ C_and_CPP ] 看板的留言(推文), 共7則
限定看板:C_and_CPP
首頁
上一頁
1
下一頁
尾頁
[問題] C++ z3 solver 問題
[ C_and_CPP ]6 留言, 推噓總分: +1
作者: chiya0219 - 發表於 2021/01/28 15:21(3年前)
2Fchiya0219: 感謝大大,最後在include z3++.h 加入路徑就有成功了01/29 04:07
5Fchiya0219: 是的 我現在碩二 正在探索z3的領域 有興趣可以站內信02/03 03:34
6Fchiya0219: 聊聊02/03 03:34
[問題] 關於遞迴函式的一點問題
[ C_and_CPP ]19 留言, 推噓總分: +9
作者: oo855050 - 發表於 2020/03/13 23:57(4年前)
4Fchiya0219: 我寫的是c 然後n<1就 return 1 想請問 我原本打成retur03/14 01:20
5Fchiya0219: n 0 然後輸入4的時候 一樣輸出會是0 這是為何03/14 01:20
8Fchiya0219: 可是我n=4的時候不是應該return n*facetorial(n-1)嗎03/14 10:09
9Fchiya0219: 怎麼跟return0有關係03/14 10:09
首頁
上一頁
1
下一頁
尾頁