情報・システム-ソフトウェアサイエンス(開催日:2023/10/11)

タイトル/著者/発表日/資料番号
相互排除アルゴリズムを対象とした形式検証技術の適用

西口 尚輝(阪大),  土屋 達弘(阪大),  

[発表日]2023-10-11
[資料番号]SS2023-24,DC2023-30
深層学習を用いた情報システムの非機能要求の効率的な自動分類

向田 和弘(信州大),  福居 誠二(東芝),  長岡 武志(東芝),  北川 貴之(東芝),  小形 真平(信州大),  岡野 浩三(信州大),  

[発表日]2023-10-11
[資料番号]SS2023-23,DC2023-29
ChatGPTへのクラス設計プロセスの指示によるクラス図の自動生成

神崎 匠吾(公立はこだて未来大),  奥野 拓(公立はこだて未来大),  

[発表日]2023-10-11
[資料番号]SS2023-21,DC2023-27
ソフトウェア要求仕様書からのCausal Component Model作成のための自動抽出手法の比較

二ノ宮 健来(信州大),  大戸 柾之介(信州大),  高岡 俊希(信州大),  小形 真平(信州大),  岡野 浩三(信州大),  

[発表日]2023-10-11
[資料番号]SS2023-22,DC2023-28
メモリのビット数削減と標本化を用いたニューラルネットワークの低消費電力化

小太刀 寛知(千葉大),  北神 正人(千葉大),  

[発表日]2023-10-11
[資料番号]SS2023-26,DC2023-32
ブロックチェーンにおけるVRNTを用いたSkip Graphによるブロック承認間隔短縮法

稲村 展帆(千葉大),  北神 正人(千葉大),  

[発表日]2023-10-11
[資料番号]SS2023-25,DC2023-31
A game-theoretic approach to indistinguishability of winning objectives as user privacy

中西 凜道(名大),  高田 喜明(高知工科大),  関 浩之(名大),  

[発表日]2023-10-12
[資料番号]SS2023-27,DC2023-33
選択演算と射影演算に対応する双方向変換の関数従属性のもとでの整合性検査

石田 潤(南山大),  酒井 聡太(南山大),  石原 靖哲(南山大),  

[発表日]2023-10-12
[資料番号]SS2023-29,DC2023-35
R言語に対する欠陥データセット構築の試み

石野 太一(阪大),  ?本 真佑(阪大),  楠本 真二(阪大),  

[発表日]2023-10-12
[資料番号]SS2023-30,DC2023-36
差分プライバシーを用いた機械学習であるDP-SGDのロバスト性の傾向

神吉 孝洋(信州大),  小形 真平(信州大),  岡野 浩三(信州大),  中島 震(NII),  

[発表日]2023-10-12
[資料番号]SS2023-28,DC2023-34