Starfish

我目前正在 VERIMAG 實驗室攻讀計算機博士學位。我的研究方向是類型論(Type Theory)。

我的研究興趣很廣泛，主要集中在理論計算機科學方面，包括

• 算法設計與分析
• 計算複雜性
• 邏輯和形式化方法

我很樂意和志同道合的朋友一起討論問題。

我的計劃

因為我對算法，邏輯，複雜性，以及計算理論比較感興趣， 所以打算儘量把這方面的內容補充完整。不過我剛開始使用Wikipedia，暫時還不熟練， 只能一步一步慢慢來了 :P

目前維護的條目

離散數學

• 有序對
• 笛卡兒積
• 二元關係
• 偏序關係 偏序集
• 全序關係
• 等價關係
• 最小元
• 極小元
• 上界
• 最小上界 上確界
• 最大元
• 極大元
• 下界
• 最大下界 下確界
• 格
• 半格
• 分配格
• 有補格
• 有界格
• 布爾代數

計算理論

• 圖靈機
• 多帶圖靈機
• 非確定型圖靈機
• 枚舉器
• 補語言
• 圖靈可枚舉語言
• 圖靈可識別語言
• 圖靈可判定語言