情報学部計算機科学科の馬谷誠二准教授が、情報処理学会2026年度山下記念研究賞を受賞しました。

受賞日：2026年8月31日

研究テーマ：ホスト処理系の変更を要しない衛生的マクロに基づく多段階プロ

グラミングDSL

本研究では、プログラムコードを安全に生成・実行するための新しい手法を提

案しました。コード自動生成は強力な枠組みですが、変数名の取り違えが発生

しやすい難しさがあります。本研究では「衛生的マクロ」の仕組みを活用し、

既存の言語処理系に手を加えることなく、関数型言語Racketのライブラリとし

て安全なコード生成環境を実現しました。シンプルな着想で課題を解決し、実

用的なツールとしての性能を評価した点が高く評価されました。

受賞のコメント

この度、山下記念研究賞をいただき大変光栄に思います。強力なプログラミン

グ手法をより安全・手軽に使える形に落とし込めたことを嬉しく思っておりま

す。日頃の研究活動を支えてくださる皆様に深く感謝いたしますとともに、今

後も計算機科学の発展に貢献できるよう励んでまいります。