| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| HWS, VLD (共催) |
2023-03-01 16:25 |
沖縄 | 沖縄県青年会館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
引力斥力制御型AmoebaアルゴリズムのFPGA実装による大規模SAT解探索 ○天野英晴・奥山寅男（慶大）・大古田香織・青野真士（Amoeba Energy）  VLD2022-82 HWS2022-53 |
充足可能性問題(SAT)は従来の汎用計算機がその解決を苦手とする「組合せ爆発」を伴うNP完全問題である。SATの解を高速... [more] | VLD2022-82 HWS2022-53 pp.55-60 |
| KBSE, SWIM (共催) |
2022-05-20 14:00 |
東京 | 機械振興会館 6階6-67会議室 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
トレースの例示による線形時相論理式の生成 ○小松航汰・堀田大貴（茨城大） KBSE2022-1 SWIM2022-1 |
プロセスマイニングによるデータ分析を行うことで，ビジネスプロセスの効率的かつ網羅的な分析を支援することができる．プロセス... [more] | KBSE2022-1 SWIM2022-1 pp.1-6 |
| VLD, HWS (共催) [詳細] |
2022-03-07 16:20 |
ONLINE | オンライン開催 | AmoebaSATを用いた効率的な自動運転アクセラレータ ○井沼佑亮・原 祐子（東工大） VLD2021-90 HWS2021-67 |
近年，組込みシステムのアプリケーションは大規模・複雑化し，様々な処理から構成されるため，その各々に専用アクセラレータを実... [more] | VLD2021-90 HWS2021-67 pp.75-80 |
| DC | 2021-12-10 14:20 |
香川 | 国民宿舎小豆島（ふるさと荘交流センター） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
相互依存ネットワークにおける最脆弱ノードの特定 肥田京三・○土屋達弘（阪大） DC2021-58 |
本研究では，電力システムに代表される相互依存ネットワークを対象に，攻撃に対して最も脆弱なノード集合を特定する手法を提案す... [more] | DC2021-58 pp.19-23 |
| COMP | 2019-12-13 11:15 |
群馬 | 群馬大学 伊香保研修所 | 解の個数を制限した充足可能性問題の計算困難性 ○堀内弘武・森本尚之・山田俊行・河内亮周（三重大） COMP2019-34 |
ValiantとVaziraniは充足可能性問題(SAT)における孤立化補題を示し，SATから与えられるインスタンスの命... [more] | COMP2019-34 pp.39-43 |
| COMP | 2016-10-21 14:00 |
宮城 | 東北大学 | SYM-AND2段回路の充足可能性問題に対する厳密アルゴリズム ○脊戸和寿（成蹊大）・玉置 卓（京大）・照山順一（NII） COMP2016-27 |
$n$変数論理関数$f:{0,1}^n rightarrow {0,1}$が重み付き対称であるとは，$f(x_1, ld... [more] | COMP2016-27 pp.29-34 |
| SDM, ED (共催) |
2015-02-06 11:55 |
北海道 | 北海道大学（百年記念会館） | アメーバ型最適化問題解探索アルゴリズムの電子回路実装 ○若宮 遼・葛西誠也（北大）・青野真士（東工大）・成瀬 誠（NICT）・巳波弘佳（関西学院大） ED2014-152 SDM2014-161 |
粘菌アメーバは単純な構造ながら自律分散的な運動により計算能力を有することが知られている．粘菌アメーバの光刺激回避行動とゆ... [more] | ED2014-152 SDM2014-161 pp.81-85 |
| MSS, SS (共催) |
2015-01-27 09:20 |
鳥取 | ブランナールみささ | 部分観測におけるMaxSATソルバを用いたスーパバイザ合成手法 ○廣田 樹・結縁祥治（名大）・東道徹也（デンソー） MSS2014-82 SS2014-46 |
部分観測のもとでの離散事象システムのスーパバイザ構成アルゴリズムは指数時間であることが知られて いる．部分観測のもとで... [more] |
MSS2014-82 SS2014-46 pp.79-84 |
| SS | 2014-10-24 10:30 |
高知 | 高知市文化プラザかるぽーと | 離散事象システムにおけるMaxSATソルバを用いた最大可制御部分仕様の導出 ○廣田 樹・結縁祥治（名大）・東道徹也（デンソー） SS2014-31 |
離散事象システム（DES）とは，事象の離散的な生起により状態が遷移するシステムの総称である．離散事象システムでは，システ... [more] | SS2014-31 pp.35-40 |
| DC | 2014-02-10 10:55 |
東京 | 機械振興会館 | SATを用いた低キャプチャ電力指向ドントケア割当て法 ○高橋慶安・山崎紘史・細川利典（日大）・吉村正義（九大） DC2013-83 |
ディープサブミクロン時代の実速度スキャンテストにおいて，キャプチャ時の消費電力の増加が問題となっている．キャプチャ時の高... [more] | DC2013-83 pp.25-30 |
| COMP | 2013-12-20 15:30 |
沖縄 | 沖縄産業支援センター | ［チュートリアル講演］計算複雑さへの招待（5）：回路から迫るP vs. NP ○脊戸和寿（成蹊大） COMP2013-47 |
本発表では，回路計算量と論理回路の充足可能性問題について基礎的な導入を行う．最初に回路計算モデルについて必要な定義やチュ... [more] | COMP2013-47 p.57 |
| VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2012-11-27 13:00 |
福岡 | 九州大学百年講堂 | 解の再利用を用いたSATに基づくテスト生成におけるインスタンス順序と変数割当順序の決定法 ○上田健司・岩垣 剛・市原英行・井上智生（広島市大） VLD2012-83 DC2012-49 |
本稿では充足可能性問題（SAT）に基づくテスト生成問題を取り上げ， 解を再利用しながら複数のインスタンスを解く状況下で... [more] |
VLD2012-83 DC2012-49 pp.141-146 |
| CAS, MSS (共催) |
2011-11-17 14:50 |
山口 | 山口大学大学会館 | トラップ包含閉路ネットの判定法 ○太田 淳・辻 孝吉（愛知県立大） CAS2011-68 MSS2011-37 |
ペトリネットはコンカレントシステムのための有効なモデルの一つである。 一般にペトリネットの解析問題には膨大な計算量が必... [more] |
CAS2011-68 MSS2011-37 pp.25-30 |
| PRMU, IBISML (共催) IPSJ-CVIM (連催) [詳細] |
2011-09-06 15:20 |
北海道 | はこだて未来大学 | 主成分分析を用いたK-SAT問題における相転移現象の可視化 ○赤澤靖章（早大）・岡田真人（東大）・井上真郷（早大） PRMU2011-78 IBISML2011-37 |
本研究では，充足可能性問題（random K-SAT問題）の相転移現象を数値シミュレーションにより検証する．K-SAT問... [more] | PRMU2011-78 IBISML2011-37 pp.165-172 |
| DC, CPSY (併催) |
2011-07-28 16:15 |
鹿児島 | かごしま県民交流センター | 基数制約に対応するクラスタ向け並列SATソルバとその評価 ○徐 暁雋・山根裕二・上田和紀（早大） DC2011-17 |
実問題から生成される構造的な問題に含まれる基数制約は,真理値のみを扱う SAT ソルバにとってホ... [more] | DC2011-17 pp.13-18 |
| AI | 2006-05-18 11:10 |
東京 | 機械振興会館 | 効率的なSATプランニングとSATスケジューリングのための補題再利用 ○鍋島英知（山梨大）・宋 剛秀（神戸大）・井上克巳（NII）・岩沼宏治（山梨大） |
本稿では，SATプランニングとSATスケジューリングを効率よく解くために補題再利用手法を提案し，その効果を実証する．一般... [more] | AI2006-4 pp.19-24 |
[研究会発表申込システムのトップページに戻る]