https://twitter.com/kinaba のログ (twilog の方が便利です。)
| RT @smly: solved!!111 https://t.co/Ep6os4G5v1 | |
| ICFP(International Contest on Folding Papers)コンテストお疲れ様でした #icfpc2016 | |
| ことしは出題側で参加していました #icfpc2016 | |
| RT @iwiwi: @iwiwi （Unagi が提出した問題は（少なくとも 1 時間前まで）誰にも解かれておらず、他チームの問題は 1 問以外全て解きました。流石に優勝してると思ってますが、最後の 1 問が解けてれば完全試合達成だったので悔しいです。） | |
| RT @osa_k: 天羽々斬は @kawatea がツールでひたすら折り紙を折っていました #icfpc2016 https://t.co/pstdGM1tlx | |
| RT @wata_orz: 折り紙の中にスケルトンの各面を埋め込んでいく全探索(そのまま伸ばすか折り返すかで分岐)で，多倍長有理数の幾何が重すぎるのでdoubleでbounding box取るなどして高速化し，簡易版CDCLみたいな感じで矛盾の原因解析してback jumpする… | |
| そういえば今回ICFPコンテストのサーバ監視にkibanaが使われていたので、ジャッジ内の会話でkibanaが言及されるたびにビビっていた https://t.co/sAhzi7d6ly | |
| あまり内容のない日記を書いた https://t.co/RqoVVmfMa9 詳しく知りたいみんなは9月に奈良に行こう！（そして学会twitter生実況してほしい） |