lovee 11/7/2017 9:46 AM

Javaのあの依存型ですか？