Principles of Software engineering and programming Languages (POSL) is a researchers group at Kyushu University, Japan. We are studying on...