Soumettre la recherche
Mettre en ligne
第1回関数型言語勉強会 大阪 LT 資料
•
3 j'aime
•
4,979 vues
ikegami__
Suivre
関数型を学習するためのリソースを提供します。個人の主観が入っておりますのでご容赦を。 2012-05-20:追記:修正した発表スライドに更新しました。
Lire moins
Lire la suite
Signaler
Partager
Signaler
Partager
1 sur 25
Télécharger maintenant
Télécharger pour lire hors ligne
Recommandé
関数型言語勉強会大阪Lt2012 05-19
C#erがF#に這い寄ってみた
C#erがF#に這い寄ってみた
Hiroshi Maekawa
関数型言語勉強会#1で発表した資料です。 資料自体も、L5を使ってClojureで作られています。 L5 http://github.com/fukamachi/L5
今日から始めるClojure
今日から始めるClojure
Kiyotaka Kunihira
Xamarin開発でMvvmCrossとF#使って開発してるのでその辺もろもろと
Xamarinとmvvm crossとf#と
Xamarinとmvvm crossとf#と
Masahiko Miyasaka
第一回関数型言語勉強会 大阪
第一回関数型言語勉強会 大阪
Naoki Kitora
OCamlの多相Variant紹介 #fpstudy
OCamlの多相Variant紹介 #fpstudy
kyon mm
2012/5/19 関数型言語勉強会発表資料( ̄ω ̄*) 最後のページ、「終止」ってなってるのは「終始」の間違いですね、ハイ
Material
Material
_TUNE_
Erlang
Erlang
Kiminari Homma
Erlangを触ってみた
Erlangを触ってみた
Yoichi Toyota
Recommandé
関数型言語勉強会大阪Lt2012 05-19
C#erがF#に這い寄ってみた
C#erがF#に這い寄ってみた
Hiroshi Maekawa
関数型言語勉強会#1で発表した資料です。 資料自体も、L5を使ってClojureで作られています。 L5 http://github.com/fukamachi/L5
今日から始めるClojure
今日から始めるClojure
Kiyotaka Kunihira
Xamarin開発でMvvmCrossとF#使って開発してるのでその辺もろもろと
Xamarinとmvvm crossとf#と
Xamarinとmvvm crossとf#と
Masahiko Miyasaka
第一回関数型言語勉強会 大阪
第一回関数型言語勉強会 大阪
Naoki Kitora
OCamlの多相Variant紹介 #fpstudy
OCamlの多相Variant紹介 #fpstudy
kyon mm
2012/5/19 関数型言語勉強会発表資料( ̄ω ̄*) 最後のページ、「終止」ってなってるのは「終始」の間違いですね、ハイ
Material
Material
_TUNE_
Erlang
Erlang
Kiminari Homma
Erlangを触ってみた
Erlangを触ってみた
Yoichi Toyota
2009年Haskell忘年会前哨戦
GHC 6.12.1 マルチコア対応ランタイムシステムについて
GHC 6.12.1 マルチコア対応ランタイムシステムについて
Mitsutoshi Aoe
2012年5月19日に開催された、「第一回関数型言語勉強会 大阪」での発表資料です。 コードとか: https://github.com/quassia88/InverseFizzBuzz/ まとめとか: http://togetter.com/li/306278
20120519 inverse fizzbuzz を解いてみよう
20120519 inverse fizzbuzz を解いてみよう
HiroSuga
勉強会の資料
関数型軽い紹介
関数型軽い紹介
Daniel Perez
Yesod(at FPM2012)
Yesod(at FPM2012)
Seizan Shimazaki
第1回 関数型言語勉強会 大阪 の資料です。
たのしい関数型
たのしい関数型
Shinichi Kozake
このスライドはブログ記事として書き直しました。このスライドよりブログ記事の方がわかりやすいと思います。 http://d.hatena.ne.jp/syamino/20120524/p1
代数的データ型をラムダ計算の中で表現する方法
代数的データ型をラムダ計算の中で表現する方法
syamino
関数型言語初心者の俺がF#触ってみた
関数型言語初心者の俺がF#触ってみた
Takashi Nishisaki
F#で学ぶ関数プログラミング入門?
F#で学ぶ関数プログラミング入門?
pocketberserker
FP習熟度レベルとFSharpxのIteratee
FP習熟度レベルとFSharpxのIteratee
pocketberserker
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
shoma h
協働ロボットCOROの開発において形式的仕様記述を適用した事例について解説した資料です。 2016年6月30日(木)国立情報学研究所において開催された『第1回 ソフトウェア工学勉強会』で発表しました。
恊働ロボットCOROの開発における形式的仕様の適用事例
恊働ロボットCOROの開発における形式的仕様の適用事例
Life Robotics
20160123に秋葉原UDX、20160206に梅田ブリーゼプラザにて実施したkatagaitai勉強会 #4で利用したスライド±αです。
Katagaitai CTF勉強会 #4 Crypto
Katagaitai CTF勉強会 #4 Crypto
trmr
「JSer Class - JavaScriptの基礎と軽量フレームワーク」と題して職場で開催した勉強会の資料の第1回分。
JSer Class #1
JSer Class #1
mizuky fujitani
2016/2/14 開催の第一回 hs.hs 勉強会で用いたスライドです。 流れは以下の通りです。 1. はじめに 自己紹介や本発表の目的について 2. GHC 7.8 からの変更点 GHC 7.8 の前後で起きたライブラリの変化と、その変化への対処法について 3. Haskell が遅いと言われるワケとか 遅延評価や各種データ構造の内部表現に起因する諸問題と、その対処法について 4. 知らないと損する言語拡張たち 型の表現力を高めたり、計算速度を向上させる種々の言語拡張について 5. FFI の話 Haskell での FFI の扱いと、身近なライブラリから見る実装例について(※一部抜粋) 6. おまけ(その他便利グッズの話) あるとコーディングがある程度便利になる言語拡張について 一部訂正あり: http://qiita.com/func-hs/items/51b314a2323b83653bb9
これから Haskell を書くにあたって
これから Haskell を書くにあたって
Tsuyoshi Matsudate
日本ユニシス社内でHaskellの勉強会をやったときの私の発表資料です。
純粋関数型アルゴリズム入門
純粋関数型アルゴリズム入門
Kimikazu Kato
函数プログラミングの集いで発表したスライド. 後半についての詳細を知りたい方には, Hudak らの A History of Haskell をお薦めします.
120901fp key
120901fp key
ksknac
関数型言語とオブジェクト指向型言語について社内で勉強会を開いたときの資料です。第一回。
関数型言語とオブジェクト指向言語(序章)
関数型言語とオブジェクト指向言語(序章)
tadaaki hayashi
勉強会で使った資料です。
データベース入門3
データベース入門3
tadaaki hayashi
Introduction to Functional Programming
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
Xamarin.Formsを実践投入してみた感想
Xamarin.forms実践投入してみて
Xamarin.forms実践投入してみて
Masahiko Miyasaka
Ruby 1.9 trunk のソースコードに、既存の静的解析ツール(cppcheck, splint, BLAST, Frama-C)を適用した/適用しようと試みた実験の紹介です。
C言語静的解析ツールと Ruby 1.9 trunk
C言語静的解析ツールと Ruby 1.9 trunk
ikegami__
対話的定理証明支援系 Agda の紹介です
Agda 入門@ProofSummit 2011
Agda 入門@ProofSummit 2011
ikegami__
Contenu connexe
En vedette
2009年Haskell忘年会前哨戦
GHC 6.12.1 マルチコア対応ランタイムシステムについて
GHC 6.12.1 マルチコア対応ランタイムシステムについて
Mitsutoshi Aoe
2012年5月19日に開催された、「第一回関数型言語勉強会 大阪」での発表資料です。 コードとか: https://github.com/quassia88/InverseFizzBuzz/ まとめとか: http://togetter.com/li/306278
20120519 inverse fizzbuzz を解いてみよう
20120519 inverse fizzbuzz を解いてみよう
HiroSuga
勉強会の資料
関数型軽い紹介
関数型軽い紹介
Daniel Perez
Yesod(at FPM2012)
Yesod(at FPM2012)
Seizan Shimazaki
第1回 関数型言語勉強会 大阪 の資料です。
たのしい関数型
たのしい関数型
Shinichi Kozake
このスライドはブログ記事として書き直しました。このスライドよりブログ記事の方がわかりやすいと思います。 http://d.hatena.ne.jp/syamino/20120524/p1
代数的データ型をラムダ計算の中で表現する方法
代数的データ型をラムダ計算の中で表現する方法
syamino
関数型言語初心者の俺がF#触ってみた
関数型言語初心者の俺がF#触ってみた
Takashi Nishisaki
F#で学ぶ関数プログラミング入門?
F#で学ぶ関数プログラミング入門?
pocketberserker
FP習熟度レベルとFSharpxのIteratee
FP習熟度レベルとFSharpxのIteratee
pocketberserker
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
shoma h
協働ロボットCOROの開発において形式的仕様記述を適用した事例について解説した資料です。 2016年6月30日(木)国立情報学研究所において開催された『第1回 ソフトウェア工学勉強会』で発表しました。
恊働ロボットCOROの開発における形式的仕様の適用事例
恊働ロボットCOROの開発における形式的仕様の適用事例
Life Robotics
20160123に秋葉原UDX、20160206に梅田ブリーゼプラザにて実施したkatagaitai勉強会 #4で利用したスライド±αです。
Katagaitai CTF勉強会 #4 Crypto
Katagaitai CTF勉強会 #4 Crypto
trmr
「JSer Class - JavaScriptの基礎と軽量フレームワーク」と題して職場で開催した勉強会の資料の第1回分。
JSer Class #1
JSer Class #1
mizuky fujitani
2016/2/14 開催の第一回 hs.hs 勉強会で用いたスライドです。 流れは以下の通りです。 1. はじめに 自己紹介や本発表の目的について 2. GHC 7.8 からの変更点 GHC 7.8 の前後で起きたライブラリの変化と、その変化への対処法について 3. Haskell が遅いと言われるワケとか 遅延評価や各種データ構造の内部表現に起因する諸問題と、その対処法について 4. 知らないと損する言語拡張たち 型の表現力を高めたり、計算速度を向上させる種々の言語拡張について 5. FFI の話 Haskell での FFI の扱いと、身近なライブラリから見る実装例について(※一部抜粋) 6. おまけ(その他便利グッズの話) あるとコーディングがある程度便利になる言語拡張について 一部訂正あり: http://qiita.com/func-hs/items/51b314a2323b83653bb9
これから Haskell を書くにあたって
これから Haskell を書くにあたって
Tsuyoshi Matsudate
日本ユニシス社内でHaskellの勉強会をやったときの私の発表資料です。
純粋関数型アルゴリズム入門
純粋関数型アルゴリズム入門
Kimikazu Kato
函数プログラミングの集いで発表したスライド. 後半についての詳細を知りたい方には, Hudak らの A History of Haskell をお薦めします.
120901fp key
120901fp key
ksknac
関数型言語とオブジェクト指向型言語について社内で勉強会を開いたときの資料です。第一回。
関数型言語とオブジェクト指向言語(序章)
関数型言語とオブジェクト指向言語(序章)
tadaaki hayashi
勉強会で使った資料です。
データベース入門3
データベース入門3
tadaaki hayashi
Introduction to Functional Programming
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
Xamarin.Formsを実践投入してみた感想
Xamarin.forms実践投入してみて
Xamarin.forms実践投入してみて
Masahiko Miyasaka
En vedette
(20)
GHC 6.12.1 マルチコア対応ランタイムシステムについて
GHC 6.12.1 マルチコア対応ランタイムシステムについて
20120519 inverse fizzbuzz を解いてみよう
20120519 inverse fizzbuzz を解いてみよう
関数型軽い紹介
関数型軽い紹介
Yesod(at FPM2012)
Yesod(at FPM2012)
たのしい関数型
たのしい関数型
代数的データ型をラムダ計算の中で表現する方法
代数的データ型をラムダ計算の中で表現する方法
関数型言語初心者の俺がF#触ってみた
関数型言語初心者の俺がF#触ってみた
F#で学ぶ関数プログラミング入門?
F#で学ぶ関数プログラミング入門?
FP習熟度レベルとFSharpxのIteratee
FP習熟度レベルとFSharpxのIteratee
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
恊働ロボットCOROの開発における形式的仕様の適用事例
恊働ロボットCOROの開発における形式的仕様の適用事例
Katagaitai CTF勉強会 #4 Crypto
Katagaitai CTF勉強会 #4 Crypto
JSer Class #1
JSer Class #1
これから Haskell を書くにあたって
これから Haskell を書くにあたって
純粋関数型アルゴリズム入門
純粋関数型アルゴリズム入門
120901fp key
120901fp key
関数型言語とオブジェクト指向言語(序章)
関数型言語とオブジェクト指向言語(序章)
データベース入門3
データベース入門3
関数プログラミング入門
関数プログラミング入門
Xamarin.forms実践投入してみて
Xamarin.forms実践投入してみて
Plus de ikegami__
Ruby 1.9 trunk のソースコードに、既存の静的解析ツール(cppcheck, splint, BLAST, Frama-C)を適用した/適用しようと試みた実験の紹介です。
C言語静的解析ツールと Ruby 1.9 trunk
C言語静的解析ツールと Ruby 1.9 trunk
ikegami__
対話的定理証明支援系 Agda の紹介です
Agda 入門@ProofSummit 2011
Agda 入門@ProofSummit 2011
ikegami__
MacBook Pro に Gentoo Prefix を入れる、PowerBook G4 に Gentoo Linux を入れる、というふたつのことができるよという紹介
Mac Laptop で Gentoo
Mac Laptop で Gentoo
ikegami__
A brief introduction to random tasting based on specification and specification driven development.
Lightening Talk at Open Source Conference 2007
Lightening Talk at Open Source Conference 2007
ikegami__
In this presentation, I have introduced 3 games (Monadius, Samegame and The yampa arcade) to appeal to Haskell programming language.
Introduction to Haskell games in Open Source Conference 2007 Hokkaido
Introduction to Haskell games in Open Source Conference 2007 Hokkaido
ikegami__
A supplement to the talk for introduction to Haskell at Open Source Conference 2007
Advanced Topics in Haskell
Advanced Topics in Haskell
ikegami__
A brief introduction to Haskell. The purpose of the presentation is "Read Hutton's Haskell book to learn Haskell".
Introduction to Haskell@Open Source Conference 2007 Hokkaido
Introduction to Haskell@Open Source Conference 2007 Hokkaido
ikegami__
Plus de ikegami__
(7)
C言語静的解析ツールと Ruby 1.9 trunk
C言語静的解析ツールと Ruby 1.9 trunk
Agda 入門@ProofSummit 2011
Agda 入門@ProofSummit 2011
Mac Laptop で Gentoo
Mac Laptop で Gentoo
Lightening Talk at Open Source Conference 2007
Lightening Talk at Open Source Conference 2007
Introduction to Haskell games in Open Source Conference 2007 Hokkaido
Introduction to Haskell games in Open Source Conference 2007 Hokkaido
Advanced Topics in Haskell
Advanced Topics in Haskell
Introduction to Haskell@Open Source Conference 2007 Hokkaido
Introduction to Haskell@Open Source Conference 2007 Hokkaido
第1回関数型言語勉強会 大阪 LT 資料
1.
発表者の皆さん Haskell
に 影響されすぎです!
2.
Haskell 以外の言語
3.
書籍の紹介を 5 分でします
4.
速習・関数型言語
@ikegami _ _ 2012-05-19 第一回関数型言語勉強会 関西
5.
抽象化とは… 構造化とは…
6.
7.
8.
関数型言語という定義は、はっきりしない
9.
オブジェクト指向言語
関数型言語 オブジェクト指向 関数プログラミング
10.
関数型計算モデルとは
抽象化の概念 構造化 関数の定義で実現 OOP ではクラスの定義で実現
11.
関数型の利点 関数を引数として受け取る関数 関数を値として返す関数
プログラムを簡潔に表現可能
12.
@nushio 抽象化と速度は相容れないという常識を覆し、
抽象化こそが コーディング速度も実行速度も向上させる ー @nushio さん、自己紹介より抜粋 http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/ muranushi.html
13.
Bird, Wadler 本
→ Miranda | 萩谷本 → LISP, Scheme, ML
14.
「プログラミングの基礎」というタイトルの 関数プログラミング入門書 →
OCaml サイエンス社
15.
「プログラミング言語の基礎概念」というタイトルの 関数プログラミング入門書
→ 型理論 OCaml
16.
英語圏にはドキュメントが沢山あります (どのプログラミング言語でも同じことが言える)
英語怖くない!
17.
• 自習 • よい指導者を見つける •
ideone や GitHub (Gist) で公開 • 添削してもらう • 勉強会に参加 用意したプレゼン、5 分では無理でした…
18.
19.
計算機プログラムの 構造と解釈
→ LISP
20.
オーム社
21.
すごいHaskellたのしく学ぼう!
オーム社 邦訳がもうすぐでます
22.
五十嵐本 技術評論社
23.
コップ本第2版 インプレスジャパン
24.
• Common Lisp •
Erlang • F# • ML • SML • SML# • Scheme • Gauche
25.
今日は話さないよ! • 型 (type)
• 動的型付け vs. 静的型付け • データ • mutable vs. immutable • 評価戦略 • 正格(strict) vs. 非正格(non-strict)
Télécharger maintenant