-
Notifications
You must be signed in to change notification settings - Fork 7
/
history.html
131 lines (92 loc) · 3.97 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
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
<!DOCTYPE html>
<html lang="en">
<head>
<!--# include file="/templates/header.html" -->
<title>Egison - History</title>
</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 the 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 the 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 creator 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-match-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 Technology</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>
<h3>Feb 3rd, 2015</h3>
<p>
The creator recieved <a target="_blank" href="https://www.ipsj.or.jp/award/softwarejapan_award.html">Software Japan Award</a>!
</p>
<h3>Mar 24th, 2016</h3>
<p>
Egison Version 3.6.0 was released!
Computer algebra system on Egison was implemented at this version.
</p>
<h3>Jul 19th, 2017</h3>
<p>
A paper on Egison was accepted to the Scheme and Functional Programming Workshop 2017.
This paper proposed a method for importing tensor index notation into programming by the very simple extension of languages.
</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>