Zhaoway

我叫趙蔚。生活在中國南京。

正在感興趣的數學條目

• 範疇論
• 拓撲學
  • 點集拓撲
    • 拓撲空間，分離公理，連通空間，緊空間，仿緊空間
    • 連續映射，開映射，同胚
  • 代數拓撲
    • 同倫
• 拓撲群，李群

正在感興趣的抽象代數條目

• 群 - 環 - 體 - 域 - 么半群
• 群論 - 群同態 - 群同構 - 變換群
• 一般線性群 - 正交群
• 線性代數相關條目

正在感興趣的程式語言條目

• LISP，Common LISP，Scheme
• ML，SML，Ocaml，Haskell
• Erlang，CLEAN
• APL，A＋，J
• Forth，PostScript，Joy
• Unlambda，Intercal

正在感興趣的編譯技術條目

• 垃圾收集
• 類型檢查

正在感興趣的形式語義條目

• λ演算，π演算，組合邏輯，函數式程式語言
• 指稱語義，論域論
• 自動定理證明
• Isabelle/HOL，HOL

和我聯繫

• 我的網絡日記。
• 我有一個WikiWiki留言板。
• 歡迎您給我留言。