2000年度（平成12年度）
2000年度（平成12年度）山下記念研究賞
※（ ）：論文掲載研究報告またはシンポジウム略称
| 2000年度（平成12年度） | ||
| 石川 佳治 | MindReader:例にもとづくデータベース問合せ手法 | （98-DBS-115） |
| 宇杉 大介 | 印象検索に基づく対話型空間生成 | （99-DBS-119） |
| 河野 健二 | 細粒度保護ドメインのための多重保護ページテーブルの提案と実装 | （99-OS-81） |
| 瀧 和男 | プラスチック・ハード・マクロ技術による低消費電力算術演算器 | （DAシンポ99） |
| 湊 真一 | BDDの規模によらず一定の実記憶の範囲内で動作するストリーム形式BDD処理アルゴリズム | （99-SLDM-93） |
| 須田 礼仁 | 高速球面調和関数変換法 | （98-HPC-73） |
| 浅野 孝夫 | A New Family of 3/4-Approximation Algorithms and Improved Approximation Aalgorithms for MAX SAT | （99-AL-70） |
| 五十嵐健夫 | 手書きスケッチによるモデリングシステムTeddy | （インタラクション99） |
| 鷲崎 早雄 | 産業連関表の三角化手法による情報産業の相互連関分析について | （99-IS-72） |
| 栗山 和子 | 大規模テストコレクション構築のためのプーリ ングについて：NTCIR-1の予備テストの分析 | （99-FI-54） |
| 大野 邦夫 | 文書を構成する型についての一考察 | （2000-DD-22） |
| 岡本 健 | 岡本-田中鍵共有方式のなりすましに関する安全性 | （99-CSEC-6） |
| 洲崎 誠一 | 暗号ブレイク対応電子署名アリバイ実現機構（その2）－詳細方式 | （2000-CSEC-8） |
| 鹿野 清宏 | 日本語ディクテーション基本ソフトウエア（97年度版）の性能評価 | （98-SLP-21） |
［コンピュータサイエンス領域］DBS：データベースシステム，OS：システムソフトウェアとオペレーティング・システム，SLDM(DA)：システムLSI設計技術，HPC：ハイパフォーマンス・コンピューティング，AL：アルゴリズム 各研究会
［情報環境領域］インタラクション：ヒューマンインタフェース，IS：情報システムと社会環境，FI：情報学基礎，DD：デジタルドキュメント,CSEC：コンピュータセキュリティ 各研究会
［フロンティア領域］SLP：音声言語情報処理 各研究会