プロローグ@drken さんの記事 AtCoder に登録したら次にやること ～ これだけ解けば十分闘える！過去問精選 10 問 ～ にて紹介されている過去問精選 10 問を、論理型プログラミング…