お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

コンピュテーション研究会 (COMP)  (検索条件: 2019年度)

「from:2019-12-13 to:2019-12-13」による検索結果

[コンピュテーション研究会ホームページへ] 
講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・昇順)
 16件中 1~16件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
COMP 2019-12-13
09:00
群馬 群馬大学 伊香保研修所 分散スライシングを実現する省メモリ適応型プロトコル
上辻利奈首藤裕一阪大)・角川裕次龍谷大)・増澤利光阪大COMP2019-29
分散スライシング問題とは,コンピュータネットワーク中の各ノードが持つ属性値によって決まる大域的順序に従って,ノードを$k... [more] COMP2019-29
pp.1-7
COMP 2019-12-13
09:25
群馬 群馬大学 伊香保研修所 反復合成を用いた1-極大独立集合問題を解く自己安定アルゴリズム
田中秀幸首藤裕一阪大)・角川裕次龍谷大)・増澤利光阪大)・Ajoy K. DattaUNLVCOMP2019-30
ネットワークの1-極大独立集合を求める自己安定アルゴリズムを提案する.1-極大独立集合とは,無向グラフ(つまり,ネットワ... [more] COMP2019-30
pp.9-16
COMP 2019-12-13
09:50
群馬 群馬大学 伊香保研修所 辺除去からの復旧に優れたモバイルエージェントによる自己安定グラフ探索
原 悠樹首藤裕一阪大)・角川裕次龍谷大)・増澤利光阪大COMP2019-31
 [more] COMP2019-31
pp.17-24
COMP 2019-12-13
10:25
群馬 群馬大学 伊香保研修所 ラッチとフリップフロップを混在した高位合成について
井上恵介国際高専COMP2019-32
 [more] COMP2019-32
pp.25-30
COMP 2019-12-13
10:50
群馬 群馬大学 伊香保研修所 同一qグラムの出現位置間の距離を考慮した厳密文字列照合アルゴリズム
小林 賢ヘンリアン ディプタラマ吉仲 亮篠原 歩東北大COMP2019-33
厳密文字列照合問題は,長さ$n$のテキスト$T$と長さ$m$のパターン$P$が与えられたときに,$T$中の$P$と等しい... [more] COMP2019-33
pp.31-38
COMP 2019-12-13
11:15
群馬 群馬大学 伊香保研修所 解の個数を制限した充足可能性問題の計算困難性
堀内弘武森本尚之山田俊行河内亮周三重大COMP2019-34
ValiantとVaziraniは充足可能性問題(SAT)における孤立化補題を示し,SATから与えられるインスタンスの命... [more] COMP2019-34
pp.39-43
COMP 2019-12-13
13:00
群馬 群馬大学 伊香保研修所 [招待講演]Spectral Sparsification of Hypergraphs
Tasuku SomaThe Univ. of Tokyo)・Yuichi YoshidaNIICOMP2019-35
 [more] COMP2019-35
p.45
COMP 2019-12-13
14:10
群馬 群馬大学 伊香保研修所 Computational Complexity of Relaxed Optimal Rule Ordering
Takashi HaradaKochi Univ. of Tech.)・Ken TanakaKanagawa Univ.)・Kenji MikawaNiigata Univ.COMP2019-36
パケット分類とは,ネットワーク機器に到着するパケットの振る舞いを決定することである.線型探索による分類は,パケットをルー... [more] COMP2019-36
pp.47-54
COMP 2019-12-13
14:35
群馬 群馬大学 伊香保研修所 連言標準形の論理式に関する公式と計算量について
町出智也NIICOMP2019-37
連言標準形(CNF)は、数理論理学においてブール論理における論理式の標準化の一種であり、SAT問題等幅広く使用されている... [more] COMP2019-37
pp.55-59
COMP 2019-12-13
15:00
群馬 群馬大学 伊香保研修所 加算結果を利用した入力変数の組合せのあいまいな推測
上土井陽子若林真一広島市大COMP2019-38
 [more] COMP2019-38
pp.61-68
COMP 2019-12-13
15:35
群馬 群馬大学 伊香保研修所 反応システムの制御における信号数の削減
矢光隆太郎小林 聡電通大COMP2019-39
著者らは,外部からの制御信号系列で反応システムを制御することにより,任意のブール関数を選択して計算する数理的枠組みを提案... [more] COMP2019-39
pp.69-76
COMP 2019-12-13
16:00
群馬 群馬大学 伊香保研修所 未知の振る舞いを持つ正則文法に対する制御システムの信号数の削減
木元達哉小林 聡電通大COMP2019-40
DNAナノテクノロジーでは外部からの信号で制御することにより, 目的の構造を生成できるようなシステムを構築することが求め... [more] COMP2019-40
pp.77-84
COMP 2019-12-13
16:25
群馬 群馬大学 伊香保研修所 書き換え制限付き決定性オートマトンと繰り返し補題
吉田光星山上智幸福井大COMP2019-41
本論文では,書き換え制限付き決定性オートマトンで認識可能な言語に対する繰り返し補題(pumping lemma)を提案し... [more] COMP2019-41
pp.85-92
COMP 2019-12-13
17:00
群馬 群馬大学 伊香保研修所 交互閉路による完全マッチングの最短遷移
伊藤健洋東北大)・垣村尚徳慶大)・神山直之九大/JSTさきがけ)・小林佑輔京大)・○岡本吉央電通大/理研COMP2019-42
本研究では,完全マッチング多面体における隣接性を背景として,交互閉路による完全マッチングの最短遷移問題を考察する.これは... [more] COMP2019-42
pp.93-100
COMP 2019-12-13
17:25
群馬 群馬大学 伊香保研修所 アンチスライドパズルの解析
木村健斗天野一幸荒木徹也群馬大COMP2019-43
$n$を正整数とする.
$ntimes ntimes n$の箱と指定されたある形のピースが与えられたとき,
同じ形の... [more]
COMP2019-43
pp.101-107
COMP 2019-12-13
17:50
群馬 群馬大学 伊香保研修所 多数決関数を計算する2段の多数決回路
尾島康浩横川拓哉天野一幸群馬大COMP2019-44
$n$変数多数決関数$MAJ_n:{0,1}^n rightarrow {0,1}$とは,0または1を表す変数を$n$個... [more] COMP2019-44
pp.109-115
 16件中 1~16件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会