2013年05月09日のつぶやき
@Bondra: RT @masahiro_sakai: bookmarked: Minimal Unsatisfiable Core列挙によるプログラムの準最弱な事前条件推定: コンピュータソフトウェア, Vol. 30, No. 2. (May 2013), pp. 207... http:…
@Bondra: RT @masahiro_sakai: bookmarked: Minimal Unsatisfiable Core列挙によるプログラムの準最弱な事前条件推定: コンピュータソフトウェア, Vol. 30, No. 2. (May 2013), pp. 207... http:…