| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| COMP | 2023-03-02 11:00 |
東京 | お茶の水女子大学 | 動的計画法を用いたZDD上のForcingの探索 ○原田崇司・竹内聖悟（高知工科大）  COMP2022-33 |
厳密被覆問題とは，集合 S と S の冪集合の部分集合 F を受け取り，F の部分集合で S の分割となるものが存在する... [more] | COMP2022-33 pp.1-6 |
| IT, ISEC, RCC, WBS (共催) |
2022-03-11 16:25 |
ONLINE | オンライン開催 | 連結リストを用いるGarbled Circuit の効率的な構成法 ○劉 広健・森田 光（神奈川大） IT2021-131 ISEC2021-96 WBS2021-99 RCC2021-106 |
Yao による Garbled Circuit の提案以降，秘密回路に関する多くの構成法が提案されてきた.とりわけ，論理... [more] | IT2021-131 ISEC2021-96 WBS2021-99 RCC2021-106 pp.281-284 |
| ISEC, IT, WBS (共催) |
2020-03-11 12:10 |
兵庫 | 兵庫県立大学 神戸情報科学キャンパス（神戸ポートアイランド） （開催中止，技報発行あり） |
ZDDのGarbled Circuit法 ○増井孝之・森田 光（神奈川大） IT2019-114 ISEC2019-110 WBS2019-63 |
Krugerらは論理関数の表現手法であるBDDのGarbled Circuitの構成法を提案し, メモリ圧縮効果があり... [more] | IT2019-114 ISEC2019-110 WBS2019-63 pp.167-170 |
| SITE | 2019-12-06 13:50 |
神奈川 | 神奈川大学（横浜キャンパス） | SATソルバによるルールリストポリシの等価判定 ○渕野 敬（神奈川大）・原田崇司（高知工科大）・田中 賢（神奈川大）・三河賢治（新潟大） SITE2019-82 |
パケット分類とは，ネットワーク機器に到着するパケットの振る舞いをポリシに対応するルールリストによって決定することである．... [more] | SITE2019-82 pp.13-19 |
| COMP, IPSJ-AL (連催) |
2019-05-11 10:40 |
熊本 | 熊本大学 | ZDDを用いたグラフ細分構造の列挙索引化 ○中畑 裕・川原 純（京大）・堀山貴史（埼玉大）・湊 真一（京大） COMP2019-3 |
グラフ $H$ の細分とは，$H$ の各辺にいくつかの頂点を挿入して得られるグラフである． 本研究では，グラフ $G$... [more] |
COMP2019-3 pp.51-58 |
| VLD, DC, IPSJ-SLDM, IPSJ-EMB (連催) CPSY, IPSJ-ARC (連催) CPM, ICD, IE (共催) RECONF (併催) [詳細] |
2017-11-06 13:25 |
熊本 | くまもと県民交流館パレア | FPGAを用いたグラフストリーム処理の一検討 ○松崎貴之・尼崎太樹・飯田全広・久我守弘・末吉敏則（熊本大） RECONF2017-38 |
グラフ処理は局所性の低いメモリアクセスを行うという特性を持ち，ノード数が数億超えるような大規模なグラフを処理するのは容易... [more] | RECONF2017-38 pp.7-12 |
| SIP, CAS, MSS, VLD (共催) |
2017-06-19 14:10 |
新潟 | 新潟大学五十嵐キャンパス 中央図書館ライブラリーホール | MTZDDによるフィルタリングルールに合致するパケット数の算出 ○原田崇司・田中 賢（神奈川大）・三河賢治（新潟大） CAS2017-9 VLD2017-12 SIP2017-33 MSS2017-9 |
フィルタリングポリシーはフィルタリングルールのリストとして表現され，フィルタリングルールリストを線型探索することによって... [more] | CAS2017-9 VLD2017-12 SIP2017-33 MSS2017-9 pp.45-50 |
| DC, SS (共催) |
2016-10-27 11:00 |
滋賀 | 彦根勤労福祉会館(彦根市) | ZDDアルゴリズムを用いた高強度テストケース生成法 ○大橋 輝・土屋達弘（阪大） SS2016-18 DC2016-20 |
組み合わせインタラクションテストは様々なソフトウェアの不具合を検出する実用的な方法である． この方法はt組みのパラメ... [more] |
SS2016-18 DC2016-20 pp.1-6 |
| COMP, IPSJ-AL (連催) |
2016-06-24 15:45 |
石川 | 石川県教育会館 | ゼロサプレス型二分決定グラフによる文字グラフの列挙 川原 純（奈良先端大）・○斎藤寿樹（神戸大）・吉仲 亮（東北大） COMP2016-8 |
ゼロサプレス型二分決定グラフ(ZDD)は、集合族をコンパ... [more] | COMP2016-8 pp.33-40 |
| IN, NV (併催) |
2015-07-17 11:15 |
北海道 | 北海道大学 | ［招待講演］制約を伴う動的計画法へのZDDの活用 ○安田宜仁（北大） IN2015-34 |
動的計画法はさまざまな最適化問題に用いられる基礎的な道具である。しかし、現実的な利用場面においては、教科書的な問題設定に... [more] | IN2015-34 pp.67-72 |
| COMP | 2015-04-23 14:10 |
宮城 | 東北大学 | 頂点誘導部分グラフを列挙索引化するフロンティア法 ○鈴木浩史・湊 真一（北大） COMP2015-3 |
頂点誘導部分グラフとは，グラフ$G=(V,E)$の頂点部分集合$U subseteq V$を与えたとき，両端点が$U$に... [more] | COMP2015-3 pp.15-20 |
| COMP | 2015-03-09 11:10 |
京都 | 立命館大学 | ハイパーグラフにおける極大独立集合列挙のためのZDD構築手法 ○菅谷輝治（放送大）・戸田貴久（電通大）・湊 真一（北大） COMP2014-45 |
本研究では，ハイパーグラフの極大独立集合を列挙する効率的な手法を提案する． 提案手法では，ハイパーグラフの頂点を効率よ... [more] |
COMP2014-45 pp.19-27 |
| IBISML | 2014-11-18 15:00 |
愛知 | 名古屋大学 | ［ポスター講演］全経路探索アルゴリズムsimpathを応用した複数巡回セールスマン問題の解の全列挙と最適解探索 ○小川将史・井上真郷（早大） IBISML2014-78 |
本研究では，組み合わせ最適化問題である『複数巡回セールスマン問題』の厳密な最適解の探索を行う．この問題では，全ての都市を... [more] | IBISML2014-78 pp.321-328 |
| IN, NV (併催) |
2013-07-18 14:55 |
北海道 | 北海道大学 工学部アカデミックラウンジ3 | ［招待講演］Graphillion：巨大なグラフ集合を扱うソフトウェアライブラリ ○井上 武（JST ERATO） IN2013-43 |
これまでに多くのグラフライブラリが開発されてきたが，それらはひとつのグ ラフを処理するために設計されている．あるグラフ... [more] |
IN2013-43 pp.43-47 |
| COMP, IPSJ-AL (連催) |
2013-05-17 15:05 |
北海道 | 小樽商科大学 | 動的計画法を用いた有向二値完全系統樹の効率のよい列挙 森戸一貴（西部建設）・○斎藤寿樹・山口一章・増田澄男（神戸大） COMP2013-12 |
本論文では，不完全なデータから有向二値完全系統樹の列挙について扱う．近年，Kiyomi らによって，ZDD と呼ばれる組... [more] | COMP2013-12 pp.63-70 |
| COMP | 2013-03-18 13:20 |
岐阜 | 岐阜大学 | 大規模疎行列を扱うZDDの演算を高速化する飛び越しリンク構造 ○湊 真一（北大） COMP2012-55 |
ZDD（ゼロサプレス型二分決定グラフ）は，大規模な組合せ集合をコンパクトに表現し，高速に演算処理する技法として広く利用さ... [more] | COMP2012-55 pp.15-22 |
| COMP | 2013-03-18 13:45 |
岐阜 | 岐阜大学 | ゼロサプレス型二分決定グラフに基くコンパクトかつ高速な索引構造 ○伝住周平（北大）・川原 純（奈良先端大）・津田宏治（産総研/JST）・有村博紀（北大）・湊 真一（北大/JST）・定兼邦彦（NII） COMP2012-56 |
多くの実問題の中において，集合族を扱う必要に迫られることはままあることである．大規模な集合族を操作することはウェブからの... [more] | COMP2012-56 pp.23-30 |
| VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2012-11-26 10:55 |
福岡 | 九州大学百年講堂 | 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法 ○岩下洋哲・川原 純（JST/北大）・湊 真一（北大/JST） VLD2012-63 DC2012-29 |
近年、グラフ上の2点間の全てのパスを表現したZero-suppressed Binary Decision Diagra... [more] | VLD2012-63 DC2012-29 pp.25-29 |
| CS | 2012-11-21 11:30 |
北海道 | 北湯沢温泉 湯元名水亭（北海道） | ［特別招待講演］ERATO湊離散構造処理系プロジェクトの概要と今後の展望について ○湊 真一（北大） CS2012-70 |
計算機が扱う問題の多くは、離散構造の処理を基盤としている．近年，論理や集合のような基本データ構造を効率よく処理する「BD... [more] | CS2012-70 pp.35-40 |
| IN, NV (併催) |
2012-07-19 16:25 |
北海道 | 北海道大学 | ［招待講演］フロンティア法：BDD/ZDDを用いた高速なグラフ列挙索引化の技法 ○湊 真一（北大/JST） IN2012-38 |
「論理」や「集合」を始めとする様々な離散構造を統合的に演算処理する技法を体系化し，分野横断的かつ大規模な実問題を高速に処... [more] | IN2012-38 pp.31-36 |
[研究会発表申込システムのトップページに戻る]