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

横川 智教

ヨコガワ トモユキ | YOKOGAWA Tomoyuki
所属機関・部署：
岡山県立大学 情報工学部 情報システム工学科

岡山県立大学 情報工学部 情報システム工学科 について


職名： 准教授
ホームページURL (2件)： https://t-yokoga.github.io/ ,  https://t-yokoga.github.io/cv-en/
研究分野 (1件)： ソフトウェア
研究キーワード (7件)： モデル検査 ,  形式手法 ,  ソフトウェア工学 ,  プロセス代数 ,  自動検証 ,  ソフトウェア ,  UML
競争的資金等の研究課題 (14件)：
  • 2023 - 2026 ノードグラフの検証自動化に基づくビデオゲーム開発のQA/QCプロセスの効率化
  • 2021 - 2024 開発者に依存しやすい品質特性の定量的分析と自動評価法の開発
  • 2021 - 2024 新たな領域に踏み出すソフトウェア開発組織のための予測・見積もりモデル
  • 2020 - 2022 環境電源によるローカル5G基地局とドローンを用いた農水産業高度化
  • 2018 - 2021 プロジェクトデータ資産を積極的に活用する工数見積もりモデルに関する研究
全件表示
論文 (85件)：
  • Hirohisa Aman, Sousuke Amasaki, Tomoyuki Yokogawa, Minoru Kawahara. A Quantitative Investigation of Trends in Confusing Variable Pairs Through Commits: Do Confusing Variable Pairs Survive?. Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering. 2024
  • Yahiro Mori, Hirohisa Aman, Sousuke Amasaki, Tomoyuki Yokogawa, Minoru Kawahara. An Application of Program Slicing and CodeBERT to Distill Variables With Inappropriate Names. SERA. 2024. 356-361
  • Pattara Leelaprute, Yuki Kase, Sousuke Amasaki, Hirohisa Aman, Tomoyuki Yokogawa. A Multi - Aspect Evaluation of DL-based SQLi Attack Detection Models. SERA. 2024. 352-355
  • Tomoya Kubo, Tomoyuki Yokogawa, Kazutami Arimoto, Masaki Hokari, Isao Kayano. Enhancing the Generalization Performance of Drowsiness Estimation AI in Drivers Using Time-Series Data from FAUs with Limited Datasets. 2023 15th International Congress on Advanced Applied Informatics Winter (IIAI-AAI-Winter). 2023
  • Ryugo Tanaka, Tomoyuki Yokogawa, Sousuke Amasaki, Hirohisa Aman, Kazutami Arimoto. Applying Symbolic Model Checking to Node-graph Style Game Scripts with Time Constraints. 2023 IEEE 12th Global Conference on Consumer Electronics (GCCE). 2023. 892-895
もっと見る
MISC (205件)：
  • 田中琉吾, 横川智教, 天嵜聡介, 阿萬裕久, 有本和民. 時間制約をもつゲームスクリプトを対象としたモデル検査手法の提案. 情報処理学会研究報告(Web). 2024. 2024. SE-217
  • 水本拓海, 横川智教, 天嵜聡介, 阿萬裕久, 有本和民. ビジュアルプログラミングに基づくモデル検査支援環境の開発と評価. 情報処理学会研究報告(Web). 2024. 2024. SE-217
  • 横川 智教. 特集「ソフトウェア工学」の編集にあたって. 情報処理学会論文誌. 2023. 64. 4. 830-830
  • 久保智哉, 横川智教, 有本和民, 穂苅真樹, 茅野功. ドライバーの眠気予測を目的とした顔表情評定AIシステムの汎化性能向上に向けての検討. 電子情報通信学会技術研究報告(Web). 2023. 123. 31(SeMI2023 1-20)
  • 三谷孝太郎, 横川智教, 有本和民. AIを用いた生育情報判定システムの高性能化検討. 電子情報通信学会技術研究報告(Web). 2023. 123. 31(SeMI2023 1-20)
もっと見る
特許 (3件)：
講演・口頭発表等 (3件)：
  • モデル検査のゲーム開発への適用 〜FINAL FANTASY XV の開発を例として〜
    (CEDEC2018 2018)
  • 形式仕様記述を用いたモデルベースのソフトウェア検証技術
    (ベリサーブ アカデミック イニシアティブ 2016 in 大阪 2016)
  • 抽象化に基づいたUML設計の検証支援ツールの開発
    (ETWest2014 IPA ブースプレゼン 2014)
学歴 (3件)：
  • 2001 - 2004 大阪大学 大学院基礎工学研究科 情報数理系専攻
  • 1999 - 2001 大阪大学 大学院基礎工学研究科 情報数理系専攻 計算機科学分野
  • 1996 - 1999 大阪大学 基礎工学部 情報科学科
学位 (2件)：
  • 修士(工学) (大阪大学)
  • 博士(工学) (大阪大学)
経歴 (4件)：
  • 2016/04 - 現在 岡山県立大学 情報工学部 情報システム工学科 准教授
  • 2007/04 - 2016/03 岡山県立大学 情報工学部 情報システム工学科 助教
  • 2004/05 - 2007/03 岡山県立大学 情報工学部 情報システム工学科 助手
  • 2004/04 - 2004/04 大阪大学 大学院情報科学研究科 研究員
委員歴 (32件)：
  • 2022/06 - 現在 電子情報通信学会 和文論文誌D 編集委員長
  • 2021/04 - 現在 情報処理学会 ソフトウェア工学研究会 幹事
  • 2018/04 - 現在 電子情報通信学会 ソフトウェアサイエンス研究会 (SS) 専門委員
  • 2016/04 - 現在 電子情報通信学会 システム数理と応用研究会 (MSS) 専門委員
  • 2018/06 - 2023/05 電子情報通信学会 英文論文誌D 編集委員
全件表示
所属学会 (3件)：
日本ソフトウェア科学会 ,  情報処理学会 ,  電子情報通信学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM