関数型玩具製作所

言語・情報・表現に関する制作と検討を行っています。

現在、ウェブ上の公開情報は整理中です。もうしばらくお待ちください。