研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
SWIM, KBSE (共催) |
2024-05-17 15:45 |
東京 |
機械振興会館 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
ユースケース駆動型の画面遷移モデリング支援ツール ○郭 瑶君・小形真平・岡野浩三(信州大) |
(ご登録済みです.開催日以降に掲載されます) [more] |
|
KBSE |
2024-03-14 13:45 |
沖縄 |
沖縄県総合福祉センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
ユーザの性格特性に基づくシステム安全性検証に関する一考察 ○成澤瑠佳・小形真平(信州大)・青木善貴(BIPROGY)・中川博之(阪大)・小林一樹・岡野浩三(信州大) KBSE2023-72 |
人に危害を及ぼさないシステムを開発するためには,設計段階から安全性を考慮することが重要である.近年では,利用者の性格特性... [more] |
KBSE2023-72 pp.43-48 |
KBSE |
2024-03-14 15:15 |
沖縄 |
沖縄県総合福祉センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
大規模言語モデルによる入力負担シミュレーション用シナリオの作成支援手法 ○小山友助・小形真平・岡野浩三(信州大) KBSE2023-75 |
UI (User Interface)に対するユーザの入力負担を合理的に軽減する手段の一つにユーザビリティを高める機能(... [more] |
KBSE2023-75 pp.61-66 |
SS, DC (共催) |
2023-10-11 14:55 |
長野 |
信州大学工学部(長野市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
ソフトウェア要求仕様書からのCausal Component Model作成のための自動抽出手法の比較 ○二ノ宮健来・大戸柾之介・高岡俊希・小形真平・岡野浩三(信州大) SS2023-22 DC2023-28 |
ソフトウェア開発において,ソフトウェアの要求を自然言語で記述された要求仕様書を用いて開発が進められる.しかし,自然語の記... [more] |
SS2023-22 DC2023-28 pp.7-12 |
SS, DC (共催) |
2023-10-11 15:20 |
長野 |
信州大学工学部(長野市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
深層学習を用いた情報システムの非機能要求の効率的な自動分類 ~ BERT、GPT2の精度比較 ~ ○向田和弘(信州大)・福居誠二・長岡武志・北川貴之(東芝)・小形真平・岡野浩三(信州大) SS2023-23 DC2023-29 |
深層学習の進展により,情報システム要件定義における非機能要求の自動分類が可能になりつつある.本稿では,一般のソフトウェア... [more] |
SS2023-23 DC2023-29 pp.13-18 |
SS, DC (共催) |
2023-10-12 10:25 |
長野 |
信州大学工学部(長野市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
差分プライバシーを用いた機械学習であるDP-SGDのロバスト性の傾向 ○神吉孝洋・小形真平・岡野浩三(信州大)・中島 震(NII) SS2023-28 DC2023-34 |
機械学習は様々な分野で成果を上げているが, 敵対者が学習データを抽出できてしまう問題点がある. そこで, 学習データのプ... [more] |
SS2023-28 DC2023-34 pp.38-43 |
SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2023-07-22 11:25 |
北海道 |
北海道自治労会館(札幌) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
二種類のモデル検査器を用いたシステムの振る舞いの検証の試み ○青木善貴(BIPROGY)・小形真平(信州大)・中川博之(阪大)・小林一樹(信州大) SS2023-20 KBSE2023-31 |
[more] |
SS2023-20 KBSE2023-31 pp.110-115 |
SWIM, KBSE (共催) |
2023-05-19 14:30 |
静岡 |
HAMAMATSU ACT CITY(浜松) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
自然言語による機能要求文の完全性解析 ○成澤直輝(信州大)・大西 淳(立命館大)・小形真平・岡野浩三(信州大) KBSE2023-2 SWIM2023-2 |
ソフトウェア開発において,要求文の完全性を高めることは開発の手戻りを防ぐために重要である.要求の完全性が損なわれる要因と... [more] |
KBSE2023-2 SWIM2023-2 pp.7-12 |
SWIM, KBSE (共催) |
2023-05-19 15:55 |
静岡 |
HAMAMATSU ACT CITY(浜松) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
機械学習プロジェクトアンチパターンの構造化手法 ○竹内広宜(武蔵大)・小形真平(信州大)・海谷治彦(神奈川大)・中川博之(阪大)・山本修一郎(名古屋国際工科専門職大) KBSE2023-4 SWIM2023-4 |
[more] |
KBSE2023-4 SWIM2023-4 pp.21-26 |
SWIM, KBSE (共催) |
2023-05-20 14:25 |
静岡 |
HAMAMATSU ACT CITY(浜松) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
対話型システムにおけるユーザの物品取り忘れの発生状況特定に関する検討 ○成澤瑠佳・小形真平(信州大)・青木善貴(BIPROGY)・中川博之(阪大)・小林一樹・岡野浩三(信州大) KBSE2023-10 SWIM2023-10 |
物品のやり取りを伴う対話型システムの設計を行う際には,物品取り忘れが発生し得る状況への対策を施さなければならない.既存の... [more] |
KBSE2023-10 SWIM2023-10 pp.59-64 |
SS |
2023-03-14 11:50 |
沖縄 |
名護市産業支援センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
時相論理式の生成に向けた時間関係認識手法の検討 ○大西舞子(お茶の水女子大)・小形真平・岡野浩三(信州大)・戸次大介(お茶の水女子大) SS2022-49 |
要求仕様書の解析に組み込まれる関係抽出に,時間関係を活用できる余地がある。いくつかの研究では,ルールベースの関係抽出が採... [more] |
SS2022-49 pp.13-18 |
SS |
2023-03-15 13:45 |
沖縄 |
名護市産業支援センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
アブレーションによる故障箇所特定における符号化方法とアブレーション方法の改善 ○池田拓真・岡野浩三・小形真平(信州大)・中島 震(NII) SS2022-67 |
プログラムの実行情報を用いてソースコードの故障箇所を特定する技術としてSpectrum-based Fault Loca... [more] |
SS2022-67 pp.121-126 |
KBSE, SC (共催) |
2022-11-04 13:35 |
長野 |
野沢温泉 桐屋旅館 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
機械学習プロジェクトの実施における不吉な匂いとその認知度の調査 ○竹内広宜(武蔵大)・小形真平(信州大)・海谷治彦(神奈川大)・中川博之(阪大) KBSE2022-31 SC2022-26 |
[more] |
KBSE2022-31 SC2022-26 pp.1-6 |
KBSE, SC (共催) |
2022-11-04 14:05 |
長野 |
野沢温泉 桐屋旅館 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
RPAログを用いた処理フロー再構築手法の検討 ○新田壮史・中川博之(阪大)・小形真平(信州大)・竹内広宜(武蔵大)・海谷治彦(神奈川大)・土屋達弘(阪大) KBSE2022-39 SC2022-34 |
[more] |
KBSE2022-39 SC2022-34 pp.48-53 |
DC, SS (共催) |
2022-10-25 14:15 |
福島 |
コラッセふくしま (ハイブリッド開催,主:現地開催,副:オンライン開催) |
畳み込みニューラルネットワーク(CNN)における学習プログラムの欠陥とモデルの歪みの関係性 ○土屋拓実・岡野浩三・小形真平(信州大)・中島 震(NII) SS2022-26 DC2022-32 |
近年, 機械学習ソフトウェアの品質問題が重要視されている. 機械学習ソフトウェアの品質を考えるとき, 標準的な評価方法は... [more] |
SS2022-26 DC2022-32 pp.23-28 |
DC, SS (共催) |
2022-10-25 14:40 |
福島 |
コラッセふくしま (ハイブリッド開催,主:現地開催,副:オンライン開催) |
畳み込みニューラルネットワークにおける評価データの網羅性指標の比較 ○横山友杜・岡野浩三・小形真平(信州大)・中島 震(NII) SS2022-27 DC2022-33 |
Deep Neural Network (DNN) の評価データのテスト品質を測定する指標としてNeuron Cover... [more] |
SS2022-27 DC2022-33 pp.29-34 |
SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2022-07-29 16:50 |
北海道 |
北海道自治労会館(札幌) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
Dockerを用いたWebアプリケーションにおける設定とログの関係解析を支援するログ生成自動化手法の検討 ○笠井裕貴(信州大)・谷沢智史(ボイスリサーチ)・小形真平・岡野浩三(信州大) SS2022-17 KBSE2022-27 |
[more] |
SS2022-17 KBSE2022-27 pp.97-102 |
SC |
2022-05-27 13:00 |
ONLINE |
オンライン開催 |
意思決定プロセスモデルを活用した機械学習プロジェクトに関する知見の体系化 ○竹内広宜(武蔵大)・小形真平(信州大)・海谷治彦(神奈川大)・中川博之(阪大) SC2022-6 |
[more] |
SC2022-6 pp.31-36 |
SS |
2022-03-07 11:20 |
ONLINE |
オンライン開催 |
テスト実行結果を自動分類するための機械学習モデルを利用した実行トレースのアブレーションとメソッド単位でのバグ箇所推定 ○池田拓真・岡野浩三・小形真平(信州大)・中島 震(NII) SS2021-44 |
テスト実行の結果を自動的に分類する課題はテストオラクル問題と呼ばれる. これはテスト自動化における重要な課題である.
... [more] |
SS2021-44 pp.13-18 |
SS, MSS (共催) |
2022-01-12 09:15 |
長崎 |
長崎県建設総合会館 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
テスト実行結果を自動分類するためのメソッドにおける近接情報を活用した実行トレースの符号化 ○池田拓真・岡野浩三・小形真平(信州大)・中島 震(NII) MSS2021-46 SS2021-33 |
テスト実行の結果を自動的に分類する課題はテストオラクル問題と呼ばれる. これはテスト自動化における重要な課題である. 本... [more] |
MSS2021-46 SS2021-33 pp.83-88 |