Posts

Nov 30, 2017
Interface に寄稿しました
Oct 27, 2017
MirのndsliceでMKLを使う
Sep 30, 2017
numir が libmir 入りしました
Sep 22, 2017
D言語で数値計算 mir-algorithm
Aug 10, 2017
Theano + PyMC3 で Variational Auto Encoder
Aug 2, 2017
周辺尤度下界(ELBO)の導出
Jul 8, 2017
Haskell で Tensorflow (GPU) を使う
Mar 4, 2017
DUB による D 言語開発 Tips
Feb 16, 2017
Python で immutable な値クラスを作るデコレータ
Feb 4, 2017
D言語と Policy に基づく設計
Nov 30, 2016
gh-pages引っ越し
Aug 12, 2016
chainer で Auto Encoder
Feb 27, 2016
numpy と cupy を簡単に使うデコレータ
Jan 2, 2016
64 bit 環境の GCC で 32 bit (i386) アセンブラをリンク
Dec 23, 2015
D言語で unzip
Oct 16, 2015
Haskell Accelerate で CUDA プログラミング (紹介と導入)
Oct 14, 2015
D言語でコンパイル時に「ソフトウェアエンジニアならば1時間以内に解けなければいけない5つの問題」の5問目を解いてみた
Oct 13, 2015
Asus Zenbook UX303LN のトラックパッドを動かす (Ubuntu14.04)
Oct 11, 2015
Boost.勉強会に行った
Oct 2, 2015
Haskell のメモ
Sep 22, 2015
C++ の標準例外安全規則と強い保証
Aug 27, 2015
ベイズ推定の基礎と応用
Aug 25, 2015
ATS2 の box と HEAD のビルド
Aug 13, 2015
ATS 入門中
Jul 12, 2015
Exceptional C++ 読んだ
Jun 17, 2015
Coq のタクティック、章Polyまでのメモ
Jun 17, 2015
Ruby の digest でこける
Jun 14, 2015
便利な C++ ヘッダオンリライブラリ
Jun 14, 2015
Coq の Notation すごい
Jun 13, 2015
Coq とかはじめました