お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 92件中 1~20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
DC, CPSY
(共催)
IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC
(共催)
(連催) [詳細]
2024-03-22
16:10
長崎 壱岐の島ホール
(ハイブリッド開催,主:現地開催,副:オンライン開催)
ネットワーク信頼度計算プログラムに対するメタモルフィックテスト
浅地泰斗・○土屋達弘阪大CPSY2023-48 DC2023-114
セーフティクリティカルシステムの設計・運用では,障害が人命や身体への危害に関わるため,システムの信頼度の見積りが重要とな... [more] CPSY2023-48 DC2023-114
pp.59-64
DC 2024-02-28
11:20
東京 機械振興会館 PlusCALを用いた耐故障コンセンサスアルゴリズムの記述と検証
小野蒼生土屋達弘阪大DC2023-96
コンセンサスアルゴリズムは分散アルゴリズムの一種である.
本研究ではいくつかのコンセンサスアルゴリズムを故障時の動作も... [more]
DC2023-96
pp.11-16
DC 2024-02-28
16:05
東京 機械振興会館 相互依存ネットワークにおける強化ノード選択手法の提案
松井香樹土屋達弘阪大DC2023-103
本研究では,ネットワークとして表現可能な複数のシステムが相互に依存することで機能するような相互依存ネットワークを対象とす... [more] DC2023-103
pp.53-58
SS, DC
(共催)
2023-10-11
16:00
長野 信州大学工学部(長野市)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
相互排除アルゴリズムを対象とした形式検証技術の適用
西口尚輝土屋達弘阪大SS2023-24 DC2023-30
並行アルゴリズムを正しく設計するのは難しい.本研究では,相互排除に注目し,並行アルゴリズムを仕様化し検証する形式手法の利... [more] SS2023-24 DC2023-30
pp.19-21
AI 2023-09-12
16:30
北海道 登別グランドホテル レビュー駆動型ゴールモデル生成におけるLLMの潜在能力
任 帥才中川博之土屋達弘阪大AI2023-20
 [more] AI2023-20
pp.109-116
SWIM, KBSE
(共催)
2023-05-19
14:00
静岡 HAMAMATSU ACT CITY(浜松)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
DeepSortを用いた中密度群衆からのグループ検出手法とその精度向上に関する考察
植野直次朗中川博之阪大)・冨沢哲雄東京高専)・土屋達弘阪大KBSE2023-1 SWIM2023-1
動画中の群衆からグループを検出することができれば,集団力学の研究を助けることや,災害時のリアルタイムでの状況認識を助ける... [more] KBSE2023-1 SWIM2023-1
pp.1-6
DC, CPSY
(共催)
IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC
(共催)
(連催) [詳細]
2023-03-24
09:25
鹿児島 天城町防災センター(徳之島)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
協力ゲームに基づく相互依存ネットワークの構成要素に対する脆弱性評価
サイ ブンキ・○土屋達弘阪大CPSY2022-43 DC2022-102
本研究では,ノードが正常であるために他のノードに依存しているような相互依存ネットワークを考える.
研究の目的は,ネット... [more]
CPSY2022-43 DC2022-102
pp.55-59
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 JiangTatsuhiro TsuchiyaOsaka Univ.DC2022-85
 [more] DC2022-85
pp.16-20
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
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
SS, DC
(共催)
2021-10-19
15:00
ONLINE オンライン開催 相互依存ネットワークにおける最適な強化対象の計算
南出大智土屋達弘阪大SS2021-16 DC2021-21
構成要素同士が相互依存する電力システムでの連鎖障害を解析し,最適な強化対象を特定する手法の提案を行う.このような電力シス... [more] SS2021-16 DC2021-21
pp.19-22
 92件中 1~20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会