http://flolac.iis.sinica.edu.tw/flolac12/ 2014-02-20T17:31:52+08:00 http://flolac.iis.sinica.edu.tw/flolac12/ http://flolac.iis.sinica.edu.tw/flolac12/lib/tpl/mohdshakir/images/favicon.ico text/html 2013-07-09T15:13:03+08:00 jaiyalas http://flolac.iis.sinica.edu.tw/flolac12/doku.php?id=zh-tw:start&rev=1373353983&do=diff 最新公告 總成績已經出來了！希望大家可以看一下自己的成績！ 請進入更多公告看成績細目！ :) 有問題請發 mail 給 jaiyalas(at)iis.sinica.edu.tw 最新動態 * [2012/09/11] 期末考照片已經上傳。 * [2012/09/09] 第九天照片已經上傳。 * [2012/09/06] 型別系統作業解答已更新。 * [2012/09/06] 函數編程作業四及解答上網，請大家自行參考。 * [2012/09/06] λ 演算及型別系統作業解答上網。 * [2012/09/05] 函數編程作業三及解答上網。 * [2012/09/04] 第八天照片已經上傳。 * [2012/09/04] 第七天照片已經上傳。 * [2012/09/05] 邏輯作業二（部分）解答上網。 * [2012/09/04] 第六天照片已經上傳。 * [2012/09/03] 函數編程作業一、二解答上網。 * [2012/09/03] 邏輯作業一解答上網。 * [2012/09/02] 邏輯投影片更新。 * [2012/… text/html 2012-09-11T16:34:42+08:00 jaiyalas http://flolac.iis.sinica.edu.tw/flolac12/doku.php?id=zh-tw:announcement&rev=1347352482&do=diff 2012/09/11 總成績已經出來了！希望大家可以看一下自己的成績！ :) * 報到序號 [Rank] * 1 [A] * 2 [F] * 3 [A+] * 4 [F] * 5 [C+] * 6 [B-] * 7 [A-] * 8 [F] * 9 [A+] * 10 [C-] * 11 [C-] * 12 [C] * 13 [B] * 14 [A+] * 15 [F] * 16 [F] * 17 [B] * 18 [A] * 19 [C-] * 20 [A+] * 21 [A-] * 22 [C+] * 23 [C-] * 24 [B-] * 25 [C-] * 26 [A] * 27 [C-] * 28 [A] * 29 [C-] * 30 [B-] * 31 [A+] * 32 [B+] * 33 [C-] * 34 [B-] * 35 [B+] * 36 [… text/html 2012-09-06T17:49:33+08:00 jaiyalas http://flolac.iis.sinica.edu.tw/flolac12/doku.php?id=zh-tw:types&rev=1346924973&do=diff * Lecturer: 陳恭 Kung Chen * [Solution] to Exercises. text/html 2012-09-06T17:48:44+08:00 jaiyalas http://flolac.iis.sinica.edu.tw/flolac12/doku.php?image=zh-tw%3Atypes%3Aflolac12-types-assign2-sol.pdf&ns=zh-tw%3Atypes&rev=1346924924&tab_details=history&mediado=diff&do=media text/html 2012-09-06T15:27:03+08:00 scm http://flolac.iis.sinica.edu.tw/flolac12/doku.php?id=zh-tw:lambda&rev=1346916423&do=diff * Lecturer: 陳恭 Kung Chen Solution to Exercises. text/html 2012-09-05T11:41:47+08:00 scm http://flolac.iis.sinica.edu.tw/flolac12/doku.php?id=zh-tw:fp&rev=1346816507&do=diff * Lecturer: 穆信成 Shin-Cheng Mu * Slides and handouts. * Exercises * Exercise 0 * Exercise 1 (Utils.ml), with solutions. * Exercise 2 (Caesar.ml), with completed code. * Exercise 3, with solutions. * Exercise 4, with solutions. text/html 2012-09-05T10:17:01+08:00 josh http://flolac.iis.sinica.edu.tw/flolac12/doku.php?id=zh-tw:logic&rev=1346811421&do=diff Lecturer: 柯向上 Hsiang-Shang Ko Introduction to formal logic, with a bias towards proof theory. Highlights of this course: * the use of formal languages to represent reasoning patterns; * reasoning in the meta-language about the object language (especially by induction); * the intimate connection between logic and computation. text/html 2012-09-05T10:16:45+08:00 josh http://flolac.iis.sinica.edu.tw/flolac12/doku.php?image=zh-tw%3Alogic%3Ahomework_2_sols.pdf&ns=zh-tw%3Alogic&rev=1346811405&tab_details=history&mediado=diff&do=media text/html 2012-09-04T11:31:38+08:00 arthur http://flolac.iis.sinica.edu.tw/flolac12/doku.php?id=en:coq&rev=1346729498&do=diff * Lecturer: Arthur Charguéraud Slides: * Introduction * Chapter 1: see Coq script * Chapter 2 * Chapter 3 Coq Binaries (cached here to save bandwidth): * Windows: coq-installer-8.4-win-0.exe(install to c:\programs\coq, NOT to c:\program files\coq) and Msys for which you need to select the component “Msys” during the installation (install to C:\mingw). * Mac OS: coqide-8.4rc1.dmg (Coq bundled with CoqIDE interface and some plugins: Ssreflect, AAC, Containers, DescenteInfinie).… text/html 2012-09-03T14:56:27+08:00 josh http://flolac.iis.sinica.edu.tw/flolac12/doku.php?image=zh-tw%3Alogic%3Ahomework_1_sols.pdf&ns=zh-tw%3Alogic&rev=1346655387&tab_details=history&mediado=diff&do=media text/html 2012-09-03T14:55:42+08:00 josh http://flolac.iis.sinica.edu.tw/flolac12/doku.php?image=zh-tw%3Alogic%3A1.10.pdf&ns=zh-tw%3Alogic&rev=1346655342&tab_details=history&mediado=diff&do=media text/html 2012-09-03T14:55:31+08:00 josh http://flolac.iis.sinica.edu.tw/flolac12/doku.php?image=zh-tw%3Ahomework_1_sols.pdf&ns=zh-tw&rev=1346655331&tab_details=history&mediado=diff&do=media text/html 2012-09-01T23:37:49+08:00 josh http://flolac.iis.sinica.edu.tw/flolac12/doku.php?image=zh-tw%3Alogic%3Alecture_1.pdf&ns=zh-tw%3Alogic&rev=1346513869&tab_details=history&mediado=diff&do=media text/html 2012-09-01T23:37:48+08:00 josh http://flolac.iis.sinica.edu.tw/flolac12/doku.php?image=zh-tw%3Alogic%3Alecture_2.pdf&ns=zh-tw%3Alogic&rev=1346513868&tab_details=history&mediado=diff&do=media text/html 2012-09-01T21:09:37+08:00 yfc http://flolac.iis.sinica.edu.tw/flolac12/doku.php?image=zh-tw%3Aflolac2012hw.pdf&ns=zh-tw&rev=1346504977&tab_details=history&mediado=diff&do=media text/html 2012-09-01T21:02:30+08:00 yfc http://flolac.iis.sinica.edu.tw/flolac12/doku.php?image=zh-tw%3Aflolac12.pdf&ns=zh-tw&rev=1346504550&tab_details=history&mediado=diff&do=media text/html 2012-08-31T09:35:45+08:00 jaiyalas http://flolac.iis.sinica.edu.tw/flolac12/doku.php?image=zh-tw%3Atalks%3Aslide-v1.2.1.svg&ns=zh-tw%3Atalks&rev=1346376945&tab_details=history&mediado=diff&do=media text/html 2012-08-30T07:32:17+08:00 jaiyalas http://flolac.iis.sinica.edu.tw/flolac12/doku.php?image=zh-tw%3Atalks%3Aslide-v1.1.svg&ns=zh-tw%3Atalks&rev=1346283137&tab_details=history&mediado=diff&do=media text/html 2012-08-29T16:10:01+08:00 jaiyalas http://flolac.iis.sinica.edu.tw/flolac12/doku.php?image=zh-tw%3Atalks%3Aslide.svg&ns=zh-tw%3Atalks&rev=1346227801&tab_details=history&mediado=diff&do=media text/html 2012-08-27T15:28:09+08:00 jaiyalas http://flolac.iis.sinica.edu.tw/flolac12/doku.php?image=zh-tw%3Acaesar.ml&ns=zh-tw&rev=1346052489&tab_details=history&mediado=diff&do=media