テセウスの船

テセウスの船：すべて置き換えられた船は「元の船」と同じか？ ソフトウェア工学から読み解く同一性