| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| COMP | 2014-09-02 13:30 |
愛知 | 豊橋技術科学大学 | ［招待講演］モデリングとアルゴリズム/計算量理論 ～ 鉄道，AGV（自動搬送車），日本プロ野球試合におけるスケジューリングを例として ～ ○増山 繁（豊橋技科大）  COMP2014-19 |
本稿では現実の問題を定式化する際にアルゴリズム設計論、計算量理論の知識がどのように役立つかを，鉄道，AGV(自動搬送車)... [more] | COMP2014-19 pp.29-34 |
| COMP | 2014-09-02 17:00 |
愛知 | 豊橋技術科学大学 | モバイルエージェントの効率的なグループゴシップアルゴリズム ○李 絢・柴田将拡・大下福仁・角川裕次・増澤利光（阪大） COMP2014-24 |
本稿では，はじめにエージェントグループの概念を示し，グループゴシップ問題の定義を行う． エージェントグループは，同じ目... [more] |
COMP2014-24 pp.61-68 |
| COMP, IPSJ-AL (連催) |
2014-06-14 09:25 |
愛媛 | 道後温泉（愛媛県松山市） | 局所ハミルトニアンの非冗長性の計算量 川崎 涼・○西村治道（名大） COMP2014-11 |
Gharibian, Kempe [ICALP2012] は局所ハミルトニアンの冗長性に関する問題QIRRを導入した. ... [more] | COMP2014-11 pp.69-76 |
| COMP, IPSJ-AL (連催) |
2014-06-14 10:55 |
愛媛 | 道後温泉（愛媛県松山市） | 最大クリーク問題の多項式時間的可解性の拡張の更なる改良 ○中西裕陽（早大）・富田悦次・若月光夫・西野哲朗（電通大） COMP2014-13 |
NP完全である最大クリーク問題に対し， ``節点数$n ge 1$のグラフにおいて, グラフ中の任意の隣接2節点$v_i... [more] | COMP2014-13 pp.85-92 |
| QIT (第二種研究会) |
2014-05-12 - 2014-05-13 |
愛知 | 名古屋大学 | ［ポスター講演］断熱量子計算におけるアドバイスとしての非一様な横磁場 ○高橋 惇・福島孝治（東大） |
量子断熱計算でNP 困難な最適化問題として知られている maximum independent set 問題を解こうと試... [more] | |
| COMP | 2013-12-20 15:30 |
沖縄 | 沖縄産業支援センター | ［チュートリアル講演］計算複雑さへの招待（5）：回路から迫るP vs. NP ○脊戸和寿（成蹊大） COMP2013-47 |
本発表では，回路計算量と論理回路の充足可能性問題について基礎的な導入を行う．最初に回路計算モデルについて必要な定義やチュ... [more] | COMP2013-47 p.57 |
| IBISML | 2013-11-12 15:45 |
東京 | 東京工業大学 蔵前会館 | ［ポスター講演］Dependency Network対Bayesian Network性能比較 ○高畠一哉・赤穂昭太郎（産総研） IBISML2013-41 |
Dependency Networkは個々のノードの完全に局所的かつ単純なアルゴリズムにより学習というタスクを行うことの... [more] | IBISML2013-41 pp.39-44 |
| COMP | 2013-03-18 13:20 |
岐阜 | 岐阜大学 | 大規模疎行列を扱うZDDの演算を高速化する飛び越しリンク構造 ○湊 真一（北大） COMP2012-55 |
ZDD（ゼロサプレス型二分決定グラフ）は，大規模な組合せ集合をコンパクトに表現し，高速に演算処理する技法として広く利用さ... [more] | COMP2012-55 pp.15-22 |
| IT, ISEC, WBS (共催) |
2013-03-07 10:55 |
大阪 | 関西学院大学 大阪梅田キャンパス | Fail-stop署名の安全性要件に関する考察 ○野村昌弘・中村勝洋（千葉大） IT2012-67 ISEC2012-85 WBS2012-53 |
Fail-stop署名は「敵による署名の偽造が発生した事を, 署名者が証明できる」機能を, ディジタル署名に加えたもので... [more] | IT2012-67 ISEC2012-85 WBS2012-53 pp.31-38 |
| NS, IN (併催) |
2013-03-08 14:00 |
沖縄 | 残波岬ロイヤルホテル | 2リンク同時故障に対してサーバへの可到達性を高く保つ保護リンク決定法 ○今川廣二・巳波弘佳（関西学院大） NS2012-252 |
インターネットが普及して重要な社会基盤となるにともない，故障の影響を最小限に抑えた信頼性の高いネットワークの構築・運用が... [more] | NS2012-252 pp.505-510 |
| COMP | 2012-12-10 13:30 |
福岡 | 九州大学 | ［チュートリアル講演］計算複雑さへの招待(1)：基本+平均時計算複雑さ ○渡辺 治（東工大） COMP2012-47 |
計算複雑さの理論の基本的な考え方と その最前線を紹介するシリーズ講演の第１回目として， 計算複雑さの基本的な考え方を... [more] |
COMP2012-47 p.25 |
| QIT (第二種研究会) |
2012-11-27 - 2012-11-28 |
神奈川 | 慶応大学 日吉キャンパス | ［ポスター講演］衝突の列挙に関する量子質問計算量 ○大和雅英（阪府大）・西村治道（名大） |
関数$f$の衝突（すなわち，$f(x)=f(y)$なる組$(x,y)$）は関数の基本的概念の１つであり，それゆえ$f$を... [more] | |
| IBISML | 2012-11-08 15:00 |
東京 | 筑波大学 東京キャンパス文京校舎 | 新グラフィカルモデル「発火過程ネットワーク」 ～ 学習が簡単な新モデル ～ ○高畠一哉・赤穂昭太郎（産総研） IBISML2012-78 |
本論文ではデータからの学習が簡単な汎用の多変数確率モデルを提案する． 従来のグラフィカルモデルでは構造学習もしくはパラ... [more] |
IBISML2012-78 pp.311-318 |
| COMP | 2012-09-03 10:50 |
東京 | 法政大学 | 最大クリーク問題の多項式時間的可解性の拡張の改良 ○中西裕陽・富田悦次・若月光夫・西野哲朗（電通大） COMP2012-28 |
典型的なNP完全問題である最大クリーク問題に対し，本稿では，次の結果を示す: ``任意の隣接2節点p,qに対して m... [more] |
COMP2012-28 pp.17-24 |
| COMP | 2012-06-21 13:45 |
北海道 | 北海道大学 | 超二次論理式サイズへ向けた候補となる論理関数 ○上野賢哉（京大） COMP2012-18 |
本論文では，超二次論理式サイズ下界を証明するための可能性と限界について，以下の観点から探究する．まず，再帰的に定義される... [more] | COMP2012-18 pp.49-55 |
| QIT (第二種研究会) |
2012-05-21 10:00 |
福井 | 福井大学 | 量子遺伝的操作の改良 ○齋藤 暁（近畿大/NII）・ラヒミ ロバベ（ワーテルロー大）・中原幹夫（近畿大） |
我々は文字通りの意味での量子遺伝的アルゴリズムでは初めて、量子交叉を含むアルゴリズムを提案した[arXiv: 1202.... [more] | |
| COMP | 2012-03-16 13:35 |
東京 | 東京大学 | 比較可能-keグラフの頂点彩色問題のパラメータ化計算量 ○斎藤 惇・武永康彦（電通大） COMP2011-51 |
$\mathcal{F}-ke$グラフは、グラフ族$\mathcal{F}$のグラフから高々$k$本の辺を削除したグラフ... [more] | COMP2011-51 pp.31-38 |
| COMP | 2012-03-16 14:10 |
東京 | 東京大学 | 格子グラフ上の最短経路問題のための劣線形領域アルゴリズム 今井達也・野口俊輔・○藤 哲郎（東工大） COMP2011-52 |
グラフの最短経路問題は数多くの応用をもつ非常に重要な問題の一つである．しかし，これまでに提案されてきた最短経路アルゴリズ... [more] | COMP2011-52 pp.39-44 |
| SS | 2012-03-14 09:25 |
沖縄 | てんぶす那覇 | Combining the tractability of duplicate-free DTDs and disjunction-capsuled DTDs for XPath satisfiability with sibling axes ○Yasunori Ishihara（Osaka Univ.）・Shogo Shimizu（AIIT）・Kenji Hashimoto（NAIST）・Toru Fujiwara（Osaka Univ.） SS2011-76 |
本稿では，子軸，子孫軸および兄弟軸をもつXPath充足可能性問題が効率よく解けるような， DTDの新たな部分クラスDC... [more] |
SS2011-76 pp.115-120 |
| QIT (第二種研究会) |
2011-11-21 11:00 |
大阪 | 大阪大学基礎工学研究科国際棟 | 2つの短い量子証明を用いたQMAプロトコル ルガル フランソワ（東大）・○中川翔太・西村治道（阪府大） |
この論文では，２つの対数サイズの(互いにもつれていない)量子証明を用いた，3SATに対するQMAプロトコルを与える．この... [more] | |
[研究会発表申込システムのトップページに戻る]