Submit Search
Upload
120901fp key
•
71 likes
•
18,388 views
K
ksknac
Follow
函数プログラミングの集いで発表したスライド. 後半についての詳細を知りたい方には, Hudak らの A History of Haskell をお薦めします.
Read less
Read more
Report
Share
Report
Share
1 of 54
Download now
Download to read offline
Recommended
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
Constexpr 中3女子テクニック
Constexpr 中3女子テクニック
Genya Murakami
中3女子でもわかる constexpr
中3女子でもわかる constexpr
Genya Murakami
プログラムを高速化する話
プログラムを高速化する話
京大 マイコンクラブ
CEDEC 2018 最速のC#の書き方 - C#大統一理論へ向けて性能的課題を払拭する
CEDEC 2018 最速のC#の書き方 - C#大統一理論へ向けて性能的課題を払拭する
Yoshifumi Kawai
高速な倍精度指数関数expの実装
高速な倍精度指数関数expの実装
MITSUNARI Shigeo
SSE4.2の文字列処理命令の紹介
SSE4.2の文字列処理命令の紹介
MITSUNARI Shigeo
フラグを愛でる
フラグを愛でる
MITSUNARI Shigeo
Recommended
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
Constexpr 中3女子テクニック
Constexpr 中3女子テクニック
Genya Murakami
中3女子でもわかる constexpr
中3女子でもわかる constexpr
Genya Murakami
プログラムを高速化する話
プログラムを高速化する話
京大 マイコンクラブ
CEDEC 2018 最速のC#の書き方 - C#大統一理論へ向けて性能的課題を払拭する
CEDEC 2018 最速のC#の書き方 - C#大統一理論へ向けて性能的課題を払拭する
Yoshifumi Kawai
高速な倍精度指数関数expの実装
高速な倍精度指数関数expの実装
MITSUNARI Shigeo
SSE4.2の文字列処理命令の紹介
SSE4.2の文字列処理命令の紹介
MITSUNARI Shigeo
フラグを愛でる
フラグを愛でる
MITSUNARI Shigeo
競技プログラミングのためのC++入門
競技プログラミングのためのC++入門
natrium11321
Glibc malloc internal
Glibc malloc internal
Motohiro KOSAKI
何となく勉強した気分になれるパーサ入門
何となく勉強した気分になれるパーサ入門
masayoshi takahashi
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Masahiro Sakai
PFIセミナー 2013/02/28 「プログラミング言語の今」
PFIセミナー 2013/02/28 「プログラミング言語の今」
Preferred Networks
新しい並列for構文のご提案
新しい並列for構文のご提案
yohhoy
C++の話(本当にあった怖い話)
C++の話(本当にあった怖い話)
Yuki Tamura
オブジェクト指向できていますか?
オブジェクト指向できていますか?
Moriharu Ohzu
C++ マルチスレッドプログラミング
C++ マルチスレッドプログラミング
Kohsuke Yuasa
組み込み関数(intrinsic)によるSIMD入門
組み込み関数(intrinsic)によるSIMD入門
Norishige Fukushima
組み込みでこそC++を使う10の理由
組み込みでこそC++を使う10の理由
kikairoya
条件分岐とcmovとmaxps
条件分岐とcmovとmaxps
MITSUNARI Shigeo
「再代入なんて、あるわけない」 ~ふつうのプログラマが関数型言語を知るべき理由~ (Gunma.web #5 2011/05/14)
「再代入なんて、あるわけない」 ~ふつうのプログラマが関数型言語を知るべき理由~ (Gunma.web #5 2011/05/14)
parrotstudio
函数プログラミングのエッセンスと考え方
函数プログラミングのエッセンスと考え方
啓 小笠原
謎の言語Forthが謎なので実装した
謎の言語Forthが謎なので実装した
t-sin
冬のLock free祭り safe
冬のLock free祭り safe
Kumazaki Hiroki
C++コミュニティーの中心でC++をDISる
C++コミュニティーの中心でC++をDISる
Hideyuki Tanaka
関数型プログラミングのデザインパターンひとめぐり
関数型プログラミングのデザインパターンひとめぐり
Kazuyuki TAKASE
C++ マルチスレッド 入門
C++ マルチスレッド 入門
京大 マイコンクラブ
ゲーム開発者のための C++11/C++14
ゲーム開発者のための C++11/C++14
Ryo Suzuki
数学プログラムを Haskell で書くべき 6 の理由
数学プログラムを Haskell で書くべき 6 の理由
Hiromi Ishii
Erlang
Erlang
Kiminari Homma
More Related Content
What's hot
競技プログラミングのためのC++入門
競技プログラミングのためのC++入門
natrium11321
Glibc malloc internal
Glibc malloc internal
Motohiro KOSAKI
何となく勉強した気分になれるパーサ入門
何となく勉強した気分になれるパーサ入門
masayoshi takahashi
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Masahiro Sakai
PFIセミナー 2013/02/28 「プログラミング言語の今」
PFIセミナー 2013/02/28 「プログラミング言語の今」
Preferred Networks
新しい並列for構文のご提案
新しい並列for構文のご提案
yohhoy
C++の話(本当にあった怖い話)
C++の話(本当にあった怖い話)
Yuki Tamura
オブジェクト指向できていますか?
オブジェクト指向できていますか?
Moriharu Ohzu
C++ マルチスレッドプログラミング
C++ マルチスレッドプログラミング
Kohsuke Yuasa
組み込み関数(intrinsic)によるSIMD入門
組み込み関数(intrinsic)によるSIMD入門
Norishige Fukushima
組み込みでこそC++を使う10の理由
組み込みでこそC++を使う10の理由
kikairoya
条件分岐とcmovとmaxps
条件分岐とcmovとmaxps
MITSUNARI Shigeo
「再代入なんて、あるわけない」 ~ふつうのプログラマが関数型言語を知るべき理由~ (Gunma.web #5 2011/05/14)
「再代入なんて、あるわけない」 ~ふつうのプログラマが関数型言語を知るべき理由~ (Gunma.web #5 2011/05/14)
parrotstudio
函数プログラミングのエッセンスと考え方
函数プログラミングのエッセンスと考え方
啓 小笠原
謎の言語Forthが謎なので実装した
謎の言語Forthが謎なので実装した
t-sin
冬のLock free祭り safe
冬のLock free祭り safe
Kumazaki Hiroki
C++コミュニティーの中心でC++をDISる
C++コミュニティーの中心でC++をDISる
Hideyuki Tanaka
関数型プログラミングのデザインパターンひとめぐり
関数型プログラミングのデザインパターンひとめぐり
Kazuyuki TAKASE
C++ マルチスレッド 入門
C++ マルチスレッド 入門
京大 マイコンクラブ
ゲーム開発者のための C++11/C++14
ゲーム開発者のための C++11/C++14
Ryo Suzuki
What's hot
(20)
競技プログラミングのためのC++入門
競技プログラミングのためのC++入門
Glibc malloc internal
Glibc malloc internal
何となく勉強した気分になれるパーサ入門
何となく勉強した気分になれるパーサ入門
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
PFIセミナー 2013/02/28 「プログラミング言語の今」
PFIセミナー 2013/02/28 「プログラミング言語の今」
新しい並列for構文のご提案
新しい並列for構文のご提案
C++の話(本当にあった怖い話)
C++の話(本当にあった怖い話)
オブジェクト指向できていますか?
オブジェクト指向できていますか?
C++ マルチスレッドプログラミング
C++ マルチスレッドプログラミング
組み込み関数(intrinsic)によるSIMD入門
組み込み関数(intrinsic)によるSIMD入門
組み込みでこそC++を使う10の理由
組み込みでこそC++を使う10の理由
条件分岐とcmovとmaxps
条件分岐とcmovとmaxps
「再代入なんて、あるわけない」 ~ふつうのプログラマが関数型言語を知るべき理由~ (Gunma.web #5 2011/05/14)
「再代入なんて、あるわけない」 ~ふつうのプログラマが関数型言語を知るべき理由~ (Gunma.web #5 2011/05/14)
函数プログラミングのエッセンスと考え方
函数プログラミングのエッセンスと考え方
謎の言語Forthが謎なので実装した
謎の言語Forthが謎なので実装した
冬のLock free祭り safe
冬のLock free祭り safe
C++コミュニティーの中心でC++をDISる
C++コミュニティーの中心でC++をDISる
関数型プログラミングのデザインパターンひとめぐり
関数型プログラミングのデザインパターンひとめぐり
C++ マルチスレッド 入門
C++ マルチスレッド 入門
ゲーム開発者のための C++11/C++14
ゲーム開発者のための C++11/C++14
Viewers also liked
数学プログラムを Haskell で書くべき 6 の理由
数学プログラムを Haskell で書くべき 6 の理由
Hiromi Ishii
Erlang
Erlang
Kiminari Homma
Erlangを触ってみた
Erlangを触ってみた
Yoichi Toyota
GHC 6.12.1 マルチコア対応ランタイムシステムについて
GHC 6.12.1 マルチコア対応ランタイムシステムについて
Mitsutoshi Aoe
関数型軽い紹介
関数型軽い紹介
Daniel Perez
Yesod(at FPM2012)
Yesod(at FPM2012)
Seizan Shimazaki
五軒家スプリント10月度 タイムスケジュール
五軒家スプリント10月度 タイムスケジュール
龍一郎 北野
OthloEvent #9 Xamarinハンズオン
OthloEvent #9 Xamarinハンズオン
Hidetsugu Tamaki
Does Infer dream of design by contract?
Does Infer dream of design by contract?
Kiwamu Okabe
WebサービスにおけるWebデザイナーの働き方
WebサービスにおけるWebデザイナーの働き方
Yuta Suzuki
F#で学ぶ関数プログラミング入門?
F#で学ぶ関数プログラミング入門?
pocketberserker
関数型言語初心者の俺がF#触ってみた
関数型言語初心者の俺がF#触ってみた
Takashi Nishisaki
第一回関数型言語勉強会 大阪
第一回関数型言語勉強会 大阪
Naoki Kitora
FP習熟度レベルとFSharpxのIteratee
FP習熟度レベルとFSharpxのIteratee
pocketberserker
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
shoma h
名古屋アジャイル勉強会「コンピテンシーを活用した人財育成」
名古屋アジャイル勉強会「コンピテンシーを活用した人財育成」
hiroyuki Yamamoto
第8回 Web 動画 サイト講座 〜 Webサイトを完成させ、来シーズンのトピックを考えよう - NAMO (NAgoya Movie Obenkyokai)
第8回 Web 動画 サイト講座 〜 Webサイトを完成させ、来シーズンのトピックを考えよう - NAMO (NAgoya Movie Obenkyokai)
Katz Ueno
Katagaitai CTF勉強会 #4 Crypto
Katagaitai CTF勉強会 #4 Crypto
trmr
これから Haskell を書くにあたって
これから Haskell を書くにあたって
Tsuyoshi Matsudate
JSer Class #1
JSer Class #1
mizuky fujitani
Viewers also liked
(20)
数学プログラムを Haskell で書くべき 6 の理由
数学プログラムを Haskell で書くべき 6 の理由
Erlang
Erlang
Erlangを触ってみた
Erlangを触ってみた
GHC 6.12.1 マルチコア対応ランタイムシステムについて
GHC 6.12.1 マルチコア対応ランタイムシステムについて
関数型軽い紹介
関数型軽い紹介
Yesod(at FPM2012)
Yesod(at FPM2012)
五軒家スプリント10月度 タイムスケジュール
五軒家スプリント10月度 タイムスケジュール
OthloEvent #9 Xamarinハンズオン
OthloEvent #9 Xamarinハンズオン
Does Infer dream of design by contract?
Does Infer dream of design by contract?
WebサービスにおけるWebデザイナーの働き方
WebサービスにおけるWebデザイナーの働き方
F#で学ぶ関数プログラミング入門?
F#で学ぶ関数プログラミング入門?
関数型言語初心者の俺がF#触ってみた
関数型言語初心者の俺がF#触ってみた
第一回関数型言語勉強会 大阪
第一回関数型言語勉強会 大阪
FP習熟度レベルとFSharpxのIteratee
FP習熟度レベルとFSharpxのIteratee
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
名古屋アジャイル勉強会「コンピテンシーを活用した人財育成」
名古屋アジャイル勉強会「コンピテンシーを活用した人財育成」
第8回 Web 動画 サイト講座 〜 Webサイトを完成させ、来シーズンのトピックを考えよう - NAMO (NAgoya Movie Obenkyokai)
第8回 Web 動画 サイト講座 〜 Webサイトを完成させ、来シーズンのトピックを考えよう - NAMO (NAgoya Movie Obenkyokai)
Katagaitai CTF勉強会 #4 Crypto
Katagaitai CTF勉強会 #4 Crypto
これから Haskell を書くにあたって
これから Haskell を書くにあたって
JSer Class #1
JSer Class #1
120901fp key
1.
2.
3.
4.
お知らせ
2012年9月1日 これからお話しする内容は、あくまで一 個人の主義・主張および見解であり、所属 機関・所属団体を代表して発言するもので はありません。「○○○をお辞めになって から批判してください」というのはお控え ください。
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
お知らせ (2)
2012年9月1日 問題文にあった「関数型」は、「言語」 に対する形容詞として適切ではありません でした。従って、この問題につきましては 全員正解 (3点) として扱います。
16.
17.
18.
void inc (int*
x) { ++*x; }
19.
20.
int random(int p)
{ return (rand()%p); } void putchar (int c); /* 標準出力へ 1 文字書き出す */ int getchar (void); /* 標準入力から 1 文字読み込む */ void inc (int* x) { ++*x; } /* x の指す値をインクリメント */
21.
お知らせ (3)
2012年9月1日 「どれが関数か」という問題において、 入力および出力の集合が明示されておりま せんでした。従って、この問題につきまし ては全員正解 (各1点) として扱います。
22.
int random(int p)
{ return (rand()%p); }
23.
void putchar (int
c); /* 標準出力へ 1 文字書き出す */
24.
int getchar (void);
/* 標準入力から 1 文字読み込む */
25.
void inc (int*
x) { ++*x; } /* x の指す値をインクリメント */
26.
int getchar (void);
/* 標準入力から 1 文字読み込む */
27.
28.
29.
30.
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
45.
46.
x .λ y.x λ
47.
e : τ Γ
⊢
48.
R A
N ORT F & B N F
Download now