Prop_J.vとりあえず読了
Logic_J.v開始