線形型システム
各リソースを正確に一度だけ使用することを保証する型システム