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

2020年度   詳細はこちら
受賞者名 論 文 名 研究報告,
シンポジウム略称
(研究会名)
村山 太一 点過程を用いたフェイクニュース検出 DEIM2020(データベースシステム)
本田 崇人 大規模時系列テンソルからの長期イベント予測 DEIM2020(データベースシステム)
米内 裕史 ソースコード構文木とコールグラフの統合的な埋め込みに基づくメソッド名の推定 2020-SE-204
(ソフトウェア工学)
西田  耀 NDCKPT: 不揮発性メインメモリを用いたOSによる透過的なプロセスチェックポインティングの実現 2020-ARC-240
(システム・アーキテクチャ)
中別府将太 宇宙機制御用 Space Responsive Multithreaded Processor (SRMTP) 2020-ARC-240
(システム・アーキテクチャ)
安野 直樹 Pause Loop Exitの多発につながるKVMにおける仮想CPUスケジューリング 2019-OS-147
(システムソフトウェアとオペレーティング・システム)
相原 啓汰 secureTCP: Securing the TCP/IP stack using a Trusted Execution Environment ComSys2019
(システムソフトウェアとオペレーティング・システム)
小島健太郎 デバイスシミュレーションを用いたFDSOIプロセスにおけるラッチ構造の違いによるソフトエラー耐性の基板電圧依存性の評価 DAシンポジウム
(システムとLSIの設計技術)
大島 國弘 有機薄膜トランジスタの実測に基づくバイアス・ストレス劣化の要因とモデル化に関する検討 DAシンポジウム
(システムとLSIの設計技術)
石村  脩 アスペクト指向言語を用いたHPC向けDSL作成プラットフォームの構築 2019-HPC-170
(ハイパフォーマンスコンピューティング)
綱島 隆太 GPU-FPGA協調プログラミングを実現するコンパイラの開発 2019-HPC-172
(ハイパフォーマンスコンピューティング)
福田 陽介 An extended SECD machine with a first-class macro mechanism PRO-2019-1
(プログラミング)
新美 和生 Lift中間言語における動的長配列の追加 PRO-2019-4
(プログラミング)
増村 優哉 一般化最小マンハッタンネットワーク問題に対する動的計画アプローチ 2019-AL-174
(アルゴリズム)
合田 理貴 Online Row Sampling from Random Streams 2020-AL-176
(アルゴリズム)
小松 瑞果 パラメータ多様体の記述手法の提案とウイルスダイナミクスの解析への応用 2019-MPS-123
(数理モデル化と問題解決)
福富 大輔 異なる時空間における3次元点群地図の統合 ESS2019
(組込みシステム)
祐源 英俊 A functionality expansion of the lightweight runtime environment mROS for the user defined message types APRIS2019
(組込みシステム)

調査研究担当への問い合わせフォーム