https://twitter.com/kinaba のログ (twilog の方が便利です。)
| regex of the dead に対抗して型付け規則をうまく利用した typing of the dead を作れないか考えていた（現実逃避） | |
| 型を打ち込むとその型のtermから作れるtermの型を全部倒せる | |
| @bakaming もちろん元はそれですw | |
| Craig interpolation http://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AC%E3%82%A4%E3%82%B0%E3%81%AE%E8%A3%9C%E9%96%93%E5%AE%9A%E7%90%86 うまくゲーム化できないかみたいな気分です | |
| @dif_engine ほんとだ… | |
| 住所録ながめてて突然気づいたのだけど、自分の知り合い102号室に住んでる人がやたら多い | |
| 関東周辺のアパート等の部屋番号の分布はどんなもんだろう。低い階若い番号の方が多い傾向にあるのは当然だろうし、101は大家さんが住んでたりとか考えると102が最多だったりするかも。最多とかいうレベルで無く102だらけだけど… |