Rchr
J-GLOBAL ID：200901029687174590   Update date: Apr. 24, 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.ohsuga.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 (213)：
  • 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
  • Riho Isawa, Yuicih Sei, Yasuyuki Tahara, Akihiko Ohsuga. Minimizing Noise in Location Privacy Protection Through Equipment Error Consideration. International Journal of Electrical and Computer Engineering Systems. 2024. 15. 3. 285-296
  • Natsumi Baba, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga. Proposal of a Cosmetic Product Recommendation Method with Review Text that is Predicted to Be Write by Users. ICAART (3). 2024. 609-616
  • Yuki Saito, Shusaku Egami, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga. An Analysis of Knowledge Representation for Anime Recommendation Using Graph Neural Networks. ICAART (2). 2024. 243-252
  • Keiichiro Oishi, Yuichi Sei, Andrew J, Yasuyuki Tahara, Akihiko Ohsuga. Algorithm to Satisfy l-diversity by Combining Dummy Records and Grouping. Security and Privacy. 2024
ｍore...
MISC (76)：
  • 佐藤大樹,清雄一,田原康之,大須賀昭彦. ライブ配信サイトTwitchにおける人気配信者の要因の分析. 第16回データ工学と情報マネジメントに関するフォーラム (DEIM Forum). 2024
  • 藤山仁聖,清雄一,田原康之,大須賀昭彦. マルチプレイヤRPGにおいて人間らしいプレイスタイルをとるゲームAIの提案. 第16回データ工学と情報マネジメントに関するフォーラム (DEIM Forum). 2024
  • 前島涼弥,清雄一,田原康之,大須賀昭彦. ボール奪取と攻撃の防御に基づくアクションによるサッカー選手の攻守評価. 第16回データ工学と情報マネジメントに関するフォーラム (DEIM Forum). 2024
  • 美濃岡知樹,清雄一,田原康之,大須賀昭彦. バドミントンの試合データを用いたショットの成功確率予測. 第16回データ工学と情報マネジメントに関するフォーラム (DEIM Forum). 2024
  • 佐々木嵩仁,清雄一,田原康之,大須賀昭彦. スケッチによるマスク不要の表情差分生成手法の提案. 第16回データ工学と情報マネジメントに関するフォーラム (DEIM Forum). 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  (34)：
  • 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)
  • CRFを用いたメディア情報の抽出とLinked Data化 ~ ソーシャルメディアとマスメディアの比較事例 ~
    (合同エージェントワークショップ&シンポジウム2012(JAWS-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 (50)：
  • 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/09 - IEEE Computer Society Japan Chapter JAWS Young Researcher Award
  • 2023/05 - JP生きがい振興財団 警察研究論文奨励賞「情報通信研究の部」最優秀賞 類似語を利用した複合語型隠語の検出
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