IoT向け自律協調自己適応機構とその形式検証手法の研究

2018 年度 実績報告書

• 研究課題/領域番号: 18H03229
• 研究機関: 電気通信大学
• 研究代表者: 田原 康之 電気通信大学, 大学院情報理工学研究科, 准教授 (30390602)
• 研究分担者: 清 雄一 電気通信大学, 大学院情報理工学研究科, 准教授 (20700157) ; 鄭 顕志 早稲田大学, 理工学術院, 准教授(任期付) (40434295) ; 石川 冬樹 国立情報学研究所, アーキテクチャ科学研究系, 准教授 (50455193) ; 中川 博之 大阪大学, 情報科学研究科, 准教授 (40508834) ; 一色 正男 神奈川工科大学, 創造工学部, 教授 (90567364)
• 研究期間 (年度): 2018-04-01 – 2022-03-31
• キーワード: 自己適応システム / IoT / 自律協調システム / 形式検証 / セキュリティ・プライバシ

研究実績の概要

平成30，令和元年度は，(1) 個々の機器が検知できない環境変化に対し，他の機器が問題の機器の振舞いを監視し，環境変化の有無をそれらの機器が慎重に相談し合った上で気づくための協調手法の設計を行った後開発を開始し，(2) 機器単体では対応できない環境変化に対し，自己適応機構同士で協調して適応する手法の設計を行った後開発を開始し，(3) 複雑なシステムの振舞いが正しく機能することを保証する技術として有望視されている形式検証を適用することにより，協調動作が正しく機能するかどうかを検証する手法の設計を行った後開発を開始し，(4) 協調動作を行う自己適応機構によるものも含め，IoT システムにおけるプライバシ侵害を防止する仕組みの設計を行った後開発を開始し，(5) (1)～(4) の各機構・手法を統合した，IoT向け自律協調自己適応ミドルウェアの設計を進めた．

現在までの達成度 (区分)

2: おおむね順調に進展している

理由

平成30，令和元年度の研究実績の各項目について，年度当初の研究実施計画のサブテーマ1～5に記載した内容を，おおむね達成できているため．

今後の研究の推進方策

今後は，研究計画調書に記載した計画の通りに推進する予定である．

研究成果

• [雑誌論文] Linked Dataを用いた俯瞰的な多肢選択式問題自動生成手法の提案 (2019)
  • 著者名/発表者名: 奥原 史佳，清 雄一，田原 康之，大須賀 昭彦
  • 雑誌名: 情報処理学会論文誌 巻: 60 ページ: 1738-1756
  • 査読あり
• [雑誌論文] Do You Like Sclera? Sclera-region Detection and Colorization for Anime Character Line Drawings (2019)
  • 著者名/発表者名: Masashi Aizawa, Yuichi Sei, Yasuyuki Tahara, Ryohei Orihara, Akihiko Ohsuga
  • 雑誌名: International Journal of Networked and Distributed Computing 巻: 7 ページ: 113-120
  • DOI: 10.2991/ijndc.k.190711.001
  • 査読あり / オープンアクセス
• [雑誌論文] “Never fry carrots without chopping” Generating Cooking Recipes from Cooking Videos Using Deep Learning Considering Previous Process (2019)
  • 著者名/発表者名: Tatsuki Fujii, Yuichi Sei, Yasuyuki Tahara, Ryohei Orihara, Akihiko Ohsuga
  • 雑誌名: International Journal of Networked and Distributed Computing 巻: 7 ページ: 107-112
  • DOI: 10.2991/ijndc.k.190710.002
  • 査読あり / オープンアクセス
• [雑誌論文] Anonymization of Sensitive Quasi-Identifiers for l-diversity and t-closeness (2019)
  • 著者名/発表者名: Yuichi Sei, Hiroshi Okumura, Takao Takenouchi, Akihiko Ohsuga
  • 雑誌名: IEEE Transactions on Dependable and Secure Computing 巻: 16 ページ: 580-593
  • DOI: 10.1109/TDSC.2017.2698472
  • 査読あり
• [雑誌論文] 自己適応システムのための環境モデル実行時更新手法 (2019)
  • 著者名/発表者名: 田邉 萌香，鄭 顕志，本位田 真一
  • 雑誌名: 情報処理学会論文誌 巻: 60 ページ: 1617-1630
  • 査読あり
• [雑誌論文] Change Impact Analysis for Refinement-Based Formal Specification (2019)
  • 著者名/発表者名: Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
  • 雑誌名: IEICE Transactions on Information and Systems 巻: 8 ページ: 1462-1477
  • DOI: 10.1587/transinf.2018FOP0006
  • 査読あり / オープンアクセス
• [雑誌論文] 環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム (2019)
  • 著者名/発表者名: 相澤 和也，鄭 顕志，本位田 真一
  • 雑誌名: 情報処理学会論文誌 巻: 60 ページ: 1025-1039
  • 査読あり
• [雑誌論文] 単語の出現頻度と類似性に基づいたトピックモデル洗練化手法 (2019)
  • 著者名/発表者名: 東 和幸，高橋 仁，中川 博之，土屋 達弘
  • 雑誌名: コンピュータソフトウェア 巻: 4 ページ: 4_25-4_31
  • DOI: 10.11309/jssst.36.4_25
  • 査読あり / オープンアクセス
• [雑誌論文] Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models (2019)
  • 著者名/発表者名: Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
  • 雑誌名: The Journal of Systems & Software 巻: 156 ページ: 300-311
  • DOI: 10.1016/j.jss.2019.07.007
  • 査読あり
• [雑誌論文] Energy and Migration Cost-Aware Dynamic Virtual Machine Consolidation in Heterogeneous Cloud Datacenters (2019)
  • 著者名/発表者名: Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Yunni Xia
  • 雑誌名: IEEE Transactions on Services Computing 巻: 12 ページ: 550-563
  • DOI: 10.1109/TSC.2016.2616868
  • 査読あり / 国際共著
• [雑誌論文] ECHONET Lite搭載機器の相互接続性を阻害する家庭用ルータの実装状況調査，および相互接続性向上のための手法の提案 (2019)
  • 著者名/発表者名: 濱本 望絵，杉本 芳剛，鷲津 宗孝，石川 博一，村上 隆史，杉村 博，森 信一郎，一色 正男
  • 雑誌名: 情報処理学会論文誌コンシューマ・デバイス＆システム 巻: 9 ページ: 22-31
  • 査読あり
• [雑誌論文] Consistency-Preserving Refactoring of Refinement Structures in Event-B Models (2019)
  • 著者名/発表者名: Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
  • 雑誌名: Formal Aspects of Computing 巻: 31 ページ: 287-320
  • DOI: 10.1007/s00165-019-00478-z
  • 査読あり
• [雑誌論文] サッカーPK戦におけるゲーム理論上の最適戦略とプロの戦略との差異に関する考察 (2018)
  • 著者名/発表者名: 小泉昂也，折原良平，清雄一，田原康之，大須賀昭彦
  • 雑誌名: 電子情報通信学会論文誌 巻: J101-D ページ: 1363-1371
  • DOI: 10.14923/transinfj.2017SAP0013
  • 査読あり
• [雑誌論文] パーチェス法を用いたエージェントシミュレーションによる金融機関の合併に関するシステミックリスクへの影響分析 (2018)
  • 著者名/発表者名: 加藤秀紀，清雄一，田原康之，大須賀昭彦
  • 雑誌名: 電子情報通信学会論文誌 巻: J101-D ページ: 1343-1353
  • DOI: 10.14923/transinfj.2017SAP0006
  • 査読あり
• [雑誌論文] 1.5車線的道路における待避区間の最適配置に向けた遺伝的アルゴリズム及び多目的最適化の適用 (2018)
  • 著者名/発表者名: 天野和洋，前田宗宏，中村泰広，清雄一，大須賀昭彦
  • 雑誌名: 土木学会論文集F3（土木情報学） 巻: 73 ページ: 109-117
  • DOI: 10.2208/jscejcei.73.I_109
  • 査読あり
• [雑誌論文] Dynamic Update of Discrete Event Controllers (2018)
  • 著者名/発表者名: L. Nahabedian, V. Braberman, N. DIppolito, S. Honiden, J. Kramer, K. Tei, S. Uchitel
  • 雑誌名: IEEE Transactions on Software Engineering (TSE) 巻: - ページ: -
  • DOI: 10.1109/TSE.2018.2876843
  • 査読あり / 国際共著
• [学会発表] Privacy-preserving IoT Data Mining (2019)
  • 著者名/発表者名: Yuichi Sei
  • 学会等名: Conference on Intelligent Computing, Communication & Applied Technologies (CICCAT)
  • 国際学会 / 招待講演
• [学会発表] Knowledge Graph of University Campus Issues and Application of Completion Methods (2019)
  • 著者名/発表者名: Yuto Tsukagoshi, Takahiro Kawamura, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
  • 学会等名: International Conference on Information Integration and Web-based Applications & Services (iiWAS)
  • 国際学会
• [学会発表] Mis.Config: Finding Misreferred Configuration Bugs In Web Application Using Thin Slicing (2019)
  • 著者名/発表者名: Minami Yoda, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
  • 学会等名: IEEE/ACIS International Conference on Intelligence Science (ICIS)
  • 国際学会
• [学会発表] Self-Adaptation for Heterogeneous Client-Server Online Games (2019)
  • 著者名/発表者名: Satoru Yamagata, Hiroyuki Nakagawa, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
  • 学会等名: IEEE/ACIS International Conference on Intelligence Science (ICIS)
  • 国際学会
• [学会発表] Trajectory Anonymization: Balancing Usefulness about Position Information and Timestamp (2019)
  • 著者名/発表者名: Tomoki Chiba, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
  • 学会等名: IFIP International Conference on New Technologies, Mobility & Security (NTMS)
  • 国際学会
• [学会発表] Multi-task Deep Reinforcement Learning with Evolutionary Algorithm and Policy Gradients Method in 3D Control Tasks (2019)
  • 著者名/発表者名: Shota Imai, Yuichi Sei, Yasuyuki Tahara, Ryohei Orihara and Akihiko Ohsuga
  • 学会等名: IEEE/ACIS International Conference on Big Data, Cloud Computing, and Data Science Engineering (BCD)
  • 国際学会
• [学会発表] Model smoothing using virtual adversarial training for speech emotion estimation (2019)
  • 著者名/発表者名: Toyoaki Kuwahara, Yuichi Sei, Yasuyuki Tahara, Ryohei Orihara and Akihiko Ohsuga
  • 学会等名: IEEE/ACIS International Conference on Big Data, Cloud Computing, and Data Science Engineering (BCD)
  • 国際学会
• [学会発表] Do You Like the Sclera?: Sclera-Region Detection in Line Drawings for Automated Colorization (2019)
  • 著者名/発表者名: Masashi Aizawa, Yuichi Sei, Yasuyuki Tahara, Ryohei Orihara and Akihiko Ohsuga
  • 学会等名: IEEE/ACIS International Conference on Big Data, Cloud Computing, and Data Science Engineering (BCD)
  • 国際学会
• [学会発表] "Never fry carrots without cutting." Cooking Recipe Generation from Videos Using Deep Learning Considering Previous Process (2019)
  • 著者名/発表者名: Tatsuki Fujii, Yuichi Sei, Yasuyuki Tahara, Ryohei Orihara and Akihiko Ohsuga
  • 学会等名: IEEE/ACIS International Conference on Big Data, Cloud Computing, and Data Science Engineering (BCD)
  • 国際学会
• [学会発表] A Method for Goal Model Repair Based on Process Mining (2019)
  • 著者名/発表者名: Hiroki Horita, Hideaki Hirayama, Takeo Hayase, Yasuyuki Tahara and Akihiko Ohsuga
  • 学会等名: IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)
  • 国際学会
• [学会発表] Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems (2019)
  • 著者名/発表者名: Kazuya Aizawa, Kenji Tei, Shinichi Honiden
  • 学会等名: The 16th IEEE Int’l Conf. on Advanced and Trusted Computing (ATC 2019)
  • 国際学会
• [学会発表] Towards Real-time Self-adaptation Using a Verification Mechanism (2019)
  • 著者名/発表者名: Hiroyuki Nakagawa, Hiroki Tsuda, Tatsuhiro Tsuchiya
  • 学会等名: in Proc. of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019) (WiP Session)
  • 国際学会
• [学会発表] A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments (2019)
  • 著者名/発表者名: Piergiuseppe Mallozzi, Ezequiel Gustavo Castellano, Patrizio Pelliccione, Gerardo Schneider and Kenji Tei
  • 学会等名: 2nd International Workshop on Robotics Software Engineering (RoSE 2019)
  • 国際学会
• [学会発表] Minimising Makespan of Discrete Controllers: A Qualitative Approach (2019)
  • 著者名/発表者名: Ezequiel Castellano, Victor Braberman, Nicolas D’Ippolito, Sebastian Uchitel, Kenji Tei
  • 学会等名: 58th IEEE Conference on Decision and Control (CDC 2019)2019
  • 国際学会
• [学会発表] An efficient co-Attention Neural Network for Social Recommendation (2019)
  • 著者名/発表者名: Munan Li, Kenji Tei, and Yoshiaki Fukazawa
  • 学会等名: IEEE/WIC/ACM International Conference on Web Intelligence (WI’19)
  • 国際学会
• [学会発表] Toward identifying safety properties guaranteed simultaneously with a liveness property at runtime (2019)
  • 著者名/発表者名: Kazuya Aizawa, Kenji Tei, Shinichi Honiden
  • 学会等名: The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
  • 国際学会
• [学会発表] Analysis Space Reduction Method with Decomposing Control Problem (2019)
  • 著者名/発表者名: Takuto Yamauchi, Kenji Tei, Shinichi Honiden
  • 学会等名: The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
  • 国際学会
• [学会発表] An Algorithm for Discrete Controller Synthesis at Runtime based on Difference Information of Changed Environment (2019)
  • 著者名/発表者名: Takanori Hirano, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
  • 学会等名: The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
  • 国際学会
• [学会発表] Analysis of changed game space for ensuring safety properties at runtime (2019)
  • 著者名/発表者名: Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
  • 学会等名: The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
  • 国際学会
• [学会発表] A Mutation-based Approach for Assessing Weight Coverage of a Path Planner (2019)
  • 著者名/発表者名: Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa and Anthony Ventresque
  • 学会等名: The 26th Asia-Pacific Software Engineering Conference (APSEC 2019)
  • 国際学会
• [学会発表] Learning-Based Falsification for Model Families of Cyber-Physical Systems (2019)
  • 著者名/発表者名: Koki Kato, Fuyuki Ishikawa
  • 学会等名: The 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019)
  • 国際学会
• [学会発表] Assessing the Relation Between Hazards and Variability in Automotive Systems (2019)
  • 著者名/発表者名: [Best Paper Award] Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa
  • 学会等名: The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019)
  • 国際学会
• [学会発表] Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems (2019)
  • 著者名/発表者名: [Industry Best Paper] Hiroshi Kuwajima, Fuyuki Ishikawa
  • 学会等名: The 30th International Symposium on Software Reliability Engineering (ISSRE 2019 Industry Track)
  • 国際学会
• [学会発表] Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach (2019)
  • 著者名/発表者名: Nian-ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa
  • 学会等名: The Genetic and Evolutionary Computation Conference (GECCO 2019)
  • 国際学会
• [学会発表] Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests (2019)
  • 著者名/発表者名: Yutaka Matsuno, Fuyuki Ishikawa, Susumu Tokumoto
  • 学会等名: The 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2019 poster) at The 38th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2019)
  • 国際学会
• [学会発表] Proposal to Make IoT (ECHONE Lite) Devices,Human Behavior Sensors for Life Action Recognition (2019)
  • 著者名/発表者名: Yoshiki Sano, Riku Masuda, Naoki Matsukata, Sakai Takahiro, Moe Hamamoto, Hiroshi Sugimura, Masao Isshiki
  • 学会等名: 2019 IEEE 8th Global Conference on Consumer Electronics (GCCE)
  • 国際学会
• [学会発表] Improvement of the Device Descriptions of ECHONET Lite by Adding Version Specific Information (2019)
  • 著者名/発表者名: Hiroyuki Fujita, Hiroshi Sugimura, Moe Hamamoto, Masao Isshiki
  • 学会等名: 2019 IEEE 8th Global Conference on Consumer Electronics (GCCE)
  • 国際学会
• [学会発表] Investigation of Home Routers with Connectivity Issues and Proposal for Improving Interconnectivity (2019)
  • 著者名/発表者名: Moe Hamamoto, Takashi Murakami, Hiroshi Sugimura, Masao Isshiki
  • 学会等名: 2019 IEEE 8th Global Conference on Consumer Electronics (GCCE)
  • 国際学会
• [学会発表] Development of High Speed Flashing Line Display Using Eyeball Movement (2019)
  • 著者名/発表者名: Naoki Kawasaki, Kyohei Wakabayashi, Makiko Okumura, Takayuki Misu, Keiichi Abe,Hiroshi Sugimura
  • 学会等名: 2019 IEEE 8th Global Conference on Consumer Electronics (GCCE)
  • 国際学会
• [学会発表] Resolving IGMP Difference among Routers and Devices for Improving Interconnectivity in Home Networks (2019)
  • 著者名/発表者名: Moe Hamamoto, Takashi Murakami, Hiroshi Sugimura and Masao Isshiki
  • 学会等名: The 12th International Conference on Ubi-Media Computing (Ubi-Media 2019)
  • 国際学会
• [学会発表] COMPARISON OF IOT DEVICES ARCHITECTURE IN HOME NETWORK (2019)
  • 著者名/発表者名: Takashi Murakami, Hiroshi Sugimura, Masao Isshiki
  • 学会等名: The 5th International Conference on Connected Smart Cities 2019 (CSC 2019)
  • 国際学会
• [学会発表] IoT-Smart house to create happiness of people based with ISO/IEC 14543-4-3(ECHONET Lite) (2019)
  • 著者名/発表者名: Masao Isshiki, Yuuji Sasagawa, Hiroyuki Fujita, Hiroshi Sugimura, and Takashi Murakami
  • 学会等名: International Symposium on Novel and Sustainable Technology
  • 国際学会
• [学会発表] Adaptation Plan Policy in Traffic Routing for Priority Vehicle (2019)
  • 著者名/発表者名: Krishna Priawan Hardinda，Yuichi Sei，Yasuyuki Tahara，Akihiko Ohsuga
  • 学会等名: ソフトウェア工学の基礎ワークショップ(FOSE)
• [学会発表] 進化的計算での動的なアーキテクチャ変更と方策勾配法を用いた3次元制御タスクにおけるマルチタスク深層強化学習 (2019)
  • 著者名/発表者名: 今井翔太，折原良平，清雄一，折原良平，大須賀昭彦
  • 学会等名: 合同エージェントワークショップ＆シンポジウム (JAWS)
• [学会発表] 以前の調理工程を考慮し深層学習を用いた料理動画からのレシピ生成 (2019)
  • 著者名/発表者名: 藤井竜希，折原良平，清雄一，折原良平，大須賀昭彦
  • 学会等名: 合同エージェントワークショップ＆シンポジウム (JAWS)
• [学会発表] 自発性を考慮した音声による感情推定のための仮想敵対的学習によるモデル平滑化 (2019)
  • 著者名/発表者名: 桑原豊明，折原良平，清雄一，折原良平，大須賀昭彦
  • 学会等名: 合同エージェントワークショップ＆シンポジウム (JAWS)
• [学会発表] cGANを用いた線画の髪領域シェーディングスタイル転写手法の検討 (2019)
  • 著者名/発表者名: 逢澤昌志，折原良平，清雄一，折原良平，大須賀昭彦
  • 学会等名: 合同エージェントワークショップ＆シンポジウム (JAWS)
• [学会発表] Stacked U-NetによるCT画像再構成 (2019)
  • 著者名/発表者名: 水澤悟，清雄一，折原良平，大須賀昭彦
  • 学会等名: 合同エージェントワークショップ＆シンポジウム (JAWS)
• [学会発表] 機械学習モデルの解釈手法による競合を考慮したレビュー分析 (2019)
  • 著者名/発表者名: 小野川稜之，折原良平，清雄一，田原康之，大須賀昭彦
  • 学会等名: 合同エージェントワークショップ＆シンポジウム (JAWS)
• [学会発表] 機械学習モデルの解釈手法による競合サービスと比較したレビュー分析 (2019)
  • 著者名/発表者名: 小野川稜之，折原良平，清雄一，田原康之，大須賀昭彦
  • 学会等名: 日本ソフトウェア科学会大会
• [学会発表] Negotiation Protocol in Traffic Routing for Priority Vehicle (2019)
  • 著者名/発表者名: Hardinda Krishna Priawan，清雄一，田原康之，大須賀昭彦
  • 学会等名: 日本ソフトウェア科学会大会
• [学会発表] 機械学習の解釈手法を利用したレビュー分析 (2019)
  • 著者名/発表者名: 小野川稜之，清雄一，田原康之，折原良平，大須賀昭彦
  • 学会等名: 電子情報通信学会人工知能と知識処理研究会
• [学会発表] グレースケール人物線画の自動彩色におけるGrabcutによるデータセット作成及び白目領域検出手法の検討 (2019)
  • 著者名/発表者名: 逢澤昌志，清雄一，田原康之，大須賀昭彦
  • 学会等名: 人工知能学会全国大会
• [学会発表] 進化的計算と方策勾配法による学習を用いた3次元制御タスクにおけるマルチタスク深層強化学習 (2019)
  • 著者名/発表者名: 今井翔太，清雄一，田原康之，大須賀昭彦
  • 学会等名: 人工知能学会全国大会
• [学会発表] 環境変化の差分情報を用いた離散制御器の実行時差分合成アルゴリズム (2019)
  • 著者名/発表者名: 平野 貴規，相澤 和也，鄭 顕志，鷲崎 弘宜，本位田 真一
  • 学会等名: マルチメディア,分散協調とモバイルシンポジウム
• [学会発表] Dynamic Updating Controller自動生成のための環境モデル構築における関心事分離手法 (2019)
  • 著者名/発表者名: 山内 拓人，鄭 顕志，鷲崎 弘宜，本位田 真一
  • 学会等名: マルチメディア,分散協調とモバイルシンポジウム
• [学会発表] 鉄道制御システムに特化した離散制御器合成における状態削減モデリング手法 (2019)
  • 著者名/発表者名: 桑名 賢吾，鄭 顕志，半田 隆信，柳井 法貴，西面 敦義，深澤 良彰，本位田 真一
  • 学会等名: マルチメディア,分散協調とモバイルシンポジウム
• [学会発表] 実行時requirement enhancementのためのゲーム空間の差分分析アルゴリズム (2019)
  • 著者名/発表者名: 李 家隆，相澤 和也，鄭 顕志，鷲崎 弘宜，本位田 真一
  • 学会等名: マルチメディア,分散協調とモバイルシンポジウム
• [学会発表] 自己適応システムはなぜ動くのか：自己適応化技術とその応用 (2019)
  • 著者名/発表者名: 中川博之
  • 学会等名: 大阪大学情報科学研究科 2019 年度第 5 回ランチセミナー
  • 招待講演
• [学会発表] 確率的モデル検査器を用いた制御ループの定量的検証の試案 (2019)
  • 著者名/発表者名: 青木善貴，小形真平，小林一樹，中川博之
  • 学会等名: ソフトウェア工学の基礎ワークショップ FOSE 2019
• [学会発表] エージェント指向設計に基づいた CPS/IoTシステム設計の有効性に関する考察 (2019)
  • 著者名/発表者名: 中川博之，小形真平，青木善貴，小林一樹
  • 学会等名: 合同エージェントワークショップ＆シンポジウム 2019（JAWS2019）
• [学会発表] 文書間の類似度に基づいたトレーサビリティリンクの精度向上手法の検討 (2019)
  • 著者名/発表者名: 東和幸，中川博之，土屋達弘
  • 学会等名: 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
• [学会発表] word2vec とゴールモデルの階層性を利用した類似ゴール検出方法の提案 (2019)
  • 著者名/発表者名: 石川公一，小形真平，中川博之，岡野浩三
  • 学会等名: 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
• [学会発表] 不具合原因分析支援のための NuSMV 反例解析手法の試案 (2019)
  • 著者名/発表者名: 大池勇太郎，小形真平，青木善貴，中川博之，小林一樹，岡野浩三
  • 学会等名: 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
• [学会発表] NuSMV の反例に対する自動検証による解析支援ツールの試作 (2019)
  • 著者名/発表者名: 大池勇太郎，小形真平，青木善貴，中川博之，岡野浩三
  • 学会等名: 情報処理学会第 51 回組込みシステム研究発表会（SIGEMB）
• [学会発表] 要件定義計画を強化するアセスメント項目の提案 (2019)
  • 著者名/発表者名: 渋谷 公寛，越前谷 達朗，久保 光寛，新田 史弥，吉竹 宏幸，石川 冬樹，栗田 太郎
  • 学会等名: ソフトウェア・シンポジウム2019（SS 2019）
• [学会発表] 融合分野としての機械学習工学における技術チャレンジ (2019)
  • 著者名/発表者名: 石川 冬樹，今井 健男，勝股 審也，末永 幸平，杉山 麿人，関山 太朗，蓮尾 一郎，原 聡，丸山 宏，吉岡 信和，鷲崎 弘宜
  • 学会等名: 第2回機械学習工学ワークショップ（MLSE夏合宿2019・ポスター）
• [学会発表] 機械学習応用システムのテストにおける入力空間分割の評価 (2019)
  • 著者名/発表者名: 石川 冬樹，徳本 晋
  • 学会等名: 第2回機械学習工学ワークショップ（MLSE夏合宿2019・ポスター）
• [学会発表] 機械学習エンジニアのデータ分析と知識習得を支援するツールMALSS (2019)
  • 著者名/発表者名: 鴨志田 亮太，石川 冬樹
  • 学会等名: 第2回機械学習工学ワークショップ（MLSE夏合宿2019・ポスター）
• [学会発表] 為替レート予測における機械学習システムのモニタリング手法の検討 (2019)
  • 著者名/発表者名: 北野 健太，石川 冬樹
  • 学会等名: 第2回機械学習工学ワークショップ（MLSE夏合宿2019）
• [学会発表] 機械学習システムの動的な保証のための支援ツール開発 (2019)
  • 著者名/発表者名: 小池 湧大，松野 裕，石川 冬樹
  • 学会等名: 第2回機械学習工学ワークショップ（MLSE夏合宿2019）
• [学会発表] 機械学習活用に向けた解釈手段の比較考察 (2019)
  • 著者名/発表者名: 太田 裕一，北野 健太，早川 芳昭，石川 冬樹
  • 学会等名: 第2回機械学習工学ワークショップ（MLSE夏合宿2019）
• [学会発表] スマートメーターとHEMSを利用した実住宅での生活行動推定 (2019)
  • 著者名/発表者名: 佐野 芳樹，松方 直樹，酒井 貴洋，増田 陸，濱本 望絵，杉村 博，一色 正男
  • 学会等名: マルチメディア,分散協調とモバイルシンポジウム
• [学会発表] コミュニケーションロボット内のログデータを用いた生活見守りサービスの検討 (2019)
  • 著者名/発表者名: 布施 宏樹，村田 龍一，植竹 活夫，中村 怜央，奥村 万規子，一色 正男，安部 惠一
  • 学会等名: マルチメディア,分散協調とモバイルシンポジウム
• [学会発表] IoT(HEMS)利用の高齢者高度見守りシステム (2019)
  • 著者名/発表者名: 佐野 芳樹，濱本 望絵，杉村 博，一色 正男
  • 学会等名: 研究報告コンシューマ・デバイス＆システム（CDS）
• [学会発表] AI技術の概観と熱交換器への応用 (2019)
  • 著者名/発表者名: 清雄一
  • 学会等名: 日本冷凍空調学会「環境変化に対応するための先進熱交換技術に関する調査研究」委員会
  • 招待講演
• [学会発表] Modelling and Analysing Resilient Cyber-Physical Systems (2019)
  • 著者名/発表者名: Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinishi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel Moreno, Hausi Muller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, et al.
  • 学会等名: the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019)
  • 国際学会
• [学会発表] How do Engineers Perceive Difficulties in Engineering of Machine-Learning Systems? - Questionnaire Survey (2019)
  • 著者名/発表者名: Fuyuki Ishikawa, Nobukazu Yoshioka
  • 学会等名: Joint International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice (CESSER-IP 2019)
  • 国際学会
• [学会発表] Scenario Sampling for Cyber Physical Systems using Combinatorial Testing (2019)
  • 著者名/発表者名: Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee
  • 学会等名: The 8th International Workshop on Combinatorial Testing (IWCT 2019, Poster) at The 8th International Workshop on Combinatorial Testing (IWCT 2019)
  • 国際学会
• [学会発表] 賞味期限に着目した対話型食品管理システムの提案 (2019)
  • 著者名/発表者名: 宇田 悠佑，増田 陸，松方 直樹，渡部 智樹，一色 正男
  • 学会等名: 情報処理学会全国大会
• [学会発表] 要配慮者に対応した大規模災害時避難所管理システムのプロトタイプ開発 (2019)
  • 著者名/発表者名: 金丸斗生，蟹澤功樹，赤坂幸亮，一色正男，難波貴代，安部惠一
  • 学会等名: 情報処理学会全国大会
• [学会発表] ECHONET Liteによるレンジフードファン制御 (2019)
  • 著者名/発表者名: 高野清貴，杉村 博，一色正男
  • 学会等名: 情報処理学会全国大会
• [学会発表] 勉強に適した明るさに自動制御する家庭用電動ブラインドシステムの検討 (2019)
  • 著者名/発表者名: 酒井貴洋，堀 優樹，熊倉悠介，金子佐代，相原和維，三栖貴行，一色正男
  • 学会等名: 情報処理学会全国大会
• [学会発表] 電力見える化での機器操作情報活用による節電支援の研究 (2019)
  • 著者名/発表者名: 志田 匠，杉村 博，一色正男
  • 学会等名: 情報処理学会全国大会
• [学会発表] 人工知能を用いた大規模HEMSデータからの知識発見 (2019)
  • 著者名/発表者名: 矢澤将虎，大沼龍之介，杉村 博，一色正男
  • 学会等名: 情報処理学会全国大会
• [学会発表] ECHONET Liteによるレンジフードファン制御 (2019)
  • 著者名/発表者名: 高野 清貴，杉村 博，一色 正男
  • 学会等名: 第81回情報処理学会全国大会
• [学会発表] New indicator for centrality measurements in passing-network analysis of soccer (2019)
  • 著者名/発表者名: Masatoshi Kanbata, Ryohei Orihara, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
  • 学会等名: International Conference on Agents and Artificial Intelligence (ICAART)
  • 国際学会
• [学会発表] Generation of Multiple Choice Questions Including Panoramic Information Using Linked Data (2019)
  • 著者名/発表者名: Fumika Okuhara, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
  • 学会等名: International Conference on Agents and Artificial Intelligence (ICAART)
  • 国際学会
• [学会発表] Transforming the Emotion in Speech using a Generative Adversarial Network (2019)
  • 著者名/発表者名: Kenji Yasuda, Ryohei Orihara, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
  • 学会等名: International Conference on Agents and Artificial Intelligence (ICAART)
  • 国際学会
• [学会発表] 学内駐輪環境に関するナレッジグラフ生成と欠損推定手法適用の試み (2019)
  • 著者名/発表者名: 塚越 雄登，川村 隆浩，清 雄一，田原 康之，大須賀 昭彦
  • 学会等名: マルチエージェントと協調計算（MACC）研究会
• [学会発表] レスポンシブミュージックコントロールシステム：加速度センサーを使った演奏制御システム (2019)
  • 著者名/発表者名: 吉澤 賢人，清 雄一，田原 康之，大須賀 昭彦
  • 学会等名: マルチエージェントと協調計算（MACC）研究会
• [学会発表] タイムスタンプに対して柔軟な移動軌跡匿名化手法の提案 (2019)
  • 著者名/発表者名: 千葉 智樹，清 雄一，田原 康之，大須賀 昭彦
  • 学会等名: マルチエージェントと協調計算（MACC）研究会
• [学会発表] サイバーカスケードを考慮したエージェントモデルを用いた炎上再現に対する考察 (2019)
  • 著者名/発表者名: 宮瀬 遼，清 雄一，田原 康之，大須賀 昭彦
  • 学会等名: マルチエージェントと協調計算（MACC）研究会
• [学会発表] ぎゅっ☆ Pillow:眠りやすくするための包まれ枕の開発 (2019)
  • 著者名/発表者名: 中野 芙美，清 雄一，田原 康之，大須賀 昭彦
  • 学会等名: マルチエージェントと協調計算（MACC）研究会
• [学会発表] RoboCupサッカー2Dシミュレーションの守備行動での強化学習における報酬設計の検討 (2019)
  • 著者名/発表者名: 阿部 宇志，清 雄一，田原 康之，大須賀 昭彦
  • 学会等名: マルチエージェントと協調計算（MACC）研究会
• [学会発表] 画像付きフェイクニュースとジョークニュースの検出・分類に向けた機械学習モデルの検討 (2019)
  • 著者名/発表者名: 柳 裕太，清 雄一，田原 康之，大須賀 昭彦
  • 学会等名: マルチエージェントと協調計算（MACC）研究会
• [学会発表] Identifying safety properties guaranteed in changed environment at runtime (2018)
  • 著者名/発表者名: Kazuya Aizawa, Kenji Tei, Shinichi Honiden
  • 学会等名: 3rd IEEE International Conference on Agents (ICA 2018)
  • 国際学会
• [学会発表] Analysis on Strategies of Superposition Refinement of Event-B Specifications (2018)
  • 著者名/発表者名: Tsutomu Kobayashi, Fuyuki Ishikawa
  • 学会等名: The 20th International Conference on Formal Engineering Methods (ICFEM 2018)
  • 国際学会
• [学会発表] Concepts in Quality Assessment for Machine Learning - From Test Data to Arguments (2018)
  • 著者名/発表者名: Fuyuki Ishikawa
  • 学会等名: The 37th International Conference on Conceptual Modeling (ER)
  • 国際学会
• [学会発表] Continuous Argument Engineering: Tackling Uncertainty in Machine Learning based Systems (2018)
  • 著者名/発表者名: Fuyuki Ishikawa, Yutaka Matsuno
  • 学会等名: 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018)
  • 国際学会
• [学会発表] Anonymization and Analysis of Horizontally and Vertically Divided User Profile Databases with Multiple Sensitive Attributes (2018)
  • 著者名/発表者名: Yuki Ina, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
  • 学会等名: IEEE International Conference on Service Operations and Logistics, and Informatics (SOLI)
  • 国際学会
• [学会発表] An Optimizing Placement of Passing Places in Mountainous Areas with Evolutionary Computing (2018)
  • 著者名/発表者名: Kazuhiro Amano, Munehiro Maeda, Yasuhiro Nakamura, Yuichi Sei, and Akihiko Ohsuga
  • 学会等名: International Conference on Computing in Civil and Building Engineering (ICCCBE)
  • 国際学会
• [学会発表] 機械学習システムの現状と課題そしてこれからのことを話そう (2018)
  • 著者名/発表者名: 吉岡信和, 石川冬樹
  • 学会等名: 第1回機械学習工学ワークショップ（MLSE2018）
• [学会発表] Continuous Argument Engineering： 機械学習システムにおける議論モデルの活用に向けて: (2018)
  • 著者名/発表者名: 石川 冬樹, 松野 裕
  • 学会等名: 第1回機械学習工学ワークショップ（MLSE2018）
• [学会発表] 要求獲得のためのヒアリングにおけるゴール指向要求分析の活用 ～「ゴール指向 Lite」の提案～ (2018)
  • 著者名/発表者名: 菅原 扶, 室井 義彦, 山口 俊彦, 山崎 哲, 石川 冬樹, 栗田 太郎
  • 学会等名: ソフトウェア・シンポジウム2018
• [学会発表] 機械学習の解釈手法を用いたレビュー分析 (2018)
  • 著者名/発表者名: 小野川稜之、大須賀昭彦、清雄一、田原康之
  • 学会等名: 電子情報通信学会人工知能と知識処理研究会
• [学会発表] 2次元迷路課題における進化的計算を利用したマルチタスク深層強化学習 (2018)
  • 著者名/発表者名: 今井翔太、清雄一、田原康之、大須賀昭彦
  • 学会等名: 電子情報通信学会人工知能と知識処理研究会
• [学会発表] 音声による感情推定のための仮想敵対的学習によるモデル平滑化 (2018)
  • 著者名/発表者名: 桑原豊明、清雄一、田原康之、大須賀昭彦
  • 学会等名: 電子情報通信学会人工知能と知識処理研究会
• [学会発表] 白黒人物線画における自動彩色のための白目領域検出手法の提案 (2018)
  • 著者名/発表者名: 逢澤昌志、清雄一、田原康之、大須賀昭彦
  • 学会等名: 電子情報通信学会人工知能と知識処理研究会
• [学会発表] 深層学習を用いた料理動画からの全体的な整合性を考慮したレシピ文の自動生成 (2018)
  • 著者名/発表者名: 藤井竜希、清雄一、田原康之、大須賀昭彦
  • 学会等名: 電子情報通信学会人工知能と知識処理研究会
• [学会発表] Linked Dataを用いたカリキュラムヘ?ースの多肢選択式問題自動生成手法の提案 (2018)
  • 著者名/発表者名: 奥原史佳, 清雄一, 田原康之, 大須賀昭彦
  • 学会等名: 合同エージェントワークショップ＆シンポジウム (JAWS)
• [学会発表] CycleGANによる音声の感情変換の実験的評価 (2018)
  • 著者名/発表者名: 安田研二, 折原良平, 清雄一, 田原康之, 大須賀昭彦
  • 学会等名: 合同エージェントワークショップ＆シンポジウム (JAWS)
• [学会発表] サッカーのパス網分析における中心性測定の新指標 (2018)
  • 著者名/発表者名: 神畠正稔, 折原良平, 清雄一, 田原康之, 大須賀昭彦
  • 学会等名: 合同エージェントワークショップ＆シンポジウム (JAWS)
• [学会発表] CycleGANによる音声の感情変換 (2018)
  • 著者名/発表者名: 安田研二, 折原良平, 清雄一, 田原康之, 大須賀昭彦
  • 学会等名: 電子情報通信学会人工知能と知識処理研究会
• [学会発表] Linked Dataを用いたカリキュラムベースの多肢選択式問題自動生成手法の提案 (2018)
  • 著者名/発表者名: 奥原史佳, 清雄一, 田原康之, 大須賀昭彦
  • 学会等名: 電子情報通信学会人工知能と知識処理研究会
• [学会発表] サッカーのパス網分析における中心性測定の新指標 (2018)
  • 著者名/発表者名: 神畠正稔, 折原良平, 清雄一, 田原康之, 大須賀昭彦
  • 学会等名: 人工知能学会全国大会
• [備考] 大須賀・田原・清研究室
  • URL: http://www.ohsuga.lab.uec.ac.jp