オープンソース開発、ソフトウェアプロダクト開発、エンタープライズシステム開発などの様々な開発を経てゲームプログラマに。株式会社スクウェア・エニックスでは、Luminous Studio、FINAL FANTASY XVの開発に参加し、VFX・UIを担当。産学連携による共同研究の仕組み作りに従事し、2022年より現職。専門は言語処理系。ACM SIGGRAPH Asia 2018 Real Time Live! Chair、2021 Games Chair。共著『ゲームエンジニア養成読本』（Software Design plusシリーズ、技術評論社）。

毎年書いている気がしますが、独力で数学を学ぶのって難しいですよね。
今年は少し方向性を変えてみましたが、これまで同様、高校数学と大学数学の壁を越える一助になれば幸いです。

2004年、大阪大学 大学院基礎工学研究科 博士課程を修了。同年、岡山県立大学 情報工学部 助手。2016年、同大学 情報工学部 准教授。博士（工学）。専門分野はモデル検査を用いたソフトウェアシステムの形式的検証。情報処理学会主催のソフトウェアエンジニアリングシンポジウム（2013〜2022）およびウィンターワークショップ（2014〜2023）において、形式手法の情報交換を目的としたセッションを開催。過去の講演として、「形式仕様記述を用いたモデルベースのソフトウェア検証技術」（ベリサーブ アカデミック イニシアティブ 2016）など。

ホーア論理や様相論理など、普段のゲーム開発ではあまり意識しない数理論理学の内容を扱いますが、多くの方の参考となるような講義にしたいと思います。