https://twitter.com/kinaba のログ (twilog の方が便利です。)
| RT @sinya8282: 共著論文 “Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence” がFoSSaCS’17に採択されました． https://t.co/DQyMTdB40Z | |
| この結果おもすろいな（sinyaさんのツイート見逃してて今気づいた）。止まるならたいていすぐ止まってくれそうな気もするが意外とそうでもないと | |
| https://t.co/4meI3fa2YW Asymptotically almost all λ-terms are strongly normalizing とかとどういう関係になるんだろう | |
| そしてFoSSaCSの採択論文でてるということはETAPSの諸々出てるのか。チェックしないと！ | |
| 花です https://t.co/64OcA3WnsX | |
| 千田さんのレベルを上げて物理で殴るというか分厚く圧殺してく寄せ好きだなあ | |
| @lightout ありがとうございます。背景が青できつすぎるよりも曇り空も良いものですね |