こちらは佐藤研究室のホームページです． 上のメニューより各コンテンツへアクセスしてください．

お知らせ

• ICLP2009で当研究室が開発している PRISM 処理系について招待講演しました
  （発表スライド）．
• 記号的統計モデル言語 PRISM の処理系を公開しています．
  • version 1.12.1 を公開しました (June 3, 2009)．