About SUYAMA TAKAYUKI
About NTT西日本 研開セ
About YOKOO MAKOTO
About NTT コミュニケーション科学基礎研
About SAWADA HIROSHI
About NTT コミュニケーション科学基礎研
About NAGOYA AKIRA
About NTT 未来ねっと研
About 電子情報通信学会論文誌 D-1
About satisfiability problem
About リコンフィギャラブルコンピューティング
About Artificial intelligence
About Logic circuits
About 再構成
About ハードウェア
About 充足可能性問題
About 解法