非可逆性と空虚性:マディヤマカによる同一性の分析の形式的再構築 | Synapse