Programming Research Group – Department of Mathematical and Computing Science, Institute of Science Tokyo (née Tokyo In…