| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: 最近10年)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2025-03-21 11:00 |
静岡 | B-nest 静岡市産学交流センター | マルコフ決定過程に基づくステートマシン図へのモデル検査適用の試み ○青木善貴・中山陽太郎（BIPROGY）・小形真平（信州大）  KBSE2024-53 |
[more] | KBSE2024-53 pp.5-10 |
| SS | 2025-03-10 10:45 |
鹿児島 | アマホームPLAZA（鹿児島県奄美市） | RAdam使用時のCNNモデルの汎化性能とロバスト性能の調査 ○安田悠介・岡野浩三・小形真平（信州大）・中島 震（NII） SS2024-46 |
[more] | SS2024-46 pp.13-18 |
| SS | 2025-03-10 17:20 |
鹿児島 | アマホームPLAZA（鹿児島県奄美市） | 大規模言語モデルの多肢選択問題を用いたロバスト性テスト手法と温度パラメータの影響分析 ○太田辰斗・岡野浩三・小形真平（信州大）・中島 震（NII） SS2024-57 |
[more] | SS2024-57 pp.79-84 |
| MSS, SS (共催) |
2025-01-12 11:15 |
鹿児島 | 鹿児島大学郡元キャンパス | LLMを用いたPlantUML記述からNuSMVへの自動変換方法 ○井上歓聖・二ノ宮健来・小形真平・岡野浩三（信州大） MSS2024-45 SS2024-24 |
状態遷移図の作成や，モデル検査式の記述には，高度な専門知識が要求される．このプロセスは基本的に手作業によって行われるが，... [more] | MSS2024-45 SS2024-24 pp.19-24 |
| DC, SS (共催) |
2024-10-17 16:20 |
静岡 | 浜松市福祉交流センター | 大学演習課題としてのソフトウェア開発における要件定義成果物に対する感情分析の考察 ○勝家拓巳・小形真平・岡野浩三（信州大）・飯村結香子・斎藤 忍（NTT） SS2024-20 DC2024-48 |
本稿では，ソフトウェア開発における要件定義工程の中間成果物に対し，感情分析を行った結果を報告する．一般に，成果物には開発... [more] | SS2024-20 DC2024-48 pp.34-39 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2024-07-25 14:00 |
北海道 | 小樽経済センター 7F大ホール （ハイブリッド開催，主：現地開催，副：オンライン開催） |
CNNモデルを対象とした転移学習モデルにおける訓練データセットのプライバシー保護 ○勝家拓巳・岡野浩三・小形真平（信州大）・中島 震（NII） SS2024-1 KBSE2024-7 |
機械学習の手法の1つである転移学習は，訓練済みモデルの知識を利用することで，少量の訓練データでも高精度な機械学習モデルが... [more] | SS2024-1 KBSE2024-7 pp.1-6 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2024-07-25 14:30 |
北海道 | 小樽経済センター 7F大ホール （ハイブリッド開催，主：現地開催，副：オンライン開催） |
CNNモデルの内部活性化状態を用いた訓練データセットのデバックとテスティング 大渕大地・○勝家拓巳・岡野浩三・小形真平（信州大）・中島 震（NII） SS2024-2 KBSE2024-8 |
近年, 人工知能(AI)や機械学習の技術は様々な分野で成果をあげている. AIソフトウェアをシステムに組み込むうえで, ... [more] | SS2024-2 KBSE2024-8 pp.7-12 |
| SWIM, KBSE (共催) |
2024-05-17 15:45 |
東京 | 機械振興会館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
ユースケース駆動型の画面遷移モデリング支援ツール ○郭 瑶君・小形真平・岡野浩三（信州大） KBSE2024-3 SWIM2024-3 |
UI （User Interface） を伴うシステムの要求分析工程では，ユーザの目的レベルの機能分析に焦点を当てたユー... [more] | KBSE2024-3 SWIM2024-3 pp.13-18 |
| 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 |
[研究会発表申込システムのトップページに戻る]