ウィーナー汎関数解析とデリバティブ価格理論