O.N.I.F.C.

《Show and Prove》 (2006) 《Deal or No Deal》 (2009) 《Rolling Papers》 (2011) 《O.N.I.F.C》 (2012) 《See You Again》(2015) 《Laugh Now, Fly Later》（2017） 《Rolling Papers

多线程编程示例（此处为CPU和I/O任务同时进行）: /// A simple prime number detector let isPrime (n:int) = let bound = int (sqrt (float n)) seq {2 .. bound} |> Seq.forall (fun x -> n % x

= i ∑ c = 1 n 2 − 1 f a b c T c {\displaystyle \left[T_{a},T_{b}\right]_{-}=i\sum _{c=1}^{n^{2}-1}{f_{abc}T_{c}}\,} 我们也有 ∑ c , e = 1 n 2 − 1 d a c e d

n ( 1 ) ) f n ( 0 ) ( x ) = λ n ( 0 ) ∑ i ≠ n C i f i ( 0 ) ( x ) − D ( 0 ) ∑ i ≠ n C i f i ( 0 ) ( x ) = ∑ i ≠ n ( λ n ( 0 ) − λ i ( 0 ) ) C i f i (

数学上，数域F上的n阶正交群，记作O(n,F)，是F上的n×n 正交矩阵在矩阵乘法下构成的群。它是一般线性群GL(n,F)的子群，由 O ( n , F ) = { Q ∈ G L ( n , F ) ∣ Q T Q = Q Q T = I } {\displaystyle \mathrm {O} (n,F)=\{Q\in