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
AVX-512(フォーマット)詳解
AVX-512(フォーマット)詳解
MITSUNARI Shigeo
C++でテスト駆動開発
C++でテスト駆動開発
Akineko Shimizu
Marp Tutorial
Marp Tutorial
Rui Watanabe
Newman アルゴリズムによるソーシャルグラフのクラスタリング
Newman アルゴリズムによるソーシャルグラフのクラスタリング
Atsushi KOMIYA
グラフニューラルネットワーク入門
グラフニューラルネットワーク入門
ryosuke-kojima
最近のKaggleに学ぶテーブルデータの特徴量エンジニアリング
最近のKaggleに学ぶテーブルデータの特徴量エンジニアリング
mlm_kansai
関数型プログラミングのデザインパターンひとめぐり
関数型プログラミングのデザインパターンひとめぐり
Kazuyuki TAKASE
Ekmett勉強会発表資料
Ekmett勉強会発表資料
時響 逢坂
Recommended
AVX-512(フォーマット)詳解
AVX-512(フォーマット)詳解
MITSUNARI Shigeo
C++でテスト駆動開発
C++でテスト駆動開発
Akineko Shimizu
Marp Tutorial
Marp Tutorial
Rui Watanabe
Newman アルゴリズムによるソーシャルグラフのクラスタリング
Newman アルゴリズムによるソーシャルグラフのクラスタリング
Atsushi KOMIYA
グラフニューラルネットワーク入門
グラフニューラルネットワーク入門
ryosuke-kojima
最近のKaggleに学ぶテーブルデータの特徴量エンジニアリング
最近のKaggleに学ぶテーブルデータの特徴量エンジニアリング
mlm_kansai
関数型プログラミングのデザインパターンひとめぐり
関数型プログラミングのデザインパターンひとめぐり
Kazuyuki TAKASE
Ekmett勉強会発表資料
Ekmett勉強会発表資料
時響 逢坂
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Masahiro Sakai
backbone としての timm 入門
backbone としての timm 入門
Takuji Tahara
Re永続データ構造が分からない人のためのスライド
Re永続データ構造が分からない人のためのスライド
Masaki Hara
プログラミングコンテストでのデータ構造 2 ~平衡二分探索木編~
プログラミングコンテストでのデータ構造 2 ~平衡二分探索木編~
Takuya Akiba
Word Tour: One-dimensional Word Embeddings via the Traveling Salesman Problem...
Word Tour: One-dimensional Word Embeddings via the Traveling Salesman Problem...
joisino
プログラミングコンテストでの動的計画法
プログラミングコンテストでの動的計画法
Takuya Akiba
ARM CPUにおけるSIMDを用いた高速計算入門
ARM CPUにおけるSIMDを用いた高速計算入門
Fixstars Corporation
私とOSSの25年
私とOSSの25年
MITSUNARI Shigeo
高速な倍精度指数関数expの実装
高速な倍精度指数関数expの実装
MITSUNARI Shigeo
組み込み関数(intrinsic)によるSIMD入門
組み込み関数(intrinsic)によるSIMD入門
Norishige Fukushima
プログラムを高速化する話
プログラムを高速化する話
京大 マイコンクラブ
マルチコアを用いた画像処理
マルチコアを用いた画像処理
Norishige Fukushima
DSIRNLP#1 ランキング学習ことはじめ
DSIRNLP#1 ランキング学習ことはじめ
sleepy_yoshi
線形計画法入門
線形計画法入門
Shunji Umetani
区間分割の仕方を最適化する動的計画法 (JOI 2021 夏季セミナー)
区間分割の仕方を最適化する動的計画法 (JOI 2021 夏季セミナー)
Kensuke Otsuki
深層生成モデルと世界モデル
深層生成モデルと世界モデル
Masahiro Suzuki
UnityとROSの連携について
UnityとROSの連携について
UnityTechnologiesJapan002
暗号技術の実装と数学
暗号技術の実装と数学
MITSUNARI Shigeo
三次元点群を取り扱うニューラルネットワークのサーベイ
三次元点群を取り扱うニューラルネットワークのサーベイ
Naoya Chiba
CRDT in 15 minutes
CRDT in 15 minutes
Shingo Omura
Glibc malloc internal
Glibc malloc internal
Motohiro KOSAKI
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
More Related Content
What's hot
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Masahiro Sakai
backbone としての timm 入門
backbone としての timm 入門
Takuji Tahara
Re永続データ構造が分からない人のためのスライド
Re永続データ構造が分からない人のためのスライド
Masaki Hara
プログラミングコンテストでのデータ構造 2 ~平衡二分探索木編~
プログラミングコンテストでのデータ構造 2 ~平衡二分探索木編~
Takuya Akiba
Word Tour: One-dimensional Word Embeddings via the Traveling Salesman Problem...
Word Tour: One-dimensional Word Embeddings via the Traveling Salesman Problem...
joisino
プログラミングコンテストでの動的計画法
プログラミングコンテストでの動的計画法
Takuya Akiba
ARM CPUにおけるSIMDを用いた高速計算入門
ARM CPUにおけるSIMDを用いた高速計算入門
Fixstars Corporation
私とOSSの25年
私とOSSの25年
MITSUNARI Shigeo
高速な倍精度指数関数expの実装
高速な倍精度指数関数expの実装
MITSUNARI Shigeo
組み込み関数(intrinsic)によるSIMD入門
組み込み関数(intrinsic)によるSIMD入門
Norishige Fukushima
プログラムを高速化する話
プログラムを高速化する話
京大 マイコンクラブ
マルチコアを用いた画像処理
マルチコアを用いた画像処理
Norishige Fukushima
DSIRNLP#1 ランキング学習ことはじめ
DSIRNLP#1 ランキング学習ことはじめ
sleepy_yoshi
線形計画法入門
線形計画法入門
Shunji Umetani
区間分割の仕方を最適化する動的計画法 (JOI 2021 夏季セミナー)
区間分割の仕方を最適化する動的計画法 (JOI 2021 夏季セミナー)
Kensuke Otsuki
深層生成モデルと世界モデル
深層生成モデルと世界モデル
Masahiro Suzuki
UnityとROSの連携について
UnityとROSの連携について
UnityTechnologiesJapan002
暗号技術の実装と数学
暗号技術の実装と数学
MITSUNARI Shigeo
三次元点群を取り扱うニューラルネットワークのサーベイ
三次元点群を取り扱うニューラルネットワークのサーベイ
Naoya Chiba
CRDT in 15 minutes
CRDT in 15 minutes
Shingo Omura
What's hot
(20)
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
backbone としての timm 入門
backbone としての timm 入門
Re永続データ構造が分からない人のためのスライド
Re永続データ構造が分からない人のためのスライド
プログラミングコンテストでのデータ構造 2 ~平衡二分探索木編~
プログラミングコンテストでのデータ構造 2 ~平衡二分探索木編~
Word Tour: One-dimensional Word Embeddings via the Traveling Salesman Problem...
Word Tour: One-dimensional Word Embeddings via the Traveling Salesman Problem...
プログラミングコンテストでの動的計画法
プログラミングコンテストでの動的計画法
ARM CPUにおけるSIMDを用いた高速計算入門
ARM CPUにおけるSIMDを用いた高速計算入門
私とOSSの25年
私とOSSの25年
高速な倍精度指数関数expの実装
高速な倍精度指数関数expの実装
組み込み関数(intrinsic)によるSIMD入門
組み込み関数(intrinsic)によるSIMD入門
プログラムを高速化する話
プログラムを高速化する話
マルチコアを用いた画像処理
マルチコアを用いた画像処理
DSIRNLP#1 ランキング学習ことはじめ
DSIRNLP#1 ランキング学習ことはじめ
線形計画法入門
線形計画法入門
区間分割の仕方を最適化する動的計画法 (JOI 2021 夏季セミナー)
区間分割の仕方を最適化する動的計画法 (JOI 2021 夏季セミナー)
深層生成モデルと世界モデル
深層生成モデルと世界モデル
UnityとROSの連携について
UnityとROSの連携について
暗号技術の実装と数学
暗号技術の実装と数学
三次元点群を取り扱うニューラルネットワークのサーベイ
三次元点群を取り扱うニューラルネットワークのサーベイ
CRDT in 15 minutes
CRDT in 15 minutes
Viewers also liked
Glibc malloc internal
Glibc malloc internal
Motohiro KOSAKI
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
数学プログラムを 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
Viewers also liked
(20)
Glibc malloc internal
Glibc malloc internal
関数プログラミング入門
関数プログラミング入門
数学プログラムを 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
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