• Like
120901fp key
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

120901fp key

  • 9,459 views
Published

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

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

  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
No Downloads

Views

Total Views
9,459
On SlideShare
0
From Embeds
0
Number of Embeds
7

Actions

Shares
Downloads
53
Comments
0
Likes
52

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

  • 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 ORTF & B N F