今週のまとめ
サボってたらどうして書かないんですか?*1と(暗に)言われたので書きます。
- [プログラミング言語] GitHub - exakat/php-static-analysis-tools: A reviewed list of useful PHP static analysis tools
- PHP の静的解析ツール一覧
- [プログラミング言語] GitHub - szktty/bran: A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
- [プログラミング言語] GitHub - go-ego/riot: Go Open Source, Distributed, Simple and efficient Search Engine
- Go言語製の分散検索エンジン
- [プログラミング言語] Towards Higher-Order Syntax of C Programming Language
- [プログラミング言語] Perl Regular Expression Matching is NP-Hard
- Perl の正規表現 で 3-CNF-SAT が解ける → NP-hard。 らしい。
- Ruby での翻訳 後方参照のある正規表現の能力 - まめめも
*1: 関係ないんですが、 電話猫 - LINE スタンプ | LINE STORE が発売されました