Amazon.co.jp: Functional Programmings

Functional Programmings
��i�[�Y�E�n�C��"��X�g�}�j�A"��X�g

Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)

1. Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science) Harold Abelson

�� 5,169 �V�i��Õi�F �� 3,150
1��̃N�`�R�~

��̏��i�Ɋւ��郊�X�g��쐬

�v��O��~��OGauche

2. �v��O��~��OGauche Kahua�v��W�F�N�g

�� 3,360 �V�i��Õi�F �� 2,299

(3��̃J�X�^�}�[��r��[) | 1��̃N�`�R�~

��̏��i�Ɋւ��郊�X�g��쐬

Essentials of Programming Languages

3. Essentials of Programming Languages Daniel P. Friedman

�� 7,490 �V�i��Õi�F �� 3,903

��̏��i�Ɋւ��郊�X�g��쐬

The Little Schemer

4. The Little Schemer Daniel P. Friedman

�� 3,260 �V�i��Õi�F �� 800

(5��̃J�X�^�}�[��r��[)

��̏��i�Ɋւ��郊�X�g��쐬

The Seasoned Schemer

5. The Seasoned Schemer Guy L Steele Jr.

�� 3,050 �V�i��Õi�F �� 2,662

(1 ��̃J�X�^�}�[��r��[)

��̏��i�Ɋւ��郊�X�g��쐬

The Reasoned Schemer

6. The Reasoned Schemer Daniel P. Friedman

�� 3,270 �V�i��Õi�F �� 2,100

(1 ��̃J�X�^�}�[��r��[)

��̏��i�Ɋւ��郊�X�g��쐬

The Scheme Programming Language

7. The Scheme Programming Language R. Kent Dybvig

�V�i��Õi�F �� 1,550

��̏��i�Ɋւ��郊�X�g��쐬

Haskell:The Craft of Functional Programming (International Computer Science Series)

8. Haskell:The Craft of Functional Programming (International Computer Science Series) Simon Thompson

�� 6,206 �V�i��Õi�F �� 562

(2��̃J�X�^�}�[��r��[)

��̏��i�Ɋւ��郊�X�g��쐬

The Haskell School of Expression: Learning Functional Programming through Multimedia

9. The Haskell School of Expression: Learning Functional Programming through Multimedia Professor Paul Hudak

�� 5,359 �V�i��Õi�F �� 2,927

(1 ��̃J�X�^�}�[��r��[)

��̏��i�Ɋւ��郊�X�g��쐬

The Functional Approach to Programming

10. The Functional Approach to Programming Guy Cousineau

�� 8,236 �V�i��Õi�F �� 6,624

��̏��i�Ɋւ��郊�X�g��쐬

Practical OCaml

11. Practical OCaml Joshua B. Smith

�� 7,258 �V�i��Õi�F �� 2,574

��̏��i�Ɋւ��郊�X�g��쐬

Elements of ML Programming, ML97 Edition

12. Elements of ML Programming, ML97 Edition Jeffrey D. Ullman

�� 8,321 �V�i��Õi�F �� 4,267

(1 ��̃J�X�^�}�[��r��[)

��̏��i�Ɋւ��郊�X�g��쐬

ML for the Working Programmer

13. ML for the Working Programmer Larry C. Paulson

�� 7,051 �V�i��Õi�F �� 2,459

��̏��i�Ɋւ��郊�X�g��쐬

�v��O��~��O��StandardML��

14. �v��O��~��O��StandardML�� ��x �~

�� 4,200 �V�i��Õi�F �� 798

(1 ��̃J�X�^�}�[��r��[)

��̏��i�Ɋւ��郊�X�g��쐬

Algorithms: A Functional Programming Approach (International Computer Science Series)

15. Algorithms: A Functional Programming Approach (International Computer Science Series) Fethi A. Rabhi

�V�i��Õi�F �� 3,246

(1 ��̃J�X�^�}�[��r��[)

��̏��i�Ɋւ��郊�X�g��쐬

Purely Functional Data Structures

16. Purely Functional Data Structures Chris Okasaki

�� 5,097 �V�i��Õi�F �� 4,000

(1 ��̃J�X�^�}�[��r��[)

��̏��i�Ɋւ��郊�X�g��쐬

Concepts, Techniques, and Models of Computer Programming

17. Concepts, Techniques, and Models of Computer Programming Peter van Van Roy

�� 7,802 �V�i��Õi�F �� 5,182

(1 ��̃J�X�^�}�[��r��[)

��̏��i�Ɋւ��郊�X�g��쐬

Types and Programming Languages

18. Types and Programming Languages Benjamin C. Pierce

�� 8,195 �V�i��Õi�F �� 4,500

(1 ��̃J�X�^�}�[��r��[)

��̏��i�Ɋւ��郊�X�g��쐬

19. Artificial Intelligence Winston P. Henry

�݌ɐ؂�

��̏��i�Ɋւ��郊�X�g��쐬

Learn Prolog Now!

20. Learn Prolog Now! P. Blackburn

�� 2,680 �V�i��Õi�F �� 1,934

��̏��i�Ɋւ��郊�X�g��쐬

Lisp

21. Lisp Patrick Winston

�� 6,088 �V�i��Õi�F �� 1,920

(1 ��̃J�X�^�}�[��r��[)

��̏��i�Ɋւ��郊�X�g��쐬

�ӂ��Haskell�v��O��~��O �ӂ��̃v��O��}�̂��߂̊֐��^��

22. �ӂ��Haskell�v��O��~��O �ӂ��̃v��O��}�̂��߂̊֐��^�� �� Y

�� 2,940 �V�i��Õi�F �� 1,800

(10��̃J�X�^�}�[��r��[)

��̏��i�Ɋւ��郊�X�g��쐬

$��Common Lisp�\�֐��^4�̓��ƃ�(��_)�v�Z$

23. ��Common Lisp�\�֐��^4�̓��ƃ�(��_)�v�Z �V�[ �_�K

�V�i��Õi�F �� 1,700

(6��̃J�X�^�}�[��r��[)

��̏��i�Ɋւ��郊�X�g��쐬

$�v��O��~��O in OCaml ~�֐��^�v��O��~��O�̊�b��GUI�\�z�܂�~$

24. �v��O��~��O in OCaml ~�֐��^�v��O��~��O�̊�b��GUI�\�z�܂�~ �܏\�� ~

�V�i��Õi�F �� 4,205

(2��̃J�X�^�}�[��r��[)

��̏��i�Ɋւ��郊�X�g��쐬

��X�g�̏��i�ɋ��܂��H

��X�g�̏��i�ɋ��܂��H

��̑��̃T�[�r�X

��̍쐬�҂̑��̏��T��
› ��X�g��ׂČ��

�}�C��X�g��
› ��X�g��쐬

��̃v��t�B�[��y�[�W��\��
› �v��t�B�[��y�[�W

�쐬��

	��i�[�Y�E�n�C

�ŏI�X�V��F 08/04/04

�ᔽ��

$�R��s��[�^�̖{$

$�R��s��[�^�̖{$

�R��s��[�^�̖{: ��X�g�ł�10�̏��i��Љ�B��X�g�쐬��: "zekzak"

�~��{

�~��{

�~��{: ��X�g�ł�25�̏��i��Љ�B��X�g�쐬��: quantumman "quantumman"

Scheme�{�I�P (�{�I2��܂�)

Scheme�{�I�P (�{�I2��܂�)

Scheme�{�I�P (�{�I2��܂�): ��X�g�ł�24�̏��i��Љ�B��X�g�쐬��: �ԍ�z�[��X

�ŋ��̌��l�k�̃R��p�C��c�N�[��

�ŋ��̌��l�k�̃R��p�C��c�N�[��

�ŋ��̌��l�k�̃R��p�C��c�N�[��: ��X�g�ł�17�̏��i��Љ�B��X�g�쐬��: ��a�J ��

�v��O��~��O�ƃz�[��y�[�W�쐬�̖{

�v��O��~��O�ƃz�[��y�[�W�쐬�̖{

�v��O��~��O�ƃz�[��y�[�W�쐬�̖{: ��X�g�ł�25�̏��i��Љ�B��X�g�쐬��: roger "ROGER"