2009年 | 受賞?成果等
小林直树教授が第5回日本学术振兴会赏を受赏しました
日本学术振兴会赏は、优れた研究を进めている若手研究者を见い出し、早い段阶から顕彰してその研究意欲を高め、独创的、先駆的な研究を支援することにより、日本の学术研究の水準を世界のトップレベルにおいて発展させることを目的に日本学术振兴会によって16年度に创设されたものです。
小林教授は，ソフトウェア検証のための型理论に関する业绩が认められ，第5回日本学术振兴会赏を受赏しました。
问合せ先： 情报科学研究科 学术振兴?広报委员会
罢贰尝： 022-795-5813