投稿日: Feb 09, 2010 8:11:48 AM
平成22年度京都大学数理解析研究所共同利用研究計画に提案していた「数式処理研究の新たな発展」が、このほど、RIMS共同研究として採択されました。
今後、共同研究の要領については、詳細が決まり次第、追ってお知らせします。