第21回研究論文賞・第6回解説論文賞の授与について
2017/05/15
第21回研究論文賞と第6回解説論文賞は,それぞれ2篇の論文に対して授与され、賞状および副賞は下記の著者の方々に授与されます.
佐藤 洸一, 菊池 健太郎, 青戸 等人, 外山 芳人
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
吉岡信和, 田辺良則, 田原康之, 長谷川哲夫, 磯部祥尚
LR構文解析の原理
大堀淳
詳細については,研究論文賞と解説論文賞のページをご覧ください.
第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構文解析の原理
大堀淳
詳細については,研究論文賞と解説論文賞のページをご覧ください.