Commits

yoshihiro503  committed eaa9a74

proofCafeへ引越し

  • Participants
  • Parent commits 92efda0

Comments (0)

Files changed (2)

File about.html

-<html>
-<meta http-equiv='Content-Type' content='text/html; charset=UTF-8'>
-<head>
- <title>Yoshihiro503</title>
-</head>
-
-<body>
-<a href='index.html'>Home</a>,  
-<a href='index.cgi'>Arbitrary Precision Calculator</a>,  
-<a href='lambdavn/'>Lambda Vn</a>, 
-<a href='about.html'>About me</a>
-
-<h2>About me</h2>
-<ul>
-  <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>
-    
-<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.html

-<html>
-<meta http-equiv='Content-Type' content='text/html; charset=UTF-8'>
-<head>
- <title>Home</title>
-</head>
-
-<body>
-<a href='index.html'>Home</a>, 
-<a href='index.cgi'>Arbitrary Precision Calculator</a>, 
-<a href='lambdavn/'>Lambda Vn</a>, 
-<a href='about.html'>About me</a>  
-
-<h2>Home</h2>
-
-<br>
-rental CGI server: <a href="http://www.pocket-server.com/welcome/?zsrstwu" target="_blank">Pocket Server</a>
-
-<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>
-