Progress in informatics - Kokuritsu Jōhōgaku Kenkyūjo (2005)