Preprints:
Sur les propriétés d'uniformité des images directes en cohomologie étale (new version in progress)
Calculabilité de la cohomologie étale modulo ℓ (with David Madore; submitted)
Old notes:
On p-dimension of fields (2006; English slides, Japanese slides)
Handwritten lecture notes at Gaëtan Chenevier's study group, untitled "Unramified representations of GL₂(local field) et Satake's isomorphism" (pdf).
On uniform constructibility for higher direct images in étale cohomology (2010; French-Japanese slides, Japanese slides)
Some uniform constructibility and calculability results in etale cohomology (Beijing, 2013; notes)