内容：
For a variety over a finite field, the zeta-function encodes the information on the number of solutions for every extension of the field. I will explain how to define a cohomology theory, consisting of finitely generated abelian groups, which can be used to express special values of zeta-functions as an Euler characteristic, and give examples.