関連ワード:  functional programming in lean    functional programming in lean4    functional programming in lean pdf    functional programming in lean github    functional programming in lean book    functional programming in lean solutions    functional programming and theorem proving in lean 4    lean programming principles    what is lean framework    what is lean fundamentals