21世紀の計算パラダイムを求めて