>>69,70
>>60をdilogに持って行く式変形教えて