https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 3-slt の pangram problem もNP完全であることの証明をさっき唐突に思いついた（自明だった。）2-slt は tractable なので、境界を攻めるならあと 2-testable くらいかな。piecewise testable とか。不毛になってきた | |
| AlphaGoが誇大広告ぎみな件 https://t.co/uKzcqWvxPQ 4子置いたCrazyStoneやZenが対プロでそこまで弱いわけないだろうというのは確かにそうだなあ | |
| @nico_shindannin （CreateProcessが書き換えるなよというのも勿論ですが）LPCTSTR (const)でなくLPTSTRを取ると明確に宣言の関数にリテラル渡せちゃうのが根本的な問題という気がします。これC++11で廃止になってgcc等だと警告でるはず | |
| @NyaRuRu @nico_shindannin おおーなるほど。warning関係ざっと調べて無さそうだなあと思ってたのですが、そうか確かに /Zc の領域ですね | |
| RT @NyaRuRu: @nico_shindannin @kinaba /Zc:strictStrings 付けると標準準拠の動作になるはずです． https://t.co/fJ7VaGJyal |