D-1-12 離散時間2値ニューラルネットワークの一収束条件を判定する多項式時間アルゴリズム(D-1.コンピュテーション,一般セッション)