2015年6月25日星期四

MIT OpenCourseWare

【慎入】深到無朋友的麻省理工Open course "Elliptic Curves",睇咗頭幾版已經瞓著。

2015年6月24日星期三

Classification of finite simple groups

研究咗咁耐數學,發覺好多嘢都名不符實,即係搵笨。起數學當中,如果遇見某些terms,叫得Simple, Normal, Regular或Trivial等等,都唔係真係咁簡單。其中一樣,就係Simple group。雖然叫得simple,但係複雜到得人驚。

2015年6月19日星期五

Generating function

Fibonacci sequences是一連串數字,1, 1, 2, 3, 5, ...。用function表示如下

Fn+2 = Fn + Fn+1 (F0 = 1, F1 = 1)

但如果想知道F100,豈不是要由F1開始計到F99才知!Generating function是其中一個方法解決這個問題。

2015年6月9日星期二

The ABC Conjecture

另一個有趣的ABC Conjecture簡介,只得十八頁紙,最後講解如果ABC Conjecture成立如何輕鬆証明Fermat Last Theorem。

2015年6月5日星期五

OpenCV 3.0

幾年前寫咗個Face Detection program,到今日Open CV終於出到3.0,API完全唔同晒,又support Python 3,所以將program update一下。

import sys
import cv2

if __name__ == '__main__':
    image = cv2.imread(sys.argv[1])
    cascade = cv2.CascadeClassifier('haarcascade_frontalface_default.xml')

    gray = cv2.cvtColor(image, cv2.COLOR_BGR2GRAY)
    faces = cascade.detectMultiScale(gray, 1.2, 2)
    if faces is not None:
        for (x, y, w, h) in faces:
            cv2.rectangle(image, (x, y), (x + w, y + h), (255, 0, 0), 2)
        cv2.imshow("Face Detected", image)
        cv2.waitKey(0)
        cv2.destroyAllWindows()
    else:
        print('No face found!')

2015年6月2日星期二

WWDC 2015

[純吹水]如果蘋果推出一個月費五十文港紙樓下既iCloud photo service,任upload兼相full size,我都會幫襯兼嚟手delete晒Google photo啲相。

Apple Music就希望一推出唔好貴過Spotify太多之如,仲有大量陳年廣東歌,如徐小鳳甄妮關正傑梅艷芳張國榮林子祥陳慧嫻等等就會考慮幫襯。

2015年6月1日星期一

Calculus for mathematicians

這份paper是一份看後令人感動好一會的數學paper。為何會感動呢?因為這份paper的簡潔和完整,用open ball從continuous建立derivative到limit,簡潔得只有區區十二頁紙,但每樣東西都充份証明,簡直就是微積分的九陰真經總綱。