Lean 4ちょっぴりいじってみたけど、SPARKとかと全然違いすぎてどういうことなのってなってる＞＜；
あまりにも思ってたんと違う＞＜；