>>323
しっかり>>319の論文で意味論も与えて証明している
論文中でのリージョンがRust におけるライフタイム