読者です 読者をやめる 読者になる 読者になる
"血をもって書け。そうすればあなたは、血が精神だということを経験するだろう。"

また本買った

reading

プログラム意味論、一階述語論理、完全性定理、不動点、ホーア論理、リアクティブシステム、時相論理

コンピュータサイエンス入門〈2〉論理とプログラム意味論

コンピュータサイエンス入門〈2〉論理とプログラム意味論


ベイジアン、決定木、ニューラル、SVM、K近傍法、クラスタリング、多次元尺度構成法、非負値行列因子分解、最適化
集合知プログラミング

集合知プログラミング