| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SIP, SP, EA (共催) IPSJ-SLP (連催) [詳細] |
2024-02-29 09:30 |
沖縄 | 沖縄産業支援センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
話者照合のための声道長摂動に基づく疑似話者生成によるデータ拡張 ○若松智花・塩田さやか・貴家仁志（都立大）  EA2023-61 SIP2023-108 SP2023-43 |
近年主流となっている深層学習モデルを用いた話者照合システムにおいて，信頼性の高いモデルを構築するためには大量の学習データ... [more] | EA2023-61 SIP2023-108 SP2023-43 pp.1-6 |
| SIP, SP, EA (共催) IPSJ-SLP (連催) [詳細] |
2024-02-29 09:50 |
沖縄 | 沖縄産業支援センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
話者照合のための話者性の変動量を考慮した声道長摂動による疑似話者生成 ○大野史夏・若松智花・塩田さやか（都立大） EA2023-62 SIP2023-109 SP2023-44 |
性能の高い話者埋め込みに基づく話者照合システムを実現するためには，話者埋め込み抽出モデルを大規模な学習データを用いて学習... [more] | EA2023-62 SIP2023-109 SP2023-44 pp.7-12 |
| SS | 2023-03-15 09:30 |
沖縄 | 名護市産業支援センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
ビットベクトル制約付き項書換え系の停止性証明のための多項式解釈プロセッサについて ○松見歩佳・西田直樹・小嶋美咲・申 東訓（名大） SS2022-61 |
ビットベクトル制約付き項書換え系（BV-LCTRS）はC言語などのプログラムのモデルとして有用である．等価性検証に書換え... [more] | SS2022-61 pp.85-90 |
| HWS, VLD (共催) |
2023-03-02 15:20 |
沖縄 | 沖縄県青年会館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
オンチップの脅威に対処するためのセキュアなキャッシュシステム ○釜堀恵輔・高前田伸也（東大） VLD2022-95 HWS2022-66 |
データの暗号化と整合性検証は、悪意のある攻撃者からユーザのデータを保護する、ハードウェアセキュリティの重要な要素である。... [more] | VLD2022-95 HWS2022-66 pp.113-118 |
| CNR, BioX (共催) |
2023-03-02 10:00 |
大分 | 別府国際コンベンションセンター 小会議室31 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
ひらがな・カタカナを用いたSiamese Networkによる筆者照合 ○角 大智・久保田 彰（中大） BioX2022-70 CNR2022-36 |
新型コロナウイルスの感染症対策によって，書類手続き等のオンライン化が急速に進み，印鑑証明から電子署名に移行し始めている．... [more] | BioX2022-70 CNR2022-36 pp.47-52 |
| 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 |
| MSS, NLP (共催) |
2022-03-29 14:55 |
ONLINE | オンライン開催 | Little-JILを用いた宇宙機システム運用シナリオのモデル検証 ○染谷一徳（JAXA）・平石邦彦（北陸先端大） MSS2021-78 NLP2021-149 |
X線天文衛星「ひとみ」の異常事象のように、運用シナリオに不備がある場合、衛星損失につながる可能性がある。そこで、Mode... [more] | MSS2021-78 NLP2021-149 pp.121-126 |
| SS | 2022-03-07 14:30 |
ONLINE | オンライン開催 | ツリークエリを用いた時間システムの分割検証のための仮説学習 ○新美航太郎・結縁祥治（名大） SS2021-49 |
本研究では時間システムに対する分割検証を自動的に行うための仮説学習アルゴリズムを示す. 分割検証手法の一つであるAs... [more] |
SS2021-49 pp.43-48 |
| CNR, BioX (共催) |
2022-03-04 14:20 |
ONLINE | オンライン開催 | Deep Master Voiceによる話者照合システムへのウルフ攻撃可能性の検証 ○土屋 純・西垣正勝・大木哲史（静岡大） BioX2021-53 CNR2021-34 |
本稿では，話者照合システムに対するGANベースウルフ音声Deep Master Voiceによる攻撃を提案する．これまで... [more] | BioX2021-53 CNR2021-34 pp.33-38 |
| SANE | 2021-11-11 13:20 |
ONLINE | オンライン開催 | TDOA and AOA Measurement System for Investigating Aircraft Position Verification ○Junichi Naganawa・Hiromi Miyazaki・Hirohisa Tajima・Tadashi Koga・Jun Kitaori（ENRI） SANE2021-44 |
[more] | SANE2021-44 pp.65-70 |
| SANE | 2021-06-25 14:20 |
ONLINE | オンライン開催 | TDOAとAOAを用いた航空機位置検証法のシステム設計に関する検討 ○長縄潤一・宮崎裕己・古賀 禎・田嶋裕久・角張泰之（電子航法研） SANE2021-14 |
新しい航空機監視システムであるADS-B (Automatic Dependent Surveillance-Broad... [more] | SANE2021-14 pp.29-34 |
| HCGSYMPO (第二種研究会) |
2020-12-15 - 2020-12-17 |
ONLINE | オンライン開催 | 歌声を用いた話者照合システムの検討 ○森山結衣・堀内靖雄・黒岩眞吾（千葉大） |
本稿では音声で本人か否かを確認する話者照合において, 1~2フレーズ程度の歌声を用いることを提案する．具体的には，通常の... [more] | |
| NS, ICM, CQ, NV (併催) |
2020-11-27 11:45 |
ONLINE | オンライン開催 | システムの性質を検証可能な認証システム用フレームワークの提案 ○堀井基史・清水智弘（富士通研）・今井悟史（富士通） CQ2020-58 |
様々な手続きのデジタル化に伴い，様々な認証に関するインシデントが多発している．インシデントの発生を防止する技術として，多... [more] | CQ2020-58 pp.62-65 |
| SS | 2020-03-04 15:10 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
排他制御を含むプログラムから論理制約付き項書換え系への変換 ○小嶋美咲・西田直樹・松原 豊・酒井正彦（名大） SS2019-46 |
計算モデルである論理制約付き項書換え系（LCTRS）をプログラムの検証に用いる先行研究では，逐次実行される命令型プログラ... [more] | SS2019-46 pp.31-36 |
| SP, EA, SIP (共催) |
2020-03-02 13:00 |
沖縄 | 沖縄産業支援センター （開催中止，技報発行あり） |
ブラックボックス型敵対的攻撃に対する話者照合システムの脆弱性に関する調査 ○甲斐優人・塩田さやか・貴家仁志（首都大東京） EA2019-106 SIP2019-108 SP2019-55 |
近年，機械学習に基づくシステムへの敵対的攻撃に対する脆弱性が危惧されている．敵対的攻撃とは，あるデータに人間には知覚がで... [more] | EA2019-106 SIP2019-108 SP2019-55 pp.29-33 |
| SANE | 2019-11-28 16:15 |
大阪 | 大阪工業大学梅田キャンパス | TDOAを用いた航空機位置検証法の実験的評価 ○長縄潤一・宮崎裕己（電子航法研） SANE2019-75 |
新しい航空機監視システムであるADS-B (Automatic Dependent Surveillance - Bro... [more] | SANE2019-75 pp.29-34 |
| KBSE, SC (共催) |
2019-11-08 15:40 |
長野 | 信州大学 | ある組込みシステムの開発と検証のケーススタディ ○岡野浩三・小形真平・夏目実希（信州大） KBSE2019-30 SC2019-27 |
組込みシステムの作成と設計検証を通じてとりわけ，未知の技術を初学者の技術者が取り組むときの課題点，作業について報告する．... [more] | KBSE2019-30 SC2019-27 pp.41-46 |
| SS | 2019-03-04 17:10 |
沖縄 | 沖縄産業支援センター | ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案 ○辻 光顕・高井利憲（奈良先端大）・片平真史・石濱直樹（JAXA）・柿本和希・飯田 元（奈良先端大） SS2018-67 |
自動運転車や人工衛星などの宇宙機に用いられるシステムには高い安全性が要求される。近年、このようなシステムに対する安全分析... [more] | SS2018-67 pp.91-96 |
| SANE | 2019-01-25 16:05 |
長崎 | 長崎県美術館 | 超小型人工衛星搭載軌道制御ソフトウェアの高信頼性・高効率化のための開発環境の構築 ○上原陽太・木村真一（東京理科大） SANE2018-109 |
近年，超小型衛星開発の活発化に伴い超小型衛星に対する要求が多様化し，編隊飛行や他物体への接近などの高度な自律軌道制御を必... [more] | SANE2018-109 pp.109-113 |
| SANE | 2018-10-12 09:30 |
東京 | 電気通信大学 | TDOAを用いたADS-B位置検証における遅延の考慮 ○長縄潤一・宮崎裕己（電子航法研） SANE2018-44 |
新しい航空機監視システムであるADS-B (Automatic Dependent Surveillance - Bro... [more] | SANE2018-44 pp.1-6 |
[研究会発表申込システムのトップページに戻る]