Tomoyuki Yokogawa (横川 智教)

• 岡山県立大学 情報工学部 情報システム工学科
  • 知的インタフェースシステム工学講座・回路デザイン研究室 准教授

[researchmap][DBLP]

プロフィール

略歴

• 1999年3月 大阪大学 基礎工学部 情報科学科 中退（飛び入学のため）
• 2001年3月 大阪大学 大学院基礎工学研究科 情報数理系専攻 博士前期課程 修了（修士(工学)）
• 2004年3月 大阪大学 大学院基礎工学研究科 情報数理系専攻 博士後期課程 修了（博士(工学)）
• 2004年4月 大阪大学 大学院情報科学研究科 研究員（2004年4月30日まで）
• 2004年5月 岡山県立大学 情報工学部 情報システム工学科 助手
• 2007年4月 岡山県立大学 情報工学部 情報システム工学科 助教
• 2016年4月 岡山県立大学 情報工学部 情報システム工学科 准教授

所属学会

• 情報処理学会 (シニア会員)，電子情報通信学会 (シニア会員)，日本ソフトウェア科学会，IEEE, ACM

研究テーマ

• キーワード
  • モデル検査，形式手法，ソフトウェア工学
• テーマ
  • モデル検査ツールを対象としたビジュアルプログラミング環境の開発
  • 組込みシステム設計ドキュメント間の整合性検証の自動化
  • モデル検査を用いたゲームプログラムの形式的検証

研究業績

研究業績

担当授業科目

担当授業科目

役員等

プログラム委員

• APSEC2023(SEIP), APSEC2022(SEIP)
• DCCS2024,DCCS2023, DCCS2022
• ICFEM2024
• SCAI2024
• SERA2021, SERA2014
• SES2024, SES2023, SES2022, SES2019, SES2018, SES2017, SES2016, SES2015
• VST2016

運営委員， 編集委員等

活動中

• 電子情報通信学会システム数理と応用研究専門委員会 専門委員（2016年〜）
• 情報処理学会ソフトウェア工学研究会 幹事（2021年〜）
• 情報処理学会論文誌「ソフトウェア工学」特集号 編集委員（2024年）
• 情報処理学会ソフトウェア工学研究会 産学連携促進WG 幹事 (2019年〜)

活動終了

• 電子情報通信学会ソフトウェアサイエンス研究専門委員会 専門委員（2018年〜2023年）
• 情報処理学会ソフトウェア工学研究会 運営委員（2012年〜2015年，2020年）
• 情報処理学会組込みシステム研究会 運営委員（2017年〜2020年）
• 電子情報通信学会 回路とシステムワークショップ (KWS) 幹事（2021年）
• 電子情報通信学会 回路とシステムワークショップ (KWS) 世話人（2020年）
• 電子情報通信学会 回路とシステムワークショップ (KWS) 実行委員（2018年，2019年）
• 情報処理学会ソフトウェアエンジニアリングシンポジウム (SES) プログラム委員長（2021年）
• 情報処理学会ソフトウェアエンジニアリングシンポジウム (SES) 副プログラム委員長（2020年）
• 情報処理学会ソフトウェアエンジニアリングシンポジウム (SES) ポスター委員長（2017年）
• 情報処理学会ソフトウェアエンジニアリングシンポジウム (SES) ワークショップ委員長（2016年）
• 情報処理学会ソフトウェアエンジニアリングシンポジウム (SES) 広報委員長（2023年）
• 日本ソフトウェア科学会第23回ソフトウェア工学の基礎ワークショップ (FOSE2016) 共同プログラム委員長（2016年）
• 電子情報通信学会和文論文誌D 編集委員長（2022年〜2023年）
• 電子情報通信学会和文論文誌D 編集副委員長（2021年）
• 電子情報通信学会和文論文誌D 編集幹事（2018年〜2019年）
• 電子情報通信学会和文論文誌D 編集委員（2015年〜2017年）
• 電子情報通信学会和文論文誌D「学生論文」特集号 編集委員長（2020年）
• 電子情報通信学会和文論文誌D「学生論文」特集号 編集幹事（2017年，2018年）
• 電子情報通信学会和文論文誌D「学生論文」特集号 編集委員（2015年，2016年）
• 電子情報通信学会和文論文誌D「システム開発論文」特集号 編集委員（2017年）
• 電子情報通信学会英文論文誌D 編集委員（2019年〜2022年）
• 電子情報通信学会英文論文誌D「フォーマルアプローチ」小特集号 編集委員長 (2022年)
• 電子情報通信学会英文論文誌D「フォーマルアプローチ」小特集号 編集幹事（2019年，2020年，2021年）
• 電子情報通信学会英文論文誌D「フォーマルアプローチ」小特集号 編集委員（2017年，2018年）
• 電子情報通信学会英文論文誌D「知能ソフトウェア工学」小特集号 編集委員（2019年，2021年，2023年）
• 電子情報通信学会英文論文誌A「回路とシステム」小特集号 編集幹事（2021年）
• 電子情報通信学会英文論文誌A「回路とシステム」小特集号 編集委員（2020年）
• 電子情報通信学会ISSソサイエティ誌 編集委員（2021年）
• 情報処理学会論文誌「ソフトウェア工学」特集号 編集委員長（2022年）
• 情報処理学会論文誌「ソフトウェア工学」特集号 編集委員（2020年，2021年，2023年）
• 日本ソフトウェア科学会 コンピュータソフトウェア「ソフトウェア工学の基礎」特集号 編集委員（2016年）

その他委員等

• 情報処理学会 情報処理教育委員会 カリキュラム標準 J17 ソフトウェアエンジニアリング領域 (J17-SE) WG 委員
• NEDO「高効率・高速処理を可能とするAIチップ・次世代コンピューティングの技術開発に係る人材育成のための課題調査」に係る公募 採択審査委員

受賞

• 2019年 電子情報通信学会情報システムソサエティ活動功労賞
• 2020年 PROMISE2020 Best Paper Award
• 2022年 ソフトウェア工学研究会卓越研究賞
• 2023年 ソフトウェア工学研究会卓越研究賞

外部資金獲得

科学研究費補助金

• 基盤研究(C)，23K11382（2023-2025，代表）
• 基盤研究(C)，21K11833（2021-2023，分担）
• 基盤研究(C)，21K11831（2021-2023，分担）
• 基盤研究(C)，18K11246（2018-2021，分担）
• 基盤研究(C)，16K00099（2016-2018，分担）
• 若手研究(B)，19700030（2007-2008，代表）

競争的研究資金

• JST・戦略的創造研究推進事業（CREST）「触覚の価値を創造する深化型マルチフィジックスセンシングシステム」（2020〜2025，分担）
• 総務省・戦略的情報通信研究開発推進事業（SCOPE）「環境電源によるローカル5G基地局とドローンを用いた農水産業高度化」（2020〜2022，分担）
• NEDO・新エネルギー等のシーズ発掘・事業化に向けた技術研究開発事業「エネルギーマッチングAIを用いるノーマリーオフ型ローカル5G基地局の技術開発」（2019〜2021，分担）
• JST・戦略的創造研究推進事業（CREST）「繊細な触覚を定量的に検知する「ナノ触覚神経網」の開発と各種の手触り感計測技術への応用」（2015〜2020，分担）
• 公益財団法人ウエスコ学術振興財団・学術研究費助成事業「ステートマシン図を用いたWebアプリケーションの自動テスト環境の開発」（2016，代表）
• STARC・2015年度IS共同研究プログラム「SoCフォーマル検証における状態爆発回避を目的としたモデル抽象化支援ツールの開発」（2015，代表）
• 公益財団法人ウエスコ学術振興財団・学術研究費助成事業「ステートマシン図を用いたWebアプリケーションの自動テスト環境の開発」（2015，代表）
• JST・平成25年度研究成果最適展開支援プログラム（A-STEP）探索タイプ「密結合へテロジニアスマルチコアによる高信頼車載応用画像認識の研究」（2014，分担）
• NEDO「ノーマリオフコンピューティング基盤技術開発」（2014，ルネサスエレクトロニクス(株) 再委託）
• IPA・2013年度ソフトウェア工学分野の先導的研究支援事業（RISE）「抽象化に基づいたUML設計の検証支援ツールの開発」（2013，分担）