1
CLIPS
spam .NetCLIP! UnClip

Start F#! 関数型言語＆形式手法無料セミナー (7/19火19:00～新宿)
309日前に更新 aoki1210aoki1210 が 311日前に登録
2011年07月18日 GMT 2011年07月16日 GMT

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

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

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

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

プログラム：

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

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

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

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

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

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

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

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

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

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