| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| NC, MBE (併催) |
2024-03-11 11:15 |
東京 | 東京大学 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
時空間データマイニングのためのマルチリザバーコンピューティング ○武田大佑・加藤准也・夏秋 嶺・廣瀬 明（東大）  NC2023-45 |
様々な測位技術やIoTデバイスの急速な発展に伴い、時空間データがますます利用可能になってきている。 近年その応用例とし... [more] |
NC2023-45 pp.13-18 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2023-11-16 11:15 |
沖縄 | 那覇市IT創造館 | ［招待講演］二階層線形時相論理制約の下でのヘテロジニアスなマルチロボットシステムの最適荷物搬送問題 永江孝太郎（阪大）・○潮 俊光（南山大） CAS2023-60 MSS2023-30 |
異なる特性を持つロボット群からなるシステムに対する荷物搬送問題を考える．その特性に基づいてロボットをグループに分割する．... [more] | CAS2023-60 MSS2023-30 pp.1-6 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2023-11-16 16:30 |
沖縄 | 那覇市IT創造館 | 時相論理仕様を満足するマルチエージェントシステムの深層強化学習 ○寺嶋啓太・小林孝一・山下 裕（北大） CAS2023-70 MSS2023-40 |
マルチエージェントシステムでは，共通目標の達成のためにエージェント群が如何に協調した行動をとるかが課題となる．著者らは以... [more] | CAS2023-70 MSS2023-40 pp.54-58 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2023-11-16 16:50 |
沖縄 | 那覇市IT創造館 | 有限時間区間の時相論理仕様を有する空間的分布システムのモデル予測制御 ○小水一慶・小林孝一・山下 裕（北大） CAS2023-71 MSS2023-41 |
本論文では，時相論理仕様に基づいた空間的分布システムのモデル予測制御を提案する．空間的分布システムでは，時間的パターンの... [more] | CAS2023-71 MSS2023-41 pp.59-62 |
| SCE | 2023-08-08 11:25 |
神奈川 | 横浜国立大学 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
Low-Cost Sorting Network Circuits Based on Temporal Logic Using Single Flux Quantum Circuits ○Zeyu Han・Zongyuan Li・Yamanashi Yuki・Yoshikawa Nobuyuki（YNU） SCE2023-5 |
[more] | SCE2023-5 pp.22-27 |
| SS | 2023-03-14 11:50 |
沖縄 | 名護市産業支援センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
時相論理式の生成に向けた時間関係認識手法の検討 ○大西舞子（お茶の水女子大）・小形真平・岡野浩三（信州大）・戸次大介（お茶の水女子大） SS2022-49 |
要求仕様書の解析に組み込まれる関係抽出に，時間関係を活用できる余地がある。いくつかの研究では，ルールベースの関係抽出が採... [more] | SS2022-49 pp.13-18 |
| RCC, ISEC, IT, WBS (共催) |
2023-03-14 13:00 |
山口 | 山口大学常盤キャンパス （ハイブリッド開催，主：現地開催，副：オンライン開催） |
時相論理仕様を満足するマルチエージェント監視システムの強化学習における報酬分配について ○寺嶋啓太・小林孝一・山下 裕（北大） IT2022-81 ISEC2022-60 WBS2022-78 RCC2022-78 |
マルチエージェントシステムでは，効率的な学習のために，エージェントの貢献度に応じた報酬分配方法の設計が重要である．本論文... [more] | IT2022-81 ISEC2022-60 WBS2022-78 RCC2022-78 pp.86-90 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2021-07-08 14:15 |
ONLINE | オンライン開催 (Zoom) | 仕様書の条件文における状態遷移関係の抽出方法 ○大西舞子（お茶の水女子大）・井 浩也・小形真平・岡野浩三（信州大）・戸次大介（お茶の水女子大） SS2021-5 KBSE2021-17 |
ソフトウェア開発において不具合の検出を早期の工程で行うことで,手戻り作業を減らし,開発効率を上げることが一般的に知られて... [more] | SS2021-5 KBSE2021-17 pp.25-30 |
| SIP, CAS, VLD, MSS (共催) |
2021-07-06 10:50 |
ONLINE | オンライン開催 | 時相論理制約を用いたOnline Pickup and Delivery問題 ○金島昂輝・潮 俊光（阪大） CAS2021-11 VLD2021-11 SIP2021-21 MSS2021-11 |
ある場所で受け取った商品を別の場所へと効率よく配送することを考える問題を pickup and delivery 問題と... [more] | CAS2021-11 VLD2021-11 SIP2021-21 MSS2021-11 pp.54-59 |
| SS | 2019-03-04 10:15 |
沖縄 | 沖縄産業支援センター | Acumenを用いたハイブリッドシステムの統計的モデル検査 ○井上晃輔・石井大輔（福井大） SS2018-54 |
信頼性の高い連続・離散ハイブリッドシステムの開発には, モデリング・シミュレーション・検証のための統合ツールが有用である... [more] | SS2018-54 pp.13-18 |
| MSS, SS (共催) |
2019-01-15 13:05 |
沖縄 | 沖縄県青年会館 | スーパバイザ制御のためのLTL[F]を用いた制御仕様記述の検討 ○榊原愛海・潮 俊光（阪大） MSS2018-58 SS2018-29 |
LTL[$ mathcal{F} $]は線形時相論理を定量的に拡張した論理体系であり，システムの振舞いがどの程度仕様を満... [more] | MSS2018-58 SS2018-29 pp.25-28 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2018-11-13 15:40 |
静岡 | 熱海伊豆山温泉 ハートピア熱海 | 多様なデータの連携分析のための頻度論理の拡張 ～ 頻度論理に基づく，より大規模な業務プロセスの評価に向けて ～ ○高木 理（群馬大） CAS2018-77 MSS2018-53 |
手術等のイベントあるいは事象に対して，その発生頻度の変化を表現するための論理である“頻度論理”が構築された[1,2]．本... [more] | CAS2018-77 MSS2018-53 pp.131-136 |
| MSS, NLP (併催) |
2018-03-13 14:55 |
大阪 | 大阪大学豊中キャンパス | 定理証明器Princessを用いた組込みアセンブリプログラムのリアルタイム安全性の演繹的検証 ○小田島直樹（金沢大）・福田岳飛（金沢錦丘高校）・山根 智（金沢大） MSS2017-84 |
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, 組込みプログラムのリ... [more] | MSS2017-84 pp.35-40 |
| CAS, MSS (共催) IPSJ-AL (連催) [詳細] |
2017-11-16 16:30 |
東京 | 日立中央研究所 | 事象発生頻度の変化を表現するための論理 ○高木 理（群馬大） CAS2017-49 MSS2017-33 |
本論の目的は，データベースに記録される時系列データ上に記録される事象の発生頻度の変化を表現するための形式言語，および，そ... [more] | CAS2017-49 MSS2017-33 pp.57-62 |
| SIP, CAS, MSS, VLD (共催) |
2017-06-20 09:30 |
新潟 | 新潟大学五十嵐キャンパス 中央図書館ライブラリーホール | 組込みアセンブリプログラムのリアルタイム安全性の演繹的検証 ～ □≦TIME q = □(q∧(time≦TIME)) ～ ○山根 智（金沢大） CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12 |
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, 組込みプログラムのリ... [more] | CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12 pp.59-64 |
| MSS, SS (共催) |
2017-01-26 14:30 |
京都 | 京都工芸繊維大学 60周年記念館 2階大セミナー室 | 温水供給システムの実測データに基づくモデリングと制御に関する検討 ○齋藤 司（京大）・薄 良彦（阪府大）・星野 光・引原隆士（京大） MSS2016-63 SS2016-42 |
本報告では, 透析の医療機関で得られた実測データ用いた温水供給システムのモデリング, 及び形式手法を用いた制御器設計につ... [more] | MSS2016-63 SS2016-42 pp.35-40 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 13:25 |
兵庫 | 神戸情報大学院大学 | ペトリネット検証ツールHiPS向けon-the-flyモデル検査器の実現と評価 ○張江洋次朗・和﨑克己（信州大） CAS2016-63 MSS2016-43 |
ペトリネットモデルより生成される状態空間のイベントに着目したon-the-flyモデル検査器の設計を行った．HiPSは筆... [more] | CAS2016-63 MSS2016-43 pp.31-35 |
| MVE, ITE-HI (連催) |
2016-07-20 14:30 |
東京 | 東京大学山上会館 | A Prospective Study About Enhancing Effect of VR in Soccer Training ○Cesar Daniel Rojas Ferrer・Itaru Kitahara・Yoshinari Kameda（U. Tsukuba） MVE2016-7 |
In elite football soccer, the quest for new training methods... [more] | MVE2016-7 pp.25-30 |
| SS, MSS (共催) |
2016-01-25 15:45 |
石川 | しいのき迎賓館 セミナールームB | 線形時相論理式からイベントベースオートマトンへの変換を利用したペトリネット検証ツールHiPS向けon-the-flyモデル検査器 ○張江洋次朗・和崎克己（信州大） MSS2015-46 SS2015-55 |
本稿では，ペトリネットより生成される状態空間を対象に，線形時相論理式によるon-the-flyモデル検査器の設計について... [more] | MSS2015-46 SS2015-55 pp.63-68 |
| SS, MSS (共催) |
2016-01-26 09:40 |
石川 | しいのき迎賓館 セミナールームB | 重み付きオートマトンに対する線形時相論理制約の下での最適制御 榊原愛海・Sasinee Pruekprasert・○潮 俊光（阪大） MSS2015-54 SS2015-63 |
本報告では，遷移に重みが与えられた重み付きオートマトンを制御対象とする． 制御対象の事象には，可制御事象と不可制御事象... [more] |
MSS2015-54 SS2015-63 pp.109-112 |
[研究会発表申込システムのトップページに戻る]