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

田原 康之

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

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


職名： 准教授
ホームページURL (1件)： http://www.tahara.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データ解析基盤
全件表示
論文 (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
もっと見る
MISC (92件)：
  • 斎藤 健三郎, 田原 康之, 大須賀 昭彦, 清 雄一. 強化学習を用いたGraphQL APIの自動テスト手法の提案. 第31回ソフトウェア工学の基礎ワークショップ(FOSE). 2024
  • 鳥越 湧真, 石川 冬樹, 田原 康之, 大須賀 昭彦, 清 雄一, 高橋 寿一, 高木 陽平. 画像認識モデルに対する系統的故障の適応的自動検出手法AdaSniperの提案. 第31回ソフトウェア工学の基礎ワークショップ(FOSE). 2024
  • 熊倉 多香音, 折原 良平,田原 康之,大須賀 昭彦,清 雄一. サッカーにおける実況内容を含めたマルチモーダルな行動認識手法の検討. 第23回情報科学技術フォーラム(FIT). 2024
  • 浅古 瑞穂,田原 康之,大須賀 昭彦,清 雄一. 登山の到着時刻推定タスクにおける深層学習手法の適用と評価. 第23回情報科学技術フォーラム(FIT). 2024
  • 酒井 佑旗,田原 康之,大須賀 昭彦,清 雄一. LLMを利用した深層強化学習エージェントによるウェブアプリのバグの発見. 第23回情報科学技術フォーラム(FIT). 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 情報処理学会 情報処理学会論文誌「数理モデル化と応用」編集委員
全件表示
受賞 (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) 学生プレゼンテーション賞 深層強化学習を用いた文章の言い換えによる駄洒落生成モデルの検討
全件表示
所属学会 (3件)：
電気学会 ,  情報処理学会 ,  日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM