情報科学 › 研究のための計算の実務 › 並列化と GPU
加速器に移す損益分岐
ホストで時間 かかる計算を、同じ計算を 倍の速さで行う加速器に移すとする。移すにはデータを 単位だけ転送する必要があり、転送には 1 単位あたり時間 と、データ量によらない固定の時間 (呼び出しと同期の待ち)がかかるとする。このとき、加速器に移したほうが所要時間が短くなることは
と同値である。とくに なら決して得にならず、 がどれだけ大きくても なら得にならない。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。
これを使っている定理
証明で明示的に参照している定理は、まだありません。