https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 論理ゲートで組み合わせ回路作るみたいな感じ(全加算器はandとxorを云々みたいな)で、制約をフローの回路にする(こっちとこっちのどちらか1つしか取れないという制約はこういうグラフ片、みたいな)パターン整理した方がいいんだろうか。不等式制約の式変形で考えるべきという考え方もある | |
| 悪の枢軸チョコでも食べるか。 | |
| RT @ranha: 2012年/2013年に読んだ面白い論文(CSである必要性すらない)を紹介する無差別級場所の開催を強行します．皆様もふらふらと参加してください．（開催要旨だけ書いて細かいことは未だ書いてないですけどそんな大した催しではないです） http://t.c ... | |
| ＠各位 https://t.co/5yGFMAES | |
| 変態仮面とか昔の漫画が突然映画化するのだから、突然BM第二部のハリウッド映画化などのニュースが舞い込むチャンスもあると考えたい |