XOO’s
Front Page
Collected Articles
Entries tagged as ‘analysis’
Convergence of integration of sinx/x
二月 4, 2009 ·
Leave a Comment
試證明
收斂。突然想到這個問題,以前遇過印象深刻,是因為大學的時候曾經因為這個吵過架 …
(更多…)
類別:
閒聊
Tagged:
analysis
,
exercise
Tags
Agda
Algorithm
analysis
Books
C++
category
coalgebra
Computer Science
Constructivism
English writing
exercise
Finite Model Theory
functional programming
Haskell
Heterogeneous Equality
LaTeX
Metaprogram
module
order theory
Programming Language
Qt4
quotient type
type theory
View
Top Posts
用 C++ Template 建表
Knaster-Tarski Theorem
近日概況
Thinkpad X30 2672-33T升級計劃
最近的回應
XOO
on
Knaster-Tarski Theorem
scm
on
Knaster-Tarski Theorem
scm
on
Knaster-Tarski Theorem
marvelouspine
on
KKBox …
scm
on
Coinductive Proof ?
類別
Books
Computer Science
閒聊
Mathematics
Notes
Programming
文章彙整
Select Month
十一月 2009 (1)
十月 2009 (1)
九月 2009 (3)
八月 2009 (1)
七月 2009 (2)
六月 2009 (5)
五月 2009 (7)
四月 2009 (4)
三月 2009 (10)
二月 2009 (12)
一月 2009 (7)
十二月 2008 (2)
十一月 2008 (2)
十月 2008 (2)
九月 2008 (4)
八月 2008 (2)
八月 2007 (2)
七月 2007 (1)
四月 2007 (3)
二月 2007 (3)
十二月 2006 (2)
十一月 2006 (2)
八月 2006 (1)
七月 2006 (1)
五月 2006 (4)
一月 2006 (2)
十二月 2005 (1)
blogroll
Lambda the Ultimate
niche computing science
Tib’s Home
Trek through Pure Reason
What's new
毒蘋果
Links of mine
Book list (anobii)
Photo Album (Picasa)
Usefull
LaTeX2WP
Blog Stats
13,583 hits
頁
Collected Articles
十二月 2009
S
M
T
W
T
F
S
« Nov
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Meta
登入
Entries
RSS
Comments
RSS
WordPress.com