https://twitter.com/kinaba のログ (twilog の方が便利です。)
| この島めっっっっっちゃ行きたい https://t.co/3hqmZVAPqG | |
| Picnics at Kinaba http://www.kinaba.org/about/picnics-at-kinaba | |
| これ https://t.co/mcoWY9MbcN Dyckの"()"～εで割ったモノイドcancellativeでない気するんだけど大丈夫なの…と疑問だったけど、より前の同テーマの論文 http://www.is.titech.ac.jp/~minamide/papers/fossacs07.pdf 教えて貰ってこちらは完璧に懸念の点扱ってた |