>>320
複素微分とコーシー・リーマンの方程式の議論のところで、
ルベーグ積分や関数解析が必要になる。