F# Meetup in Tokyo introduction

1. F# Meetup in Tokyo
Introduction
Ⅰ．関数型プログラミング言語とは？F#とは？
Ⅱ．F#の活用（アメリカ・ヨーロッパでの活用
）

2. まずは自己紹介です。
「K泉氏公認F#ガール」いしくろようこ
2012年
・Haskellでもやってみるか。。。。
・ケンブリッジ（イギリス）、ニューヨークでのF#ersとの出会いをきっ
かけに、日本との相互情報交換のために何か出来ないか画策し始める
・小泉さん(@nobuhisa_k)、中村さん(@nakayoshix)に連絡を取る
・Fharp.orgに日本のグループページを掲載してもらう
Community for F#（http://c4fsharp.net/groups.html）
2014年
・F♯ミートアップイベント企画実施
宜しくお願いします。

3. では本題です。”Language matters.”
Whatsapp, Heroku, Spotify : erlang
Twitter : scala
Prismatic : clojure
企業の持続的発展には優れた技術と高い生産性が不可欠。
どの言語を使用するかは生産性と収益性を左右する経営課題の一つ。
・・・ゆえに、
企業は優秀な開発者を求める。
優秀な開発者は、課題解決に最適なより高度で洗練された言語を求める。

4. ・・・というわけで、
We have to focus on the important problems.
Powerful tools allow you to take care of the
important problems.
Functional programming language can be a
tool for a great solution.

5. Ⅰ−１. 関数型プログラミングとは？
※数分では語り尽くせないほど長いお話なので、それは専門家の皆様にまかせ
ます。ここでは、ごく簡単にまとめます。
関数型プログラミングは・・・
● 関数の入力（関数の定義）と、関数の出力により成立つ。
● 部分適用が出来る。
● 現在プログラミングの主流になりつつある(?)。
● プログラミングコストを引き下げるのに有効な再利用可能な
パーツ（部品）を提供できるメリットがある。
● C#, F#, Java, Rubyなどでも行われている。

6. Ⅰ−１．では、関数型プログラミング言語とは？
関数型プログラミングに向いている言語。
【純粋関数型プログラミング言語の例】
Haskell, Idris, Agda, Coq, etc...
【非純粋関数型プログラミング言語の例】
F#, OCaml, Scala, etc….

7. Ⅰ−２．F#とは？
Microsoft Research Dr. Don Symeにより作られた
オブジェクト指向、関数型、いずれのプログラミングにも
対応可能な言語 様々な問題解決に対応可能
＜特長＞
● バグや副作用(*)が生じにくい
● コードが短い
● 数学・物理の分野の方と、C♯ユーザーには非常にスム
ーズに習得可能なプログラミング言語
*http://msdn.microsoft.com/ja-jp/magazine/ee336127.aspx

8. Ⅰ−２．F#とは？
F# :
Scalable, Type-safe, Succinct, Interoperable,
Mathematically-oriented Programming for .NET
「拡張性が高く、タイプセーフで、明瞭、相互運
用可能な、.NET開発のための数学指向のプログラ
ミング言語」

9. Ⅰ−２．F#とは？
F#の用途
F#は正確さとデータ分析を要求される産業や分野で用いら
れています。
● 金融業（銀行、保険、など）
● エネルギー産業
● 統計
● ネットワークデータ分析
● 生物学、遺伝子のビジュアル化
● ゲームのAI ( Artificial intelligence )

10. Ⅱ．F#の活用
● bingの広告ビジネス（Ads Ranking Allocation and Pricing）
● サンフランシスコのデータ分析企業 Kaggle
● ニューヨークやロンドンの金融業（金融商品の開発、デリ
バティブトレード、流動性管理をするリスクマネジメント
システム開発など）
● 購買管理の最適化（部品供給業者の
スコア付けとランク付け）
● Xboxのゲーム
● アブダビのルーブル美術館新館設計

11. Ⅱ．F#の活用:注目のスタートアップ
Kaggle
https://www.kaggle.com/
The F# code is consistently shorter, easier to read, easier to refactor and contains far fewer bugs. As
our data analysis tools have developed … we’ve become more productive.
Marc Lore (co-founder of Quidsi) :
His new start-up Jet.com, Inc.

12. Fsharpers 便利帳
F#ers of fsharp.org
Don Syme
@dsyme
Tomas Petricek
@tomaspetricek
SOAP dodger
(Phil Trelford)
@ptrelford
Mathias Brandewinder
@brandewinder
Ryan Riley
@panesofglass
Reed Copsey, Jr.
@ReedCopsey

13. Books about F#
Building Web,
Cloud, and
Mobile Solutions
with F#
Daniel Mohl
Beginning F#
Robert Pickering
F# For C# Developers
Tao Liu
People often ask, “What can F# do that C#
cannot?” In this book, you will discover much
of what F# can do!

14. Books about F#
Expert F# 3.0
Don Syme, Adam Granicz, Antonio
Cisternino
Real World Functional
Programming
Tomas Petricek with Jon Skeet
Introduction to Functional
Programming 1st edition
Richard Bird, Philip Wadler

15. Books about F#
プログラミングF#
著者、訳者 Chris Smith、頃末和義、鈴木幸敏
オライリージャパン
実践 F# 関数型プログラミング入門
著者 荒井省三、いげ太
技術評論社