2020年度受賞者
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 （組込みシステム） |