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

田原 康之

タハラ ヤスユキ | TAHARA Yasuyuki
所属機関・部署:
職名: 准教授
ホームページ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データ解析基盤
全件表示
論文 (189件):
  • 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
  • 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
  • 本田 爽, 折原 良平, 清 雄一, 田原 康之, 大須賀 昭彦. StyleMap を用いた事前学習済み StyleGAN による画像編集. 情報処理学会論文誌. 2024. 65. 1
  • 高田 宗一郎, 清 雄一, 田原 康之, 大須賀 昭彦. 少数サンプルから多様なゲームステージを生成するGANの学習手法の提案. 情報処理学会論文誌. 2024. 65. 1
もっと見る
MISC (66件):
  • 宮内 洸希, 折原 良平, 清 雄一, 田原 康之, 大須賀 昭彦. 大規模条件付き画像生成モデルを用いたテキストによる出力制御可能なアイコン線画彩色. 合同エージェントワークショップ&シンポジウム (JAWS) 2023. 2023. 信学技報 123. 190. 201-206
  • 赤塚 哲丸, 折原 良平, 清 雄一, 田原 康之, 大須賀 昭彦. 音声と3DMMに基づくマスクを除去した顔画像の推定. 合同エージェントワークショップ&シンポジウム (JAWS) 2023. 2023. 信学技報 123. 190. 187-193
  • 齋藤 悠貴, 折原 良平, 清 雄一, 田原 康之, 大須賀 昭彦. 複数データソースを統合したアニメーション作品のナレッジグラフに基づく作品推薦. 合同エージェントワークショップ&シンポジウム (JAWS) 2023. 2023. 信学技報 123. 190. 172-179
  • 馬場 菜摘, 清 雄一, 田原 康之, 大須賀 昭彦. 化粧品レビュー文の特徴自動スコアリングを用いたレビュー文付きアイテム推薦の研究. 合同エージェントワークショップ&シンポジウム (JAWS) 2023. 2023. 信学技報 123. 190. 167-171
  • 徐 江林, 折原 良平, 清 雄一, 田原 康之, 大須賀 昭彦. 擬人化タスクにおけるカラーパレットを用いた条件付き画像生成手法の挙動分析. 合同エージェントワークショップ&シンポジウム (JAWS) 2023. 2023. 信学技報 123. 190. 101-108
もっと見る
書籍 (4件):
  • マルチエージェントによる自律ソフトウェア設計・開発
    コロナ社 2017 ISBN:9784339028188
  • UPPAALによる性能モデル検証
    近代科学社 2012
  • ソフトウェア科学基礎-最先端のソフトウェア開発に求められる数理的基礎
    近代科学社 2008
  • SPIN による設計モデル検証
    近代科学社 2008
講演・口頭発表等 (34件):
  • 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)
  • CRFを用いたメディア情報の抽出とLinked Data化 ~ ソーシャルメディアとマスメディアの比較事例 ~
    (合同エージェントワークショップ&シンポジウム2012(JAWS-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件):
  • 2018/04/01 - 2022/03/31 情報処理学会 情報処理学会論文誌「数理モデル化と応用」編集委員
  • 2021/04/01 - 電気学会 情報システム技術委員会1号委員
  • 2019/04/01 - 日本ソフトウェア科学会 実践的IT教育研究会 運営委員
  • 2018/04/01 - 2019/03/31 日本ソフトウェア科学会 実践的IT教育研究会 運営委員会 主査
  • 2012/04/01 - 2016/03/31 情報処理学会 情報処理学会論文誌「数理モデル化と応用」編集委員
全件表示
受賞 (49件):
  • 2023/09 - 合同エージェントワークショップ&シンポジウム2023(JAWS2023) 奨励賞 擬人化タスクにおけるカラーパレットを用いた条件付き画像生成手法の挙動分析
  • 2023/09 - 合同エージェントワークショップ&シンポジウム2023(JAWS2023) 優秀賞 音声と3DMMに基づくマスクを除去した顔画像の推定
  • 2023/09 - IEEE Computer Society Japan Chapter JAWS Young Researcher Award 音声と3DMMに基づくマスクを除去した顔画像の推定
  • 2023/05 - JP生きがい振興財団 警察研究論文奨励賞「情報通信研究の部」最優秀賞 類似語を利用した複合語型隠語の検出
  • 2023/03 - 第15回データ工学と情報マネジメントに関するフォーラム(DEIM2023) 学生プレゼンテーション賞 深層強化学習を用いた文章の言い換えによる駄洒落生成モデルの検討
全件表示
所属学会 (3件):
電気学会 ,  情報処理学会 ,  日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る