寸法とはなにか