推 civiltensai:我以為『評價：（不需要）』的意思是....XDXD 08/06 20:42
推 Fiesta:感謝吐真言喔 08/06 21:04
碩一上修課
人工智慧 許永真老師（資訊所） 評價：★★★★☆
評分方式：期中考、作業、final project (2 stages)
心得：這門課為英語授課，因為去年上課的時候，老師沒有限制人數，
所以造成了大爆滿。老師是Stanford的（也是老闆大學同學），
所以教學的課本也是用Stanford的（其實那本就是classic）。
但是由於這本書東西太多，所以老師沒有辦法教完。
（課本很適合拿來作為參考之用）
首先由searching開始，接下來講proof-checking（講到1st order）然後期中考。
期中考open book，但是題目很有挑戰性，其實觀念不懂根本作不出來。
平均好像四十分。
期末大多在教learning technique，但是由於沒有期末考，所以沒學的很紮實。
project分成兩部分，第一部份是修改一個Java小遊戲的code，
讓虛擬的user可以得最高分（原本的小遊戲是user靠吃蔬菜得分、
撞石頭會扣分、但是撞出去的石頭若撞到別人就反倒加分）。
第二部分則是利用這個遊戲，加入人工智慧形成不同的風貌。
這個project真的快做到翻，後來看別人demo，覺得別人都做的好漂亮。
把遊戲改成丟雪球、小朋友下樓梯之類的。
不過我們做的東西是真的有learning的，所以學期分數還是很夠。
結論：真的學的到東西的一門課。
正規方法 老闆（電機所、電子所） 評價：（不需要）
評分方式：作業、期中期末考、三個project、一篇CAV/TACAS的論文報告
心得：學弟不論怎樣都是要修的啦，所以不需評價！
學期的project，其他實驗室都不太會做。
其實自己實驗室的也差不多。
老師大概教到CTL*就結束了，其實教的還蠻慢的。
正規方法的東西非常多 is equivalent to 老闆教的東西太少了。
所以若之後要做verification automation的學弟，要自己多看。
假如TA不是自己實驗室人的話，學弟們下學期修就要小心啦......
結論：認真上課，還是會有收穫的啦！
邏輯合成與驗證 江介宏老師（電子所、電機所） 評價：★★★★
電腦與網路安全 雷欽隆老師（電子所、電機所） 評價：★★★★☆
稍候補上，休息先，好累喔。
※ 編輯: Fiesta 來自: 140.112.42.250 (08/06 19:31)
※ 編輯: Fiesta 來自: 140.112.42.250 (08/06 19:32)
※ 編輯: Fiesta 來自: 140.112.42.250 (08/06 19:32)