また本買った
プログラム意味論、一階述語論理、完全性定理、不動点、ホーア論理、リアクティブシステム、時相論理
- 作者: 田辺誠,中島玲二,長谷川真人
- 出版社/メーカー: 岩波書店
- 発売日: 1999/09/28
- メディア: 単行本
- 購入: 1人 クリック: 4回
- この商品を含むブログ (2件) を見る
ベイジアン、決定木、ニューラル、SVM、K近傍法、クラスタリング、多次元尺度構成法、非負値行列因子分解、最適化
- 作者: Toby Segaran,當山仁健,鴨澤眞夫
- 出版社/メーカー: オライリージャパン
- 発売日: 2008/07/25
- メディア: 大型本
- 購入: 80人 クリック: 1,982回
- この商品を含むブログ (262件) を見る