| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| CQ (第二種研究会) |
2016-10-06 13:20 |
長野 | JA長野県ビル | ［ポスター講演］反射型ネットワークトモグラフィを用いたネットワーク故障検出手法の検討 ○清藤直也（阪大）・松田崇弘（阪大/NICT）・原 晋介（阪市大）・滝沢賢一・小野文枝・三浦 龍（NICT） |
ネットワークトモグラフィは，エンド-エンド間の観測情報からネットワークの内部状態を推定する手法である．先行研究において，... [more] | |
| RCS, RCC, ASN, NS, SR (併催) |
2016-07-21 10:50 |
愛知 | 名古屋工業大学 | ［ポスター講演］ブール圧縮センシングに基づく適応グループテストのための陽性アイテム数推定法 ○盧 于嘉・林 和則（京大）  RCC2016-22 NS2016-56 RCS2016-109 SR2016-39 ASN2016-30 |
ブール圧縮センシングを用いた適応グループテストでは，効率的なプールサイズの制御のために陽性アイテム数の情報が必要となるが... [more] | RCC2016-22 NS2016-56 RCS2016-109 SR2016-39 ASN2016-30 pp.51-56(RCC), pp.33-38(NS), pp.81-86(RCS), pp.51-56(SR), pp.33-38(ASN) |
| VLD, CAS, MSS, SIP (共催) |
2016-06-16 15:50 |
青森 | 弘前市立観光館 | アトラクターに着目したブーリアンネットワークの可制御性解析 ○小林孝一（北大） CAS2016-12 VLD2016-18 SIP2016-46 MSS2016-12 |
ブーリアンネットワークでモデル化される遺伝子ネットワークに対して，シングルトンアトラクター（不動点）に着目した遺伝子ネッ... [more] | CAS2016-12 VLD2016-18 SIP2016-46 MSS2016-12 pp.61-66 |
| PRMU, IE, MI, SIP (共催) |
2016-05-20 14:40 |
愛知 | 名古屋大学 | 適応的ブール圧縮センシングのための逐次的プールデザイン ○川口洋平・戸上真人（日立） SIP2016-27 IE2016-27 PRMU2016-27 MI2016-27 |
本稿では，新しい適応的グループテスト法を提案する． 従来手法として，単純なBernoulli random desig... [more] |
SIP2016-27 IE2016-27 PRMU2016-27 MI2016-27 pp.141-145 |
| ICSS, IPSJ-SPT (連催) |
2016-03-04 15:40 |
京都 | 京都大学 学術情報メディアセンター 南館 | 10段構成のMidori64に対する高階差分攻撃 ○高橋勇介・五十嵐保隆・金子敏信（東京理科大） ICSS2015-73 |
Midori64はBanikらが2015年に提案した秘密鍵長128ビットのSPN型64ビットブロック暗号アルゴリズムであ... [more] | ICSS2015-73 pp.159-164 |
| SS, MSS (共催) |
2016-01-25 17:10 |
石川 | しいのき迎賓館 セミナールームB | A method for making proof graph finite on disjunctive parameterised Boolean equation systems ○Yutaro Nagae・Masahiko Sakai・Hiroyuki Seki（Nagoya Univ.） MSS2015-49 SS2015-58 |
A parameterised Boolean equation system (PBES) is a set of e... [more] | MSS2015-49 SS2015-58 pp.81-85 |
| MSS, CAS, SIP, VLD (共催) |
2015-06-17 09:20 |
北海道 | 小樽商科大学 | ネットワーク構造と定常状態分布に基づく確率ブーリアンネットワークの設計 ○小林孝一（北大）・平石邦彦（北陸先端大） CAS2015-1 VLD2015-8 SIP2015-32 MSS2015-1 |
本論文では，ネットワーク構造と定常状態分布に基づく確率ブーリアンネットワーク（PBN）の設計法を提案する．ブーリアンネッ... [more] | CAS2015-1 VLD2015-8 SIP2015-32 MSS2015-1 pp.1-6 |
| CQ, CS (併催) |
2015-04-21 10:30 |
福岡 | 福岡工業大学 | 移動ノードを用いた論理型ネットワークトモグラフィによるネットワーク故障検出手法 ○向本将規・松田崇弘（阪大）・原 晋介（阪市大）・滝沢賢一・小野文枝・三浦 龍（NICT） CQ2015-3 |
ネットワークトモグラフィは，エンドーエンドで観測された情報からネットワー クの内部状態を推定するための手法である． ... [more] |
CQ2015-3 pp.11-14 |
| CAS, SIP, MSS, VLD, SIS (共催) [詳細] |
2014-07-09 13:40 |
北海道 | 北海道大学 | Weighted Dominating Sets and Induced Matchings in Orthogonal Ray Graphs ○Asahi Takaoka・Satoshi Tayu・Shuichi Ueno（Tokyo Inst. of Tech.） CAS2014-10 VLD2014-19 SIP2014-31 MSS2014-10 SIS2014-10 |
[more] | CAS2014-10 VLD2014-19 SIP2014-31 MSS2014-10 SIS2014-10 pp.45-48 |
| CAS, SIP, MSS, VLD, SIS (共催) [詳細] |
2014-07-11 13:00 |
北海道 | 北海道大学 | CEGAR法を用いたLUT回路のブーリアンマッチングの高速化手法 ○松永裕介（九大） CAS2014-38 VLD2014-47 SIP2014-59 MSS2014-38 SIS2014-38 |
本稿では複数のLUTからなる回路が与えられた論理関数を実現できるかどうかを調べるブーリアンマッチングの高速化手法について... [more] | CAS2014-38 VLD2014-47 SIP2014-59 MSS2014-38 SIS2014-38 pp.201-206 |
| IBISML | 2013-11-12 15:45 |
東京 | 東京工業大学 蔵前会館 | ［ポスター講演］行列因子分解を用いた時系列試験結果からの潜在スキル構造の抽出 ○大枝真一・天野恵理子（木更津高専）・山西健司（東大） IBISML2013-52 |
試験は学習者のスキルを測る手段として用いられる．したがって，試験の各設問には解くために必要なスキルが設定されており，学習... [more] | IBISML2013-52 pp.123-130 |
| COMP | 2013-06-24 15:10 |
奈良 | 奈良女子大学 | 単調論理関数双対化を用いたパラメトリック整数計画アルゴリズムについて 夫 紀恵（NII）・○渋田敬史（九大） COMP2013-23 |
パラメトリック整数計画問題とは線形制約の右辺ベクトルがパラメタになっているような整数計画問題である．コンパイラ最適化等へ... [more] | COMP2013-23 pp.23-30 |
| COMP, IPSJ-AL (連催) |
2013-05-18 09:55 |
北海道 | 小樽商科大学 | Complexity of Counting Output Patterns of Logic Circuits ○Kei Uchizawa（Yamagata Univ.）・Zhenghong Wang（Tohoku Univ.）・Hiroki Morizumi（Shimane Univ.）・Xiao Zhou（Tohoku Univ.） COMP2013-14 |
[more] | COMP2013-14 pp.97-102 |
| VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2012-11-27 13:00 |
福岡 | 九州大学百年講堂 | 解の再利用を用いたSATに基づくテスト生成におけるインスタンス順序と変数割当順序の決定法 ○上田健司・岩垣 剛・市原英行・井上智生（広島市大） VLD2012-83 DC2012-49 |
本稿では充足可能性問題（SAT）に基づくテスト生成問題を取り上げ， 解を再利用しながら複数のインスタンスを解く状況下で... [more] |
VLD2012-83 DC2012-49 pp.141-146 |
| COMP | 2012-06-21 13:45 |
北海道 | 北海道大学 | 超二次論理式サイズへ向けた候補となる論理関数 ○上野賢哉（京大） COMP2012-18 |
本論文では，超二次論理式サイズ下界を証明するための可能性と限界について，以下の観点から探究する．まず，再帰的に定義される... [more] | COMP2012-18 pp.49-55 |
| COMP | 2011-12-16 14:45 |
愛知 | 名古屋大学 | たて糸張力均一条件下における綜絖枠数最小化 ○松浦 勇（愛知県産技研）・平田富夫（名大） COMP2011-43 |
ドビー織機では，織機に装備された綜絖枠の枚数が多いほど複雑な織物組織を製織することができる．ドビー織機に長目綜絖を導入す... [more] | COMP2011-43 pp.53-60 |
| QIT (第二種研究会) |
2011-11-21 10:40 |
大阪 | 大阪大学基礎工学研究科国際棟 | Improved Output-Sensitive Quantum Algorithms for Boolean Matrix Multiplication ○Francois Le Gall（Tokyo Univ.） |
We present new quantum algorithms for Boolean Matrix Multipl... [more] | |
| COMP, IPSJ-AL (連催) |
2011-09-06 15:40 |
北海道 | 函館市中央図書館 | Lower Bounds for Linear Decision Trees via An Energy Complexity Argument ○Kei Uchizawa（Tohoku Univ.）・Eiji Takimoto（Kyushu Univ.） COMP2011-26 |
線形決定木とは，各内部ノードにおける分類規則が線形しきい値関数によって指定される二分決定木である． 本論文では，線形決... [more] |
COMP2011-26 pp.67-73 |
| MVE, ITE-HI, HI-SIG-VR (連催) |
2011-06-29 16:15 |
東京 | 東京大学山上会館 | 荒川修作の意味のメカニズムを解読する(3) ～ 人類文明の論理エラーを発見し修復するために ～ ○得丸公明（システムエンジニア） MVE2011-30 |
一年前の本研究会において筆者は「仮想現実とは何か」を，「ないものが見える」事例と「あるものが見えない」事例に分けて，仮想... [more] | MVE2011-30 pp.85-90 |
| AI | 2011-05-26 10:30 |
東京 | 関学東京キャンパス | ウェブ情報知識化における注意事項 ～ ビット情報と言語情報の混在ならびに知識の身体性について ～ ○得丸公明（衛星システム・エンジニア） AI2011-1 |
筆者は，言語の起源とメカニズムを解明すべく学際的研究を行なうものである．ヒトの言語とヒト以外の動物の音声コミュニケーショ... [more] | AI2011-1 pp.1-6 |
[研究会発表申込システムのトップページに戻る]