2017/07/23 (日) 04:00:06        [misao]
f(x)=y
x  y
0  0
1  0
2  1
3  1
4  2
5  2
6  3
7  3
8  4
9  4
10  5
11  5
12  6

(;´Д`)