Mathematical Informatics Lab @ NAIST