歡樂邏輯養成班，超有料！：一學就會，一笑就懂，絕不昏昏欲睡的12堂課

 

想要一秒鐘惹怒工程師，只要對他本人說「我覺得你講的話沒有邏輯」。可想而知，每天得藉由程式碼和電腦搏感情的程式人員，是多麼在意自己的邏輯思維能力。卻也因為「邏輯」一詞的使用氾濫，常被現代人在日常生活上用來指稱「腦袋清楚」與否，模糊了「邏輯學/理則學」原是一項能增進「口語/文字溝通」正確性與效率的人類文明結晶，其重要性不亞於數學中的「四則運算」和「九九乘法」。

而「歡樂邏輯養成班，超有料！」一書便是能讓讀者輕鬆、愉快地閱讀過程中，吸收到最基本的邏輯學觀念。書中介紹的條件句「若A則B」，充斥在人們日常對話的情境中，像「如果今天是博客來會員日，我就會買書」。而人們卻常犯「若A則B，非A則非B(錯誤)」的推論錯誤，產生「如果今天不是博客來的會員日，我就不會買書(錯誤)」，更將錯誤擴大為「我只在博客來會員日買書」。後續介紹的「否命題和逆命題同真偽」、「命題和否逆命題同真偽」、「充分條件/必要條件」等觀念，都是透過幽默有趣，淺白又不失精準的說明，傳達給讀者，中間穿插著日本特有的四格漫畫更是有畫龍點睛的效果，讓思考著邏輯運算而忙碌的腦袋，能適時地喘口氣，用另一種方法(四格漫畫)獲得邏輯觀念的解說。每篇結尾都提供了驗證所學的簡短練習題，切記得按步就班地自我檢驗，才能獲得更大的學習成果。

近末篇章作者開始進一步介紹邏輯學中的「演繹」，帶出了「邏輯定律」中相當實用的幾個公式，包括了:「遞移律」、「肯定前項律」、「否定後項律」、「選言三段論」、「建構兩難律」和「背理法」。更把「演繹」和「歸納」兩大推論技巧的關係說明清楚，一解我心中殘存已久的困惑(誰先誰後)。舉例來說，時下流行的大數據便是利用歸納法來提出假設，再利用假設當前題進行演繹推論，但這種推論在前題不為真時將會失效，所以要記得時常確認前題沒變。

邏輯能力和數理能力一樣，都是用進廢退的智能技術，不論是已經身為家長想到培養子女在邏輯思維上的基礎，或是想保持自身在邏輯判斷上的神志清明。「歡樂邏輯養成班，超有料！」都是一本最適合「學而時習之」的優良教本。

Storm應用實踐：實時事務處理之策略

 

提到大數據，黃色小象(Hadoop)的名號已是婦孺皆知。但在巨量資料處理的實務中，Hadoop(和後起之秀Spark)只是批次運算的領頭羊，在天平另一端則是串流/即時運算(簡體稱為流運算)。Apache Storm便是名氣響亮的串流運算開源碼解決方案。

巨量資料技術最適合應用在各式的網路機制與服務。而最佳的資訊流架構規劃，應該是融合批次運算和串流運算。以這樣的使用情境為例「隨著網站使用者的瀏覽歷程，網頁自動呈現最多人感興趣的內容」。就是藉由巨量資料收集進行的批次運算結果，得出「最多人感興趣的內容」的數據洞見。配合即時(更專業上應該說「近乎即時」)收集的「使用者瀏覽數據」，動態改變「網站的呈現內容」，至此才實作出前述的系統機制。

或許有人會提出疑問，覺得同樣的數據流處理也可以用傳統的網頁程式技術來完成。差別在如果採用的是串流運算，它會針對Web主機裡的access log進行後端非同步的資料處理，實踐了營運和分析程式分離的資訊架構。一方面減少前端網頁程式的複雜度，提升程式碼的可讀性。另方面即使未來增加更多的數據分析功能，也不會因此影響到網頁回應的速度，造成整體網站的效能不彰。

從事數據分析的資訊人員，在談到串流數據處理時，肯定會聯想到Splunk(商用)和ELK(開源碼)這兩個知名的時間軸式(time-based)大數據分析平台。Storm很明顯地和它們不同，Apache Storm完全是個數據處理運算平台(platform)，或更嚴格地說是一個數據處理開發框架(framework)。而Splunk和ELK是著重在巨量數據的即時分析，一條龍地提供「收集」、「處理」、「視覺化呈現」的分析工具。

拉回來說，細看Storm組成的元件和它在處理數據流時採用的架構，資深的工程師馬上會聯想到典型的訊息佇列(message queue)服務。猜的沒錯，Storm核心元件中的Spout和Bolt，對應的正是精典的「生產者/消費者」模式中「消費者」的角色。在架構Storm的解決方案時，也少不掉要安裝提供可靠數據來源的訊息佇列服務(如AcitveMQ、Kafka)。你可能會問，若是如此，又何必花費心思導入Storm方案，只要自行撰寫符合生產者/消費者模式的數據處理程式，不就可以打造出即時的數據分析功能？但是Storm平台能做的不僅是一般常見的多執行緒(multi-thread)消費者元件，它通透地提供跨主機(multi-server)、跨處理程序(multi-process)的消費者元件，理論上可以讓數據流處理的總吞吐量接近無上限(還是會卡在系統瓶頸點)。而導入Apache Storm也連帶著引進了管理介面、標準化的開發框架，這都能增進即時巨量資料處理解決方案的可維護性及穩定性。

這本「Storm應用實踐」的內容令我大為讚賞，一開始從最基礎的串流資料處理觀念說起，接著是核心元件Spout和Bolt的介紹。它以貼近IT實務的模擬案例來引導讀者打造可運作的程式原型，從中做學地逐漸讓人熟悉著手Storm開發的最佳程式範型(pattern)。

Storm的Spout和Bolt元件，如同Hadoop著名的Map/Reduce般，在極簡的類別設計下，展現出無窮潛能的實作空間。書中後半針對效能調校、程式除錯等進階議題詳加說明，還有比官網文件更深入淺出的Storm內部運作細節解說，當之無愧地可以說是「Apache Storm自學聖經」。終章作者介紹了Trident這個建基在Strom上的抽象框架，它提供了類似Spark Streaming一樣的「微批次/小批次」資料處理功能。老實說，Trident的複雜度足以獨自出版成冊，作者也言明只想粗淺介紹這個抽象框架，讓讀者有個印象，一般在開發Storm應用時不見得需要用到Trident。

「批次處理」和「串流處理」像是大數據工程師工具箱裡的十字和一字起子，兩者適用的情境和條件限制截然不同。透過妥善的規劃將兩者相互整合，會展現出一加一大於二的驚人成果。因此從事大數據工程的資訊人員，千萬要把握學習Apache Storm的機會，更別錯過「Storm應用實踐」這本值得典藏的傑作(還是有幾個勘誤處，細讀才會發現)。

圖解火砲

自從運用火藥爆炸威力殺敵的熱兵器問世以來，傳統以刀劍互搏的冷兵器就逐漸淡出戰場。藉由大量的影視作品，即便不是軍警的平民老百姓，相信也對一般的槍炮機制略知一二。

而這本「圖解火砲」以一篇篇問與答的圖文內容，將有關大炮的科普知識傳達給讀者。從最基本的前膛炮和後膛炮的差異到歷史上關鍵的火炮技術演進，都能輕易地在書中找到答案。後半部更依地上和海上的火炮應用獨立成章，從中可以學到「坦克」和「自走炮」的差異，「魚雷」和「水雷」的不同等等軍武小知識。

這一類的圖解大百科多半源自於日文翻譯書，內容都是非常淺顯易懂，插圖精細且賞心悅目。令人佩服日本人整理、解構事物的專業和細心。閱讀此類書藉不外乎是對討論主題感興趣，或是單純被書中插圖所吸引。不論起心動念的源由為何，圖解大百科系列總能讓讀者心滿意足地盡享閱讀之樂。