第2回数式処理国際会議に出席して