SAT/SMTソルãƒã®ä»•çµ„ã¿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
{{#tags}}- {{label}}
{{/tags}}