ねぇうしくんうしくん

今週のまとめ (一週間で自分が見た技術系サイトのログ)が今のところメインです。プログラミング言語、人工知能、セキュリティ 等

2017-05-12から1日間の記事一覧

今週のまとめ (2017/5/12)

前回はおやすみでした。 プログラミング言語 Categorical Semantics for Dynamically Typed Programming Languages A true heterogeneous container in C++ CPU Utilization is Wrong セキュリティ [PDF] Quick introduction into SAT/SMT solvers and symbo…