1
CLIPS

Start F#! 関数型言語&形式手法無料セミナー (7/19火19:00~新宿)

2316日前に更新 aoki1210aoki1210 2318日前に登録
2011年07月18日 GMT 2011年07月16日 GMT

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

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

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

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

プログラム:

  1. 関数プログラミングで開発を加速しよう!

     ヌルポ (NullReferenceException) がない世界へようこそ

     forループはもう要らない! map, foldによるリスト処理

     純粋関数でラクラク単体テスト

     古くて新しい,判別共用体によるソフトウェアデザイン

     コンピュテーション式で何でも並列化

  2. 応用事例:ここでも使われている関数型言語

  3. 形式手法 - 定理証明系Coqとのつながり
カテゴリー: 勉強会/イベント/配信 | クリック数: 14 | | ソースサイト: kokucheese.com | カウンタを表示
タグ: F#

まだコメントはありません。最初のコメントを登録してみませんか?

コメントするためにはログイン もしくは サインアップしてください。