Javaの型推論はC#と違って使いもんにならんの?