Symposium on Theoretical Aspects of Compのリリース