持続の論理的構造 - 最小限の仮定、導出される必然性、形式的証明、そして持続的同一性の体制構造 | Synapse