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

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 (int c);
/* 標準出力へ 1 文字書き出す */

24. int getchar (void);
/* 標準入力から 1 文字読み込む */

25. void inc (int* x) { ++*x; }
/* x の指す値をインクリメント */

26. int getchar (void);
/* 標準入力から 1 文字読み込む */

46. x .λ y.x
λ

47. e : τ
Γ ⊢

48. R A N
ORT
F
&
B N F