Submit Search
Upload
120901fp key
•
71 likes
•
18,384 views
K
ksknac
Follow
函数プログラミングの集いで発表したスライド. 後半についての詳細を知りたい方には, Hudak らの A History of Haskell をお薦めします.
Read less
Read more
Slideshow view
Report
Share
Slideshow view
Report
Share
1 of 54
Download now
Download to read offline
Recommended
今日からできる!簡単 .NET 高速化 Tips
今日からできる!簡単 .NET 高速化 Tips
Takaaki Suzuki
C++ マルチスレッド 入門
C++ マルチスレッド 入門
京大 マイコンクラブ
Constexpr 中3女子テクニック
Constexpr 中3女子テクニック
Genya Murakami
これから Haskell を書くにあたって
これから Haskell を書くにあたって
Tsuyoshi Matsudate
組み込み関数(intrinsic)によるSIMD入門
組み込み関数(intrinsic)によるSIMD入門
Norishige Fukushima
明日使えないすごいビット演算
明日使えないすごいビット演算
京大 マイコンクラブ
プログラムを高速化する話
プログラムを高速化する話
京大 マイコンクラブ
Rustに触れて私のPythonはどう変わったか
Rustに触れて私のPythonはどう変わったか
ShunsukeNakamura17
Recommended
今日からできる!簡単 .NET 高速化 Tips
今日からできる!簡単 .NET 高速化 Tips
Takaaki Suzuki
C++ マルチスレッド 入門
C++ マルチスレッド 入門
京大 マイコンクラブ
Constexpr 中3女子テクニック
Constexpr 中3女子テクニック
Genya Murakami
これから Haskell を書くにあたって
これから Haskell を書くにあたって
Tsuyoshi Matsudate
組み込み関数(intrinsic)によるSIMD入門
組み込み関数(intrinsic)によるSIMD入門
Norishige Fukushima
明日使えないすごいビット演算
明日使えないすごいビット演算
京大 マイコンクラブ
プログラムを高速化する話
プログラムを高速化する話
京大 マイコンクラブ
Rustに触れて私のPythonはどう変わったか
Rustに触れて私のPythonはどう変わったか
ShunsukeNakamura17
F#入門 ~関数プログラミングとは何か~
F#入門 ~関数プログラミングとは何か~
Nobuhisa Koizumi
SSE4.2の文字列処理命令の紹介
SSE4.2の文字列処理命令の紹介
MITSUNARI Shigeo
Glibc malloc internal
Glibc malloc internal
Motohiro KOSAKI
POMDP下での強化学習の基礎と応用
POMDP下での強化学習の基礎と応用
Yasunori Ozaki
高速な倍精度指数関数expの実装
高速な倍精度指数関数expの実装
MITSUNARI Shigeo
合成変量とアンサンブル:回帰森と加法モデルの要点
合成変量とアンサンブル:回帰森と加法モデルの要点
Ichigaku Takigawa
組み込みでこそC++を使う10の理由
組み込みでこそC++を使う10の理由
kikairoya
関数型プログラミングのデザインパターンひとめぐり
関数型プログラミングのデザインパターンひとめぐり
Kazuyuki TAKASE
数学カフェ 確率・統計・機械学習回 「速習 確率・統計」
数学カフェ 確率・統計・機械学習回 「速習 確率・統計」
Ken'ichi Matsui
RSA暗号運用でやってはいけない n のこと #ssmjp
RSA暗号運用でやってはいけない n のこと #ssmjp
sonickun
DDD x CQRS 更新系と参照系で異なるORMを併用して上手くいった話
DDD x CQRS 更新系と参照系で異なるORMを併用して上手くいった話
Koichiro Matsuoka
型安全性入門
型安全性入門
Akinori Abe
constexpr関数はコンパイル時処理。これはいい。実行時が霞んで見える。cpuの嬌声が聞こえてきそうだ
constexpr関数はコンパイル時処理。これはいい。実行時が霞んで見える。cpuの嬌声が聞こえてきそうだ
Genya Murakami
Pythonによる黒魔術入門
Pythonによる黒魔術入門
大樹 小倉
オブジェクト指向できていますか?
オブジェクト指向できていますか?
Moriharu Ohzu
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
R seminar on igraph
R seminar on igraph
Kazuhiro Takemoto
C# 8.0 非同期ストリーム
C# 8.0 非同期ストリーム
信之 岩永
AI初心者だった私が E資格取得して専門職に転職した話
AI初心者だった私が E資格取得して専門職に転職した話
川上 詩織
例外設計における大罪
例外設計における大罪
Takuto Wada
数学プログラムを Haskell で書くべき 6 の理由
数学プログラムを Haskell で書くべき 6 の理由
Hiromi Ishii
Erlang
Erlang
Kiminari Homma
More Related Content
What's hot
F#入門 ~関数プログラミングとは何か~
F#入門 ~関数プログラミングとは何か~
Nobuhisa Koizumi
SSE4.2の文字列処理命令の紹介
SSE4.2の文字列処理命令の紹介
MITSUNARI Shigeo
Glibc malloc internal
Glibc malloc internal
Motohiro KOSAKI
POMDP下での強化学習の基礎と応用
POMDP下での強化学習の基礎と応用
Yasunori Ozaki
高速な倍精度指数関数expの実装
高速な倍精度指数関数expの実装
MITSUNARI Shigeo
合成変量とアンサンブル:回帰森と加法モデルの要点
合成変量とアンサンブル:回帰森と加法モデルの要点
Ichigaku Takigawa
組み込みでこそC++を使う10の理由
組み込みでこそC++を使う10の理由
kikairoya
関数型プログラミングのデザインパターンひとめぐり
関数型プログラミングのデザインパターンひとめぐり
Kazuyuki TAKASE
数学カフェ 確率・統計・機械学習回 「速習 確率・統計」
数学カフェ 確率・統計・機械学習回 「速習 確率・統計」
Ken'ichi Matsui
RSA暗号運用でやってはいけない n のこと #ssmjp
RSA暗号運用でやってはいけない n のこと #ssmjp
sonickun
DDD x CQRS 更新系と参照系で異なるORMを併用して上手くいった話
DDD x CQRS 更新系と参照系で異なるORMを併用して上手くいった話
Koichiro Matsuoka
型安全性入門
型安全性入門
Akinori Abe
constexpr関数はコンパイル時処理。これはいい。実行時が霞んで見える。cpuの嬌声が聞こえてきそうだ
constexpr関数はコンパイル時処理。これはいい。実行時が霞んで見える。cpuの嬌声が聞こえてきそうだ
Genya Murakami
Pythonによる黒魔術入門
Pythonによる黒魔術入門
大樹 小倉
オブジェクト指向できていますか?
オブジェクト指向できていますか?
Moriharu Ohzu
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
R seminar on igraph
R seminar on igraph
Kazuhiro Takemoto
C# 8.0 非同期ストリーム
C# 8.0 非同期ストリーム
信之 岩永
AI初心者だった私が E資格取得して専門職に転職した話
AI初心者だった私が E資格取得して専門職に転職した話
川上 詩織
例外設計における大罪
例外設計における大罪
Takuto Wada
What's hot
(20)
F#入門 ~関数プログラミングとは何か~
F#入門 ~関数プログラミングとは何か~
SSE4.2の文字列処理命令の紹介
SSE4.2の文字列処理命令の紹介
Glibc malloc internal
Glibc malloc internal
POMDP下での強化学習の基礎と応用
POMDP下での強化学習の基礎と応用
高速な倍精度指数関数expの実装
高速な倍精度指数関数expの実装
合成変量とアンサンブル:回帰森と加法モデルの要点
合成変量とアンサンブル:回帰森と加法モデルの要点
組み込みでこそC++を使う10の理由
組み込みでこそC++を使う10の理由
関数型プログラミングのデザインパターンひとめぐり
関数型プログラミングのデザインパターンひとめぐり
数学カフェ 確率・統計・機械学習回 「速習 確率・統計」
数学カフェ 確率・統計・機械学習回 「速習 確率・統計」
RSA暗号運用でやってはいけない n のこと #ssmjp
RSA暗号運用でやってはいけない n のこと #ssmjp
DDD x CQRS 更新系と参照系で異なるORMを併用して上手くいった話
DDD x CQRS 更新系と参照系で異なるORMを併用して上手くいった話
型安全性入門
型安全性入門
constexpr関数はコンパイル時処理。これはいい。実行時が霞んで見える。cpuの嬌声が聞こえてきそうだ
constexpr関数はコンパイル時処理。これはいい。実行時が霞んで見える。cpuの嬌声が聞こえてきそうだ
Pythonによる黒魔術入門
Pythonによる黒魔術入門
オブジェクト指向できていますか?
オブジェクト指向できていますか?
関数プログラミング入門
関数プログラミング入門
R seminar on igraph
R seminar on igraph
C# 8.0 非同期ストリーム
C# 8.0 非同期ストリーム
AI初心者だった私が E資格取得して専門職に転職した話
AI初心者だった私が E資格取得して専門職に転職した話
例外設計における大罪
例外設計における大罪
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
JSer Class #1
JSer Class #1
mizuky fujitani
サーバー構築ハンズオンマニュアル サンプル
サーバー構築ハンズオンマニュアル サンプル
Takeshi Kabu
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
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