解説論文賞表彰規定

第10回解説論文賞 (2024年度)

「大規模C++プロジェクトにおけるコンパイル高速化手法について」

窪田貴文, 河野健二, Vol. 39, No. 3 (2022)

「プログラム合成技術の動向調査」

倉林利行, 丹野治門, 切貫弘之, 大島剛志, Vol.40, No. 2 (2023)

第9回解説論文賞 (2022年度)

選定なし

第8回解説論文賞 (2020年度)

該当論文なし

第7回解説論文賞 (2018年度)

「SAT型制約プログラミングシステムと周辺技術」

宋剛秀, 番原 睦則, 田村直之, Vol. 34, No. 1 (2017)

「暗号系の安全性検証 - 入門から計算機による証明まで」

川本裕輔, Vol. 33, No. 4 (2016)

第6回解説論文賞 (2016年度)

「モデル検査による設計検証」

吉岡信和, 田辺良則, 田原康之, 長谷川哲夫, 磯部祥尚, Vol. 31, No. 4 (2014)

「LR構文解析の原理」

大堀淳， Vol. 31, No. 1 (2014)

第5回解説論文賞 (2014年度)

5編で1件として選定

『計算機科学者のためのゲーム理論入門』シリーズ
第1回 非協力ゲーム(基礎編), Vol. 29, No. 2 (2013)
第2回 非協力ゲーム(発展編), Vol. 29, No. 3 (2013)
第3回 メカニズムデザイン(基礎編), Vol. 29, No. 4 (2013)
第4回 メカニズムデザイン(応用編), Vol. 30, No. 1 (2013)
第5回 協力ゲーム, Vol. 30, No. 2 (2013)

横尾真, 岩崎敦, 櫻井祐子, 岡本吉央

第4回解説論文賞 (2012年度)

「自律分散制御から知能創発の工学化への視点」

我妻広明, Vol. 28, No. 1 (2011)

「言語理論の話をしよう」

関浩之，鰺坂恒夫, Vol. 28, No. 3 (2011)

第3回解説論文賞 (2010年度)

2編を1件として選定

「静的単一代入形式を用いた最適化(導入編)」

佐々政孝, 滝本宗宏, Vol. 25, No. 1 (2008)

「静的単一代入形式を用いた最適化(発展編)」

滝本宗宏, 佐々政孝, Vol. 25, No. 1 (2008)

第2回解説論文賞 (2008年度)

「アスペクト指向プログラミング」

増原英彦, Vol. 23, No. 2 (2006)

「スケッチインタフェースの研究動向」

五十嵐健夫, Vol. 23, No. 4 (2006)

第1回解説論文賞 (2006年度)

「XMLとスキーマ言語」

村田真, 川口耕介, Vol. 21, No. 6 (2004)

「抽象化を用いた検証ツール」

田辺良則, 高井利憲, 高橋孝一, Vol. 22, No. 1 (2005)