Movatterモバイル変換


[0]ホーム

URL:


Uploaded byksknac
PDF, PPTX18,492 views

120901fp key

函数プログラミングの集いで発表したスライド. 後半についての詳細を知りたい方には, Hudak らの A History of Haskell をお薦めします.

Embed presentation

Download as PDF, PPTX
お知らせ               2012年9月1日 これからお話しする内容は、あくまで一個人の主義・主張および見解であり、所属機関・所属団体を代表して発言するものではありません。「○○○をお辞めになってから批判してください」というのはお控えください。
お知らせ (2)              2012年9月1日 問題文にあった「関数型」は、「言語」に対する形容詞として適切ではありませんでした。従って、この問題につきましては全員正解 (3点) として扱います。
void inc (int* x) { ++*x; }
int random(int p) {  return (rand()%p);}void putchar (int c);  /* 標準出力へ 1 文字書き出す */int getchar (void);  /* 標準入力から 1 文字読み込む */void inc (int* x) { ++*x; }  /* x の指す値をインクリメント */
お知らせ (3)               2012年9月1日 「どれが関数か」という問題において、入力および出力の集合が明示されておりませんでした。従って、この問題につきましては全員正解 (各1点) として扱います。
int random(int p) {  return (rand()%p);}
void putchar (int c);  /* 標準出力へ 1 文字書き出す */
int getchar (void);  /* 標準入力から 1 文字読み込む */
void inc (int* x) { ++*x; }  /* x の指す値をインクリメント */
int getchar (void);  /* 標準入力から 1 文字読み込む */
x .λ y.xλ
e : τΓ ⊢
R A  N ORTF    &   B N F
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key

Recommended

PPTX
函数プログラミングの エッセンスと考え方
PDF
「再代入なんて、あるわけない」 ~ふつうのプログラマが関数型言語を知るべき理由~ (Gunma.web #5 2011/05/14)
PDF
C++ マルチスレッド 入門
PDF
組み込みでこそC++を使う10の理由
PDF
Pythonによる黒魔術入門
PDF
20分くらいでわかった気分になれるC++20コルーチン
 
PDF
中3女子でもわかる constexpr
PDF
組み込み関数(intrinsic)によるSIMD入門
PDF
llvm入門
PDF
ゲーム開発者のための C++11/C++14
PDF
Domain Modeling Made Functional (DevTernity 2022)
PDF
LLVM最適化のこつ
PDF
はじめてのKrylov部分空間法
PDF
条件分岐とcmovとmaxps
PPTX
Visual Studio CodeでRを使う
PDF
磯野ー!関数型言語やろうぜー!
 
PDF
プログラミングコンテストでの動的計画法
PDF
実践で学ぶネットワーク分析
PDF
12 分くらいで知るLuaVM
PDF
関数プログラミング入門
PDF
Boost.勉強会#19東京 Effective Modern C++とC++ Core Guidelines
PDF
Deeplearning輪読会
PDF
プログラミングコンテストでのデータ構造 2 ~平衡二分探索木編~
PDF
PRML輪読#1
PDF
良い?悪い?コードコメントの書き方
PDF
Constexpr 中3女子テクニック
PDF
Parser combinatorってなんなのさ
PDF
Riderはいいぞ!
PPT
Glibc malloc internal
PDF
数学プログラムを Haskell で書くべき 6 の理由

More Related Content

PPTX
函数プログラミングの エッセンスと考え方
PDF
「再代入なんて、あるわけない」 ~ふつうのプログラマが関数型言語を知るべき理由~ (Gunma.web #5 2011/05/14)
PDF
C++ マルチスレッド 入門
PDF
組み込みでこそC++を使う10の理由
PDF
Pythonによる黒魔術入門
PDF
20分くらいでわかった気分になれるC++20コルーチン
 
PDF
中3女子でもわかる constexpr
PDF
組み込み関数(intrinsic)によるSIMD入門
函数プログラミングの エッセンスと考え方
「再代入なんて、あるわけない」 ~ふつうのプログラマが関数型言語を知るべき理由~ (Gunma.web #5 2011/05/14)
C++ マルチスレッド 入門
組み込みでこそC++を使う10の理由
Pythonによる黒魔術入門
20分くらいでわかった気分になれるC++20コルーチン
 
中3女子でもわかる constexpr
組み込み関数(intrinsic)によるSIMD入門

What's hot

PDF
llvm入門
PDF
ゲーム開発者のための C++11/C++14
PDF
Domain Modeling Made Functional (DevTernity 2022)
PDF
LLVM最適化のこつ
PDF
はじめてのKrylov部分空間法
PDF
条件分岐とcmovとmaxps
PPTX
Visual Studio CodeでRを使う
PDF
磯野ー!関数型言語やろうぜー!
 
PDF
プログラミングコンテストでの動的計画法
PDF
実践で学ぶネットワーク分析
PDF
12 分くらいで知るLuaVM
PDF
関数プログラミング入門
PDF
Boost.勉強会#19東京 Effective Modern C++とC++ Core Guidelines
PDF
Deeplearning輪読会
PDF
プログラミングコンテストでのデータ構造 2 ~平衡二分探索木編~
PDF
PRML輪読#1
PDF
良い?悪い?コードコメントの書き方
PDF
Constexpr 中3女子テクニック
PDF
Parser combinatorってなんなのさ
PDF
Riderはいいぞ!
llvm入門
ゲーム開発者のための C++11/C++14
Domain Modeling Made Functional (DevTernity 2022)
LLVM最適化のこつ
はじめてのKrylov部分空間法
条件分岐とcmovとmaxps
Visual Studio CodeでRを使う
磯野ー!関数型言語やろうぜー!
 
プログラミングコンテストでの動的計画法
実践で学ぶネットワーク分析
12 分くらいで知るLuaVM
関数プログラミング入門
Boost.勉強会#19東京 Effective Modern C++とC++ Core Guidelines
Deeplearning輪読会
プログラミングコンテストでのデータ構造 2 ~平衡二分探索木編~
PRML輪読#1
良い?悪い?コードコメントの書き方
Constexpr 中3女子テクニック
Parser combinatorってなんなのさ
Riderはいいぞ!

Viewers also liked

PPT
Glibc malloc internal
PDF
数学プログラムを Haskell で書くべき 6 の理由
PPTX
Erlang
PDF
Erlangを触ってみた
PDF
GHC 6.12.1 マルチコア対応ランタイムシステムについて
PDF
関数型軽い紹介
PDF
Yesod(at FPM2012)
PDF
五軒家スプリント10月度 タイムスケジュール
PDF
OthloEvent #9 Xamarinハンズオン
PDF
Does Infer dream of design by contract?
PDF
WebサービスにおけるWebデザイナーの働き方
PDF
F#で学ぶ関数プログラミング入門?
PPTX
関数型言語初心者の俺がF#触ってみた
PDF
第一回関数型言語勉強会 大阪
PDF
FP習熟度レベルとFSharpxのIteratee
PDF
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
PDF
名古屋アジャイル勉強会「コンピテンシーを活用した人財育成」
PDF
第8回 Web 動画 サイト講座 〜 Webサイトを完成させ、来シーズンのトピックを考えよう - NAMO (NAgoya Movie Obenkyokai)
PDF
Katagaitai CTF勉強会 #4 Crypto
 
PDF
これから Haskell を書くにあたって
Glibc malloc internal
数学プログラムを Haskell で書くべき 6 の理由
Erlang
Erlangを触ってみた
GHC 6.12.1 マルチコア対応ランタイムシステムについて
関数型軽い紹介
Yesod(at FPM2012)
五軒家スプリント10月度 タイムスケジュール
OthloEvent #9 Xamarinハンズオン
Does Infer dream of design by contract?
WebサービスにおけるWebデザイナーの働き方
F#で学ぶ関数プログラミング入門?
関数型言語初心者の俺がF#触ってみた
第一回関数型言語勉強会 大阪
FP習熟度レベルとFSharpxのIteratee
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
名古屋アジャイル勉強会「コンピテンシーを活用した人財育成」
第8回 Web 動画 サイト講座 〜 Webサイトを完成させ、来シーズンのトピックを考えよう - NAMO (NAgoya Movie Obenkyokai)
Katagaitai CTF勉強会 #4 Crypto
 
これから Haskell を書くにあたって

Similar to 120901fp key

PPTX
MISRA-C2012とISO/IEC 9899:2011 at OSCNagoya2013
PDF
たのしい関数型
PDF
X hago2 shortcoding 20110827
PDF
翔泳社 「C++ ゼロからはじめるプログラミング」対応 C++学習教材(三谷純)
PDF
Hupc 1
PDF
C言語講習会4
PDF
Cプログラマのためのカッコつけないプログラミングの勧め
PDF
C-HelperでC言語を効率的に学習しよう
PDF
人工無脳バトル 1st STEP 回答と解説
PDF
C言語講習会2
PDF
Javaプログラミング入門
PDF
講座C入門
PPT
「C言語規格&MISRA-C:みんなで楽しいCプログラミング」NGK2013B名古屋合同懇親会2013忘年会昼の部
PDF
Who enjoy a coding standard?
PDF
プログラマ講習第2回
PDF
Misrac20150523
PDF
[xDNCL] 掲示資料
PDF
kagami_comput2015_4
MISRA-C2012とISO/IEC 9899:2011 at OSCNagoya2013
たのしい関数型
X hago2 shortcoding 20110827
翔泳社 「C++ ゼロからはじめるプログラミング」対応 C++学習教材(三谷純)
Hupc 1
C言語講習会4
Cプログラマのためのカッコつけないプログラミングの勧め
C-HelperでC言語を効率的に学習しよう
人工無脳バトル 1st STEP 回答と解説
C言語講習会2
Javaプログラミング入門
講座C入門
「C言語規格&MISRA-C:みんなで楽しいCプログラミング」NGK2013B名古屋合同懇親会2013忘年会昼の部
Who enjoy a coding standard?
プログラマ講習第2回
Misrac20150523
[xDNCL] 掲示資料
kagami_comput2015_4

120901fp key

  • 4.
    お知らせ 2012年9月1日 これからお話しする内容は、あくまで一個人の主義・主張および見解であり、所属機関・所属団体を代表して発言するものではありません。「○○○をお辞めになってから批判してください」というのはお控えください。
  • 15.
    お知らせ (2) 2012年9月1日 問題文にあった「関数型」は、「言語」に対する形容詞として適切ではありませんでした。従って、この問題につきましては全員正解 (3点) として扱います。
  • 18.
    void inc (int*x) { ++*x; }
  • 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 (intc); /* 標準出力へ 1 文字書き出す */
  • 24.
    int getchar (void); /* 標準入力から 1 文字読み込む */
  • 25.
    void inc (int*x) { ++*x; } /* x の指す値をインクリメント */
  • 26.
    int getchar (void); /* 標準入力から 1 文字読み込む */
  • 46.
  • 47.
  • 48.
    R AN ORTF & B N F

[8]ページ先頭

©2009-2026 Movatter.jp