• HOME
  • お知らせ
  • 第21回研究論文賞・第6回解説論文賞の授与について

お知らせ

第21回研究論文賞・第6回解説論文賞の授与について

2017/05/15

第21回研究論文賞と第6回解説論文賞は,それぞれ2篇の論文に対して授与され、賞状および副賞は下記の著者の方々に授与されます.

第21回研究論文賞

項書き換えシステムの変換を利用した帰納的定理自動証明
  佐藤 洸一, 菊池 健太郎, 青戸 等人, 外山 芳人
Stable Load Balancing with Overlapping ID-space Management in Range-based Structured Overlay Networks
  Kimihiro Mizutani, Takeru Inoue, Toru Mano, Osamu Akashi, Satoshi Matsuura, Kazutoshi Fujikawa
 

第6回解説論文賞

モデル検査による設計検証
  吉岡信和, 田辺良則, 田原康之, 長谷川哲夫, 磯部祥尚
LR構文解析の原理
  大堀淳

詳細については,研究論文賞解説論文賞のページをご覧ください.