目前分類：未分類文章 (1125)
- Nov 14 Wed 2018 21:46
進修說話，提醒本身三件事
- Nov 14 Wed 2018 21:12
MATE 20X 海外購置扣問
- Nov 14 Wed 2018 21:12
MATE 20X 海外購置扣問
- Nov 14 Wed 2018 12:30
急，WINDOWS 7 裝印尼文
- Nov 14 Wed 2018 02:34
全民拼英檢 首重廢除進修迷思
- Nov 13 Tue 2018 17:58
上班族英文雜誌線上進修網站學唱歌技能上班族英文雜誌線上學…
- Nov 13 Tue 2018 09:21
Internet Explorer 沒法顯示網頁
- Nov 13 Tue 2018 09:13
若何使用Applocale教學(圖+文)
- Nov 13 Tue 2018 09:00
[開箱試用]內外兼修的大總管
- Nov 13 Tue 2018 08:29
日本語能力實驗N4聽解(書+1MP3) ☆好評☆
- Nov 13 Tue 2018 08:29
日本語能力實驗N4聽解(書+1MP3) ☆好評☆
- Nov 12 Mon 2018 23:22
【分享】如何選擇菲律賓語言黉舍
- Nov 12 Mon 2018 13:25
**帕德瑪瓦蒂：愛無所懼~~2018金馬國際影展上映…..**
- Nov 12 Mon 2018 13:25
**帕德瑪瓦蒂：愛無所懼~~2018金馬國際影展上映…..**
- Nov 12 Mon 2018 13:05
國際學生搭起友情的橋樑
義大國際高中與高雄馬禮遜黉舍展開一場競爭與溫馨的籃球友誼賽翻譯 眾所周知，體育，是世界列國友愛交換流動中，最具配合說話、最易互相溝通的交換情勢之一。高雄縣兩所友愛的國際學校---「義大國際高中」(I-Shou International School)與 「高雄馬禮遜黉舍」(Morrison Academy Kaohsiung)，於昨日(5/14)在義大高中的籃球場舉辦了一場友情賽，角逐進程相當的嚴重剌激，兩邊球員屢次揭示出出色的球技，比數也一向出現拉鋸，直到終場槍響前才以罰球分出輸贏翻譯兩邊的啦啦隊也是加油聲與尖啼聲不竭，人人都直呼說這真是一場出色的競賽。
義大國際高中籃球隊的教練殷教員及馬禮遜黉舍的鍛練Mr. Campell 配合示意日常平凡他們都是使用課餘時候組隊操練，而兩校每學期校際競賽對球員來講是互相商討球技的絕佳機遇，到後來勝敗已不是重點，最主要的是兩邊球員「以球會友」，更促進了彼此之間的情意。兩校的同學們每學期都很期待這類互訪的校際交換勾當，除籃球、壘球、足球等體育比賽外，更打算在其他才藝流動的互訪交換。
- Nov 12 Mon 2018 13:05
國際學生搭起友情的橋樑
義大國際高中與高雄馬禮遜黉舍展開一場競爭與溫馨的籃球友誼賽翻譯 眾所周知，體育，是世界列國友愛交換流動中，最具配合說話、最易互相溝通的交換情勢之一。高雄縣兩所友愛的國際學校---「義大國際高中」(I-Shou International School)與 「高雄馬禮遜黉舍」(Morrison Academy Kaohsiung)，於昨日(5/14)在義大高中的籃球場舉辦了一場友情賽，角逐進程相當的嚴重剌激，兩邊球員屢次揭示出出色的球技，比數也一向出現拉鋸，直到終場槍響前才以罰球分出輸贏翻譯兩邊的啦啦隊也是加油聲與尖啼聲不竭，人人都直呼說這真是一場出色的競賽。
義大國際高中籃球隊的教練殷教員及馬禮遜黉舍的鍛練Mr. Campell 配合示意日常平凡他們都是使用課餘時候組隊操練，而兩校每學期校際競賽對球員來講是互相商討球技的絕佳機遇，到後來勝敗已不是重點，最主要的是兩邊球員「以球會友」，更促進了彼此之間的情意。兩校的同學們每學期都很期待這類互訪的校際交換勾當，除籃球、壘球、足球等體育比賽外，更打算在其他才藝流動的互訪交換。
- Nov 12 Mon 2018 13:05
國際學生搭起友情的橋樑
義大國際高中與高雄馬禮遜黉舍展開一場競爭與溫馨的籃球友誼賽翻譯 眾所周知，體育，是世界列國友愛交換流動中，最具配合說話、最易互相溝通的交換情勢之一。高雄縣兩所友愛的國際學校---「義大國際高中」(I-Shou International School)與 「高雄馬禮遜黉舍」(Morrison Academy Kaohsiung)，於昨日(5/14)在義大高中的籃球場舉辦了一場友情賽，角逐進程相當的嚴重剌激，兩邊球員屢次揭示出出色的球技，比數也一向出現拉鋸，直到終場槍響前才以罰球分出輸贏翻譯兩邊的啦啦隊也是加油聲與尖啼聲不竭，人人都直呼說這真是一場出色的競賽。
義大國際高中籃球隊的教練殷教員及馬禮遜黉舍的鍛練Mr. Campell 配合示意日常平凡他們都是使用課餘時候組隊操練，而兩校每學期校際競賽對球員來講是互相商討球技的絕佳機遇，到後來勝敗已不是重點，最主要的是兩邊球員「以球會友」，更促進了彼此之間的情意。兩校的同學們每學期都很期待這類互訪的校際交換勾當，除籃球、壘球、足球等體育比賽外，更打算在其他才藝流動的互訪交換。
- Nov 11 Sun 2018 16:22
時候「長短」或「大小」？科學家發現說話會影響人們對時間的認知
- Nov 11 Sun 2018 16:22
時候「長短」或「大小」？科學家發現說話會影響人們對時間的認知
- Nov 10 Sat 2018 22:33
[閒聊] 邏輯式說話與函數式語言
文件翻譯價格最近在浏覽另外一種程式說話門戶翻譯社 不是天流地流與神流,不是二刀流,也不是人稱一流劍一流, 是一種叫做函數式說話 (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) 至於實作層面翻譯社不論是直譯或編譯皆可,想必都要附加一份引擎. (流程控制不是該煩惱的事,函義/語意才是.) 相較之下翻譯社傳統程式說話不需要附加引擎,不外,所寫的程式自己就是引擎. 你要先把引擎的流程節制/副感化搞定. 辛勞的程式工人啊!
