2017年度受賞者

2017年度コンピュータサイエンス領域奨励賞受賞者一覧

2017年度   詳細はこちら
受賞者名 論 文 名 研究報告,
シンポジウム略称
(研究会名)
森田 祐司 投薬歴の構築と医師の多様性を考慮した投薬パターンマイニング DEIM 2017
(データベースシステム)
大塚 淳史 答えを先読みする文書検索手法の提案 DEIM 2017
(データベースシステム)
倉林 利行 動的記号実行と探索的テストによる高カバレッジの結合テスト向けテストデータ自動生成手法 SES2016
(ソフトウェア工学)
野田 訓広 実行トレース抽象化を目的とした参照関係・アクセス解析によるコアオブジェクト特定 2017-SE-195
(ソフトウェア工学)
谷本 輝夫 アウトオブオーダ命令実行の依存グラフ表現に関する考察 2016-ARC-221
(システム・アーキテクチャ)
中島 健司 ホストOSファイルシステムにおけるVMイメージファイルの非連続配置による仮想化環境におけるHadoop I/O性能の向上 2016-OS-137
(システムソフトウェアとオペレーティング・システム)
小林 直登 I/O Viewの一貫性を保証する高速ストレージ向けチェックポインティング ComSys2016
(システムソフトウェアとオペレーティング・システム)
多和田雅師 リードソロモン符号に基づいたマルチレベルセル不揮発性メモリ書き込み削減 DAシンポジウム
(システムとLSIの設計技術)
塩見  準 ロジック部およびメモリ部の独立電圧制御によるプロセッサの消費エネルギー最小化 2017-SLDM-179
(システムとLSIの設計技術)
垣深 悠太 CPUとDRAMへの電力バジェット配分を考慮したGraph500の性能評価 2016-HPC-155
(ハイパフォーマンスコンピューティング)
大山 洋介 ディープラーニングのデータ並列学習における少精度浮動小数点数を用いた通信量の削減 2017-HPC-158
(ハイパフォーマンスコンピューティング)
坂口 和彦 定理証明器Coqの効率的な有限ドメイン関数ライブラリ PRO-2016-1
(プログラミング)
岡  明央 ライブプログラミングのためのデータ構造の可視化と対話機能 PRO-2016-5
(プログラミング)
土中 哲秀 On the Maximum Weight Minimal Separator 2016-AL-158
(アルゴリズム)
小山ちひろ 遺伝的アルゴリズムを用いたQWOPの運動学習の一手法 2016-MPS-110
(数理モデル化と問題解決)
阿部 稿作 ノーマリオフ知的バス停における電源管理機能評価 2017-EMB-44
(組込みシステム)
鍾  兆前 モデルベース開発におけるマルチ・メニーコア向け自動並列化 2017-EMB-44
(組込みシステム)