天才無限家觀後感-對公式 (formula)的體悟

星期五晚上與蓁妮一同到位於松煙的「誠品電影院」觀看「天才無限家 (The Man Who Knew Infinity)」影片。描述的是印度近代的天才數學家—拉馬努金一生的傳記電影。

拉馬努金天生就是數學家。1914年當時仍為英屬印度公司的低薪職員且從未受過任何高等教育,卻毛遂自薦將他對當代高等數學依他的直覺所導出的數學公式整理成的筆記,寄給當時最頂尖的數學家,劍橋大學的教授哈代,而後就此坐上航向英國的郵輪從事數學研究。

不到五年的時間,拉馬努金就已獲得英國皇家學會、劍橋大學三一學院的首位印度裔院士頭銜。但他孱弱身體卻不適應英國倫敦濕冷的天候,最終得不治之症並返回印度一年後過逝,結束他如閃亮彗星般短暫的一生,享年僅32歲。但他遺留下的筆記本,在近百年後的現在仍是人工智慧、電腦科學、黑洞理論等先進研究的無價遺產。

這麼饒富傳奇的天才人物,不過老實說,這部片導演拍攝的手法甚不精彩。對劇中人物無法表現出深刻的描述,片中劇情大都處於沉悶,實在可惜了飾演劍橋數學家哈代—傑瑞米·艾恩斯的演技,他可是位極為資深的實力派性格演員。倒是我家蓁妮看得卻是興致盎然,直說好看,蠻訝異的~。

不過在此我並不想評論劇情,反而在觀賞影片當中,突然,我對所謂的「公式 (formula)」有了一番體悟。

先看看目前 Wiki 對「公式」的解釋:
「在科學中,公式是一種把資訊準確地以符號表達的方法,就像是數學公式或化學式那樣」。
「在數學中,廣義上的公式是指在特定的形式文法下,把數學符號組合而成之結果」。

老天,我從小到大就是被這樣的解釋給污染了,所以一直以為公式就是一種硬生生要諸多學子去背誦,卻從未思考各類公式背後所蘊藏的道理。

當下看完電影我就有了自己對「公式」的解釋:「它是一種定理,一種根本」。

繼續閱讀 »

[簡單開箱] 為了歐卡2-購買XBox One 菁英手把

本來才不久前,已經買了 XBox One 無線控制手把,而且用它玩歐卡2 (Euro Truck Simulator 2)開卡車相當順暢愉快。附帶推薦下,這歐卡2真是超療癒又相當無聊的遊戲,就只是開卡車在歐洲大陸各國送貨而已。但一旦玩上手,每天就會不自覺開卡車晃晃送貨之類的,真是解悶的超讚遊戲。

好啦,結果我家妹妹也試著開著歐卡2,這一玩也是欲罷不能,然後就在我幫她新組裝的電腦上也安裝了這個遊戲 (Steam 平台的遊戲可以免費授權當玩家沒玩遊戲時,可讓親友免費玩所擁有的遊戲,這點相當不錯!),然後就很自然地接收了我的 XBox One 手把,從此再也不還我了。 !^^

我已經被 XBox One 手把給制約了,操縱手感真的相當好,又有振動功能,就好像握著方向盤般會有振動般樣。這次乾脆一次登頂算了,直接就網購入手玩家一致強烈推薦的 XBox One 菁英手把 (XBox One Elite Controller)
Xbox One 菁英手把

繼續閱讀 »

[簡單開箱] 兩年一度的換手機 – LG V10

兩年前購買的 HTC One Max Android 手機,除了使用期間三次故障送修,因都是保固期內,所以也沒花維修費用,其它時候其實用起來還挺滿意的 (萬妹可說是一代名機,難得!)。不過卻被我家妹妹 (小女兒)看上搶走拿去自己使用,重新貼張鋼化保護貼又再買個粉紅保護殼,看起來又跟新的一樣,每天她掛機玩手遊相當開心。

因為剛好已超過兩年手機合約 (3月到期),所以可以用續約優惠買新機。不過很奇怪,今年各家廠牌竟然沒有比較具代表性的旗艦機。HTC or Sony or 三爽?前兩者一直是我首選的考量,但今年至第一季止實在沒有值得敗入的欲望。而三爽牌幾乎是排除名單,早年使用過它們的 3C 產品,印象實在甚差。

反正綜合了價錢、功能與螢幕尺寸 (用了5.7吋螢幕後回不去了),最然竟然選擇我最陌生從沒買過的品牌-LG。它去年底推出的 LG V10,在大多用家的使用經驗頗獲好評。

但這台機子很奇怪,去年11月發表,因為太受歡迎,跳水價一直不優。好容易等到上個月底,總算跳水到空機價 1萬6 左右,所以順道到光華商場時,到小巷弄內的「地標網通」購買。
LG v10 Android 手機

空機價 1萬5千8,NP從大哥大攜碼申請中華 大4G (每月繳469)方案減扣 4千5,預繳3千6,總價1萬4千9,約與我先前購入 HTC One Max 價格差不多。我選擇的顏色是挺特別的「湖光藍」,有種低調沉靜的質感,我挺喜歡的。
LG v10 Android 手機

繼續閱讀 »

簡述何為瀑布式 (waterfall)軟體分析設計文件?!

** 本文同步發表於 FB 社團-軟體設計鮮思維 **

什麼叫做「Waterfall (瀑布式)」文件?

就是文件整理看起來很用心的樣子,經由不斷地開會與確認諸多細節,然後在某次的會議決定階段告一段落,就給予該文件一個版號 (0.1, 0.6, 0.8 .....)。

所以,一個功能模組或作業流程,經過了幾次的版號更新,最終總算得以定案,然後再交付給 PG 據此撰寫程式碼。

不管大或小的單位,稍有組織性重視文件設計 (得以保存與傳承企業資產,其實是好事),幾乎就是採以這類 "瀑布式" 的開發模式。

如果這樣能順暢移轉至程式寫碼,那當然沒有問題。但是,需求分析其實是一種假設與期望,越是要求精確,越是不容易釐清。

那麼,為何精確度的細節非得要在文件分析階段就要求完整呢? 為何不搭配每一個階段的文件分析告一段落甚或當下就寫成程式碼呢?

每一次版號的演進,文件與程式碼從功能框架的較大目標範圍,再逐漸地往細節 (即精確度)貼近。

簡而言之,設計文件與程式碼本來就是「一體兩面」!設計文件引導程式碼的開發;程式碼的修正更新文件原來的假設。

所以,現實上當文件的版號制訂為最終版時,那麼,程式碼應該也是接近完工了。

為何不這樣作?這樣不是輕鬆又愉快? 其中一個很大的問題就在於,諸多實作的程式開發人員不太容易掌握所謂的「不確定性」開發態度。也就是說,如果沒有提供很精確的細節,開發人員已經不知道要如何寫出程式碼。

總之,各類角色的開發人員,對於軟體開發的最重要修煉就是要懂得先學會如何抓到「大」的主題 (topic),再來才是往「細」的程序/邏輯/欄位 作精。

我家大女兒蓁妮親手做的幸福美味早餐

我家蓁妮平常是「茶來伸手,飯來張口」,要她服侍別人,哼,門都沒有!。

不過沒想到這小妮子竟然最近迷上廚藝這事,然後就先從簡單的早餐料理製作開始。她自己還從博客來買了西式早餐料理食譜,然後也買了一些食材,就有模有樣的做起早餐來啦。

所以這幾天蓁妮前一晚會問我說要不吃早餐?呵呵,當然好哩。全麥吐司+核桃、義美蒸熟的小饅頭、火腿片、奇異果,還有麥片+豆漿或牛奶 (啊,我沒有飲料,只有她自己的。)。蓁妮特別要求料理要強調健康又美味。
蓁妮親製美味健康早餐

每次的早餐蓁妮會改變下花樣,像她會把香蕉切塊放到吐司上,甚至切塊的香蕉上再擺上核桃;再加上她親自下廚煎的荷包蛋,我家妹妹喔,就是蓁妮的妹妹啦,可是相當捧場,吃得很感動全部吃的精光呢 (我家妹妹對飲食相當挑剔)。
蓁妮親製美味健康早餐

我家蓁妮真的跟我性格上有太多相似的地方,當迷上某一塊領域時,就會一頭栽進去研究動手作。不過還是希望她能繼續堅持啦,這樣我才能常有美味的健康早餐可以享受的。 >_<

我家妹妹說-請叫我大學生~

我家妹妹,就是我的小女兒啦,今年初 (2016)大學學測,然後歷經上個月幾家大學的面試。當她接獲第一家大學的面試錄取通知時,雖然該大學並非她的第一志願,但仍很高興的對我說,以後請叫我大學生! :-)

我家妹妹讀書並不認真,反正我在家裡是從沒看過她讀書啦,倒是打電玩時間特多,從以前的魔獸世界,到 Minecraft,甚至大考前幾天還是窩在我房間用我的高檔電腦打電玩,說是要解壓啦。

不過還好的是,我家妹妹成績仍大約保持中等。學測前導師與她自己大約預估學測分數可達約50級分上下,應該是一般私立大學她理想的科系可以考上,而且妹妹非要北部大學不可,因為她不想到外縣市住宿,還有重要的一點是她就看不到我那些可愛的鳥寶寶包括粉圓啦。

結果神經算是大條的妹妹,學測的成績也大概約如她所預測差不多,甚至數學成績竟然還達標 (她唸文組,早已放棄了數學說~)。而英文更是她的強項,15滿級分她考了14級分,相當理想。可惜美中不足的是,國文大大失常,而這讓她反而有些擔心,因為文組的許多科系非常在乎國文的成績。這可是我那個時代無法想像的,以前只在乎總分,而現在反而某些科系會針對某些學科有制定評分的標準。

雖然考試不認真,但是上個月要到四家大學 (世新、銘傳、實踐、大同大學)面試前的準備卻是非常非常的用心。

妹妹面試的科系較偏是財經方面,如企管之類的,但也有資管等科系。為了準備財經相關科系的面試,她特別從網路印了一堆資料,然後針對相關的術語一直硬背。而且也請教了已考上相關科系的學姐,關於面試時可能會問的一些問題與如何應答的態度。然後為了資管相關的問題,甚至還問了我許多專業術語,如什麼是 IT、什麼是 ERP,資訊管理的目的在於哪裡...等等。

天哪,要是妹妹對於學測相關科目的複習要有這麼認真就好了,肯定再加上個10來級分沒有問題的。不過要她認真看書作功課甚是難為,但若是要面談給予別人好印象時,她卻是相當在乎。

我覺得她在面試的那一個月 (主要為四月份)期間,真的相當認真,這真的相當令人給予肯定!

認真的結果真的有了回報。她面試的這幾家大學,全都被錄取,而且大都還是名列前茅。 :-)

繼續閱讀 »

Page 1 of 235123456789101112...203040...Last »