1. トップ > 
  2. eラーニング講座一覧 > 
  3. IT専門分野 > 
  4. Monadを知る~圏論のMonadとHaskellのMonad~

Monadを知る~圏論のMonadとHaskellのMonad~

純粋関数型プログラミング言語Haskellは、数学の圏論に基づくプログラムの意味論を言語機能に忠実に取り入れ、純粋関数型言語を現実のプログラムに応用する上で陥る様々な困難(副作用・入出力・例外などの扱い)を解決している。
本コースでは、圏論の各概念を数学的に解説し、Haskellがいかにこれらを忠実に取り入れているかを説明する
※「富士通株式会社 ミドルウェア事業本部」との提携にてご提供するeラーニング講座です。

  • Point1
    該当分野に特化した技術について、わかりやすく解説しています!
  • Point2
    読みやすい画面レイアウトにより、内容をじっくりと読み解けます!
  • Point3
    期間内であれば、ご自分のペースで何度でも繰返し閲覧できます!

標準学習時間

1時間

講座チラシ

クラウドサービス型・買取型(Internet Navigware対応)

1. はじめに

2. 圏(Category)

  • 2.1 圏の例
  • 2.2 Haskellにおける圏の例

3. 関手(Functor)

  • 3.1 関手の例
  • 3.2 Haskellにおける関手の例

4. 自然変換(natural transformation)

  • 4.1 自然変換の例
  • 4.2 自然変換の演算

5. Monad

  • 5.1 Monadの例
  • 5.2 Monad Laws
  • 5.3 HaskellにおけるMonad

6. クライスリ圏(Kleisli category)

  • 6.1 クライスリ圏とHaskell

7. クライスリ圏とプログラムの意味論

クラウドサービス型

受講期間 価格(税抜)
3ヶ月 18,000円

買取型

Internet Navigware対応

ライセンス数 価格(税抜)
期間無制限型 年間利用型
5クライアント 450,000円 225,000円
20クライアント 1,440,000円 720,000円
100クライアント 4,320,000円 2,160,000円

クラウドサービス型・買取型(Internet Navigware対応)

Microsoft Windows Vista、7、8、8.1 + PC/AT互換機 + キーボード + マウス
CPU:Pentium 300MHz 以上、メモリ:128MB 以上
画面解像度1024×768ピクセル以上、True Color(32ビット)のディスプレイ
Microsoft Internet Explorer 7、8、9、10、11
注意: JavaScript、およびCookieが有効であること
Adobe Flash Player
  • 本コースウェアはInternet Navigware V8.0 以降に対応しています。
  • 開発時点での確認です。プラグイン等、上位バージョンでの動作等、必ず「体験学習」のページでご確認ください。

▲ ページの先頭へ