学術情報リポジトリ Characterization of Factor Graph by Mooij's Sufficient Condition for Convergence of the Sum-Product Algorithm Shibuya, Tomoharu 2010