ERATO MMSD
ERATO Metamathematics for Systems Design Project
以下のポジションで研究員・プログラマーを募集しています．ぜひ国内からの応募もご検討ください．
