mm1995tk

関数型プログラミング、言語処理系に興味があります。