Egisonの歴史 Egisonの歴史を紹介します。 2007年9月 江木、東京大学理学部情報科学科に進学が決定し、プログラミングの勉強を始める。 2010年3月 江木がEgisonのアイデアを得る。 卒論のために命題論理の式をいじくるプログラムを書いていたときにEgisonのパターンマッチのアイデアを得た。 2010年4月 江木、東京大学大学院情報理工学系研究科コンピュータ科学専攻修士課程に進学する。 教授たちから「日本の将来に大きな影響を与える逸材」と言われ期待されていたらしい。 2011年3月 最初のEgisonの構想が練上がる。Egisonの開発を始める。 2011年5月24日 Egison Version0.1をHackageからリリース。 2011年12月 Egisonが未踏に採択される。 2012年3月 江木、修論を書き終わる。 このころ、Egisonにlo