| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
コンピュテーション研究会 (COMP) (検索条件: 2013年度)
「from:2013-10-18 to:2013-10-18」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| COMP | 2013-10-18 10:40 |
愛知 | 名古屋工業大学 | 巨大で疎な組合せ集合を表現するための三分索引化ZDD ○青木洋士（北大）・戸田貴久（JST）・湊 真一（北大）  COMP2013-32 |
[more] | COMP2013-32 pp.1-8 |
| COMP | 2013-10-18 11:15 |
愛知 | 名古屋工業大学 | 距離遺伝グラフにおけるハミルトン閉路問題 ○神保孝則・平田富夫（名大） COMP2013-33 |
無向グラフ$G=(V,E)$に対し, $G$のすべての頂点を丁度1度ずつ通る閉路をハミルトン閉路と呼び, $G$にハミル... [more] | COMP2013-33 pp.9-12 |
| COMP | 2013-10-18 11:50 |
愛知 | 名古屋工業大学 | 高階圧縮の高速化と効率の良い符号化 ○矢口和也（東北大）・小林直樹（東大）・篠原 歩（東北大） COMP2013-34 |
高階圧縮とは，与えられたデータを生成する高階関数型プログラムを構成する圧縮法であり，圧縮したままのデータ操作が可能である... [more] | COMP2013-34 pp.13-20 |
| COMP | 2013-10-18 13:55 |
愛知 | 名古屋工業大学 | ［チュートリアル講演］計算複雑さへの招待（4）：計算限界証明における障壁 ○玉置 卓（京大） COMP2013-35 |
P≠NP予想は、決定性計算は非決定性計算を効率よく模倣できない、という予想である。計算理論における最も重要な未解決問題の... [more] | COMP2013-35 p.21 |
| COMP | 2013-10-18 15:50 |
愛知 | 名古屋工業大学 | Constant-Space Zero-Knowledge Proofs Systems with One-Way Quantum Verifiers
-- Preliminary Report -- ○Marcos Villagra・Tomoyuki Yamakami（Univ. of Fukui） COMP2013-36 |
[more] | COMP2013-36 pp.23-24 |
| COMP | 2013-10-18 16:25 |
愛知 | 名古屋工業大学 | フロベニウスの硬貨交換問題に対する構文解析表を用いたアルゴリズム ○松原俊一（青学大） COMP2013-37 |
互いに素な正整数 A1,A2,...,Ad に対して，非負整数係数の線形結合で表現不可能な最大整数をフロベニウス数と言い... [more] | COMP2013-37 pp.25-28 |
[研究会発表申込システムのトップページに戻る]