歡迎來到《電風扇飛走了》,這裡是用於存放筆記與日常紀錄的基地。

如想查看特定種類的內容,可參閱以下分類。

分類

基礎指令:利用 mv 搬移檔案

本文簡介指令 mv 的使用方法。

查看全文

極值定理

本文簡介極值定理(ex­treme va­lue the­o­rem)的證明。

查看全文

矩陣乘法的由來:線性轉換的合成

在學習線性代數時,我們常常會覺得矩陣乘法的定義很「怪異」,是一種獨特、被人為規定的計算法則。不過如果我們將矩陣乘法視為「線性轉換的合成」,並嘗試計算合成的結果,便會發現這和矩陣乘法的定義不謀而合。

查看全文

醣類:單醣、雙醣與多醣

本文簡介醣類(car­bo­hy­drate)。

查看全文

勒貝格積分

本文簡介勒貝格積分。

查看全文

隨機變數

本文簡介隨機變數的基本概念。

查看全文

卡拉西奧多里擴張定理

本文簡介測度論中的卡拉西奧多里擴張定理(Carathéodory’s ex­ten­sion the­o­rem)。

查看全文

以切表弦

本文簡介以切表弦公式,也稱為正切半角公式、萬能公式。

查看全文

C++:初始化的類型

本文簡介 C++ 中的初始化。

查看全文

測度空間

本文簡介測度空間。

查看全文

算術基本定理

本文簡介初等數論中的算術基本定理,即每個正整數均具有唯一的質因數分解。

查看全文

貝祖引理與歐幾里得引理

本文簡介初等數論中的貝祖引理(Bé­zout’s lem­ma)與歐幾里得引理(Eu­clid’s lem­ma)。

查看全文

抽象的計算機器:圖靈機

圖靈機(Tur­ing ma­chine)是由圖靈(Alan Tur­ing, 1912–1954)所提出的一種計算模型。

圖靈機具有各式不同的種類,包含確定性圖靈機、非確定性圖靈機等;本文簡介確定性圖靈機。

查看全文

基礎指令:利用 pwd 印出工作目錄

本文簡介指令 pwd 的使用方法。

查看全文

伴隨轉換

本文簡介內積空間中的伴隨轉換(ad­joint)。

查看全文

直線平面嵌入

本文簡述平面嵌入(pla­nar em­bed­ding)的性質,並介紹平版圖的歐拉公式(Euler’s for­mu­la)。

查看全文

喬登多邊形定理

喬登多邊形定理(Jordan polygon theorem)是一個描述任意多邊形均會將歐氏平面分為兩塊區域的定理。本文簡述此定理的證明。

查看全文

常數的近似(一):圓周率

本文簡介如何以反正切函數計算圓周率的近似值。

查看全文

深度優先搜尋的應用:標記連通分量

給定一個具有 $n$ 個頂點與 $m$ 條邊的無向圖 $G \comma$本文簡介如何利用深度優先搜尋在 $O(n + m)$ 時間內找出 $G$ 中的連通分量。

查看全文

合成函數的微分法則:連鎖律

本文簡介實函數的連鎖律(chain rule),其可用於計算合成函數的微分。

查看全文

算術―幾何平均不等式

本文簡介算術―幾何平均不等式,常簡稱為算幾不等式(AM–GM in­equal­i­ty)。

查看全文

一般化的垂直:正交

本文簡介內積空間中的正交(or­thog­o­nal­i­ty)與其相關概念。

查看全文

集合聯集的大小計算:取捨原理

本文簡介取捨原理(in­clu­sion–ex­clu­sion prin­ci­ple),也稱為排容原理、容斥原理。

查看全文

積分小技巧(一):餘弦倒數的積分

本文簡介一些含有餘弦倒數的積分實例。由於正弦、餘弦函數之間有 $\sin x = \cos (x-\pi/2)$ 的關係,以下的方法也適用於含有正弦倒數的積分。

查看全文

利用冪級數建造函數(二):正弦與餘弦函數

本文簡介如何以冪級數定義正弦、餘弦函數,並同時定義圓周率 $\pi$ 的值。

查看全文