RIMS共同研究に採択されました（2010年2月9日）

投稿日: Feb 09, 2010 8:11:48 AM

平成22年度京都大学数理解析研究所共同利用研究計画に提案していた「数式処理研究の新たな発展」が、このほど、RIMS共同研究として採択されました。

今後、共同研究の要領については、詳細が決まり次第、追ってお知らせします。