カリ工大 - karitech
about tags

tags

    Coq

    • Coq の Notation すごい
    • Coq とかはじめました

    C++

    • Boost.勉強会 に行った
    • C++ の標準例外安全規則と強い保証
    • Exceptional C++ 読んだ
    • 便利な C++ ヘッダオンリライブラリ

    ATS2

    • ATS2 の box と HEAD のビルド
    • ATS 入門中

    MachineLearning

    • Theano + PyMC3 で Variational Auto Encoder
    • 周辺尤度下界(ELBO)の導出
    • chainer で Auto Encoder
    • ベイズ推定の基礎と応用

    Haskell

    • Haskell で Tensorflow (GPU) を使う
    • Haskell Accelerate で CUDA プログラミング (紹介と導入)
    • Haskell のメモ

    PC

    • Asus Zenbook UX303LN のトラックパッドを動かす (Ubuntu14.04)

    D

    • numir が libmir 入りしました
    • D言語で数値計算 mir-algorithm
    • DUB による D 言語開発 Tips
    • D言語で unzip
    • D言語でコンパイル時に「ソフトウェアエンジニアならば1時間以内に解けなければいけない5つの問題」の5問目を解いてみた

    CUDA

    • numpy と cupy を簡単に使うデコレータ
    • Haskell Accelerate で CUDA プログラミング (紹介と導入)

    GCC

    • 64 bit 環境の GCC で 32 bit (i386) アセンブラをリンク

    Python

    • Python で immutable な値クラスを作るデコレータ
    • chainer で Auto Encoder
    • numpy と cupy を簡単に使うデコレータ

    Jekyll

    • gh-pages引っ越し

    d

    • MirのndsliceでMKLを使う

    cupy

    • Interface に寄稿しました

subscribe via RSS

  • contact
  • shigekikarita@gmail.com
  • ShigekiKarita
  • kari_tech

blog on machine learning and computer science.