Javaは歴史的には「抽象データ型」の代表格としては微妙らしい