目前分類:未分類文章 (1334)
- Nov 12 Mon 2018 21:17
上班族英文雜誌線上進修網站學唱歌技能上班族英文雜誌線上學…
- Nov 12 Mon 2018 16:30
日本語能力實驗N4聽解(書+1MP3) ☆好評☆
- Nov 12 Mon 2018 16:30
日本語能力實驗N4聽解(書+1MP3) ☆好評☆
- Nov 12 Mon 2018 14:14
請問google語音助理要怎麼開啟呢
- Nov 11 Sun 2018 19:16
201108031418轉貼
- Nov 11 Sun 2018 00:18
[閒聊] 邏輯式說話與函數式說話
奧利亞語翻譯比來在浏覽另外一種程式說話派別翻譯社 不是天流地流與神流,不是二刀流,也不是人稱一流劍一流, 是一種叫做函數式說話 (functional programming language) 的. 先聲明翻譯社因為以往工作與進修情況並不熟習這器械的實作翻譯社 以下凡談到底層翻譯社含編譯/直譯等翻譯社都是胡扯瞎掰的. 假如有幸,未來可能有機遇實作. 函數式說話的特點就是函數界說,寫完函數,程式就寫完了. 跟傳統程式說話 (構造化程式) 有什麼差異呢? 按數學來說翻譯社函數是指將界說域映照到值域翻譯社 而傳統程式說話的函數翻譯社除映照以外, 還多了許多器械, (流程節制,破例處置懲罰,資本治理...等) 所以更稱為函式. 函數式說話沒有指定論述,沒有副感化 (side effect), 也沒有流程節制. 可想而知,遞迴是函數式說話經常使用的器械翻譯社因為遞迴有隱性的流程節制功能. 這時候候可能看棺...呃,看倌們會想到函數式說話程式有多慢, 但因為函數式說話沒有副感化翻譯社意指一個子函數只做它該做的事,其他不多做. 比如近鄰 p 版正在評論辯論的 int x=12; x=x+++++x; 疑義, 在函數式說話的世界是完全無效的! 哪一個子運算式/子函數先較量爭論,後果都一樣. 是以,一份函數呼喚可以被自由代換為它的函數內容,不改其義. 遞迴函數很慢,睜開成非遞迴函數就快多了. (乃至也許底層不需要有傳統說話編譯器的函式節制記憶區) 函數式說話之所以沒副感化翻譯社那是因為所有的變數一利用就不改其值. 沒有指定論述可以點竄變數內容. 接下來再講講邏輯式說話, (logical programming language) 邏輯說話的根基構件是邏輯式. 用過 Prolog 的人或許會感覺 a :- b, c. 是劃定規矩翻譯社 (if b and c then a) 但如許很輕易墮入劃定規矩式推論系統的框架中,誤以為一旦利用 Prolog, 就非得實作劃定規矩式推論系統. 事實上,那是 !b || !c || a 這般邏輯式 (此式借用C的符號), 稱為Horn clause. (Horn clause到底怎麼翻譯啊? 角句嗎?) 邏輯式說話的程式翻譯社就是很多邏輯式的荟萃, 稱為演繹式資料庫 (deductive database翻譯社 DDB). 邏輯式說話的較量爭論,在於把握解集. (answer sets, 謎底集) 回憶范式圖 (Van diagram), 假如翻譯公司有一則邏輯式 a :- (意指 a 恆真;已知 a), 你就會將一張代表宇集 U 的白紙劃為兩半翻譯社一半在線圈內翻譯社屬於 a/true 的局限翻譯社 另外一半在線圈外,屬於 ﹁a/false 的局限. 當你有另外一則邏輯式 b :-, 就在紙上畫另外一個線圈. 加上一則邏輯式 c :- a, b, 是讓 a 線圈與 b 線圈有個交疊部分. 較量爭論一則問題 ?- c 是與解集周旋翻譯社經由過程邏輯式的交叉火網,在那張白紙上畫地圖. 有些問題經較量爭論後翻譯社會獲得多種解集翻譯社比如: 在DDB a :- ﹁b, c. b :- ﹁a, c. 中, 扣問 c 會獲得 {a, ﹁b} 或 {﹁a, b} 二種解集. 解集的較量爭論,稱為解集計劃 (answer set programming). 演繹式資料庫已有一串成長脈絡,跟著邏輯式可用符號的增添翻譯社解集計劃也更複雜. 按著成長脈絡及系統條理,簡單地介紹於下: 1. DDB: 這個條理很低,很純真,沒有否認的述詞 (predictive). 2. Monotonic DDB: 改進 DDB 的瑕玷,增添了 ﹁ 符號, 其語意是指某述詞的存在不成立. * DDB 與 MDDB 的條理溝通,以後則是一層高於一層. 3. Extended Logic Programming (eLP, XD): ﹁ 符號的語意不敷完全. (試想一想 "華頓翻譯公司不喜好你" 與 "我沒有喜好翻譯公司" 的差異.) 是以翻譯社新的 not 符號降生了翻譯社義務是明白表達某述詞的存在不存在都不決義. 述詞的否認符號優先遞次是先判定 not 述詞是 unknown, 再判定 ﹁ 述詞是真的沒有. 4. Disjunctive Logic Programming: 終於可使用 or 符號了. 5. Epistemic Logic Programming: 再加上一些很高階的符號翻譯社 例如 K 代表已知為真 (it's Known to be true), M 代表必需為真 (it Must be true) 至於實作層面,不論是直譯或編譯皆可,想必都要附加一份引擎. (流程節制不是該懊惱的事,函義/語意才是.) 相較之下,傳統程式說話不需要附加引擎,不外翻譯社所寫的程式自己就是引擎. 你要先把引擎的流程節制/副感化搞定. 辛勞的程式工人啊!
- Nov 10 Sat 2018 06:29
雲端智能更便利 HIROIA SAMANTHA智慧型手沖咖啡機
- Nov 10 Sat 2018 06:24
搭機坐逃生門坐位先測語言能力?留美碩士客訴地勤太刁難
- Nov 10 Sat 2018 03:16
[分享] 各國跳舞特點@小女孩的透明日志
- Nov 10 Sat 2018 00:14
溝通的主要性@人力資本(HR)的經驗分享
- Nov 09 Fri 2018 05:36
快速進修說話的方式+正樹的觀點(下)
- Nov 09 Fri 2018 01:15
Raspberry Pi之CD+數位音樂播放器
- Nov 08 Thu 2018 07:58
赴阿根廷30年創「中醫學校」鍾清:我不會西語只有聰明
- Nov 08 Thu 2018 07:50
Razer Phone 2爭先開箱!規格遇上、Chroma背光總算登場
- Nov 08 Thu 2018 04:50
鑰匙孔直譯keypoint警求援Google大神外籍情侶反鎖屋外員警菜…
- Nov 08 Thu 2018 00:01
FireInspector:PrinciplesandPractice↓折扣↓
- Nov 07 Wed 2018 18:09
求救,關於poco的ok google
- Nov 07 Wed 2018 17:40
熊本熊出身揭密 官方中文名酷MA萌
- Nov 06 Tue 2018 11:09
關於輔仁大學日文進修部 但願列位能幫幫手