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:音声言語情報処理 各研究会