スタッフセッション10分 （LT）
ラムダ計算って何だっけ？関数型の神髄に迫る
川頭信之 対象とする聴衆のレベル（該当するレベルを記載してください。）
- Beginner: 分野の前提知識を必要としない
セッションのテーマ（該当するテーマを記載してください。なければ追加頂いて良いです）
- 理論
- 入門
セッションの概要
関数型プログラミングの基本ってラムダ計算とよく言われます。そもそもラムダ計算って何でしょう？コンピュータの計算理論の一つですが、あまり有名ではありません。関数型プログラミング言語の基本的なイメージをつかめるように、初心者にも分かるようにラムダ計算を紹介したいと思います。ラムダ計算についてまだ学んででいない人にも、学んだけれど忘れた人にも、導入として聞いてもらいたいです。
1