>>189
縦ベクトル書くのウザイから横ベクトルにするぞ。
連立方程式
[k1+k2+k3,k1+3k2+k3,0,3k3] = [1,2,0,0]
を満たすk1,k2,k3はあるか（左辺は>>177, 右辺がa1だ）。
解があればa1はWに入る。解が無ければ入らない。

これでどうだ。