| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| IT | 2023-08-04 11:25 |
神奈川 | 湘南工科大学 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
SAT技術を用いた複数画像からなる視覚暗号の構成 ○田光宏章（山梨大）・盧 暁南（岐阜大）・鍋島英知（山梨大）  IT2023-25 |
視覚暗号(Visual Cryptography Scheme; VCS)とは，画像情報に対する秘密分散法の一種である．... [more] | IT2023-25 pp.62-67 |
| 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-08 11:25 |
ONLINE | オンライン開催 | HDLコードに対するSMTソルバを用いた入力パターン自動生成に関する検討 ○伊沢亮一・金谷延幸・藤原吉唯・竹久達也・丑丸逸人・有末 大・牧田大佑・三村聡志・井上大介（NICT） VLD2021-95 HWS2021-72 |
本研究の目的はHDL（Hardware Description Language）コードのシミュレーション時，検査対象モ... [more] | VLD2021-95 HWS2021-72 pp.105-110 |
| KBSE | 2018-03-02 15:20 |
沖縄 | 石垣市民会館 中ホール | A Constraint Optimization Method for Cloud Service Composition ○Shridhar Choudhary・Kosaku Kimura・Atsuji Sekiguchi（FLL） KBSE2017-51 |
[more] | KBSE2017-51 pp.73-77 |
| 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 |
| SS | 2016-03-10 10:50 |
沖縄 | 沖縄県立宮古青少年の家 | 組合せ最適化問題記述のためのSQLの拡張 ○内田佑作・酒井正彦・西田直樹（名大） SS2015-80 |
近年，充足可能性判定ソルバの高速化がめざましい． しかしながらこれらのソルバを用いて組合せ最適化問題を解くための論理式... [more] |
SS2015-80 pp.25-30 |
| 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 |
| DC | 2014-10-27 14:30 |
東京 | 機械振興会館 | 相互依存するネットワーク上の連鎖的障害に対する充足可能性判定を用いた評価方法の提案 ○土屋達弘（阪大） DC2014-21 |
電力ネットワークとSCADAネットワークの様な相互依存するネットワークにおける連鎖的障害の解析を充足可能性判定を用いるこ... [more] | DC2014-21 pp.1-3 |
| SS | 2014-10-24 10:30 |
高知 | 高知市文化プラザかるぽーと | 離散事象システムにおけるMaxSATソルバを用いた最大可制御部分仕様の導出 ○廣田 樹・結縁祥治（名大）・東道徹也（デンソー） SS2014-31 |
離散事象システム（DES）とは，事象の離散的な生起により状態が遷移するシステムの総称である．離散事象システムでは，システ... [more] | SS2014-31 pp.35-40 |
| SS | 2014-03-11 11:30 |
沖縄 | てんぷす那覇：第１・２会議室 | JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査手法の提案 榛葉浩章・○尾ノ上博樹・岡野浩三・楠本真二（阪大） SS2013-75 |
Javaにおいて，コレクションに格納されるオブジェクトはequalsメソッドとhashCodeメソッドをオーバーライドし... [more] | SS2013-75 pp.19-24 |
| 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 |
| COMP | 2012-06-21 13:20 |
北海道 | 北海道大学 | A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis ○Kazuhisa Seto・Suguru Tamaki（Kyoto Univ.） COMP2012-17 |
[more] | COMP2012-17 pp.41-48 |
| SS | 2012-03-14 09:25 |
沖縄 | てんぶす那覇 | Combining the tractability of duplicate-free DTDs and disjunction-capsuled DTDs for XPath satisfiability with sibling axes ○Yasunori Ishihara（Osaka Univ.）・Shogo Shimizu（AIIT）・Kenji Hashimoto（NAIST）・Toru Fujiwara（Osaka Univ.） SS2011-76 |
本稿では，子軸，子孫軸および兄弟軸をもつXPath充足可能性問題が効率よく解けるような， DTDの新たな部分クラスDC... [more] |
SS2011-76 pp.115-120 |
| 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 |
| COMP | 2011-04-22 15:15 |
京都 | 京都大学 | 線形不等式を対象とした一階述語論理の限定記号消去の計算 ○小野祐貴・山根 智（金沢大） COMP2011-8 |
本論文では、実数上の線形不等式を対象とした一階述語論理の限定記号消去の計算のアル ゴリズムについて述べる。 本アルゴ... [more] |
COMP2011-8 pp.55-59 |
[研究会発表申込システムのトップページに戻る]