千葉大学大学院理学研究院

塚田武志教授

プログラム（＝コンピュータへの計算内容の指示書）は人間が意図を持って書くわけですが、プログラムの内容が人間の意図に沿っていないこと（＝バグ）がよく問題になります。人間の意図をコンピュータに適切に伝えるにはどういう言語が良いか、プログラムが人間の意図通りの内容になっていることの保証をどうするか、ということを研究しています。

最近関心を持っているテーマ: プログラム検証の理論、プログラムの量子的重ね合わせ、プログラムにおける因果性の理論
研究におけるモットー: 鉄は熱いうちに打て

名前: 塚田武志 / ツカダタケシ研究者情報

部署: 千葉大学大学院理学研究院

職名: 教授

キーワード: プログラム検証、型システム、ゲーム意味論、プログラム意味論

関連ウェブサイト: 塚田武志

所属学会情報

日本数学会
ACM
情報処理学会
日本ソフトウェア科学会

報道出演関連 ・掲載一覧 ／その他

【メディア出演など】

＜web記事＞

2024年10月18日 NIKKEI COMPASS 『千葉大学先進学術賞授賞式を実施～高い研究能力を示した若手研究者個人を表彰～［国立大学法人千葉大学］』
2024年10月18日 BIGLOBE 『千葉大学先進学術賞授賞式を実施～高い研究能力を示した若手研究者個人を表彰～』
2024年10月18日サードニュース『千葉大学先進学術賞授賞式を実施～高い研究能力を示した若手研究者個人を表彰～』
2024年10月18日 @niftyニュース『千葉大学先進学術賞授賞式を実施～高い研究能力を示した若手研究者個人を表彰～』
2024年10月18日千葉日報『千葉大学先進学術賞授賞式を実施～高い研究能力を示した若手研究者個人を表彰～』

【受賞歴】

2025年 Distinguished Paper Award, the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025)
2024年千葉大学先進学術賞国立大学法人千葉大学
2014年 EATCS Best Paper Award

【委員歴】

2024年 – 現在情報処理学会プログラミング研究会幹事
2019 – 2023年情報処理学会プログラミング研究会運営委員

【書籍】

塚田武志著「6 ゲーム意味論」徳山豪、小林直樹総編集『理論計算機科学事典』朝倉書店 2022

塚田 武志 教授

塚田武志教授