よんログ

  • 線形代数

    に公開
    に更新
    11 min reads

    一次独立 いずれも \bold{0} でないベクトル \bold{a_1,a_2,\dots,a_n} について c_1\bold{a_1}+c_2\bold{a_2}+\cdots+c_n\bold{a_n}=\bold{0} が成り立つのが c_1=c_2=\cdots=c_n=0 だけの場合、\bold{a_1,a_2,\dots,a_n} を一次独立 (linearly independent) という...

  • 微分方程式

    に公開
    に更新
    9 min reads

    変数分離形 定義 y'=f(x)g(y) 解法 \frac{dy}{dx}=f(x)g(y) g(y)\ne0 のとき \begin{aligned} \frac{1}{g(y)}\frac{dy}{dx}&=f(x)\\ \int{\frac{1}{g(y)}\frac{dy}{dx}dx}&=\int{f(x)dx}\\ \int{\frac{1}{g(y)}dy}&=\int{f(x)dx} \end{aligned} 例題 y'=2xy,y(0)=1 y'=1-y^2 同次形 定義 y'=f(\frac{y}{x}) 解法 u=\dfrac{y}{x} とおく。このとき y=ux であるので y'=u'x+u を代入して \begin{aligned} u'x+u&=f(u)\\ \frac{du}{dx}&=\frac{1}{x}\{f(u)-u\} \end{aligned} となり、変数分離形と同じよ...

  • バッチ処理

    に公開
    に更新
    7 min reads

    前提知識 データベースシステム 分散システム バッチ処理とは、ひとまとまりのデータを一括して処理する方式である。 利用用途 DWH から取得したデータを ETL (Extract/Transform/Load,...