| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, DC (共催) |
2023-10-11 15:20 |
長野 | 信州大学工学部（長野市） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
深層学習を用いた情報システムの非機能要求の効率的な自動分類 ～ BERT、GPT2の精度比較 ～ ○向田和弘（信州大）・福居誠二・長岡武志・北川貴之（東芝）・小形真平・岡野浩三（信州大）  SS2023-23 DC2023-29 |
深層学習の進展により，情報システム要件定義における非機能要求の自動分類が可能になりつつある．本稿では，一般のソフトウェア... [more] | SS2023-23 DC2023-29 pp.13-18 |
| SS | 2010-08-05 15:00 |
北海道 | 旭川市民文化会館 | 実時間システムを対象としたCEGARによる抽象洗練の並列化手法 ○田中俊彰・長岡武志・岡野浩三・楠本真二（阪大） SS2010-22 |
時間オートマトンのCEGARを用いた到達可能性解析を行う手法について，高速化に関する技法を提案する．本稿では、初期抽象を... [more] | SS2010-22 pp.35-40 |
| SS | 2010-03-08 09:00 |
鹿児島 | 鹿児島大学 郡元キャンパス | 時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析 ○伊藤明彦・長岡武志・岡野浩三・楠本真二（阪大） SS2009-62 |
本稿では，確率時間オートマトンのCEGARを用いた到達可能性解析を行う手法を提案する．確率時間システムでは，反例となるパ... [more] | SS2009-62 pp.85-90 |
| SS | 2009-08-06 14:45 |
北海道 | 北見工業大学 | 確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2との比較 ○伊藤明彦・長岡武志・岡野浩三・楠本真二（阪大） SS2009-18 |
[more] | SS2009-18 pp.37-42 |
| SS | 2008-03-04 11:25 |
長崎 | 長崎大学 | 反例に基づく抽象化改良ループによる時間オートマトンの抽象化手法 長岡武志・○岡野浩三・楠本真二（阪大） SS2007-74 |
時間オートマトンを対象としたモデル抽象化手法を著者らは提案している．提案手法では，反例を元に抽象モデルを改良し，適切な抽... [more] | SS2007-74 pp.103-108 |
| SS | 2007-08-03 11:45 |
北海道 | 北海道大学 | UPPAAL拡張時間オートマトンの反例に基づく抽象化改良ループによるモデル抽象化手法 ○長岡武志・岡野浩三・楠本真二（阪大） SS2007-29 |
近年，情報システムの高信頼設計においてモデル検査は重要な役割を果たすようになってきている．実時間システムのモデル検査では... [more] | SS2007-29 pp.77-82 |
[研究会発表申込システムのトップページに戻る]