Egison 開発記
Egison 開発記 (修士編) 最初にEgisonの構想を練り始めたのは修士に入る2週間前だった。 集合のパターンマッチを直接的に表現できるプログラミング言語を作りたいという動機で研究を始めたのだが、既存の研究に筋が良いと思えるものがひとつもなく自分で一から構想を練り始めた。 自身の中のコンピュータサイエンスについての認識を一から構築し直そうという気分で研究を行っていた。 Egisonの構想を練る事自体はかなり楽しい作業ではあるのだが、けっこう勇気のいることだった。 Egisonの実装を始めようと思えるくらいまで構想が固まってきたのは修士1年と修士2年の間の春休みのころだった。 そして3ヶ月ほどかけて実装を行い2011年5月24日に最初の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にloop patternやnot patternなどが考えだされて次々と
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
