Commits

yoshihiro503  committed a437912

index_pages

  • Participants
  • Parent commits da58c5e

Comments (0)

Files changed (2)

 </head>
 
 <body>
-<a href='about.html/'>About me</a>,  
+<a href='index.html'>Home</a>,  
 <a href='index.cgi'>Arbitrary Precision Calculator</a>,  
-<a href='lambdavn/'>Lambda Vn</a><br>
+<a href='lambdavn/'>Lambda Vn</a>, 
+<a href='about.html'>About me</a>
 
 <h2>About me</h2>
 <ul>
-  <li>name: Yoshihiro Imai</li>
-  <li>address: Nagoya, Japan</li>
-  <li>weblog: <a href='http://d.hatena.ne.jp/yoshihiro503/'>Programming in the Poultry House</a></li>
-  <li>twitter: <a href='http://twitter.com/yoshihiro503'>yoshihiro503</li>
-  <li>E-mail: y.imai at ocaml.jp</li>
+  <li>Name: YOSH</li>
+  <li>Address: Nagoya, Japan</li>
+  <li>Interests: <a href='http://coq.inria.fr/'>Proof Assistant Coq</a>, <a href='http://caml.inria.fr/'>OCaml</a>, <a href='http://hackage.haskell.org/trac/haskell-prime/'>Haskell</a></li>
+  <li>Affiliation: <a href='http://www.itpl.co.jp/ocaml-nagoya'/>ocaml-nagoya</a>, <a href='http://ocaml.jp'>ocaml.JP</a></li>
+  <li>E-mail: yim.ai.v at gmail.com</li>
 </ul>
     
-<!--<center>-->
-<!--<br>-->
-<!-- <form action='index.cgi' method='post' name='calc'> -->
-<!-- <table border=0 cellspacing=0 cellpadding=0> -->
-<!--  <tr><td valign=top> -->
-<!--   <table border=1 cellpadding=1 cellspacing=1 bgcolor=#7597dd id='free' width=650> -->
-<!--    <tr style='background-color: #e5ecf9;'> -->
-<!--     <td rowspan=2 valign=middle nowrap width=200>&nbsp;<b>Expression</b>&nbsp;</td> -->
-<!--     <td nowrap width=200>&nbsp;Digit number<select name='precision'> -->
-<!--      <option value='inf' selected>infinity</option> -->
-<!--     </select></td> -->
-<!--     <td nowrap width=200>&nbsp;</td> -->
-<!--     <td rowspan=2 nowrap align=center valign=middle >&nbsp;</td> -->
-<!--    </tr> -->
-<!--    <tr style='background-color: #e5ecf9;'> -->
-<!--     <td nowrap>&nbsp;</td> -->
-<!--     <td>&nbsp;</td> -->
-<!--    </tr> -->
-<!--    <tr style='background-color: #ffffff;'> -->
-<!--      <td colspan=4 valign=top><textarea style='border-style:none;' cols=73 rows=12 name='formula'>::text::</textarea></td> -->
-<!--    </tr> -->
-<!--    <tr><td height=35 valign=middle style='background-color:#e5ecf9;' colspan=4> -->
-<!--        &nbsp;&nbsp;<input type='submit' value='Execution'> -->
-<!--    </td></tr> -->
-<!--    <tr><td bgcolor='#e5ecf9' colspan=4>&nbsp;Answer -->
-<!--    </td></tr> -->
-<!--    <tr style='background-color: #ffffff;'><td nowrap valign='top' colspan=4><input size='79' style=' border-style: none;' type='text' id='ans' class='text' value='::result::'> -->
-<!--    </td></tr> -->
-<!--   </table> -->
-<!--  </td></tr> -->
-<!-- </table> -->
-<!-- </form> -->
-<!--</center>
-<br>-->
-<div align=right>
-Powered by <a href='http://caml.inria.fr/'><img src='caml.128x58.gif' alt='powered by OCaml' border='0' height='30'/></a>
-and <a href='http://coq.inria.fr/'><img src='barron_logo.png' alt='powered by Coq' border='0' height='40'/></a>.
-</div><br>
-Original: <a href='http://keisan.casio.com/has10/Free.cgi'>High precision calculator</a><br>
-Free CGI server: <a href='http://0web.cjb.net'>Zero Web Server</a><br>
+<script type="text/javascript">
+var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
+document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
+</script>
+<script type="text/javascript">
+try {
+var pageTracker = _gat._getTracker("UA-6143321-5");
+pageTracker._trackPageview();
+} catch(err) {}</script>
 </body>
 </html>
 

File index.template

 </head>
 
 <body>
+<a href='index.html'>Home</a>,  
+<a href='index.cgi'>Arbitrary Precision Calculator</a>,  
 <a href='lambdavn/'>Lambda Vn</a>, 
-<a href='http://d.hatena.ne.jp/yoshihiro503/'>Coq blog</a><br>
+<a href='about.html'>About me</a>
 
 <h2>Arbitrary Precision Calculator (by Coq)</h2>
 <center>
 and <a href='http://coq.inria.fr/'><img src='barron_logo.png' alt='powered by Coq' border='0' height='40'/></a>.
 </div><br>
 Original: <a href='http://keisan.casio.com/has10/Free.cgi'>High precision calculator</a><br>
-Free CGI server: <a href='http://0web.cjb.net'>Zero Web Server</a><br>
+rental CGI server: <a href="http://www.pocket-server.com/welcome/?zsrstwu" target="_blank">Pocket Server</a>
 </body>
 </html>