User:Zhaoway

我叫赵蔚。生活在中国南京。

正在感兴趣的数学条目

• 范畴论
• 拓扑学
  • 点集拓扑
    • 拓扑空间，分离公理，连通空间，紧空间，仿紧空间
    • 连续映射，开映射，同胚
  • 代数拓扑
    • 同伦
• 拓扑群，李群

正在感兴趣的抽象代数条目

• 群 - 环 - 体 - 域 - 幺半群
• 群论 - 群同态 - 群同构 - 变换群
• 一般线性群 - 正交群
• 线性代数相关条目

正在感兴趣的编程语言条目

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

正在感兴趣的编译技术条目

• 垃圾收集
• 类型检查

正在感兴趣的形式语义条目

• λ演算，π演算，组合逻辑，函数式编程语言
• 指称语义，论域论
• 自动定理证明
• Isabelle/HOL，HOL

和我联系

• 我的网络日记。
• 我有一个WikiWiki留言板。
• 欢迎您给我留言。