小D収集庫

本blogger 2006年~2012年的文章，若沒聲明為原創文章，皆為轉載文章，轉載文章作者非本人，且新聞版權屬於各大報所有。

2008年5月29日 星期四

start [2008 Formosan Summer School on Logic, Language, and Computation (FLOLAC '08)]

start [2008 Formosan Summer School on Logic, Language, and Computation (FLOLAC '08)]

2008 「邏輯、語言與計算」暑期研習營

張貼者： pf 於 晚上8:18
標籤： Academic

沒有留言:

張貼留言

較新的文章 較舊的文章 首頁
訂閱： 張貼留言 (Atom)

線上人數

標籤

  • 店家心得 (2)
  • 科技工作者心得 (9)
  • 科技新聞 (96)
  • 程式設計教學 (50)
  • 電腦進階技巧及密技 (69)
  • Academic (16)
  • Alert (13)
  • Art Tools (49)
  • Art教學 (14)
  • Beautiful (9)
  • Blog (32)
  • Boring (2)
  • Bug (7)
  • Computer Teaching (38)
  • Computer Virus (8)
  • Crack (32)
  • criticism (22)
  • Debug (13)
  • entertainment (3)
  • Finance (111)
  • Food (7)
  • Free Server (4)
  • fun (43)
  • game (34)
  • Gene (15)
  • Hardware (27)
  • Health (69)
  • history (15)
  • Image (8)
  • Information (38)
  • Key (2)
  • kill yourself's blog (2)
  • Linux (19)
  • Literature (3)
  • Live (27)
  • memory (3)
  • Movie (3)
  • myself (13)
  • New Format (6)
  • News (228)
  • Online Tool (42)
  • Other (9)
  • Photography (2)
  • Physics (5)
  • Politic (4)
  • puzzle (1)
  • Python (1)
  • sale (25)
  • schizophrenia (4)
  • software (247)
  • technology (34)
  • travel (1)
  • web (211)
  • Wiki (9)
  • YouTube (5)

訂閱

發表文章
Atom
發表文章
留言
Atom
留言

網誌存檔

  • ►  2012 (3)
    • ►  12/09 - 12/16 (1)
    • ►  11/18 - 11/25 (1)
    • ►  10/28 - 11/04 (1)
  • ►  2011 (10)
    • ►  05/01 - 05/08 (1)
    • ►  04/10 - 04/17 (1)
    • ►  03/06 - 03/13 (1)
    • ►  02/27 - 03/06 (1)
    • ►  02/13 - 02/20 (1)
    • ►  01/30 - 02/06 (2)
    • ►  01/16 - 01/23 (1)
    • ►  01/02 - 01/09 (2)
  • ►  2010 (90)
    • ►  12/19 - 12/26 (2)
    • ►  12/05 - 12/12 (4)
    • ►  11/28 - 12/05 (4)
    • ►  11/21 - 11/28 (1)
    • ►  11/14 - 11/21 (1)
    • ►  11/07 - 11/14 (1)
    • ►  10/24 - 10/31 (1)
    • ►  09/19 - 09/26 (2)
    • ►  09/12 - 09/19 (1)
    • ►  09/05 - 09/12 (2)
    • ►  08/15 - 08/22 (1)
    • ►  08/08 - 08/15 (1)
    • ►  08/01 - 08/08 (1)
    • ►  07/25 - 08/01 (3)
    • ►  07/18 - 07/25 (3)
    • ►  07/11 - 07/18 (1)
    • ►  07/04 - 07/11 (3)
    • ►  06/27 - 07/04 (1)
    • ►  06/20 - 06/27 (4)
    • ►  06/13 - 06/20 (2)
    • ►  06/06 - 06/13 (1)
    • ►  05/30 - 06/06 (1)
    • ►  05/23 - 05/30 (4)
    • ►  05/09 - 05/16 (2)
    • ►  04/25 - 05/02 (4)
    • ►  04/18 - 04/25 (5)
    • ►  04/11 - 04/18 (6)
    • ►  04/04 - 04/11 (5)
    • ►  03/28 - 04/04 (3)
    • ►  03/14 - 03/21 (5)
    • ►  03/07 - 03/14 (2)
    • ►  02/28 - 03/07 (2)
    • ►  02/21 - 02/28 (1)
    • ►  02/14 - 02/21 (2)
    • ►  02/07 - 02/14 (1)
    • ►  01/10 - 01/17 (3)
    • ►  01/03 - 01/10 (4)
  • ►  2009 (206)
    • ►  12/27 - 01/03 (7)
    • ►  12/13 - 12/20 (1)
    • ►  11/15 - 11/22 (3)
    • ►  11/01 - 11/08 (1)
    • ►  10/11 - 10/18 (1)
    • ►  09/27 - 10/04 (1)
    • ►  09/20 - 09/27 (2)
    • ►  09/13 - 09/20 (1)
    • ►  08/30 - 09/06 (1)
    • ►  08/23 - 08/30 (1)
    • ►  08/16 - 08/23 (6)
    • ►  08/09 - 08/16 (6)
    • ►  08/02 - 08/09 (3)
    • ►  07/26 - 08/02 (15)
    • ►  07/19 - 07/26 (18)
    • ►  07/12 - 07/19 (6)
    • ►  07/05 - 07/12 (14)
    • ►  06/28 - 07/05 (16)
    • ►  06/21 - 06/28 (14)
    • ►  06/14 - 06/21 (5)
    • ►  06/07 - 06/14 (2)
    • ►  05/31 - 06/07 (4)
    • ►  05/24 - 05/31 (2)
    • ►  05/17 - 05/24 (2)
    • ►  05/10 - 05/17 (2)
    • ►  04/26 - 05/03 (1)
    • ►  04/19 - 04/26 (3)
    • ►  04/12 - 04/19 (3)
    • ►  04/05 - 04/12 (14)
    • ►  03/29 - 04/05 (7)
    • ►  03/22 - 03/29 (4)
    • ►  03/15 - 03/22 (3)
    • ►  03/08 - 03/15 (3)
    • ►  03/01 - 03/08 (2)
    • ►  02/22 - 03/01 (10)
    • ►  02/15 - 02/22 (2)
    • ►  02/08 - 02/15 (9)
    • ►  02/01 - 02/08 (4)
    • ►  01/25 - 02/01 (3)
    • ►  01/18 - 01/25 (3)
    • ►  01/04 - 01/11 (1)
  • ▼  2008 (844)
    • ►  12/28 - 01/04 (3)
    • ►  12/21 - 12/28 (1)
    • ►  12/07 - 12/14 (2)
    • ►  11/23 - 11/30 (1)
    • ►  11/16 - 11/23 (4)
    • ►  10/26 - 11/02 (2)
    • ►  10/05 - 10/12 (1)
    • ►  09/28 - 10/05 (6)
    • ►  09/21 - 09/28 (3)
    • ►  09/14 - 09/21 (1)
    • ►  09/07 - 09/14 (8)
    • ►  08/31 - 09/07 (6)
    • ►  08/24 - 08/31 (13)
    • ►  08/17 - 08/24 (13)
    • ►  08/10 - 08/17 (10)
    • ►  08/03 - 08/10 (13)
    • ►  07/27 - 08/03 (26)
    • ►  07/20 - 07/27 (29)
    • ►  07/13 - 07/20 (8)
    • ►  07/06 - 07/13 (36)
    • ►  06/29 - 07/06 (26)
    • ►  06/22 - 06/29 (32)
    • ►  06/15 - 06/22 (23)
    • ►  06/08 - 06/15 (28)
    • ►  06/01 - 06/08 (66)
    • ▼  05/25 - 06/01 (79)
      • 誰發明單車？　達文西、諸葛亮皆有份　德國人申請專利-Yahoo!奇摩�
      • 慎選燒錄光碟片 « 高登工作室
      • ㊣軟體玩家 » 誰說圖片一定是方的？RoundPic.com幫你的圖剪成圓角！
      • mp3DirectCut V2.09 (mp3分割)多國語言綠色版 - ☆★☆心が動くいつも~ない理由☆�
      • CCleaner V2.08.588(垃圾檔案清除) 綠色精簡版 - ☆★☆心が動くいつも~ない理�
      • 十個女人
      • FunPhotor 2008(圖片變臉秀)綠色中文化版 - ☆★☆心が動くいつも~ない理由�
      • screen2exe V1.3.0.0(螢幕錄製)繁中化綠色版 - ☆★☆心が動くいつも~ない理由☆
      • 蔡學鏞【言程序】部落格: 思考函數編程（二）Why FP
      • 雅虎站內搜尋
      • 「Wallop」微軟的超酷炫flash個人部落格 | 香腸炒魷魚
      • Jamyy's Weblog: Linux Console 下的 BT 操作
      • ZDNet Taiwan - 新聞 - Web應用 - 比Google Docs還好用的Penzu
      • 電腦玩物: Google自訂搜尋引擎 - 打造個人資訊檢索系統，這樣做才叫�
      • [破解] 秘密程式！讓Vista清晰預覽PDF @ PCuSER 電腦人 ::PIXNET 痞客邦::
      • 凱特打結該該叫＊台灣派部落客＊: 你所不知道的微軟新注音
      • NMDA受體 有助消除恐懼記憶-Yahoo!奇摩新聞
      • 【轉貼】瞭解什麼是HIPS？HIPS有哪些軟體可用？ - 天生好手【Genius Sporting ...
      • XP實用技巧:關閉壓縮舊文件功能_快樂小雨滴
      • 軟體王-軟體資訊網站!
      • 推薦：Microsoft Visual Studio International Pack 1.0 版
      • 壹蘋果網絡
      • 歡迎光臨國立教育廣播電台－【文教新聞】查詢
      • 完美解码-能完全替代暴风影音的全能格式视频播放器！ - 异次元�
      • Photoshop Brushes - Free Photoshop Brushes at Brus...
      • ㊣軟體玩家 » 線上無料心智圖軟體
      • start [2008 Formosan Summer School on Logic, Langu...
      • 火星探測》火星生物 至少曾有過-Yahoo!奇摩新聞
      • 5/28油價漲　汽油3.9柴油4.4-Yahoo!奇摩新聞
      • GGPO 0.29.1 ROM 遊戲補完計畫 (about Dogg)
      • 博客常用的12个工具 - NextCool
      • 8款精心挑选的强大的资源管理器插件下载 | X-BetA 世纪资讯
      • GnomeDo/Installation - Ubuntu Wiki
      • 街頭藝人考照熱鬧登場 無照不准收費-Yahoo!奇摩新聞
      • 防盜高科技!光學辨識鑰匙真偽-Yahoo!奇摩新聞
      • 網拍萬能鑰匙 治安出現隱憂-Yahoo!奇摩新聞
      • FeedDemon » 小地方
      • FFFFOUND! - 網路圖片書籤，數量超多的圖片收藏與分享。 - 免費資源網�
      • Vector Magic - 線上將點陣圖轉成向量圖，支援多種輸出格式！ - 免費資源�
      • Hot Scripts - 最大的 PHP, CGI, Perl, Java 和 ASP 共享平台！...
      • TitanicHost - 無限流量ASP網站空間，支援 MS Access & SQL - 免費資...
      • 前~博客 | 手機導航，不錯
      • Google 的蜘蛛程式能夠填寫網頁上的 form
      • kiroro's Tech Blog:躲開老闆的雙眼 用Excel來看股票！ - yam天空部落
      • Sopili 軟體邦
      • IX Blog » Blog Archive » 網路力量大：房屋也可以團購！
      • IX Blog » Blog Archive » 台灣另一個 Netflix：好過影
      • 線上製作閃亮Flash文字:Glittr | 老貓的Blog
      • 空中的人形醫生: 有人還沒放棄「新注音」的嗎？
      • 麥當勞無線上網的迷思?!... @ 看‧小小小 ::PIXNET 痞客邦::
      • [軟體]側錄網愛電愛視訊:Freez Screen Video Capture-酷玩意部落格(sha...
      • [網站]FINDBOX - 搜尋GoGoBox好康資源-酷玩意部落格(sharecool.org)
      • 交通共乘-來人啊-台北.基隆-語言交換,交通共乘,專長交換,交友,單�
      • Creative Aurvana X-Fi noise-canceling headphones -...
      • The Photoshop Anthology: 101 Web Design Tips, Tric...
      • Fun New Run High: 以圖片找圖片的搜尋引擎 - Tineye
      • ATnotes 中文版
      • 避暑"涼"方 仙草將消失?!-Yahoo!奇摩新聞
      • 巴菲特：美國經濟巳陷入衰退-Yahoo!奇摩新聞
      • 求職不寫自傳 人資「看都不看」-Yahoo!奇摩新聞
      • YouTube - As-Rigid-As-Possible Shape Manipulation
      • 正式發佈Google混搭編輯器(Google Mashup Editor)中文文檔 | Tinyfo...
      • 為什麼微軟 Office 的檔案格式如此複雜？（以及一些解決方案）
      • 你的程式語言可以這樣做嗎？ - The Joel on Software Translation P...
      • The Old New Thing
      • 櫻花輸入法XP下載-省錢生活
      • 十八家台灣廠商入選全球營運最佳資訊科技百大
      • Mitnik's Blog (￣ε(￣|||) | Google 正式發佈 Google Healt...
      • 免費 CAMFrog Video Chat 聊天軟體 | DARKTOY DESIGN 2.0 Beta
      • OLPC端出牛肉，XO 2.0原型現身！ - Engadget 癮科技
      • How Much Is Your Blog Worth?
      • 微型機器人進入人體治療疾病 - Engadget 癮科技
      • » DIY Surface Table (I): NUI & 實作的總類
      • celemony_ :: Full versions
      • 搜尋引擎再進化，重新組織搜尋結果 - MMDays
      • 電腦玩物: 做自己的funP新聞通，用 Netvibes小宇宙打造電腦玩物資訊通
      • Jackbin 的懶人筆記: 龍捲風網路收音機 CRadio
      • 如何快速將BBS文章「整篇」抓圖、複製下來？　　【重灌狂人】
      • ㊣軟體玩家 » 一個超越Google Docs的線上文件編輯網站 zoho.com !
    • ►  05/18 - 05/25 (42)
    • ►  05/11 - 05/18 (15)
    • ►  05/04 - 05/11 (56)
    • ►  04/27 - 05/04 (36)
    • ►  04/20 - 04/27 (20)
    • ►  04/13 - 04/20 (22)
    • ►  04/06 - 04/13 (26)
    • ►  03/30 - 04/06 (16)
    • ►  03/23 - 03/30 (22)
    • ►  03/16 - 03/23 (17)
    • ►  03/09 - 03/16 (55)
    • ►  03/02 - 03/09 (15)
    • ►  02/24 - 03/02 (24)
    • ►  02/17 - 02/24 (13)
    • ►  02/10 - 02/17 (8)
    • ►  02/03 - 02/10 (1)
    • ►  01/27 - 02/03 (4)
    • ►  01/20 - 01/27 (5)
    • ►  01/13 - 01/20 (2)
    • ►  01/06 - 01/13 (5)
  • ►  2007 (424)
    • ►  12/30 - 01/06 (11)
    • ►  12/23 - 12/30 (4)
    • ►  12/16 - 12/23 (5)
    • ►  12/09 - 12/16 (2)
    • ►  11/25 - 12/02 (2)
    • ►  11/18 - 11/25 (2)
    • ►  11/04 - 11/11 (2)
    • ►  10/14 - 10/21 (4)
    • ►  09/30 - 10/07 (1)
    • ►  09/23 - 09/30 (4)
    • ►  09/16 - 09/23 (2)
    • ►  09/09 - 09/16 (9)
    • ►  09/02 - 09/09 (7)
    • ►  08/26 - 09/02 (8)
    • ►  08/19 - 08/26 (14)
    • ►  08/12 - 08/19 (38)
    • ►  08/05 - 08/12 (23)
    • ►  07/29 - 08/05 (20)
    • ►  07/22 - 07/29 (14)
    • ►  07/15 - 07/22 (7)
    • ►  07/08 - 07/15 (11)
    • ►  07/01 - 07/08 (4)
    • ►  06/24 - 07/01 (1)
    • ►  06/17 - 06/24 (2)
    • ►  06/10 - 06/17 (9)
    • ►  06/03 - 06/10 (7)
    • ►  05/27 - 06/03 (8)
    • ►  05/20 - 05/27 (5)
    • ►  05/13 - 05/20 (8)
    • ►  05/06 - 05/13 (9)
    • ►  04/29 - 05/06 (3)
    • ►  04/22 - 04/29 (3)
    • ►  04/15 - 04/22 (17)
    • ►  04/08 - 04/15 (19)
    • ►  04/01 - 04/08 (8)
    • ►  03/25 - 04/01 (13)
    • ►  03/18 - 03/25 (28)
    • ►  03/11 - 03/18 (5)
    • ►  03/04 - 03/11 (6)
    • ►  02/25 - 03/04 (11)
    • ►  02/18 - 02/25 (12)
    • ►  02/11 - 02/18 (9)
    • ►  02/04 - 02/11 (12)
    • ►  01/28 - 02/04 (16)
    • ►  01/21 - 01/28 (3)
    • ►  01/14 - 01/21 (6)
    • ►  01/07 - 01/14 (10)
  • ►  2006 (16)
    • ►  12/31 - 01/07 (1)
    • ►  12/24 - 12/31 (15)
  • ►  2005 (3)
    • ►  09/11 - 09/18 (3)

Adsense_C_Link

關於我自己

我的相片
pf
檢視我的完整簡介

Statistic

フィードメーター - 小P收藏庫

搜尋此網誌

sitebro

小D収集庫

追蹤者
浮水印主題. 主題圖片來源：sndr. 技術提供：Blogger.