情報・システム-画像工学(開催日:2019/12/13)

タイトル/著者/発表日/資料番号
Computational Complexity of Relaxed Optimal Rule Ordering

原田 崇司(高知工科大),  田中 賢(神奈川大),  三河 賢治(新潟大),  

[発表日]2019-12-13
[資料番号]COMP2019-36
連言標準形の論理式に関する公式と計算量について

町出 智也(NII),  

[発表日]2019-12-13
[資料番号]COMP2019-37
ラッチとフリップフロップを混在した高位合成について

井上 恵介(国際高専),  

[発表日]2019-12-13
[資料番号]COMP2019-32
反応システムの制御における信号数の削減

矢光 隆太郎(電通大),  小林 聡(電通大),  

[発表日]2019-12-13
[資料番号]COMP2019-39
未知の振る舞いを持つ正則文法に対する制御システムの信号数の削減

木元 達哉(電通大),  小林 聡(電通大),  

[発表日]2019-12-13
[資料番号]COMP2019-40
[Invited Talk] Spectral Sparsification of Hypergraphs

相馬 輔(東大),  吉田 悠一(NII),  

[発表日]2019-12-13
[資料番号]COMP2019-35
分散スライシングを実現する省メモリ適応型プロトコル

上辻 利奈(阪大),  首藤 裕一(阪大),  角川 裕次(龍谷大),  増澤 利光(阪大),  

[発表日]2019-12-13
[資料番号]COMP2019-29
反復合成を用いた1-極大独立集合問題を解く自己安定アルゴリズム

田中 秀幸(阪大),  首藤 裕一(阪大),  角川 裕次(龍谷大),  増澤 利光(阪大),  Ajoy K. Datta(UNLV),  

[発表日]2019-12-13
[資料番号]COMP2019-30
辺除去からの復旧に優れたモバイルエージェントによる自己安定グラフ探索

原 悠樹(阪大),  首藤 裕一(阪大),  角川 裕次(龍谷大),  増澤 利光(阪大),  

[発表日]2019-12-13
[資料番号]COMP2019-31
交互閉路による完全マッチングの最短遷移

伊藤 健洋(東北大),  垣村 尚徳(慶大),  神山 直之(九大/JSTさきがけ),  小林 佑輔(京大),  岡本 吉央(電通大/理研),  

[発表日]2019-12-13
[資料番号]COMP2019-42
同一qグラムの出現位置間の距離を考慮した厳密文字列照合アルゴリズム

小林 賢(東北大),  ヘンリアン ディプタラマ(東北大),  吉仲 亮(東北大),  篠原 歩(東北大),  

[発表日]2019-12-13
[資料番号]COMP2019-33
多数決関数を計算する2段の多数決回路

尾島 康浩(群馬大),  横川 拓哉(群馬大),  天野 一幸(群馬大),  

[発表日]2019-12-13
[資料番号]COMP2019-44
アンチスライドパズルの解析

木村 健斗(群馬大),  天野 一幸(群馬大),  荒木 徹也(群馬大),  

[発表日]2019-12-13
[資料番号]COMP2019-43
書き換え制限付き決定性オートマトンと繰り返し補題

吉田 光星(福井大),  山上 智幸(福井大),  

[発表日]2019-12-13
[資料番号]COMP2019-41
解の個数を制限した充足可能性問題の計算困難性

堀内 弘武(三重大),  森本 尚之(三重大),  山田 俊行(三重大),  河内 亮周(三重大),  

[発表日]2019-12-13
[資料番号]COMP2019-34
加算結果を利用した入力変数の組合せのあいまいな推測

上土井 陽子(広島市大),  若林 真一(広島市大),  

[発表日]2019-12-13
[資料番号]COMP2019-38