今週のまとめ (2017/3/31)
プレミアム華金。
プログラミング言語
Alpaca Lang
ML(Meta Language)に似た正格静的型付言語。Erlang の VM (BEAM) 上で動くのが特徴。ロゴが可愛い。
[Rust][C++] Rust from a C++ programmer’s perspective
Rust の人気がアツい。以前に 関数型プログラマーのためのRust を紹介したが、これは C++ ユーザー向けの比較。
Articulate Lisp
Common Lisp を勉強するときに便利な本やサイトなどのリソース集。
AI
Stochastic Program Optimization
確率的プログラム最適化 *1 についての論文についてのまとめと解説。ディープは使われていない。
RankPL
確率モデルの表現と推論をする言語。
Logic Production Systems (LPS)
「Logic Production System」は、命令型プログラミング言語の特性と、宣言型データベースおよび知識表現言語の特性を組み合わせた新しいコンピュータ言語です。
とのこと。
数学
AsciiMath
数式を表記するための新しいフォーマットとそのMathJaxプラグイン。従来のTeX表記に比べ、シンプルで可読性にすぐれている。例として sum_(i=1)^n i^3=((n(n+1))/2)^2 といった感じで書ける。
類似したプロジェクトにMathifyというのもある、こちらのほうがよりミニマルか。 www.mathifyit.com
