tozimaさんのプロフィール

プログラミング言語理論、特に関数型言語の自動検証に興味があります

プロフィール最終更新日: 2013/11/06

はてなID: tozima
一行紹介: プログラミング言語理論、特に関数型言語の自動検証に興味があります