研究者
J-GLOBAL ID：200901029687174590   更新日: 2024年04月25日

田原 康之

タハラ ヤスユキ | TAHARA Yasuyuki
所属機関・部署：
電気通信大学 大学院情報理工学研究科、情報理工学域情報学専攻、I類 (情報系)

電気通信大学 大学院情報理工学研究科、情報理工学域情報学専攻、I類 (情報系) について


職名： 准教授
ホームページURL (1件)： http://www.ohsuga.lab.uec.ac.jp/
研究分野 (1件)： ソフトウェア
研究キーワード (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 ,  形式的意味論 ,  代数モデル ,  セキュリティ要求分析 ,  セキュアなシステムの開発手法 ,  要求工学(特にゴール指向要求分析) ,  形式検証(特にモデル検査) ,  ソフトウェア工学
競争的資金等の研究課題 (10件)：
  • 2024 - 2028 生成AI遍在社会におけるプライバシ保護基盤の創成
  • 2023 - 2027 SNS・IoT・オープンデータ融合マイニングによる施策に対する人々の行動変化予測
  • 2021 - 2025 ユビキタス機械学習社会におけるプライバシ保護基盤
  • 2018 - 2021 IoT向け自律協調自己適応機構とその形式検証手法の研究
  • 2018 - 2021 適応型プライバシ保護機能を有するIoTデータ解析基盤
全件表示
論文 (214件)：
  • 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
  • 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
もっと見る
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
もっと見る
書籍 (4件)：
  • マルチエージェントによる自律ソフトウェア設計・開発
    コロナ社 2017 ISBN:9784339028188
  • UPPAALによる性能モデル検証
    近代科学社 2012
  • ソフトウェア科学基礎-最先端のソフトウェア開発に求められる数理的基礎
    近代科学社 2008
  • SPIN による設計モデル検証
    近代科学社 2008
講演・口頭発表等 (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
    (日本ソフトウェア科学会第40回大会)
  • ラベル付き遷移系に基づくリフレクティブなシステムのスケーラブルなモデル検査に向けて
    (情報科学技術フォーラム(FIT))
  • Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems
    (ソフトウェアエンジニアリングシンポジウム(SES))
  • ゴールモデルの構造に基づいた共通ゴール判別手法の提案
    (ソフトウェア工学の基礎ワークショップ FOSE 2012 2012)
もっと見る
学歴 (1件)：
  • 1989 - 1991 東京大学 大学院 理学系研究科 数学専攻
学位 (2件)：
  • 理学修士 (東京大学)
  • 博士(情報科学) (早稲田大学)
経歴 (10件)：
  • 2016/04/01 - 電気通信大学 大学院情報理工学研究科 准教授
  • 2008/04/01 - 2016/03/31 電気通信大学 大学院情報システム学研究科 准教授
  • 2007/04/01 - 2008/03/31 国立情報学研究所 特任准教授
  • 2004/08/01 - 2007/03/31 国立情報学研究所 特任助教授
  • 2003/06/01 - 2004/07/31 国立情報学研究所 科学研究支援員
全件表示
委員歴 (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 情報処理学会 情報処理学会論文誌「数理モデル化と応用」編集委員
全件表示
受賞 (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 音声と3DMMに基づくマスクを除去した顔画像の推定
  • 2023/05 - JP生きがい振興財団 警察研究論文奨励賞「情報通信研究の部」最優秀賞 類似語を利用した複合語型隠語の検出
全件表示
所属学会 (3件)：
電気学会 ,  情報処理学会 ,  日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM