研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
QIT (第二種研究会) |
2023-12-17 17:30 |
沖縄 |
沖縄科学技術大学院大学 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
[ポスター講演]Assessing the PLGC Ansatz Performance in Noisy Quantum Settings: A Focus on the Toric Code [Poster presentation] ○Yaswitha Gujju(Univ. of Tokyo)・Rong-Yang Sun・Tomonori Shirakawa・Seiji Yunoki(riken) |
[more] |
|
QIT (第二種研究会) |
2023-12-17 17:30 |
沖縄 |
沖縄科学技術大学院大学 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
[ポスター講演]Solving Not-All-Equal 3SAT using Quantum Random Access Optimization ○Benedek Hauer・Rudy Raymond・Hiroshi Imai(UTokyo) |
[more] |
|
VLD, DC, RECONF, ICD (共催) IPSJ-SLDM (連催) [詳細] |
2023-11-17 14:50 |
熊本 |
くまもと市民会館シアーズホーム夢ホール (ハイブリッド開催,主:現地開催,副:オンライン開催) |
集合対間配線問題に対するSATを用いた配線手法の改良 ○長倉光輝・藤吉邦洋(東京農工大) VLD2023-77 ICD2023-85 DC2023-84 RECONF2023-80 |
集合対間配線問題とは,同数のソース端子とシンク端子が与えられ,これらの端子間を任意の組合せで1対1接続する単層配線問題で... [more] |
VLD2023-77 ICD2023-85 DC2023-84 RECONF2023-80 pp.243-248 |
EMM, BioX, ISEC, SITE, ICSS, HWS (共催) IPSJ-CSEC, IPSJ-SPT (連催) (連催) [詳細] |
2023-07-25 09:20 |
北海道 |
北海道自治労会館 |
AEGIS Familyに対するSATを用いた差分解析 ○白矢琢朗(兵庫県立大)・阪本光星(三菱電機)・五十部孝典(兵庫県立大) ISEC2023-45 SITE2023-39 BioX2023-48 HWS2023-45 ICSS2023-42 EMM2023-45 |
本稿ではソフトウェア上で高速に実行する高速認証暗号方式である,AEGIS-128/128L/256に対して充足可能性問題... [more] |
ISEC2023-45 SITE2023-39 BioX2023-48 HWS2023-45 ICSS2023-42 EMM2023-45 pp.202-207 |
EMM, BioX, ISEC, SITE, ICSS, HWS (共催) IPSJ-CSEC, IPSJ-SPT (連催) (連催) [詳細] |
2023-07-25 09:40 |
北海道 |
北海道自治労会館 |
SATソルバーを用いたPiccolo, TWINE, LBlockに対する関連鍵不能差分識別子の探索 ○内海潮音(兵庫県立大)・阪本光星(三菱電機)・五十部孝典(兵庫県立大) ISEC2023-46 SITE2023-40 BioX2023-49 HWS2023-46 ICSS2023-43 EMM2023-46 |
本稿では,Piccolo,TWINE,T-TWINE,LBlockに対して,関連鍵設定下における不能差分攻撃耐性について... [more] |
ISEC2023-46 SITE2023-40 BioX2023-49 HWS2023-46 ICSS2023-43 EMM2023-46 pp.208-213 |
EMM, BioX, ISEC, SITE, ICSS, HWS (共催) IPSJ-CSEC, IPSJ-SPT (連催) (連催) [詳細] |
2023-07-25 10:20 |
北海道 |
北海道自治労会館 |
複数ブランチ構造に対する最大差分特性確率について ○髙 和真(兵庫県立大)・阪本光星(三菱電機)・五十部孝典(兵庫県立大) ISEC2023-48 SITE2023-42 BioX2023-51 HWS2023-48 ICSS2023-45 EMM2023-48 |
低遅延疑似ランダム関数 Orthros のような複数ブランチ構造の設計は,内部状態が大きいため,差分攻撃に 対して強いク... [more] |
ISEC2023-48 SITE2023-42 BioX2023-51 HWS2023-48 ICSS2023-45 EMM2023-48 pp.221-228 |
RECONF, VLD (連催) IPSJ-SLDM (連催) [詳細] |
2023-01-24 14:20 |
神奈川 |
慶応義塾大学 日吉キャンパス 来往舎2階大会議室 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
Leveraging dynamic parameter for solution search acceleration in bio-inspired hardware SAT solver ○Anh Hoang Ngoc Nguyen(Fujitsu ltd.) VLD2022-71 RECONF2022-94 |
For decision making, various systems need to solve combinato... [more] |
VLD2022-71 RECONF2022-94 pp.68-73 |
QIT (第二種研究会) |
2022-12-08 14:00 |
神奈川 |
慶應義塾大学 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
[ポスター講演]逐次最適化法のUCCSD ansatzへの応用 ○田島由一朗・伊藤康介・箱嶋秀昭・御手洗光祐・藤井啓祐(阪大) |
NISQ デバイスにおいて動作するVQE (Variational Quantum Eigensolver) アルゴリズ... [more] |
|
VLD, DC, RECONF, ICD (共催) IPSJ-SLDM (連催) [詳細] |
2022-11-28 13:55 |
熊本 |
金沢市文化ホール (ハイブリッド開催,主:現地開催,副:オンライン開催) |
集合対間配線問題に対するSATを用いた配線手法 ○長倉光輝・横屋凛太郎・藤吉邦洋(東京農工大) VLD2022-21 ICD2022-38 DC2022-37 RECONF2022-44 |
集合対間配線問題とは,同数のソース端子とシンク端子が与えられ,それらの間を任意の組合せで,1対1接続する単層配線問題であ... [more] |
VLD2022-21 ICD2022-38 DC2022-37 RECONF2022-44 pp.13-18 |
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 |
RECONF |
2021-06-09 15:00 |
ONLINE |
オンライン開催 |
M-KUBOSボード上での充足可能性問題ソルバー・AmoebaSATの実装 ○閻 英傑・青野真士・天野英晴(慶大)・大古田香織・福田真悟・斉藤健太(Amoeba Energy)・葛西誠也(北大) RECONF2021-13 |
充足可能性問題(Boolean Satisfiability Problem; SAT) はNP 完全であることが知られ... [more] |
RECONF2021-13 pp.68-73 |
MSS, SS (共催) |
2021-01-27 15:00 |
ONLINE |
オンライン開催 |
擬ブール制約の導入による組合せ最適化ソルバCombSQL+の高速化 ○岸 潤一郎・酒井正彦・西田直樹・橋本健二(名大) MSS2020-40 SS2020-25 |
著者らはこれまでに,拡張したSQLで組合せ最適化問題を簡単に記述でき,かつ効率的に解くことのできる求解系CombSQL+... [more] |
MSS2020-40 SS2020-25 pp.66-71 |
QIT (第二種研究会) |
2020-12-10 13:00 |
ONLINE |
オンライン開催 |
[ポスター講演]アニーリングを用いた制約充足問題ソルバ ○小津泰生(名大) |
世の中の多くの問題は制約充足問題 (CSP) として与えられるが、これらは連言標準形 (CNF) の形に変換され、 SA... [more] |
|
HWS, VLD (共催) [詳細] |
2020-03-06 14:30 |
沖縄 |
沖縄県青年会館 (開催中止,技報発行あり) |
パーシャルMAX-SATを用いた抵抗性オープン故障に対するテスト生成法 ○山崎紘史・石山悠太・松田竜馬・細川利典(日大)・吉村正義(京都産大)・新井雅之(日大)・四柳浩之・橋爪正樹(徳島大) VLD2019-131 HWS2019-104 |
従来,VLSIのテストでは,縮退故障モデルや遷移故障モデルが広く用いられてきた.しかしながら,半導体微細化技術の進展に伴... [more] |
VLD2019-131 HWS2019-104 pp.215-220 |
DC |
2020-02-26 14:10 |
東京 |
機械振興会館 |
パーシャルMaxSATを用いた低消費電力指向ドントケア判定・割当て同時最適化法 ○三澤健一郎・細川利典・山崎紘史(日大)・吉村正義(京都産大)・新井雅之(日大) DC2019-92 |
近年,実速度スキャンテストにおいて,過度なキャプチャ時消費電力の発生が問題視されている.キャプチャ時消費電力を削減するた... [more] |
DC2019-92 pp.37-42 |
SITE |
2019-12-06 13:50 |
神奈川 |
神奈川大学(横浜キャンパス) |
SATソルバによるルールリストポリシの等価判定 ○渕野 敬(神奈川大)・原田崇司(高知工科大)・田中 賢(神奈川大)・三河賢治(新潟大) SITE2019-82 |
パケット分類とは,ネットワーク機器に到着するパケットの振る舞いをポリシに対応するルールリストによって決定することである.... [more] |
SITE2019-82 pp.13-19 |
NLP, CAS (共催) |
2019-10-22 09:15 |
岐阜 |
岐阜大学 |
ヒステリシスニューラルネットワークを用いた制約条件充足問題 ○源河拓巳・神野健哉(東京都市大) CAS2019-24 NLP2019-64 |
制約条件充足問題を解決することは重要であり、非常に多くの解決方法が提案されている . ニューラルネットワークを用いた方法... [more] |
CAS2019-24 NLP2019-64 pp.7-10 |
SS |
2019-03-04 16:45 |
沖縄 |
沖縄産業支援センター |
組合せ最適化問題の記述からSMTソルバの入力式を生成するSQL問合せ ○坂梨元軌・酒井正彦・西田直樹・橋本健二(名大) SS2018-66 |
著者らはこれまでに,組合せ最適化問題を簡単に記述でき,かつ効率的に解く手法を開発すること目的として,SQLを基礎とした言... [more] |
SS2018-66 pp.85-90 |
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 |
CAS, MSS (共催) IPSJ-AL (連催) [詳細] |
2017-11-17 16:30 |
東京 |
日立中央研究所 |
SATソルバを使用したロケーティングアレイの生成手法について ○小西達也・小島英春・中川博之・土屋達弘(阪大) CAS2017-62 MSS2017-46 |
本論文では,ソフトウェアテストの1つ,組み合わせテストについて議論する.具体的には,組み合わせテストで使用するテストケー... [more] |
CAS2017-62 MSS2017-46 pp.147-152 |