技術情報

知能コンピューティングに関わる技術情報を公開していく予定です。


単体・結合テストに代わる新しいテスト手法である形式手法の紹介です。 形式手法とはどのようなものであるか、またどのような効果があるかを説明しています。

本文書では AWS の GPU 計算サーバ (GPU インスタンス) 上で Theano を使用する方法を説明します。 Theano 入門 で紹介したプログラムを CPU と GPU で実行し、その計算速度を比較します。

Python 用の数値計算ライブラリ Theano の使い方を説明します。応用例として Restricted Boltzmann Machine を実装します。

CLAPACK は、C 言語で使用するための線形代数演算ライブラリです。 それを Visual C++ 2010 でビルドしたライブラリ ファイルとインクルード ファイルを提供します。

SRFI とは Scheme 言語の拡張機能を標準化するコミュニティのことです。 そのドキュメントの日本語訳を公開しています。