forked from egison/www.egison.org
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathhistory.html
110 lines (77 loc) · 3.21 KB
/
history.html
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
<!DOCTYPE html>
<html lang="en">
<head>
<!--# include file="/templates/header.html" -->
</head>
<body data-spy="scroll" data-target=".bs-sidebar" data-offset="0">
<!--# include file="/templates/navbar.html" -->
<div class="container manual">
<div class="row">
<div class="col-md-8" id="top" role="complementary">
<h1>History of Egison</h1>
</div>
</div>
<div class="row">
<div class="col-md-12" role="main">
<h3>March, 2010</h3>
<p>
The creator of Egison got an idea of Egison.
He got the idea when he was writing a program that handles logic expressions to find mathematical theorems automatically.
He was an undergraduate student of University of Tokyo.
</p>
<h3>March, 2011</h3>
<p>
The design of the first version of Egison fixed.
The creator started implementation.
He was a graduate student of University of Tokyo.
</p>
<h3>May 24th, 2011</h3>
<p>
Egison version 0.1 was released from the Hackage.
</p>
<h3>December, 2011</h3>
<p>
Egison was accepted as one of the projects of <a href="http://www.ipa.go.jp/jinzai/mitou/2011/2011_1/gaiyou/h-2.html">IPA's IT Human Resources Development</a>.
</p>
<h3>July 1st, 2012</h3>
<p>
Egison Version 2.0 was released.
The creater had already graduated the university.
</p>
<h3>July 7th, 2012</h3>
<p>
The first Egison workshop was held in Tokyo by IPA.
The word "pattern-matching-oriented" was created at this time by Yasunori Harada.
The notion of matchers was fixed around this period.
</p>
<h3>November 20th, 2012</h3>
<p>
The creator was certified as a super creator by IPA.
</p>
<h3>March 30th, 2013</h3>
<p>
Egison Version 3.0.0 was released.
Lexical scoping in patterns was realized.
</p>
<h3>November 15th, 2013</h3>
<p>
The creator started to work in <a target="_blank" href="http://rit.rakuten.co.jp/">Rakuten Institute of Technolgy</a>.
</p>
<h3>April 17th, 2014</h3>
<p>
Egison was choosed as one of the <a target="_blank" href="http://www.infoworld.com/slideshow/146094/not-the-usual-suspects-10-plucky-programming-languages-the-rise-240677">"10 programming languages on the rise"</a> by InfoWorld.
</p>
<h3>May 5th, 2014</h3>
<p>
<a target="_blank" href="https://rubygems.org/gems/egison">The Ruby Gem for Egison pattern-matching</a> was released.
</p>
</div>
</div><!--/row-->
<hr class="divider">
<div class="row">
<!--# include file="/templates/disqus-main.html" -->
</div><!--/row-->
</div><!-- /.container -->
<!--# include file="/templates/footer.html" -->
</body>
</html>