https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 「出社してまず最初に動かす、remoteとレポジトリのsync取る他色々雑多な作業を回すスクリプト」をmorningという名前にしているのですが、これはそろそろnoonという名前に改名した方がよい気がしてきた。 | |
| f(1)=3,f(2)=14,f(3)=15,f(4)=92,f(5)=653,f(7)=9323を満たす、定数0と+1と射影関数と関数合成と原始帰納法と最小化の有限回の組合せで定義できる自然数上の関数f(x)のうち左記の関数定義演算を用いる回数が最小なfに関しf(6)を求めよう | |
| 一意かどうかわからないな、それ。 | |
| http://www.icfpcontest.org/2011/06/round-1-finished.html #icfpc2011 Round 1 (上位30位決定戦) の結果が出ています |