t_wの輪郭

所有権形式的検証
あれ