Email Record: RIMS Symposium on Software Science and Engineering II :