研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
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 |
VLD, HWS, ICD (共催) |
2024-03-02 12:05 |
沖縄 |
沖縄県男女共同参画センター【てぃるる】会議室1・2・3 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
GF(2^m)上の算術演算順序回路の計算機代数に基づく形式検証に関する検討 ○迫田一歩(SCU/神戸大)・植村泰佳(SCU)・本間尚文(東北大) VLD2023-140 HWS2023-100 ICD2023-129 |
本稿では,計算機代数に基づく算術演算回路の形式的検証手法について述べる.これまで,ガロア体GF(2^m)上の算術演算回路... [more] |
VLD2023-140 HWS2023-100 ICD2023-129 pp.215-220 |
ED, MW (共催) |
2024-01-26 13:25 |
東京 |
機械振興会館 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
パッシブロードプル測定における校正と検証についての一考察 ○丹波憲之・原 信二(名大) ED2023-77 MW2023-169 |
ロードプル測定においては、校正後の検証が不可欠であるが、共役整合における利得の確認では測定誤差を含む恐れがあり、また1ポ... [more] |
ED2023-77 MW2023-169 pp.58-62 |
SANE |
2024-01-19 15:40 |
宮城 |
電子航法研 岩沼分室および名取市文化会館 会議室 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
固定翼無人航空機の時間最小離陸経路の導出及び飛行検証 ○渡邊克巳・柴田拓馬・上羽正純(室蘭工大) SANE2023-102 |
固定翼無人航空機の利用を促進するには離着陸距離が短いことが重要である.ここでは離陸距離を対象に,通常の航空機で規定される... [more] |
SANE2023-102 pp.69-74 |
ITS, WBS, RCC (共催) |
2023-12-22 11:45 |
沖縄 |
みんなの貸会議室 那覇泉崎店 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
バスの自動走行における安全性検証のためのシミュレーションに関する一検討 ○大川 彪・金 帝演(鶴岡高専)・毋 岩斌・髙橋幸也・熊谷 徹・橋本尚久(産総研) WBS2023-55 ITS2023-38 RCC2023-49 |
自動運転における実環境下での安全性検証にはコストや外部センサーの物理的制約など様々な問題がある。このような問題を解決する... [more] |
WBS2023-55 ITS2023-38 RCC2023-49 pp.138-143 |
QIT (第二種研究会) |
2023-12-19 11:15 |
沖縄 |
沖縄科学技術大学院大学 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
一般化量子部分空間展開法による量子エラー抑制の統合と改善 ○八角繁男(NTT)・吉岡信行(東大)・徳永裕己・遠藤 傑(NTT) |
量子エラー訂正機能を持たないノイズのある量子デバイスを最大限に活用するべく、数多くの量子エラー抑制法が提案されている。代... [more] |
|
ICSS |
2023-11-16 14:55 |
石川 |
ITビジネスプラザ武蔵(金沢) + オンライン開催 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
Return-Oriented Programmingを用いる自己破壊的耐タンパーソフトウェアの検討 (その3) ○大石和臣(静岡理工科大) ICSS2023-55 |
自己破壊的耐タンパーソフトウェア(SDTRS)は,実行プログラムに対して不正な改変が行われると本来とは異なる動作をするこ... [more] |
ICSS2023-55 pp.30-34 |
CPSY, DC (共催) IPSJ-ARC (連催) [詳細] |
2023-08-03 16:00 |
北海道 |
函館アリーナ (ハイブリッド開催,主:現地開催,副:オンライン開催) |
RISC-V KeystoneにおけるEnclaveアプリケーションキャッシュ機能の拡張 ○梅澤拓夢・齊木昭大・木村啓二(早大) CPSY2023-15 DC2023-15 |
IoT社会の発展やクラウドコンピューティングの普及によってセキュリティ面の対策が不十分な端末の増加や, 脆弱性の放置され... [more] |
CPSY2023-15 DC2023-15 pp.43-48 |
PN, NS, OCS (併催) |
2023-06-09 13:50 |
香川 |
高松センタービル (ハイブリッド開催,主:現地開催,副:オンライン開催) |
光固有値変調方式における帯域制限の影響 ○西野一正・中尾彰吾・前田貴也・三科 健・丸田章博(阪大) PN2023-13 |
非線形シュレディンガー方程式を逆散乱変換により解く際に用いる随伴固有値方程式の固有値は,伝搬距離に依らず一定であり,非線... [more] |
PN2023-13 pp.53-57 |
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 |
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 |
SP, EA, SIP (共催) IPSJ-SLP (連催) [詳細] |
2023-03-01 15:50 |
沖縄 |
沖縄県立博物館・美術館 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
自己教師あり学習に基づく話者照合における言語性の影響 ○若松智花(都立大)・安藤厚志(NTT)・塩田さやか(都立大)・増村 亮(NTT)・貴家仁志(都立大) EA2022-118 SIP2022-162 SP2022-82 |
近年様々な分野において自己教師あり学習(Self-Supervised Learning; SSL)を用いた研究が活発に... [more] |
EA2022-118 SIP2022-162 SP2022-82 pp.247-252 |
SANE |
2023-01-20 13:00 |
東京 |
電子航法研究所 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
プロペラエンジンの特性を考慮した固定翼無人航空機の最大上昇率の導出及び飛行検証 ○渡邊克巳・柴田拓馬・上羽正純(室蘭工大) SANE2022-94 |
無人航空機の利用が拡大する中,固定翼無人航空機は利用を想定した場合,離着陸のための滑走路が必要であり,その克服のためには... [more] |
SANE2022-94 pp.29-34 |
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 |
EA, US (併催) |
2022-12-22 16:50 |
広島 |
サテライトキャンパスひろしま |
[ポスター講演]機械学習を用いた音声処理に向けたデータ拡張手法の研究 ○丸山 翼(東工大)・池上 努(産総研)・遠藤敏夫(東工大)・広渕崇宏(産総研) EA2022-68 |
機械学習において,学習データに変換を加えてデータの数と多様性を強化し,過学習を抑制する手法にデータ拡張がある.人間の発話... [more] |
EA2022-68 pp.42-48 |
QIT (第二種研究会) |
2022-05-31 11:50 |
ONLINE |
オンライン開催 |
熱雑音下でのグラフ状態の受動的検証 秋本一輝・土屋俊二(中大)・吉井涼輔(山陽小野田市立山口東京理科大)・○竹内勇貴(NTT) |
温度$T$の熱雑音下でのグラフ状態$¥rho_T$と理想的なグラフ状態$|G¥rangle$間の忠実度$¥langle ... [more] |
|
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 |