Welcome to the Sato Laboratory's website.
Please click the menu above for more information.
- Taisuke Sato received the Distinguished Research Award for his work on OLDT Resolution (done jointly with Hisao Tamaki) at ICLP2012 (Sep. 6, 2012).
- PRISM, a programming language/system for symbolic-statistical modeling,
is downloadable from
- Version 2.1 was released on Sept. 1, 2012.
Last Update: Sept. 1, 2012