静的サイズ検査つき線形代数ライブラリのサンプルコード