読者です 読者をやめる 読者になる 読者になる

ねぇうしくんうしくん

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

今週のまとめ (2017/3/31)

プレミアム華金。

プログラミング言語

Alpaca Lang

github.com

ML(Meta Language)に似た正格静的型付言語。ErlangVM (BEAM) 上で動くのが特徴。ロゴが可愛い。

[Rust][C++] Rust from a C++ programmer’s perspective

omtcyfz.github.io

Rust の人気がアツい。以前に 関数型プログラマーのためのRust を紹介したが、これは C++ ユーザー向けの比較。

Articulate Lisp

articulate-lisp.com

Common Lisp を勉強するときに便利な本やサイトなどのリソース集。

AI

Stochastic Program Optimization

blog.acolyer.org

確率的プログラム最適化 *1 についての論文についてのまとめと解説。ディープは使われていない。

RankPL

github.com

確率モデルの表現と推論をする言語。

Logic Production Systems (LPS)

bitbucket.org

「Logic Production System」は、命令型プログラミング言語の特性と、宣言型データベースおよび知識表現言語の特性を組み合わせた新しいコンピュータ言語です。

とのこと。

数学

AsciiMath

AsciiMath

数式を表記するための新しいフォーマットとそのMathJaxプラグイン。従来のTeX表記に比べ、シンプルで可読性にすぐれている。例として sum_(i=1)^n i^3=((n(n+1))/2)^2 といった感じで書ける。

類似したプロジェクトにMathifyというのもある、こちらのほうがよりミニマルか。 www.mathifyit.com

*1:確率的最適化ではない (手法としては使われている?)。 確率的 + プログラム最適化(コンパイラがやる仕事)