f[[2][2]]はどう定義されるの?