| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2023-03-17 14:35 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
SimulinkとSMTソルバの連携による協調解析支援ツールの開発 ○エンジリスタ アナック ノルマン・上田賀一（茨城大）  KBSE2022-67 |
協調解析で多様なモデルを対象とするには，演算や型の特性に応じてSMT ソルバを選択できる必要がある．そのため，本研究では... [more] | KBSE2022-67 pp.79-84 |
| SS | 2023-03-15 09:30 |
沖縄 | 名護市産業支援センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
ビットベクトル制約付き項書換え系の停止性証明のための多項式解釈プロセッサについて ○松見歩佳・西田直樹・小嶋美咲・申 東訓（名大） SS2022-61 |
ビットベクトル制約付き項書換え系（BV-LCTRS）はC言語などのプログラムのモデルとして有用である．等価性検証に書換え... [more] | SS2022-61 pp.85-90 |
| IN, NS (併催) |
2023-03-02 16:50 |
沖縄 | 沖縄コンベンションセンター + オンライン開催 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
SDNにおける任意ノード間の動的閾値調整機能を備えたバイト整合性検証方式の提案 ○佐藤純平・森山直樹（東京海洋大）・清水貴弘（LINE）・大島浩太（東京海洋大）・北川直哉（NII） NS2022-214 |
SDNにおいて，各スイッチからネットワーク統計情報を収集し、転送状態の整合性を検証する異常検出方式が提案されている。この... [more] | NS2022-214 pp.269-274 |
| HWS, VLD (共催) |
2023-03-02 15:20 |
沖縄 | 沖縄県青年会館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
オンチップの脅威に対処するためのセキュアなキャッシュシステム ○釜堀恵輔・高前田伸也（東大） VLD2022-95 HWS2022-66 |
データの暗号化と整合性検証は、悪意のある攻撃者からユーザのデータを保護する、ハードウェアセキュリティの重要な要素である。... [more] | VLD2022-95 HWS2022-66 pp.113-118 |
| SANE | 2023-01-20 13:00 |
東京 | 電子航法研究所 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
プロペラエンジンの特性を考慮した固定翼無人航空機の最大上昇率の導出及び飛行検証 ○渡邊克巳・柴田拓馬・上羽正純（室蘭工大） SANE2022-94 |
無人航空機の利用が拡大する中，固定翼無人航空機は利用を想定した場合，離着陸のための滑走路が必要であり，その克服のためには... [more] | SANE2022-94 pp.29-34 |
| SANE | 2023-01-20 13:50 |
東京 | 電子航法研究所 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
羽田空港における航空機の進入時の後方乱気流に対するLIDAR観測結果について ○藤井直樹・吉原貴之・瀬之口 敦（電子航法研） SANE2022-96 |
世界的な航空需要の増大に対応して空港の処理容量を拡大するために，進入着陸間隔の短縮が求められており，その間隔を決める要因... [more] | SANE2022-96 pp.40-45 |
| LOIS, ICM (共催) |
2023-01-19 14:15 |
福岡 | 北九州国際会議場 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
ユーザ意図に基づくネットワーク運用自動化に関する一検討 ～ 運用DXでの社内実践 ～ ○西島孝通・北田敦史・杉山裕太・梅崎 悟・朝永 博（富士通） ICM2022-34 LOIS2022-34 |
DX時代では、ビジネスニーズの変化に従い、タイミングを逃さずサービスインすることが求められているが、現状のネットワーク作... [more] | ICM2022-34 LOIS2022-34 pp.19-24 |
| MSS, SS (共催) |
2023-01-10 11:00 |
大阪 | 大阪市立生涯学習センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
［パネル討論］システム数理と応用研究会の活動の振り返りと今後の展望 ～ 歴代委員長からのメッセージ ～ ○尾崎敦夫（阪工大）・平石邦彦（北陸先端大）・中村祐一（NEC）・山根 智（金沢大）・名嘉村盛和（琉球大）・髙井重昌（阪大） MSS2022-44 SS2022-29 |
システム数理と応用研究会 (MSS：Mathematical Systems Science and its Appli... [more] | MSS2022-44 SS2022-29 pp.1-4 |
| SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2022-07-29 13:00 |
北海道 | 北海道自治労会館（札幌） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
充足可能性判定を利用した実現可能な時間オートマトンの検証 ○城 聖一郎・結縁祥治（名大） SS2022-9 KBSE2022-19 |
クロックのずれやサンプリングを考慮した実現可能な時間オートマトンの到達可能性検証の手法として，SMTソルバを用いた有界検... [more] | SS2022-9 KBSE2022-19 pp.49-54 |
| QIT (第二種研究会) |
2022-05-31 11:50 |
ONLINE | オンライン開催 | 熱雑音下でのグラフ状態の受動的検証 秋本一輝・土屋俊二（中大）・吉井涼輔（山陽小野田市立山口東京理科大）・○竹内勇貴（NTT） |
温度$T$の熱雑音下でのグラフ状態$¥rho_T$と理想的なグラフ状態$|G¥rangle$間の忠実度$¥langle ... [more] | |
| SANE | 2022-05-24 11:20 |
神奈川 | 三菱電機株式会社 情報技術総合研究所 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
複数TDOAを用いた航空機位置検証法に関する理論検討 ○長縄潤一・宮崎裕己（電子航法研） SANE2022-6 |
新しい航空機監視システムである ADS-B (Automatic Dependent Surveillance—Broa... [more] | SANE2022-6 pp.27-32 |
| ISEC | 2022-05-18 15:35 |
ONLINE | オンライン開催 | ［招待講演］フォワード安全なメッセージフランキング (from ICISC 2021) ○山室宏貴（東工大）・原 啓祐（産総研/横浜国大）・手塚真徹（鶴岡高専）・吉田雄祐・田中圭介（東工大） ISEC2022-5 |
メッセージフランキングはエンドツーエンド暗号化されたメッセージサービスにおいて, 暗号学的な証拠を含めることで特定の送信... [more] | ISEC2022-5 p.20 |
| SS | 2022-03-07 14:30 |
ONLINE | オンライン開催 | ツリークエリを用いた時間システムの分割検証のための仮説学習 ○新美航太郎・結縁祥治（名大） SS2021-49 |
本研究では時間システムに対する分割検証を自動的に行うための仮説学習アルゴリズムを示す. 分割検証手法の一つであるAs... [more] |
SS2021-49 pp.43-48 |
| IA, SITE (共催) IPSJ-IOT (連催) [詳細] |
2022-03-07 09:20 |
京都 | 京都大学 吉田キャンパス （ハイブリッド開催，主：現地開催，副：オンライン開催） |
SDN上の各ホストにおけるプロセス毎の通信量監視によるデータプレーン異常検知 ○森山直樹（東京海洋大）・天野友樹（日本郵船）・清水貴弘（LINE）・大島浩太（東京海洋大）・北川直哉（NII） SITE2021-46 IA2021-59 |
通信内容に応じた柔軟な経路制御が可能な SDN(Software Defined Network)は、侵害された SDN... [more] | SITE2021-46 IA2021-59 pp.1-6 |
| DC | 2022-03-01 10:20 |
東京 | 機械振興会館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
コンセンサスアルゴリズムに対するラウンドモデルに基づいた簡易的なテスト・検証手法の提案 ○土屋達弘（阪大） DC2021-66 |
コンセンサスアルゴリズムは代表的な分散アルゴリズムのクラスであり，分散システム上で信頼性の高いサービスを実現する上で中核... [more] | DC2021-66 pp.13-17 |
| QIT (第二種研究会) |
2021-11-30 09:50 |
ONLINE | オンライン開催 | 整数変数・整数係数多項式関数への勾配推定量子アルゴリズムについての研究 ○水原慎一・飯山悠太郎・浅井祥二（東大） |
ある仮定において勾配法に必要な関数の勾配をより効率的に計算することが可能な量子アルゴリズムが存在するが，現状扱える実デバ... [more] | |
| QIT (第二種研究会) |
2021-12-01 14:00 |
ONLINE | オンライン開催 | NISQ計算の分割統治による検証 ○竹内勇貴・高橋康博（NTT）・森前智行（京大）・谷 誠一郎（NTT） |
様々なNISQ計算は、疎な量子チップ上の浅層量子回路と見なすことが出来る。本発表では、そのようなNISQ計算を効率良く検... [more] | |
| SRW | 2021-08-24 15:40 |
ONLINE | オンライン開催 | ［依頼講演］サイバーフィジカル融合によるワイヤレスシステムエミュレーション用プラットフォーム ○松村 武・沢田浩和・宮地利幸・児島史秀・原井洋明・原田博司（NICT） SRW2021-26 |
Society 5.0では，無線通信の利活用が様々な分野に浸透し，社会基盤技術として重要な役割を果たすことが期待されてい... [more] | SRW2021-26 pp.39-44 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2021-07-09 11:25 |
ONLINE | オンライン開催 (Zoom) | 日本語要求文書からの非機能要求の抽出と検証 ○木下貴文・大森隆行・大西 淳（立命館大） SS2021-9 KBSE2021-21 |
要求文書中の非機能要求を抽出し，要求の誤りを判定する．非機能要求の抽出法は，キーワードを 設定し，要求文書に適用して，... [more] | SS2021-9 KBSE2021-21 pp.46-51 |
| SANE | 2021-06-25 14:20 |
ONLINE | オンライン開催 | TDOAとAOAを用いた航空機位置検証法のシステム設計に関する検討 ○長縄潤一・宮崎裕己・古賀 禎・田嶋裕久・角張泰之（電子航法研） SANE2021-14 |
新しい航空機監視システムであるADS-B (Automatic Dependent Surveillance-Broad... [more] | SANE2021-14 pp.29-34 |
[研究会発表申込システムのトップページに戻る]