実行中クエリの確認： select pid, user_name, starttime, query from stv_recents where status='Running'; 消したいクエリのpid(XXXXとする)を確認して cancel XXXX; http://docs.aws.amazon.com/ja_jp/redshift/latest/dg/cancel_query.html

ウェブアプリ開発のフレームワークをちょっと勉強したい．私は普段から Python を書いているから Python 上のフレームワークである Django が使いたい（知らない言語で知らない技術を勉強するのは，わからないことの原因究明がストレスフル）が，周りには Ru…

ERROR: The Python zlib extension was not compiled. Missing the zlib? と文句を言われる． 解決策は開発元が提示してくれている： Common build problems · yyuu/pyenv Wiki · GitHub CFLAGS="-I$(xcrun --show-sdk-path)/usr/include" pyenv install 2.6…

python の LP/MIP ソルバー（のラッパー）である pulp のバグをみつけたのでメモ． GitHub - coin-or/pulp: A python Linear Programming API 具体的には，目的関数がゼロの場合，ダミー変数が現れて solve() 後の valid() （現在の解が実行可能かどうか）の…

カルマンフィルタのベイズじゃない説明の意味がわからなかったので，ベイズっぽく導出した．それのメモ． 状態変数が であり，観測量が がである次の離散時間システムを考える： ここで は系への入力であり， はそれぞれ平均が零，共分散行列が である正規分…

OK なコード model = Regression(Model()) if gpu >= 0: xp = cuda.cupy cupy.cuda.Device(gpu).use() model.to_gpu() else: xp = np opt = optimizers.Adam() # モデルを gpu に移したあとで opt.setup(model) # optimizer と紐付けるとOK NGなコード model…

nvidia-smi -l でOK． CPU 利用率は top で見られる．

参考 wisdomthroughknowledge.blogspot.jp サーバで： ipython notebook --no-browser --port=YYYY クライアントで： ssh -L -N -f localhost:XXXX:localhost:YYYY HOSTNAME ※ .ssh/config でHOSTNAMEに対応する key と username は指定済みの場合 ブラウザ…

会社の人に mysql で csvを読み込むとき，NULL と陽に書いていない空なカラムを NULL として取り込ませる方法を教えて貰った．メモ． drop table if exists foo; create table foo ( a INTEGER default null, b INTEGER default null ); LOAD DATA LOCAL INF…