Diff for "guestbook" - Jun Hu's Wiki

Differences between revisions 32 and 33

Please leave your message by clicking GetText(Edit) on the top/bottom of the page.

   1 public int function(){
   2   while(ture){
   3       //forever
   4   }
   5 }

-  ⇤ ← Revision 32 as of 2005-03-07 23:03:45 → 
  Size: 1678
  Editor: t-indiv10-220
  Comment:
+   ← Revision 33 as of 2005-03-07 23:10:06 → ⇥
  Size: 240
  Editor: t-indiv10-220
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 8:
-standard formula:
If f is entire (holomorphic on [[latex2(\usepackage{dsfont} % $$\mathds{C}$$)]]) and without zeroes, for every closed curve [[latex2($$\gamma$$)]] the integral [[latex2($$\oint_\gamma \frac{f'(z)}{f(z)}dz$$)]] is zero.
-Line 11:
+Line 9:
-This is a red square:
{{{#!latex2
\usepackage{graphics,color}
%%end-prologue%%
\newsavebox{\mysquare}
\savebox{\mysquare}{\textcolor{blue}{\rule{1in}{1in} } }
\usebox{\mysquare}
}}} 


This is a Z notation:
{{{#!latex2
\usepackage{oz}
\setlength{\zedcornerheight}{0.2em}
%%end-prologue%%
\small
\begin{schema}{level2\_robot}
    \textbf{in~} x: \mathbb{B} \\
    \textbf{in~} feeling: \mathbb{R} \\
    \textbf{in~} control: \mathbb{C} \\
\zbreak
    \textbf{out~} moving: \mathbb{R} \\
    \textbf{out~} u: \mathbb{B} \\
\ST
\zbreak
    control.1.1 = x2moving \imp \\
        \t1 maxrate(x, $10K$) \\
        \t1 \land delay(pr''(x \copyright DBH), moving, \Delta_{level2\_robot}) \\
\zbreak
    control.1.1 = feeling2u \imp \\
        \t1 maxrate(u, $10K$) \\
        \t1 \land delay(feeling, pr''(u \copyright IBH), \Delta_{level2\_robot}) \\
\zbreak
    control.1.1 = x2moving\_feeling2u \imp \\
        \t1 maxrate(x, $10K$) \\
        \t1 \land maxrate(u, $10K$) \\
        \t1 \land delay(pr''(x \copyright DBH), moving, \Delta_{level2\_robot}) \\
        \t1 \land delay(feeling, pr''(u \copyright IBH), \Delta_{level2\_robot}) \\
\end{schema}
}}}