離散時間二値ニューラルネットワークの収束条件判定アルゴリズム