https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 前原さんが前に紹介してらした反復法テンプレート https://t.co/h5iQkv8kA4 積読スタックからやっとポップできたそしてわかりやすいなー。どう導出してどう収束してどういう実装であとその前にpreconditioning、って一貫した構成でまとめてくれてて読みやすい | |
| Underhanded Coq Contest は面白そうだ（完璧に証明されているように見せかけて気づきにくい邪悪なバックドアをいかに残すかコン） |