2. Twitter: @masahiro_sakai github: https://github.com/msakai/ G+: https://plus.google.com/+MasahiroSakai ブログ: ヒビルテ Haskeller 共訳書に Alloy本 や TaPL 定理証明や決定手続きに興味 https://github.com/msakai/toysolver 今日はその中から、SAT/SMTソルバについて紹介 自己紹介: 酒井 政裕 4. Courserian 最近はCourseraでデータ分析・機械学習に 手を出してみたりも。 Computing for Data Analysis by Roger D. Peng @ Johns Hopkins University Data Analysis by Jeff Leek @ Johns Hopkins Uni
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く