1. No category

λx.x - 国立情報学研究所