Egison (作者) の歴史を時系列で紹介します.


2007年9月(20歳)

東京大学理学部情報科学科への進学が内定し,コンピュータサイエンスを始める.

2010年3月(23歳)

Egison のアイデアを得る.
卒論のために命題論理の式をいじくるプログラムを書いていたときに Egison のパターンマッチのアイデアを得た.

2010年4月(23歳)

東京大学大学院情報理工学系研究科コンピュータ科学専攻修士課程に進学する.
教授たちから「日本の将来に大きな影響を与える逸材」と言われ期待されていたらしい.

2011年3月(24歳)

最初の Egison の構想が練上がる.Egison の開発を始める.

2011年5月24日(24歳)

Egison Version 0.1 を Hackage からリリース.

2011年12月(25歳)

Egison が2011年度未踏IT人材発掘・育成事業のプロジェクトの1つとしてに採択される.

2012年3月(25歳)

修論を書き終わる.
このころ,Egison に loop pattern や not pattern などが考えだされて次々と実装された.
Egisonは整理しながら最初から書き直され,Egison Version 1.0 がリリースされた.

2012年6月(25歳)

修論をアップデートした Egison についての論文を初めて国際会議に投稿する.(結果:Rejected)

2012年7月初旬(25歳)

Egison Version 2.0 をリリース.

2012年7月7日(25歳)

第1回 Egison Workshop を秋葉原で開催.
このときに「パターンマッチ指向」という宣伝文句が生まれた.(未踏期間中にお世話になった原田康徳PMのアイデア)
このころ matcher 構文が現在のかたちに落ち着いた.
また, matcher という名前を使いだした.(それまでは type と呼ばれていた.)

2012年9月21日(25歳)

東大理学部7号館から送別される.
萩谷先生に,「江木くんの人生が映画化したら観に行きます」と約束される.

2012年10月1日(26歳)

生活に困り,正社員として働き始める.

2012年11月20日(26歳)

Egison で未踏スーパークリエータに認定される.
竹内郁雄先生に,「生きている間に江木くんの伝記が読みたい」と褒められる.

2012年12月13日(26歳)

就職した会社で Egison が将来の開発言語として採用される.
Egison Version 3 の開発を開始する.

2013年3月30日(26歳)

Egison Version 3.0.0 をリリース.
このころ,無限の結果をもつパターンマッチと pattern function によるパターンのレキシカルスコープが実現された.

2013年6月24日(26歳)

いろいろ辛くて会社を辞め無職になる.

2013年8月27日(26歳)

アルバイトをしながら論文を再度書き始める.

2013年9月19日(26歳)

娘が生まれる.

2013年10月12日(27歳)

Egison についての論文を書き上げ投稿する.(結果:Rejected)

2013年11月15日(27歳)

楽天技術研究所で正社員として働き始める.

2014年1月(27歳)

公式 Website のデザインのアップデートを開始.(参考リンク: Blog - Evolution of Egison Website in This 8 Months)

2014年3月3日(27歳)

Reddit のスレッドで Egison が話題に上がる.

2014年4月17日(27歳)

InfoWorld の記事で10個の面白い新プログラミング言語の1つとして取り上げられる.

2014年6月21日-22日(27歳)

Hacker News のスレッドで Egison が話題に上がる.

2014年7月2日(27歳)

Egison 論文を初めて arXiv.org で公開.

2014年7月5日-7日(27歳)

Hacker News のスレッドで Egison が話題に再び上がる.作者も議論に参加した.

2014年10月14日(28歳)

CodeIQ MAGAZINE にて Egison についての連載を開始.

2014年11月28日(28歳)

東京大学にて Egison についての講演

2015年2月3日(28歳)

情報処理学会より「日本発の世界に誇るソフトウエアの研究者,開発者,技術者」を表彰するソフトウエアジャパンアワードを受賞.

2015年10月24日(29歳)

第10回日本OSS奨励賞を受賞.

2016年1月(29歳)

友人宅の本棚にあった斎藤毅「線形代数の世界 -抽象数学の入り口-」(東京大学出版会)を読み始めたことをきっかけに数学の勉強を本格的に再開する.

2016年3月24日(29歳)

Egison Version 3.6.0 をリリース. このバージョンから数式処理システムが Egison の上に実装された.

2016年6月(29歳)

テンソルの添字記法をプログラミングに導入する簡潔な手法の実装に成功する.

2017年7月19日(30歳)

The Scheme and Functional Programming Workshop 2017Egison についての論文が採択される. この論文は,プログラミング言語に非常な簡単な拡張をすることにより,テンソルの添字記法をプログラミングに自然に導入する手法を提案した. はじめての論文採択だった.

2017年9月3日(30歳)

Oxford 大学で開催された The Scheme and Functional Programming Workshop 2017 にてテンソルの添字記法のプログラミング言語への導入について講演した. 国際会議でのはじめての講演だっただけでなく,はじめての参加でもあった.

2017年11月6日(31歳)

Egison Version 3.7.0 をリリース.
テンソルの添字記法に加えて,微分形式に対する演算子を簡潔に定義できる仕組みまで実装した.

2017年11月13日(31歳)

楽天技術研究所にて Egison 開発のアルバイトを募集開始.(参考ツイート)

2017年11月19日(31歳)

九州大学の深川宏樹助教の推薦で量子と古典の物理と幾何@九大にて Egison について講演

2018年3月6日(31歳)

PPL 2018 にて萩谷研の6年後輩の西脇 友一さんと意気投合し,共同研究をはじめる.

2018年4月(31歳)

楽天技術研究所にインターンに来た河田さんが静的型システムをもつ Egison を試験的に実装する.

2018年5月(31歳)

楽天技術研究所でアルバイトしていた郡さんが function symbol の機能を Egison に実装する.

2018年8月13日(31歳)

Egison のパターンマッチについての論文(西脇さんとの共著)APLAS 2018 に採択される.
6年以上書き続けた論文が,ついに採択された.

2018年8月14日(31歳)

Loop pattern についての論文The Scheme and Functional Programming Workshop 2018 に採択される.

2018年9月28日(32歳)

アメリカのセントルイスで開催された The Scheme and Functional Programming Workshop 2018 にて loop pattern について講演する.

2018年11月23日(32歳)

東京大学理学部7号館にて,Egison Workshop 2018 を開催.

2018年12月3日(32歳)

ニュージランドのウェリントンにて開催された APLAS 2018 にて,Egison のパターンマッチについて講演する.

2018年12月18日(32歳)

京都大学五十嵐研究室にて,Egison のパターンマッチについて講演する.

2018年12月21日(32歳)

Egison のパターンマッチを実装した Scheme マクロの開発に成功する.

2019年4月(32歳)

東京大学大学院の社会人博士課程に入学.

2019年9月28日(33歳)

ベルリンで開催された The Scheme and Functional Programming Workshop 2019 にて Egison パターンマッチを実装した Scheme マクロについて講演する.

2019年11月24日(33歳)

東京大学理学部7号館にて,Egison Workshop 2019 を開催.

2019年12月2日(33歳)

Egison のパターンマッチを活用した新しいプログラミング・パラダイムであるパターンマッチ指向プログラミングを提唱する論文(西脇さんとの共著)が <programming> 2020 に採択される.

2022年3月(35歳)

博士号取得.

次に見てほしいもの...

Egison コミュニティに参加する トップに戻る