概念的なmoduleと物理的なmoduleは必ずしも一致しない