[15p-M_123-1~8] FS.1 フォーカストセッション「AIエレクトロニクス」

15:30 〜 15:45

[15p-M_123-6] 大規模SAT解探索に向けたアナログ電子アメーバ変数表現法の検討

〇長澤 柊¹、葛西 誠也¹、谷田部 然治¹ (1.北大量集センター)

キーワード：

アナログ計算、最適化問題、電子回路

生物粘菌の探索能力に着想を得た組合せ最適化問題解探索システム「アナログ電子アメーバ」について、汎用性が高く実用に供する充足可能性問題（SAT）を解く上で必要であった変数表現の冗長性を解消する新規実装法を提案し、回路シミュレーションによって要素回路の機能実証を試みた。今回は特にコンパクトな乱数発生CMOS回路において不安定性に基づく自励振動の実現と振動条件に関する知見を得た。