https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 全力で高速化して一瞬でCollatz 1からCollatz 1000まで証明できるようになったが、あとはこれをforall x,1≦x≦1000->Collatz xにする作業… | |
| ぬぬぬ手元では10秒で終わる最強に強まったコラッツさんを投げたらまたサーバの反応がなくなってしまった…すみません…寝よう… #anarchyproof | |
| 近所だし、という理由でフラフラと Boost.懇親会＃2 に紛れ込もうかどうしようか考えている。 | |
| @keigoi しかし結局match x with 0=>【1】|1=>【1】|S (S n as m)=>fib m【+】fib n の【 】の3文字以外は手で全部書いているという…。Fibの定義から自動でfix～match作るtacticくらい標準であっても悪くなさそうですが | |
| @keigoi はい、そこは関数の中と外で同じ変数名nを使って見た目を騙すことで You'll see ... とか書いてますが、実はまったく自明ではないです(笑。ここももう少しどうにか自明なunificationに落としたいところなんですが… | |
| http://twitter.com/kqwa_taka/status/22641946258 ほんとだ！ (PDF: http://customs.hmrc.gov.uk/channelsPortalWebApp/downloadFile?contentID=HMCE_CL_001734 death stars, swordsticks, blowpipes, ...) | |
| http://www.oqps.gov.uk/legislation/ssi/ssi2005/ssi_20050483_en_1 クボタン、鎖鎌、距跋渉毛、万力鎖。てか結構どこの国も手裏剣禁止してるなー。カナダ http://cbsa-asfc.gc.ca/publications/pub/bsf5044-eng.html |