t_wの輪郭

矛盾最小化
矛盾最小化推論