ついに来たp進Langlands対応の日（？）CaraianiさんもDospinescuさんも，割と$\mathrm{GL}_2(F)$でもできるけどここで$F = \mathbb{Q}_p$なことを使うみたいな話し方で，もう暫くしたら$\mathrm{GL}_2(F)$とか$\mathrm{GL}_n$とかでもなんかできちゃうんじゃないかとか思えてしまう．実際にどうかは知らないが．しかしなんだかやたら今日は疲れた．