| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE, SC (共催) |
2019-11-08 11:00 |
長野 | 信州大学 | word2vecとゴールモデルの階層性を利用した類似ゴール検出方法の提案 ○石川公一・小形真平（信州大）・中川博之（阪大）・岡野浩三（信州大）  KBSE2019-23 SC2019-20 |
ソフトウェア再利用に向けたゴールモデルの類似ゴール検出方法について，非形式な自然言語記述を与えたゴール間の類似性を精度良... [more] | KBSE2019-23 SC2019-20 pp.1-6 |
| KBSE, SC (共催) |
2019-11-08 11:30 |
長野 | 信州大学 | 不具合原因分析支援のためのNuSMV反例解析手法の試案 ○大池勇太郎・小形真平（信州大）・青木善貴（日本ユニシス）・中川博之（阪大）・小林一樹・岡野浩三（信州大） KBSE2019-24 SC2019-21 |
CPS(Cyber-Physical System)のように複数のモジュールが相互作用する大規模複雑なシステムを対象とし... [more] | KBSE2019-24 SC2019-21 pp.7-12 |
| KBSE, SC (共催) |
2019-11-08 14:00 |
長野 | 信州大学 | 文書間の類似度に基づいたトレーサビリティリンク精度向上手法の検討 ○東 和幸・中川博之・土屋達弘（阪大） KBSE2019-27 SC2019-24 |
ソフトウェア開発においては，仕様として与えられた機能が正しく実装されていることを検査するためにテストを実施する．しかし，... [more] | KBSE2019-27 SC2019-24 pp.25-30 |
| KBSE | 2019-03-02 11:30 |
京都 | 同志社大学寒梅館 | 自己適応システムの動的検証法の高速化に関する研究 ○妙見侑祐・中川博之・土屋達弘（阪大） KBSE2018-66 |
ソフトウェアシステムの実行環境は刻一刻と変化するものとなっており，不確かなものとなっている．その不確かな環境でソフトウェ... [more] | KBSE2018-66 pp.75-80 |
| KBSE, SC (共催) |
2018-11-10 10:45 |
兵庫 | 神戸大学 瀧川記念学術交流会館 | Document Frequencyと単語類似度に基づいたストップワード自動作成手法の検討 ○東 和幸・中川博之・土屋達弘（阪大） KBSE2018-38 SC2018-33 |
[more] | KBSE2018-38 SC2018-33 pp.59-64 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 14:25 |
北海道 | 北海道・帯広市 とかちプラザ 視聴覚室／大集会室 | 組み込みシステムに対する安全な機能追加手法の考察 ○土田真也・中川博之・土屋達弘（阪大） SS2018-8 KBSE2018-18 |
特定の機能を実現する組み込みシステムに対して, 運用後の機能追加が必要な場合がある. しかし, 組み込みシステムが持つ特... [more] | SS2018-8 KBSE2018-18 pp.43-48 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 15:50 |
北海道 | 北海道・帯広市 とかちプラザ 視聴覚室／大集会室 | コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察 ○青木善貴（日本ユニシス）・小形真平・小林一樹（信州大）・中川博之（阪大） SS2018-11 KBSE2018-21 |
IoT(Internet of Things)システムはサイバー空間とフィジカル空間をまたがる複雑な構成となる．その構成... [more] | SS2018-11 KBSE2018-21 pp.61-66 |
| KBSE | 2018-03-01 10:20 |
沖縄 | 石垣市民会館 中ホール | 質問フローに基づくゴールモデル構築手法の提案 ○島田裕紀・中川博之・土屋達弘（阪大） KBSE2017-40 |
近年，多くのソフトウェアシステムは複雑かつ多様な機能を持ち，システムを設計する上で抽出すべき要求も複雑かつ多様である．そ... [more] | KBSE2017-40 pp.7-12 |
| KBSE | 2018-03-02 14:20 |
沖縄 | 石垣市民会館 中ホール | 時間制約を考慮可能な自己適応システム実装フレームワークの検討 津田宏軌・○中川博之・土屋達弘（阪大） KBSE2017-59 |
自己適応システムは環境の変化などに適応し，自ら振る舞いを変化させることができるシステムである．その特徴から振る舞い変更の... [more] | KBSE2017-59 pp.121-126 |
| DC | 2018-02-20 12:05 |
東京 | 機械振興会館 | 焼きなまし法によるロケーティングアレイの生成 ○小西達也・小島英春・中川博之・土屋達弘（阪大） DC2017-82 |
組み合わせテストは, 効率的なソフトウェアテスト手法の1 つである. 本論文では, 組み合わせテストで使用するテストケー... [more] | DC2017-82 pp.31-35 |
| KBSE | 2018-01-25 13:35 |
東京 | 機械振興会館 | MAPEループ構造に基づいた機能更新フレームワークに関する考察 ○土田真也・中川博之・土屋達弘（阪大） KBSE2017-32 |
特定の機能を実現する組み込みシステムは, 運用後の変更を考慮することが少なく, 一般的に外部からの機能変更は難しい. し... [more] | KBSE2017-32 pp.1-6 |
| CAS, MSS (共催) IPSJ-AL (連催) [詳細] |
2017-11-17 16:30 |
東京 | 日立中央研究所 | SATソルバを使用したロケーティングアレイの生成手法について ○小西達也・小島英春・中川博之・土屋達弘（阪大） CAS2017-62 MSS2017-46 |
本論文では，ソフトウェアテストの1つ，組み合わせテストについて議論する．具体的には，組み合わせテストで使用するテストケー... [more] | CAS2017-62 MSS2017-46 pp.147-152 |
| SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2017-07-19 13:10 |
北海道 | 函館コミュニティプラザ | IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価 ○小形真平（信州大）・青木善貴（日本ユニシス）・中川博之（阪大）・小林一樹（信州大）・福島祐子（日本ユニシス） SS2017-5 KBSE2017-5 |
IoTシステムのアーキテクチャでは，ユーザ，Webサービス，エッジ，デバイス，電力系統，自然環境などの様々なオブジェクト... [more] | SS2017-5 KBSE2017-5 pp.25-30 |
| KBSE | 2017-03-03 12:05 |
石川 | 石川県金沢市 ITビジネスプラザ武蔵 研修室1 | システム環境の変化傾向に基づいた効率的な構成切り替え手法 ○妙見侑祐・中川博之・土屋達弘（阪大） KBSE2016-39 |
周囲の環境変化に適応するような自己適応システムは，ソフトウェアシステムの大規模・複雑化に伴い，その重要性が増している． ... [more] |
KBSE2016-39 pp.1-6 |
| KBSE | 2017-03-03 12:50 |
石川 | 石川県金沢市 ITビジネスプラザ武蔵 研修室1 | キャッシュの効率利用による自己適応システムの動的モデル検査法改善 ○外山大夢・中川博之・小島英春・土屋達弘（阪大） KBSE2016-40 |
近年，システム自身の振る舞いを変化させる自己適応システムに注目が集まっているが，振る舞い変更時に変更後の振る舞いの正しさ... [more] | KBSE2016-40 pp.7-12 |
| KBSE | 2016-11-03 16:00 |
長野 | 信州大学 長野（工学）キャンパス | 文書からのストップワード抽出によるトピックモデル洗練化 ○高橋 仁・中川博之・土屋達弘（阪大） KBSE2016-27 |
[more] | KBSE2016-27 pp.19-24 |
| KBSE | 2016-05-26 15:50 |
東京 | 同志社大学 東京オフィス | トピックモデリングを用いたテストケース記述クラスタリングに関する考察 ○高橋 仁・中川博之・土屋達弘（阪大） KBSE2016-3 |
[more] | KBSE2016-3 pp.13-18 |
| KBSE | 2015-09-25 10:30 |
大阪 | 大阪大学大学院情報科学研究科（吹田キャンパス） | 主要語の変遷に着目した要求トピックの洗練化に関する考察 ○高橋 仁・中川博之・土屋達弘（阪大） KBSE2015-32 |
[more] | KBSE2015-32 pp.27-31 |
| KBSE | 2015-05-26 10:00 |
東京 | 機械振興会館 地下3階 B3-6会議室 | 実世界ハードウェアに対する自己適応フレームワークのプロトタイプ実装 ○津田宏軌・中川博之・土屋達弘（阪大） KBSE2015-7 |
ソフトウェアシステムの発展に伴う大規模化や複雑化により，その管理や制御にかかるコストが大きくなってきている．その自動化の... [more] | KBSE2015-7 pp.33-38 |
| KBSE | 2015-03-06 14:40 |
東京 | 電通大(調布, 東3号館) | 自己適応システムにおける動的検証法の適用範囲向上に向けて ○小川賢人・中川博之・土屋達弘（阪大） KBSE2014-63 |
[more] | KBSE2014-63 pp.65-70 |
[研究会発表申込システムのトップページに戻る]