Re: [EECS] 要戰的進來
行李哥別說那麼多
不是說要讀paper
趕快讀啊 Delta-Complete Decision Procedures for Satisfiability over the Reals
https://arxiv.org/abs/1204.3513
這篇paper被cite 100多次了 不要說我隨便找一篇亂寫的故意讓你看不懂
第一作者當年在CMU博士畢業所做 現在作者在UCSD CS當助理教授了
https://scungao.github.io
這篇paper是自動推論 自動推論是在幹什麼的 我科普一下
就是譬如說給你一個數獨題目 你要讓電腦自動算出要填上哪些數字到哪些位子才能解決
不過呢像這種整數的自動推論會遇到瓶頸 就是有名的哥德爾不完備定理
所以啦 大家就轉而研究實數的自動推論 用實數來繞過哥德爾不完備定理
自動推論跟自駕車應用是有關係的 譬如說自駕車開在高雄
前面氣爆把前面那台車吹上天空
這時候自駕車要能根據感測器資料自動推論這時候要怎麼轉 才能閃前面那個飛上去的車
然後也不能撞到後面左右的車 所以這是很有用的
行李哥就寫篇paper review來證明你看得懂CS paper, 畢竟CS的數學應該都難不倒EE吧
--
工口芒果老師的兩性相處建議
→ a000000000: 她說沒援你就信喔? 遲早被女人騙 02/04 10:24
→ a000000000: 不要跟同年齡&年輕女同事走太近 這很重要= = 02/06 13:15
→ a000000000: 跟公司正妹走太近 結果同事爭風吃醋 02/06 13:27
→ a000000000: 然後你就被人桶刀惹 別傻惹 02/06 13:27
→ a000000000: 上班的地方不是給你把妹der 02/06 13:28
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 218.161.104.243
※ 文章網址: https://www.ptt.cc/bbs/Marginalman/M.1551548327.A.C6B.html
→
03/03 01:41,
6年前
, 1F
03/03 01:41, 1F
推
03/03 02:18,
6年前
, 2F
03/03 02:18, 2F
推
03/03 08:30,
6年前
, 3F
03/03 08:30, 3F
討論串 (同標題文章)
完整討論串 (本文為第 3 之 3 篇)：