※当日解説で使用したスライドは以下にあります。
http://www.slideshare.net/osiire/3-8660480

関数型言語って何?という方、F#って何が嬉しいの?
という方のために、最新の話題を含めて解説します!

概要:
近年、関数型プログラミングに対する注目が集まっています。
関連する言語の書籍が日本でも多く発売され、
Web上でも活発に議論になり、
雑誌でも特集記事が組まれるまでになっています。
オブジェクト指向に並ぶプログラミングパラダイムとして、
実際に便利なツールとして、多くの人の興味を引いてます。

特に静的型付けで関数プログラミングができる言語には、
注目すべき言語が目白押しです。遅延評価のHaskell、
バランスの良いOCaml、MicrosoftがリリースしたF#、
オブジェクト指向との融合を図るScalaなどです。

本セミナーでは、これら関数型言語の実務への応用実績を持つ
株式会社ITプランニングの小笠原氏をお招きし、
関数プログラミングとは何なのか、どのような特長があるのかについて
解説して頂きます。

プログラム:
1. 関数プログラミングで開発を加速しよう!
 - ヌルポ (NullReferenceException) がない世界へようこそ
 - forループはもう要らない! map, foldによるリスト処理
 - 純粋関数でラクラク単体テスト
 - 古くて新しい,判別共用体によるソフトウェアデザイン
 - コンピュテーション式で何でも並列化
2. 応用事例:ここでも使われている関数型言語
3. 形式手法 - 定理証明系Coqとのつながり


スポンサード リンク

開催概要

日時 2011年07月19日(19:00-21:00(18:30開場))
開催場所豆蔵トレーニングルームA
(東京都新宿区西新宿2-1-1)
参加費無料
定員30人(先着順)
申し込み開始2011年07月07日 00時00分から
申し込み終了2011年07月19日 19時00分まで
懇親会 21:00-22:00
懇親会場所ライオン 新宿センタービル店
(東京都新宿区西新宿1-25-1 新宿センタービルB1)
→地図を開く
懇親会費4,000円(税込)
懇親会定員10人(先着順)
主催
タグ

イベント概要

2011年07月19日

関数型言語&形式手法セミナー(3)Start F#!

東京都新宿区西新宿2-1-1

http://kokucheese.com/event/index/13953/

※当日解説で使用したスライドは以下にあります。 http://www.slideshare.net/osiire/3-8660480 関数型言語って何?という方、F#って何が嬉しいの? という方のため...

イベントは終了いたしました。

スポンサード リンク