1.
お知らせ
2012年9月1日
これからお話しする内容は、あくまで一
個人の主義・主張および見解であり、所属
機関・所属団体を代表して発言するもので
はありません。「○○○をお辞めになって
から批判してください」というのはお控え
ください。

2.
お知らせ (2)
2012年9月1日
問題文にあった「関数型」は、「言語」
に対する形容詞として適切ではありません
でした。従って、この問題につきましては
全員正解 (3点) として扱います。

3.
void inc (int* x) { ++*x; }

4.
int random(int p) {
return (rand()%p);
}
void putchar (int c);
/* 標準出力へ 1 文字書き出す */
int getchar (void);
/* 標準入力から 1 文字読み込む */
void inc (int* x) { ++*x; }
/* x の指す値をインクリメント */

5.
お知らせ (3)
2012年9月1日
「どれが関数か」という問題において、
入力および出力の集合が明示されておりま
せんでした。従って、この問題につきまし
ては全員正解 (各1点) として扱います。

6.
int random(int p) {
return (rand()%p);
}

7.
void putchar (int c);
/* 標準出力へ 1 文字書き出す */

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

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

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

11.
x .λ y.x
λ

12.
e : τ
Γ ⊢

13.
R A N
ORT
F
&
B N F