Rchr
J-GLOBAL ID：200901029687174590   Update date: Nov. 15, 2024

TAHARA Yasuyuki

タハラ ヤスユキ | TAHARA Yasuyuki
Affiliation and department：
The University of Electro-Communications Graduate School of Informatics and Engineering, School of Informatics and Engineering, "Department of Informatics, Cluster I (Informatics and Computer Engineering)"

About The University of Electro-Communications Graduate School of Informatics and Engineering, School of Informatics and Engineering, "Department of Informatics, Cluster I (Informatics and Computer Engineering)"


Job title： Associate Professor
Homepage URL  (1)： http://www.tahara.lab.uec.ac.jp/
Research field  (1)： Software
Research keywords  (20)： ソフトウェア基礎理論 ,  セキュリティの形式検証 ,  Formal Verification of Security ,  圏論 ,  Category Theory ,  Formal Semantics ,  Algebraic Models ,  Fundamental Theories of Software ,  Security RE ,  Secure Systems Engineering ,  Requirements Engineering (Goal-Oriented RE in particular) ,  Formal Verification (Model Checking in particular) ,  Software Engineering ,  形式的意味論 ,  代数モデル ,  セキュリティ要求分析 ,  セキュアなシステムの開発手法 ,  要求工学(特にゴール指向要求分析) ,  形式検証(特にモデル検査) ,  ソフトウェア工学
Research theme for competitive and other funds  (10)：
  • 2024 - 2028 生成AI遍在社会におけるプライバシ保護基盤の創成
  • 2023 - 2027 SNS・IoT・オープンデータ融合マイニングによる施策に対する人々の行動変化予測
  • 2021 - 2025 ユビキタス機械学習社会におけるプライバシ保護基盤
  • 2018 - 2021 IoT向け自律協調自己適応機構とその形式検証手法の研究
  • 2018 - 2021 適応型プライバシ保護機能を有するIoTデータ解析基盤
Show all
Papers (218)：
  • 羽田 拓朗, 清 雄一, 田原 康之, 大須賀 昭彦. 単語の関連性に着目した複合語型隠語の検出. 情報処理学会論文誌. 2024
  • 宮内 洸希, 折原 良平, 清 雄一, 田原 康之, 大須賀 昭彦. 事前学習済み大規模画像生成モデルを用いた中空構造アイコン線画彩色,. 人工知能学会論文誌. 2024
  • 齋藤 悠貴, 江上 周作, 清 雄一, 田原 康之, 大須賀 昭彦. グラフニューラルネットワークを用いたコンテンツ推薦における知識表現の実証分析. 人工知能学会論文誌. 2024
  • Duc-Hieu Nguyen, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga. A Model-Driven Approach for Designing and Validation of ABAC Policies. Proceedings of the 22nd IEEE/ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2024). 2024. to appear
  • Yuta Yanagi, Ryohei Orihara, Yasuyuki Tahara, Yuichi Sei, Tanel Alumäe, Akihiko Ohsuga. The Proposal of Countermeasures for DeepFake Voices on Social Media Considering Waveform and Text Embedding. Annals of Emerging Technologies in Computing. 2024. 8. 2. 15-31
ｍore...
MISC (92)：
  • 斎藤 健三郎, 田原 康之, 大須賀 昭彦, 清 雄一. 強化学習を用いたGraphQL APIの自動テスト手法の提案. 第31回ソフトウェア工学の基礎ワークショップ(FOSE). 2024
  • 鳥越 湧真, 石川 冬樹, 田原 康之, 大須賀 昭彦, 清 雄一, 高橋 寿一, 高木 陽平. 画像認識モデルに対する系統的故障の適応的自動検出手法AdaSniperの提案. 第31回ソフトウェア工学の基礎ワークショップ(FOSE). 2024
  • 熊倉 多香音, 折原 良平,田原 康之,大須賀 昭彦,清 雄一. サッカーにおける実況内容を含めたマルチモーダルな行動認識手法の検討. 第23回情報科学技術フォーラム(FIT). 2024
  • 浅古 瑞穂,田原 康之,大須賀 昭彦,清 雄一. 登山の到着時刻推定タスクにおける深層学習手法の適用と評価. 第23回情報科学技術フォーラム(FIT). 2024
  • 酒井 佑旗,田原 康之,大須賀 昭彦,清 雄一. LLMを利用した深層強化学習エージェントによるウェブアプリのバグの発見. 第23回情報科学技術フォーラム(FIT). 2024
ｍore...
Books (4)：
  • マルチエージェントによる自律ソフトウェア設計・開発
    コロナ社 2017 ISBN:9784339028188
  • Performance Model Verification by UPPAAL
    Kindai kagaku sha Co., Ltd. 2012
  • Basics of Software Science
    Kindai kagaku sha Co., Ltd. 2008
  • Design Model Verification by SPIN
    Kindai kagaku sha Co., Ltd. 2008
Lectures and oral presentations  (35)：
  • Towards Flexible And Safe IoT Software with Formal Verification
    (International Conference on Health Informatics, Intelligent Systems And Networking Technologies (HINT ‘24) 2024)
  • Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems
  • ラベル付き遷移系に基づくリフレクティブなシステムのスケーラブルなモデル検査に向けて
    (情報科学技術フォーラム(FIT))
  • Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems
  • ゴールモデルの構造に基づいた共通ゴール判別手法の提案
    (ソフトウェア工学の基礎ワークショップ FOSE 2012 2012)
ｍore...
Education (1)：
  • 1989 - 1991 The University of Tokyo School of Science Department of Mathematics
Professional career (2)：
  • Master of Science (The University of Tokyo)
  • Doctor of Information and Computer Science (Waseda University)
Work history (10)：
  • 2016/04/01 - Graduate School of Informatics and Engineering Associate Professor
  • 2008/04/01 - 2016/03/31 Graduate School of Information Systems, The University of Electro-Communications Associate Professor
  • 2007/04/01 - 2008/03/31 National Institute of Informatics Associate Professor by Special Appointment
  • 2004/08/01 - 2007/03/31 National Institute of Informatics Associate Professor by Special Appointment
  • 2003/06/01 - 2004/07/31 National Institute of Informatics Scientific Research Support Staff
Show all
Committee career (6)：
  • 2021/04 - 現在 電気学会 情報システム技術委員会1号委員
  • 2019/04 - 現在 日本ソフトウェア科学会 実践的IT教育研究会 運営委員
  • 2018/04/01 - 2022/03/31 情報処理学会 情報処理学会論文誌「数理モデル化と応用」編集委員
  • 2018/04/01 - 2019/03/31 日本ソフトウェア科学会 実践的IT教育研究会 運営委員会 主査
  • 2012/04/01 - 2016/03/31 情報処理学会 情報処理学会論文誌「数理モデル化と応用」編集委員
Show all
Awards (49)：
  • 2023/11 - IEEE International Conference on Internet of Things and Intelligence Systems (IoTaIS) IEEE International Conference on Internet of Things and Intelligence Systems (IoTaIS) Best Paper Award Federated Learning Algorithm Handling Missing Attributes
  • 2023/09 - 合同エージェントワークショップ&シンポジウム2023(JAWS2023) 奨励賞 擬人化タスクにおけるカラーパレットを用いた条件付き画像生成手法の挙動分析
  • 2023/09 - 合同エージェントワークショップ&シンポジウム2023(JAWS2023) 優秀賞 音声と3DMMに基づくマスクを除去した顔画像の推定
  • 2023/05 - JP生きがい振興財団 警察研究論文奨励賞「情報通信研究の部」最優秀賞 類似語を利用した複合語型隠語の検出
  • 2023/03 - 第15回データ工学と情報マネジメントに関するフォーラム(DEIM2023) 学生プレゼンテーション賞 深層強化学習を用いた文章の言い換えによる駄洒落生成モデルの検討
Show all
Association Membership(s) (3)：
電気学会 ,  Information Processing Society of Japan ,  Japan Society for Software Science and Technology
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM