多変数関数論やるのに、岡やカルタン流をやるかヘルマンダー流の解析をやるか、どちらが良いのだろうか？