静的なメモリ管理の話。リージョン推論とλ計算からRustまで