軟體資訊
部落格資訊
於 15天17小時前 發表
昨天11月10日，Google 發表了新語言 Go ，是簡單、快速、支援 Unicode 、多緒、垃圾回收機制、物件導向的語言寫法、和彈性並安全的資料型態的動態語言。相當像 C 語言。( http://golang.org/ , http://google-opensource.blogspot.com/2009/11/hey-ho-lets-go.html ) 支援 Linux 和 Mac ，不支援 Windows。Concurrence 方面， Go 提出 Goroutine 一詞：一個 goroutine 是在同一記憶體位置上和其他 goroutine 同時執行的 Go...
於 19天10小時前 發表
今年11月4日於台北國際會議中心，昇陽公司發表 Oracle 和昇陽合力發展的資料庫平台 Exadata 。 Exadata 沿襲並整合了昇陽過去十大創新技術，提供高速、平行的大量資料處理功能。以往的在線交易處理 (OLTP) 可能在硬體或儲存體方面遭遇瓶頸。昇陽公司運用 Chip Multi-Thread 特製晶片減少 Exadata 平台所需的處理器數量，並達到省電需求。在資料儲存方面，使用運行資料壓縮和智慧快取二項技術，解決輸入與輸出的瓶頸。Exadata 是 Sun SPARC (硬體) 、Sun Solaris (作業系統) 、Java (虛擬機) 、及 Oracle...
於 20天11小時前 發表
最近花不少時間重新看 Prolog 和 Erlang 的程式寫法，感想是，邏輯程式工具的威力真強。Prolog 是一種老派的邏輯式程式語言，它的目標是執行邏輯系統。邏輯系統是一些事實和一些規則組成的一組「資料庫」，在系統定義範圍內，可以找到有一些情況被滿足。例如最簡單的三段論法說：morale(X) :- man(X).man(socrates).?- man(socrates).yes?- man(me).no以上程式中，大寫符號是變數，小寫符號是常在詞彙。句子呈現 X :- Y 是規則，讀做 X if Y ，在邏輯表達式是寫成 X 1, N1 is N - 1,...
於 25天1小時前 發表
Eliza 是人工智慧領域很有名並很出色的對話程式，模擬心理醫生與人對話。對話的例子像這樣(http://tadhg.com/wp/1997/12/31/a-dialogue-with-eliza/)或那樣(http://osiris.sunderland.ac.uk/cbowww/AI/AI/eliza.html)。Eliza 被一般自然語言處理的教科書當做最基本的例子，因為它沒有建立完整的句子結構、也沒有資料庫更新、更沒有機器學習，卻能夠處理與人對話的工作。它怎麼做到呢？Natural Language Understanding (見1.) 1.3 節 (第7頁) 指出，Eliza...
於 5個月16天前 發表
Joe Armstrong 在 Erlang Programming 書中有一段提到「平行程式設計」 (Concurrent-oriented programming, COP) 的概念。以下翻譯那一段文章，提供許多人即使在用非平行程式設計方式開發平行系統架構時，也可以引用這些概念。並行風格人都知道何謂並行...
於 5個月26天前 發表
排列和組合是很容易處理的問題。但不知道為什麼，在資訊科系學寫程式之後，排列卻變成相當難的問題。難的地方是在像 C 語言的程式步驟和資料型態上，要考慮很多額外的東西，也遇到很多小麻煩。因此，「取一列資料的全部排列情況」變成一項我一直不會寫程式解決的問題。而使用像 Haskell 這樣的函數程式語言，將過去所學的知識加以翻覆、折疊，重新整理出一條順暢的思考路線。我最近寫出的排列函數如下；再下去，讓我解釋一下函數構成的想法。allPermu :: (Eq a) => [a] -> [[a]]allPermu xs = compact rs where rs = map (map (\x ->...
於 6個月2天前 發表
以下翻譯 Jakob E. Bardram 在一篇文章 The Java Context Awareness Framework (JCAF) - A Service Infrastructure and Programming Framework for Context-Aware Applications 中，對「情境感知」所下的解釋。JCAF 是在 2005 年發表這篇文章所介紹的情境感知基礎架構，用 Java 語言做開發及支援。本文介紹 JCAF 的設計原理、執行架構、程式介面。 API...
於 6個月4天前 發表
本文翻譯 C. J. Date 的 What Not How: The Business Rules Approach to Application Development 第一章，從 5 到 7 頁。原文參見： Google Book 條目。讀到本書這一段時，感覺非常特別：一方面是這個「搞資料庫的」作者在本書中好多地方，用特別的講法切中程式設計的中心概念，相當引人反思：例如，他說：「如果用 C 和 Java 這種 procedural 語言寫程式，是叫使用者幫忙把事情做好，而 declarative 語言則是叫系統幫自己做事情 (SQL 也算是 declarative...
於 6個月13天前 發表
本文翻譯 Contextual Design 一書 (Amazon 記錄) 第 10 頁到第 16 頁 (Google Books 預覽)： The Challenge For Design in Organizations...
於 6個月14天前 發表
本文翻譯 Contextual Design 一書 (Amazon 記錄) 第 9 頁 (Google Books 預覽)： The Challenge For Design - Keeping in Touch with the Customer 。文中有下列角色：設計團隊： design team ，就是開發人員。開發人員： developers ，就是設計團隊或設計者。企業： business ，就是客戶、提出需求和出資的公司。資訊科技部門： IT department ，就是今日名上有「資訊」、「科技」等字眼的公司。角色： role...
於 7個月20天前 發表
本篇來講一些規則系統(production system, rule-based sytem, or expert sytem)的系統描述(formulation)。規則系統是由工作空間(包含事實)、知識庫(包含規則)、以及推論引擎(包含推論及控制流程)等三樣東西構成。一般大學教科書中，很少明確說明規則系統的設計。而相關論文則都使用 Lisp 語言介紹系統架構，較近年代的程式人員根本看不懂。1. 程序代數所以，用一些形式語言說明規則系統的架構。推論引擎包含三個分開的程序，所以我們用到基本程序代數(Pi Calculus)：令 p, q...
於 7個月28天前 發表
本篇介紹UML狀態圖。狀態圖是用來表達系統執行的狀態，特別要顯示系統在不同狀態之間有不同的行為。系統的每一項活動或操作步驟會使一個狀態轉移為另一個狀態。通常，狀態圖關心的範圍相當小，只和一個類別或元件有關。以下先介紹狀態圖的圖示，然後給一個示範。一、UML狀態圖的圖示狀態：(State) 用圓角方形、其中寫狀態名稱，表示一個狀態。圓角方形中間可打一橫線，線下方標示該狀態的效果。效果：(Effect) 以格式為 "動作類型 / 動作" 的文字，描述一個狀態的進、出、及運作的效果。動作類型有 Entry, Exit, 和 Do...
於 8個月2天前 發表
本篇介紹UML活動圖(Activity Diagram)。UML活動圖和一般的程式流程圖非常像，並多了能夠描述平形處理的能力。活動圖可表達流程，可用在描述複雜的操作過程、複雜的業務規則、一項或多項使用案例、或一項或多項商業流程。以下，先介紹圖示及使用方式，接著展示一項示範。一、UML活動圖的圖示及使用方式活動：(Activity) 用圓角方形、其中寫上活動名稱，表示一項活動。一項活動可以是呼叫一項操作方法、執行一項步驟、或是商務流程中的一項。使用案例：(Use Case)...
於 8個月5天前 發表
UML溝通圖(Communication Diagram)，在前一版UML中稱為合作圖(Collaboration Diagram)，顯示物件之間的通訊順序。溝通圖乍看與順序圖的功能有些重疊，不過，溝通圖突顯訊息傳遞的順序和分群、而後者則突顯物件運作的順序。以下，先介紹溝通圖的圖示，再舉出一個示範例子。一、UML溝通圖的圖示物件：(Object) 用長方形代表一項通訊個體、其中寫物件名稱、所屬類別名稱、並加底線，表示一項物件。關聯：(Relationship)...