https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @zakkas783 御殿場口から山頂は歩いたというか登ったことがあるので、あとは新五合目までさえ行けば歩いたことある連結成分が富士山頂まで繋がるから繋げておこうかなあと言った感じです | |
| @zakkas783 おもしろルートが思いつかない時はとりあえず連結成分増やすルートを探しております #おもしろルート募集中 | |
| @septef その10年前くらいにも登ったことがあってそれのつもりだったが今マップを見たらそれは富士宮口だったような気がしてきた | |
| @zakkas783 おおー、関連商品すでに2-3冊読んでました(^^; 日本百名道みて千里浜なぎさドライブウェイ歩きに行ったり。群馬県道33よさそうです。頭文字Dのモデルめぐり楽しそう | |
| りりろじさんに教えてもらった "Church Encoding of Data Types Considered Harmful for Implementations" https://t.co/9spsSRxauR 読んでた。Scott Encoding使おう（洗脳された） | |
| さっきの論文は相当当たり前のことしか書いてないといえば書いてないのだけど、トイ言語のλ計算相当の部分だけ作った段階でとりあえず遊ぼうとしたときに自分なら何も考えずデータ構造はChurch encodingしてたので、それはちょっと待てという視点を得られたのありがたかった感じです | |
| 天童で時間を潰す方法を探していたんだけど https://t.co/jJt4lfD03N 路面に詰め将棋書いてあるらしいので単に歩いてれば無限に潰れるぽい |