| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| LOIS | 2023-03-14 12:05 |
沖縄 | 大濱信泉記念館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
実行時間の不確実性を考慮した動的検証機能を持つ自己適応システム実装フレームワークの検討 ○内藤 惇・中川博之・土屋達弘（阪大）  LOIS2022-64 |
いかなる環境下においてもシステムがサービスを提供できることは重要だが，環境変化のたびにシステム管理者が修正を行うことや，... [more] | LOIS2022-64 pp.120-125 |
| DC | 2023-02-28 13:00 |
東京 | 機械振興会館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
信頼度計算プログラムに対するメタモルフィックテスティングの適用 ○浅地泰斗・土屋達弘（阪大） DC2022-84 |
障害が大きな危険をもたらす可能性があるセーフティクリティカルシステムの開発では，信頼度評価が重要である．そこで本研究では... [more] | DC2022-84 pp.12-15 |
| DC | 2023-02-28 13:25 |
東京 | 機械振興会館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
A Clear and Understandable Notation for Expressing T-Way Test Sequence Generation Constraints ○Lele Jiang・Tatsuhiro Tsuchiya（Osaka Univ.） DC2022-85 |
[more] | DC2022-85 pp.16-20 |
| KBSE | 2023-01-19 15:10 |
石川 | ITビジネスプラザ武蔵(金沢) （ハイブリッド開催，主：現地開催，副：オンライン開催） |
ラプラス展開に着目した自己適応システムにおける動的検証の高速化に関する考察 ○藤本昌也・中川博之・土屋達弘（阪大） KBSE2022-47 |
本研究では，自己適応システムにおける動的検証を高速化する手法を提案する．動的検証を高速化する既存手法として，設計時に予め... [more] | KBSE2022-47 pp.25-30 |
| KBSE, SC (共催) |
2022-11-04 14:05 |
長野 | 野沢温泉 桐屋旅館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
RPAログを用いた処理フロー再構築手法の検討 ○新田壮史・中川博之（阪大）・小形真平（信州大）・竹内広宜（武蔵大）・海谷治彦（神奈川大）・土屋達弘（阪大） KBSE2022-39 SC2022-34 |
[more] | KBSE2022-39 SC2022-34 pp.48-53 |
| KBSE, SC (共催) |
2022-11-05 09:00 |
長野 | 野沢温泉 桐屋旅館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
文章の方向性に関する質問に基づく仕様書からのゴール抽出手法の提案 ○渡辺啓太郎・中川博之・土屋達弘（阪大） KBSE2022-37 SC2022-32 |
[more] | KBSE2022-37 SC2022-32 pp.37-42 |
| KBSE, SC (共催) |
2022-11-05 09:30 |
長野 | 野沢温泉 桐屋旅館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
確率的モデル検査ツールによるパロンドのパラドックスの分析 ○西口尚輝・中川博之・土屋達弘（阪大） KBSE2022-38 SC2022-33 |
本論文では，ソフトウェアのふるまいを形式的に検査する確率的モデル検査ツールの，他分野への応用方法を考える．具体的には，ゲ... [more] | KBSE2022-38 SC2022-33 pp.43-47 |
| DC, SS (共催) |
2022-10-25 10:00 |
福島 | コラッセふくしま （ハイブリッド開催，主：現地開催，副：オンライン開催） |
パラメトリックマルコフ決定過程を用いた自己適応システムの性能と感度分析に関する考察 ○鄭 俊俊・中川博之・土屋達弘（阪大） SS2022-21 DC2022-27 |
本稿では，不確実なパラメータを持つ自己適応システムの感度分析に着目する．システムの動作はパラメトリックマルコフ決定過程（... [more] | SS2022-21 DC2022-27 pp.1-5 |
| CPSY, DC (共催) IPSJ-ARC (連催) [詳細] |
2022-07-27 12:00 |
山口 | 海峡メッセ下関 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
交差点における交通制御アルゴリズムに対するモデル検査を用いた検証 ○埜口裕矢・土屋達弘（阪大） CPSY2022-5 DC2022-5 |
[more] | CPSY2022-5 DC2022-5 pp.25-30 |
| KBSE, SWIM (共催) |
2022-05-20 15:00 |
東京 | 機械振興会館 6階6-67会議室 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
XAIを用いた自己適応異常検知手法の実用化に向けて ○角田詩門・中川博之・土屋達弘（阪大） KBSE2022-3 SWIM2022-3 |
本研究では，自己適応異常検知手法の性能向上にXAIを活用することを検討する．具体的な手法として，Ming-Chang L... [more] | KBSE2022-3 SWIM2022-3 pp.13-18 |
| KBSE | 2022-03-09 14:55 |
ONLINE | オンライン開催 (Zoom) | Heuristic Minerを用いたパラメータ調整に基づくプロセスモデル抽出手法 ○南垣内一輝・中川博之（阪大）・海谷治彦（神奈川大）・小形真平（信州大）・竹内広宜（武蔵大）・土屋達弘（阪大） KBSE2021-46 |
オープンソースのプロセスマイニングツールProM(Process Mining framework)cite{ProM}... [more] | KBSE2021-46 pp.30-35 |
| DC | 2022-03-01 10:20 |
東京 | 機械振興会館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
コンセンサスアルゴリズムに対するラウンドモデルに基づいた簡易的なテスト・検証手法の提案 ○土屋達弘（阪大） DC2021-66 |
コンセンサスアルゴリズムは代表的な分散アルゴリズムのクラスであり，分散システム上で信頼性の高いサービスを実現する上で中核... [more] | DC2021-66 pp.13-17 |
| NS, NWS (併催) |
2022-01-28 13:30 |
ONLINE | オンライン開催 | 個体群プロトコルモデルにおける任意グラフ上での自己安定リーダー選挙アルゴリズムの実装と評価 ○渡辺啓太郎・小島英春（阪大）・首藤裕一（法政大）・矢内直人・土屋達弘（阪大） NS2021-120 |
[more] | NS2021-120 pp.56-61 |
| DC | 2021-12-10 14:20 |
香川 | 国民宿舎小豆島（ふるさと荘交流センター） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
相互依存ネットワークにおける最脆弱ノードの特定 肥田京三・○土屋達弘（阪大） DC2021-58 |
本研究では，電力システムに代表される相互依存ネットワークを対象に，攻撃に対して最も脆弱なノード集合を特定する手法を提案す... [more] | DC2021-58 pp.19-23 |
| KBSE, SC (共催) |
2021-11-05 14:20 |
ONLINE | オンライン開催+現地（KBSE：盛岡市，SC：なし） （ハイブリッド開催，主：オンライン開催，副：現地開催） |
強化学習に基づいた施設レイアウト自動設計支援システムの実現に向けて ○池田 光・中川博之（阪大）・関本 章・赤木宏匡（鹿島建設）・土屋達弘（阪大） KBSE2021-26 SC2021-25 |
物流施設や工場のレイアウトを設計する場合，その精度や完成度は設計者の能力に大きく左右されるものであり，迅速かつ最適に近い... [more] | KBSE2021-26 SC2021-25 pp.7-12 |
| SS, DC (共催) |
2021-10-19 15:00 |
ONLINE | オンライン開催 | 相互依存ネットワークにおける最適な強化対象の計算 ○南出大智・土屋達弘（阪大） SS2021-16 DC2021-21 |
構成要素同士が相互依存する電力システムでの連鎖障害を解析し，最適な強化対象を特定する手法の提案を行う．このような電力シス... [more] | SS2021-16 DC2021-21 pp.19-22 |
| NS | 2021-10-06 15:45 |
ONLINE | オンライン開催 | 属性ベース暗号によるアクセス制御を適用したスマートコントラクトの実装 ○岡野拓実・小島英春・矢内直人・土屋達弘（阪大） |
[more] | |
| ITS, IEE-ITS (連催) |
2021-03-15 15:05 |
ONLINE | オンライン開催 | モデル検査を用いたラウンドアバウトにおける交通量制御方式の検証 ○土屋達弘（阪大）・大塚敏史（日立） ITS2020-43 |
本研究では，形式検証手法であるモデル検査を用いて，ラウンドアバウト型の交差点における車両の交通を制御する方法の検証を行っ... [more] | ITS2020-43 pp.41-44 |
| KBSE | 2021-03-05 13:05 |
ONLINE | オンライン開催 | トレーサビリティリンク生成における自然言語処理モデルの性能比較 ○新田壮史・中川博之・土屋達弘（阪大） KBSE2020-34 |
近年ではソフトウェア規模の拡大に伴い，要求，テスト記述等の文書数も増大し，手作業によるトレーサビリティリンクの確立に大き... [more] | KBSE2020-34 pp.1-6 |
| SS | 2021-03-04 13:00 |
ONLINE | オンライン開催 | 逐次プログラムのテストによる分散フォールトトレラントアルゴリズムのバグ検出 ○土屋達弘（阪大） SS2020-40 |
本研究では分散フォールトトレラントアルゴリズムの検証を，その動作をシミュレーションする逐次プログラムをテストすることによ... [more] | SS2020-40 pp.73-77 |
[研究会発表申込システムのトップページに戻る]