# 主題 - 独立増分過程を作用素値測度として定義する - Gauss過程とPoisson過程とLevy過程をまず定義する - Coherent発振ユニタリについて述べる - Levy-Khinchineを示す。 - 👆を使って特性関数を計算することで、それが本当にGauss/Poissonなことを示す - 伊藤補題を示す # main ## 独立増分過程の取り扱い $X(t)$が独立…