ビットコインとプログラマブルIPの出会い