情報科学 › 研究のための計算の実務 › NumPy で書く配列計算

ufunc と軸に沿った縮約

定義 4.1(「NumPy で書く配列計算」§4)

スカラーの関数 ff を、ブロードキャストした配列の同じ添字の要素どうしに適用して、同じ shape の配列を返す関数を ufunc(universal function)という。np.add, np.multiply, np.exp などで、a + b は np.add(a, b) である。

2 変数の ufunc ff による、第 kk 軸に沿った縮約(reduce)とは、shape (n1,…,nd)(n_1,\ldots,n_d) の配列 aa から、第 kk 軸を取り除いた shape の配列 bb を

b[i1,…,ik^,…,id]=f(⋯f(f(a[…,0,…],a[…,1,…]),a[…,2,…])⋯ )b[i_1,\ldots,\widehat{i_k},\ldots,i_d]=f(\cdots f(f(a[\ldots,0,\ldots],a[\ldots,1,\ldots]),a[\ldots,2,\ldots])\cdots)

で作る操作である( ^\widehat{\ } は取り除くことを表す)。np.add の縮約が sum、np.multiply の縮約が prod、np.maximum の縮約が max である。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 1 問