mm1995tk

mm1995tk

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