| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| RCC, ISEC, IT, WBS (共催) |
2024-03-13 11:10 |
大阪 | 大阪大学吹田キャンパス | 5パス本人確認方式の健全性の再考察 ○黒木大悟・竹牟禮 薫・サントソ バグス（電通大）  IT2023-82 ISEC2023-81 WBS2023-70 RCC2023-64 |
5パス本人確認方式の安全性については、これまで、次のように大まかにしか分析されてこなかった。 まず、1ラウンドで受理さ... [more] |
IT2023-82 ISEC2023-81 WBS2023-70 RCC2023-64 pp.44-51 |
| OFT | 2020-10-08 11:40 |
ONLINE | オンライン開催 | ［ポスター講演］BOTDRによるマルチコアファイバを用いた大型線状構造体の形状センシングの基礎検討 ○小林真輝人・前田恭輝・藤 公博（東大）・半澤信智（NTT）・小泉健吾・村井 仁（OKI）・和田良太（東大）・松井 隆・中島和秀（NTT）・村山英晶（東大） OFT2020-19 |
大型の線状構造体, 特にライザーや係留索のような海洋構造物はその挙動を直接観測することが困難であり, 繰り返し生じる大き... [more] | OFT2020-19 pp.41-45 |
| ISEC, LOIS (共催) |
2011-11-15 14:15 |
大阪 | 大阪電気通信大学 | EUC安全なメッセージ認証のためのmulti-messageプロトコルに対する記号的基準 ○鈴木斎輝・吉田真紀・藤原 融（阪大） ISEC2011-57 LOIS2011-51 |
暗号プロトコルがEUC安全であるとは, 任意のプロトコルと結合・情報共有した形で実行しても, そのプロトコルの機... [more] |
ISEC2011-57 LOIS2011-51 pp.155-162 |
| SANE | 2011-04-22 10:10 |
長野 | JAXA 臼田宇宙空間観測所 | 2局同時測定によるきずな（WINDS）搭載アクティブフェイズドアレーアンテナの健全性確認実験 ○谷島正信・堀内貴史・中尾正博（JAXA）・赤石 明・大川 貢・高橋 卓（NICT） SANE2011-7 |
アクティブフェイズドアレーアンテナ（APAA）はビーム指向方向を電子制御可能であり，また多地点間通信が可能なビームホッピ... [more] | SANE2011-7 pp.43-48 |
| ISEC, IT, WBS (共催) |
2011-03-04 15:45 |
大阪 | 大阪大学 | Static Adversaryに対してEUC安全な認証の記号的基準について ○鈴木斎輝・吉田真紀・藤原 融（阪大） IT2010-129 ISEC2010-133 WBS2010-108 |
暗号プロトコルがEUC安全であるとは, 任意のプロトコルと結合・情報共有した形で実行しても, そのプロトコルの機能が損な... [more] | IT2010-129 ISEC2010-133 WBS2010-108 pp.403-410 |
| MSS | 2011-01-21 09:50 |
山口 | 海峡メッセ下関 | 並行同期型インターワークフローの振舞い継承に対する健全性に基づく多項式時間判定について ○平川智悠・山口真悟（山口大） CST2010-70 |
インターワークフローとは複数のワークフローを接続することによってつくられるワークフローである．ワークフローの接続パターン... [more] | CST2010-70 pp.59-64 |
| MSS, CAS (共催) |
2010-11-18 10:30 |
大阪 | 関西大学 | 抑止アーク付きワークフローネットに対する健全性判定について ○篠原悠樹・山口真悟（山口大） CAS2010-65 CST2010-38 |
ワークフローにおける一部の仕事は優先順位をもつものがある．優先順位をもつワークフローは抑止アーク付きワークフローネットで... [more] | CAS2010-65 CST2010-38 pp.1-5 |
| SDM | 2009-11-13 15:25 |
東京 | 機械振興会館 | High-k/Metal-gate界面健全性に及ぼす点欠陥と格子ひずみの相互作用の原子レベルシミュレーション ○鈴木 研・伊藤雄太・井上達也・三浦英生（東北大）・吉川英樹・小林啓介（物質・材料研究機構）・寒川誠二（東北大） SDM2009-149 |
原子・分子レベルでアプローチ可能な方法論として計算化学的手法に着目し，High-k絶縁膜と金属電極界面の健全性に及ぼす点... [more] | SDM2009-149 pp.79-84 |
| CAS, MSS (共催) |
2008-11-07 15:20 |
大阪 | 大阪大学 | 不活性なトランジションを持つワークフローネットのProtocol継承を考慮した健全化について ○池田 良・山口真悟・田中 稔（山口大） CAS2008-62 CST2008-40 |
ワークフロー（WF）ネットを拡張する場合，拡張後のWFネットは 拡張前のWFネットの振る舞いを継承しなければならない．... [more] |
CAS2008-62 CST2008-40 pp.101-104 |
| MSS | 2008-08-04 13:50 |
静岡 | 静岡大学（浜松キャンパス）工学部システム工学科棟３階Ａ３１教室 | デバイスドライバのアクティビティ図に対するペトリネットに基づく検査について ○山田太郎・山口真悟・田中 稔（山口大） CST2008-14 |
最近，UML/アクティビティ図がデバイスドライバの設計に使われている．本稿では，UML/アクティビティ図によるデバイスド... [more] | CST2008-14 pp.11-16 |
| SS | 2008-03-03 13:55 |
長崎 | 長崎大学 | 自己合成法を利用した再帰プログラムの情報流解析法について ○伊藤信裕・関 浩之（奈良先端大） SS2007-63 |
型推論に基づく情報流解析法の欠点を補う方法として自己合成法が知られている．TerauchiとAikenは，型推論の結果を... [more] | SS2007-63 pp.37-42 |
| MSS | 2006-01-27 10:10 |
神奈川 | 東芝科学館 ホール | ワークフローネットの健全性と並列度について ○金子侑史・山口真悟・葛 崎偉・田中 稔（山口大） |
本稿ではワークフロー(WF)ネットの健全性と並列度について議論する。 まずWFネットの並列性を評価する尺度として並列度... [more] |
CST2005-41 pp.13-18 |
[研究会発表申込システムのトップページに戻る]