"程式就是法律" 已經死了