SlideShare a Scribd company logo
120901fp key
120901fp key
120901fp key
お知らせ
               2012年9月1日

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

 問題文にあった「関数型」は、「言語」
に対する形容詞として適切ではありません
でした。従って、この問題につきましては
全員正解 (3点) として扱います。
120901fp key
120901fp key
void inc (int* x) { ++*x; }
120901fp key
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 文字読み込む */
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
x .λ y.x
λ
e : τ
Γ ⊢
R A  N
 ORT
F
    &
   B N F
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key
120901fp key

More Related Content

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 (int c); /* 標準出力へ 1 文字書き出す */
  • 24. int getchar (void); /* 標準入力から 1 文字読み込む */
  • 25. void inc (int* x) { ++*x; } /* x の指す値をインクリメント */
  • 26. int getchar (void); /* 標準入力から 1 文字読み込む */
  • 47. e : τ Γ
  • 48. R A N ORT F & B N F