MAXSAT (ms) (standard MAXSAT ): no hard clauses and all clause have weight 1. Solution maximizes the number of satisfied clauses. Weighted MAXSAT (wms): no hard clauses. Partial MAXSAT (pms): have hard clauses but all soft clauses have wei…

How to escape characters in Haskell's Text.Regex library? - Stack Overflow > matchRegex (mkRegex "[*]") "*" Just [] which works, but it seems like a hack, especially if I want to escape several things in a row (e.g. mkRegex "[[(][)]]" whic…

Common Bugs in WritingEditorial Rules

git で add をすると以下のWarning がでた。 git warning: LF will be replaced by CRLF in 以下の情報が解決に役立った。Git for Windows でレポジトリー上の CR LF を LF に変換する手順 - てっく煮ブログ

~/.bash_profile に以下を記載すると反映されるようになった。 if [ -e ~/.bashrc ] ; then source ~/.bashrc fi より詳しくは、以下を参考にした。 cygwin bashrc エイリアスがうまくできない 【OKWAVE】 Cygwin Bash Shellアイコンをダブルクリックすると…