[其他] oracle-base solution

看板Math作者 (碰觸)時間10年前 (2013/11/22 20:42), 編輯推噓3(3012)
留言15則, 6人參與, 4年前最新討論串1/1
不知道這類問題po在這個版適不適合,但應該也算數學裡有可能會用到的詞吧XD 想請問一下大家, 不知道有沒有人看過oracle-based solution這個詞? google找到的資訊跟讀到的文章意思對不上來 我找到的是類似database system求出的解 不過文章裡就是用oracle-based跟database去做比較 所以總不會oracle-based也是database的意思吧@@ 因此想請問版上的強者是否知道他正確的意思 謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.114.53.107

11/22 20:43, , 1F
前後文?
11/22 20:43, 1F

11/22 20:43, , 2F
我的直覺是「使用Oracle產品的解決方案」﹙ˊ_>ˋ﹚
11/22 20:43, 2F

11/22 20:43, , 3F
然後Oracle賣什麼的不用我說吧
11/22 20:43, 3F
我找到的也是資料庫相關的東西, 但其實這是在paper裡面出現的字,通篇也沒有用到Oracle產品, 我自己猜測是類似理論解的意思,但還是有點不確定@@ ※ 編輯: xingyu 來自: 140.114.53.107 (11/22 20:52)

11/22 20:56, , 4F
...然後我突然想起CS裡面的確有oracle這個東西
11/22 20:56, 4F

11/22 20:56, , 5F

11/22 21:02, , 6F
我想如果是指那家公司的話 O 應該會大寫
11/22 21:02, 6F

11/22 21:02, , 7F
所以如果沒有大寫的話可能是別的意思
11/22 21:02, 7F

11/22 22:01, , 8F
甲骨文幫他的老闆賺了好大好多的錢阿 可見多普及
11/22 22:01, 8F

11/24 14:26, , 9F
oracle是圖靈提出來的概念 其實就是所謂的黑盒子
11/24 14:26, 9F

11/24 14:28, , 10F
在證明計算性的問題時會用到 例如 我們知道halting
11/24 14:28, 10F

11/24 14:29, , 11F
problem是不可計算的 但若你有一個可以幫你計算halti
11/24 14:29, 11F

11/24 14:30, , 12F
ng problem的答案的黑盒子 那還有哪些問題不可計算?
11/24 14:30, 12F

01/02 15:36, 5年前 , 14F
在證明計算性的問題時會 https://noxiv.com
01/02 15:36, 14F

07/07 11:39, 4年前 , 15F
ng problem的 https://muxiv.com
07/07 11:39, 15F
文章代碼(AID): #1IZr4pjR (Math)