表彰等
論文賞
論文賞選考規定
梅村 晃広，Vol. 27, No. 1 (2010), pp. 101–119. 「グラフ書換による計算折り紙のモデル化と実現」
高橋 英和, 井田 哲雄：，Vol. 27， No．2 (2010), pp. 2–13.
五十嵐 悠紀, 五十嵐 健夫, 鈴木 宏正，Vol. 26, No. 1 (2009), pp. 51–58. 「Java 言語への変換によるポインタ演算の安全な実装方式」
上嶋 祐紀, 住井 英二郎：，Vol. 26, No. 1 (2009), pp. 139–154.
千代 英一郎，Vol. 25, No. 3(2008), pp.113-134.
「TBCppA: 追跡子を用いたC前処理系解析器」
権藤 克彦，川島 勇人，今泉 貴史，Vol. 25, No. 1(2008), pp. 105-123.
風間一洋， 佐藤進也， 斉藤和巳， 山田武士，Vol. 24, No. 1(2007), pp.81-90.
「表示的意味論に基づくパターンマッチングコンパイル方式の構築と実装」
大堀淳， 纓坂智，Vol. 24, No. 2(2007), pp. 113-132.
浜名誠，Vol. 23, No. 2(2006), pp.142-156.
「編集と発表を電子ペンで統一的に行うプレゼンテーションツールとその教育現場への応用」
栗原一貴，五十嵐健夫，伊東乾，Vol. 23, No. 4(2006), pp. 14-25.
新田直也，関浩之，Vol. 22, No. 3(2005), pp.58－75.
「Dynamic Translationを利用した可逆デバッガ」
孝壽俊彦，高田眞吾，土居範久，Vol. 22, No. 3(2005), pp. 186－193.
光来 健一，廣津 登志夫，佐藤 孝治，明石 修，福田 健介，菅原 俊治，千葉 滋，Vol.21, No.1 (2004), pp.2-12.
「C言語のための現実的なポインタ解析」
関口 龍郎，Vol.21, No.6 (2004), pp.34-49.
伊藤 孝行，横尾 真，松原 繁夫，Vol.20, No.1 (2003), pp.16-26.
「低レベル言語のための情報流解析の型システム」
小林 直樹，白根 慶太，Vol.20, No.2 (2003), pp.2-21.
中島震，玉井哲雄，Vol.19, No.2 (2002), pp.2-18.
「安全なソフトウェア実行システムSoftwarePotの設計と実装」
大山恵弘，神田勝規，加藤和彦，Vol.19, No.6 (2002), pp.2-12.
橋本政朋，米澤明憲，Vol.18, No.2 (2001), pp.2-19.
風間一洋，原田昌紀，佐藤進也，Vol.17, No.4 (2000), pp.58-69.
小野木渡，清水亮博，大野浩之，Vol.16, No.3 (1999), pp.29-46.
「自己調整二分木の並列操作」
上田 和紀，Vol.16, No.5 (1999), pp.78-83.
網代 育大，長 健太，上田 和紀，Vol.15, No.1 (1998), pp.54-58.
佐々木 貴宏，所 真理雄，Vol.14, No.4 (1997), pp.33-46.
亀山幸義，佐藤雅彦，Vol.12, No.2 (1995), pp.32-51.
「PDIアルゴリズム」
西村進，Vol.12, No.5 (1995), pp.85-99.
「「計算＝編集」パラダイムに基づく例からのプログラミング」
萩谷昌己，白取知樹，Vol.13, No.3 (1996), pp.64-78.
長山 祥，田中 譲，Vol.11, No.1 (1994), pp.36-48.
「自己反映言語Open C++とその分散処理への適用の実際」
千葉 滋，益田 隆司，Vol.11, No.3 (1994), pp.33-48.
「並行計算のための簡約意味論」
本田 耕平，吉田 展子，Vol.11, No.5 (1994), pp.2-20.
「Categorical Functional Programming」
Tatsuya Hagino，Advances in Software Science and Technology (英文誌) Vol.4
第１6回論文賞 (2011年度)
「文字列に関する論理式の充足問題解決器の構成と実装」梅村 晃広，Vol. 27, No. 1 (2010), pp. 101–119. 「グラフ書換による計算折り紙のモデル化と実現」
高橋 英和, 井田 哲雄：，Vol. 27， No．2 (2010), pp. 2–13.
第１5回論文賞 (2010年度)
「あみぐるみのための 3 次元モデリングと製作支援インタフェース」五十嵐 悠紀, 五十嵐 健夫, 鈴木 宏正，Vol. 26, No. 1 (2009), pp. 51–58. 「Java 言語への変換によるポインタ演算の安全な実装方式」
上嶋 祐紀, 住井 英二郎：，Vol. 26, No. 1 (2009), pp. 139–154.
第１４回論文賞 (2009年度)
「宣言的なコンパイラ仕様記述を支援するための識別子にもとづく中間表現」千代 英一郎，Vol. 25, No. 3(2008), pp.113-134.
「TBCppA: 追跡子を用いたC前処理系解析器」
権藤 克彦，川島 勇人，今泉 貴史，Vol. 25, No. 1(2008), pp. 105-123.
第１３回論文賞 (2008年度)
「人間関係の重なりを持つコミュニティ構造の抽出」風間一洋， 佐藤進也， 斉藤和巳， 山田武士，Vol. 24, No. 1(2007), pp.81-90.
「表示的意味論に基づくパターンマッチングコンパイル方式の構築と実装」
大堀淳， 纓坂智，Vol. 24, No. 2(2007), pp. 113-132.
第１２回論文賞 (2007年度)
「高階書換え系の停止性のための代数モデル」浜名誠，Vol. 23, No. 2(2006), pp.142-156.
「編集と発表を電子ペンで統一的に行うプレゼンテーションツールとその教育現場への応用」
栗原一貴，五十嵐健夫，伊東乾，Vol. 23, No. 4(2006), pp. 14-25.
第１１回論文賞 (2006年度)
「LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations」新田直也，関浩之，Vol. 22, No. 3(2005), pp.58－75.
「Dynamic Translationを利用した可逆デバッガ」
孝壽俊彦，高田眞吾，土居範久，Vol. 22, No. 3(2005), pp. 186－193.
第１０回論文賞 (2005年度)
「VPNとホストの実行環境を統合するパーソナルネットワーク」光来 健一，廣津 登志夫，佐藤 孝治，明石 修，福田 健介，菅原 俊治，千葉 滋，Vol.21, No.1 (2004), pp.2-12.
「C言語のための現実的なポインタ解析」
関口 龍郎，Vol.21, No.6 (2004), pp.34-49.
第９回論文賞 (2004年度)
「自然の選択の情報に非対称性が存在する場合のオークションプロトコルの設計」伊藤 孝行，横尾 真，松原 繁夫，Vol.20, No.1 (2003), pp.16-26.
「低レベル言語のための情報流解析の型システム」
小林 直樹，白根 慶太，Vol.20, No.2 (2003), pp.2-21.
第８回論文賞 (2003年度)
「EJBコンポーネントアーキテクチャのSPINによる振舞い解析」中島震，玉井哲雄，Vol.19, No.2 (2002), pp.2-18.
「安全なソフトウェア実行システムSoftwarePotの設計と実装」
大山恵弘，神田勝規，加藤和彦，Vol.19, No.6 (2002), pp.2-12.
第７回論文賞 (2002年度)
「移動計算のためのプログラミング言語MobileML」橋本政朋，米澤明憲，Vol.18, No.2 (2001), pp.2-19.
第６回論文賞 (2001年度)
「サーチエンジンの検索結果のマルチレベル・グルーピングの評価」風間一洋，原田昌紀，佐藤進也，Vol.17, No.4 (2000), pp.58-69.
第５回論文賞 (2000年度)
「ネットワークワームを利用したネットワーク管理手法」小野木渡，清水亮博，大野浩之，Vol.16, No.3 (1999), pp.29-46.
「自己調整二分木の並列操作」
上田 和紀，Vol.16, No.5 (1999), pp.78-83.
第４回論文賞 (1999年度)
「静的解析と制約充足によるプログラム自動デバッグ」網代 育大，長 健太，上田 和紀，Vol.15, No.1 (1998), pp.54-58.
第３回論文賞 (1998年度)
「進化的エージェント集団の動的環境への適応」佐々木 貴宏，所 真理雄，Vol.14, No.4 (1997), pp.33-46.
第２回論文賞 (1997年度)
「自己反映的証明体系RPTの理論と実装」亀山幸義，佐藤雅彦，Vol.12, No.2 (1995), pp.32-51.
「PDIアルゴリズム」
西村進，Vol.12, No.5 (1995), pp.85-99.
「「計算＝編集」パラダイムに基づく例からのプログラミング」
萩谷昌己，白取知樹，Vol.13, No.3 (1996), pp.64-78.
第１回論文賞 (1996年度)
「シンセティク・メディア・システム，Intelligent PAD」長山 祥，田中 譲，Vol.11, No.1 (1994), pp.36-48.
「自己反映言語Open C++とその分散処理への適用の実際」
千葉 滋，益田 隆司，Vol.11, No.3 (1994), pp.33-48.
「並行計算のための簡約意味論」
本田 耕平，吉田 展子，Vol.11, No.5 (1994), pp.2-20.
「Categorical Functional Programming」
Tatsuya Hagino，Advances in Software Science and Technology (英文誌) Vol.4
