保険は DeFi に欠けている中核的なプリミティブです