CCS
Calculus of Communication Systems
https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/class/pds13w/resume5.pdf
π計算