-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathabout.html
More file actions
112 lines (97 loc) · 5.66 KB
/
about.html
File metadata and controls
112 lines (97 loc) · 5.66 KB
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
<!DOCTYPE html>
<!--[if lt IE 7]> <html class="no-js ie6 oldie" lang="en"> <![endif]-->
<!--[if IE 7]> <html class="no-js ie7 oldie" lang="en"> <![endif]-->
<!--[if IE 8]> <html class="no-js ie8 oldie" lang="en"> <![endif]-->
<!--[if gt IE 8]><!--> <html class="no-js" lang="en"> <!--<![endif]-->
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
<title>about - Metasepi</title>
<meta name="description" content="metasepi.org">
<meta name="author" content="Kiwamu Okabe">
<meta name="viewport" content="width=device-width,initial-scale=1">
<link href="http://metasepi.org/rss_en.xml" rel="alternate" title="Blog" type="application/rss+xml">
<!-- CSS concatenated and minified via ant build script-->
<link rel="stylesheet" href="./css/style.css">
<link rel="stylesheet" href="./css/syntax.css">
<link rel="stylesheet" href="./css/calendar.css">
<!-- end CSS-->
<link rel="stylesheet" href="./css/default.css">
<script src="./js/libs/modernizr-2.0.6.min.js"></script>
</head>
<body onload="prettyPrint()">
<div id="fb-root"></div>
<script>
(function(d, s, id) {
var js, fjs = d.getElementsByTagName(s)[0];
if (d.getElementById(id)) {return;}
js = d.createElement(s); js.id = id;
js.src = '//connect.facebook.net/ja_JP/all.js#xfbml=1';
fjs.parentNode.insertBefore(js, fjs);
}(document, 'script', 'facebook-jssdk'));
</script>
<header class="topbar">
<div class="container">
<div class="brand">
<a href="./">Metasepi</a>
</div>
<div class="nav">
<li><a href="./">Home</a></li>
<li><a href="./en/posts.html">Blog</a></li>
<li><a href="./papers.html">Papers</a></li>
<li><a href="./map.html">Map</a></li>
<li><a href="./memories.html">Memories</a></li>
<li><a href="./about.html">About</a></li>
</div>
</div>
</header>
<div class="container">
<div class="content clearfix">
<h1 id="questions-answers">Questions & Answers</h1>
<h2 id="what-is-metasepi">What is Metasepi?</h2>
<p>Challenge to create a free software Unix-like operating system designed with strong type.</p>
<p><img src="img/metasepi_logo_v1_200x200.png" /></p>
<p>Photo: <a href="http://www.flickr.com/photos/silkebaron/931247866/">Copyright (C) 2007 Silke Baron All Rights Reserved</a>.</p>
<h2 id="how-do-you-get-it">How do you get it?</h2>
<p>Use <a href="http://en.wikipedia.org/wiki/Iterative_and_incremental_development">iterative development</a>. First, we choose language and development method as design, then develop OS for testing with the design. Finally, study the actual results before closing the iteration.</p>
<p><img src="img/200px-PDCA_Cycle.svg.png" /></p>
<h2 id="what-is-doushi-design">What is Doushi design?</h2>
<p>4th code name of a Metasepi’s design. And it’s a river which runs with the hometown of <a href="https://en.wikipedia.org/wiki/Laid-Back_Camp">Laid-Back Camp</a>. Detail of Danvers design is found at <a href="map.html#doshi">Map page</a>.</p>
<h2 id="what-is-chiers-design">What is Chiers design?</h2>
<p>3rd code name of a Metasepi’s design. And it’s a river which runs at home of <a href="https://distrinet.cs.kuleuven.be/people/bartj">Bart Jacobs</a> as the author of <a href="https://people.cs.kuleuven.be/~bart.jacobs/verifast/">VeriFast verifier</a>. Detail of Chiers design is found at <a href="map.html#chiers">Map page</a>.</p>
<p><img src="img/Chiers_river.png" /></p>
<h2 id="what-is-bohai-design">What is Bohai design?</h2>
<p>2nd code name of a Metasepi’s design. And it’s a sea on home of <a href="http://www.cs.bu.edu/~hwxi/">Hongwei Xi</a> as the author of <a href="http://www.ats-lang.org/">ATS Programming Language</a>. Detail of Bohai design is found at <a href="map.html#bohai">Map page</a>.</p>
<p><img src="img/Bohaiseamap2.png" /></p>
<h2 id="what-is-arafura-design">What is Arafura design?</h2>
<p>Initial code name of a Metasepi’s design. And you know where <a href="http://en.wikipedia.org/wiki/Metasepia_pfefferi">Metasepia pfefferi</a> live in. Detail of Arafura design is found at <a href="map.html#arafura">Map page</a>.</p>
<p><img src="img/arafura_map.png" /></p>
</div>
<footer>
<p>
This page is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/">Creative Commons Attribution-ShareAlike 3.0 Unported License</a>. <a rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/"><img alt="Creative Commons License" style="border-width:0" src="http://i.creativecommons.org/l/by-sa/3.0/80x15.png" /></a>
<br>
Metasepi project is supported by
<a href="http://www.metasepi-design.com/"><img alt="METASEPI DESIGN" style="border-width:0" src="./img/metasepi_design_logo_82x25.png" /></a> ×
<a href="./past-supporters.html">Past Supporters</a>
</p>
</footer>
</div>
<script src="//ajax.googleapis.com/ajax/libs/jquery/1.6.2/jquery.min.js"></script>
<script>window.jQuery || document.write('<script src="/js/libs/jquery-1.6.2.min.js"><\/script>')</script>
<!-- scripts concatenated and minified via ant build script-->
<script defer src="./js/plugins.js"></script>
<script defer src="./js/script.js"></script>
<!-- end scripts-->
<script>
window._gaq = [['_setAccount','UA-158383-8'],['_trackPageview'],['_trackPageLoadTime']];
Modernizr.load({
load: ('https:' == location.protocol ? '//ssl' : '//www') + '.google-analytics.com/ga.js'
});
</script>
<!--[if lt IE 7 ]>
<script src="//ajax.googleapis.com/ajax/libs/chrome-frame/1.0.3/CFInstall.min.js">
<script>
window.attachEvent('onload',function(){CFInstall.check({mode:'overlay'})})
<![endif]-->
</body>