ダニエル・P・フリードマン

ダニエル・ポール・フリードマン（1944年生まれ）は、インディアナ州ブルーミントンにあるインディアナ大学のコンピュータサイエンス学科の名誉教授である。彼の研究はプログラミング言語に焦点を当てており、この分野における著名な著者でもある。

フリードマンは、デイビッド・ワイズと共に、遅延プログラミング、特に遅延ストリームに関する非常に影響力のある論文を執筆した（ ICALP 1976）。「Cons should not evaluate its arguments」^{[ 2 ]}と題されたこの論文は、潜在的に無限のデータ構造と、計算効果を用いないプログラミング形式（ただし、プログラムは分岐する可能性がある）の探求を推進した最初の出版物の1つである。1970年代を通して、フリードマンとワイズはこのトピックを深く探求し、並列コンピューティングの世界への拡張も検討した。

1980年代、フリードマンはSchemeプログラミング言語の研究に取り組みました。彼はプログラミング言語を定義するためのマクロの使用法を探求し、ユージン・コールベッカー、マティアス・フェライゼン、ブルース・ドゥバと共に、 1986年のLFP論文で衛生的マクロの概念を共同で導入しました。この論文は今日でも広く引用されています。^[³^]クリストファー・T・ヘインズとミッチェル・ワンドと共に、継続オブジェクトの性質、その用途、およびそれらを制約する可能性について同時に研究しました。^[⁴^]その後、フリードマンとフェライゼンは継続と制御演算子を備えたラムダ計算を導入しました。^[⁵^]

本

ダニエル・P・フリードマンは、以下の書籍の著者または共著者です。

小さな舌足らずの少年^{[ 6 ]}
小さな策略家^{[ 7 ]}
リトルMLer ^{[ 8 ]}
少しのJava、いくつかのパターン^{[ 9 ]}
熟練の策略家^{[ 10 ]}
論理的思考者^{[ 11 ]}
小さな証明者^{[ 12 ]}
プログラミング言語の基礎^{[ 13 ]}
Schemeとプログラミングの技術^{[ 14 ]}
協調コンピューティング：分散ソフトウェアのためのツールとテクニック^{[ 15 ]}
リトルタイパー^{[ 16 ]}
小さな学習者^{[ 17 ]}

外部リンク

Daniel P. Friedmanのホームページは、 2018年9月24日にWayback Machineにアーカイブされました。
リトル・スキームのホームページ（2015年4月26日時点のアーカイブ）
Consは、その主張を評価してはならない。技術報告書版
ダンフェストのウェブページ。ダンフェストは、2004年にフリードマンの60歳の誕生日を祝う学術的なイベントとして開催された。
「ダン・フリードマン―クールなアイデア」は、ダンフェストでのガイ・スティールによる基調講演で、フリードマンの業績を概観したものである。

参考文献

↑ 「ダン・フリードマンとの夕べ」。2016年4月6日。2018年3月11日にオリジナルからアーカイブ済み。2017年9月11日にVimeo経由で取得。
↑フリードマン、ダニエル P. (1976). 「Cons は引数を評価してはならない」.オートマタ、言語、プログラミング. エジンバラ大学出版局.
↑ Friedman, Daniel P. (1986). "Hygienic Macros". Proceedings of the ACM Symposium on LISP and Functional Programming .
↑フリードマン、ダニエル P. (1985). 「制御の制約」。プログラミング言語の原理に関する ACM 年次シンポジウムの会議記録。
↑ Friedman, Daniel P. (1986). "継続による推論". Proceedings of the IEEE Symposium on Logic in Computer Science .
↑ 『小さな舌足らずの子』 MIT Press. 1987. ISBN 0-262-56038-0。
↑ The Little Schemer (第 4版)。 MITプレス。 1996.ISBN 0-262-56099-2。
↑ 『リトルMLer』MIT Press、1998年。ISBN 0-262-56114-X。
↑ A Little Java, A Few Patterns . MIT Press. 1998. ISBN 0-262-56115-8。
↑熟練の策士。 MITプレス。 1996.ISBN 0-262-56100-X。
↑理性的な計画者。MIT Press。2018年。ISBN 978-0-262-56214-0。
↑小さな証明者。ISBN 0-262-52795-2。
↑プログラミング言語の基礎（第3版）。MIT Press。2008年。ISBN 978-0-262-06217-6。
↑ Schemeとプログラミングの技法。ISBN 0-262-19288-8。
↑協調コンピューティング：分散ソフトウェアのためのツールとテクニック。ISBN 0-07-022439-0。
↑リトルタイパー。 MITプレス。 2018 年 9 月 18 日。ISBN 9780262536431。
↑ 『小さな学習者』MIT Press、2023年。ISBN 9780262546379。

[1] 「ダン・フリードマンとの夕べ」。2016年4月6日。2018年3月11日にオリジナルからアーカイブ済み。2017年9月11日にVimeo経由で取得。

[2] フリードマン、ダニエル P. (1976). 「Cons は引数を評価してはならない」.オートマタ、言語、プログラミング. エジンバラ大学出版局.

[3] Friedman, Daniel P. (1986). "Hygienic Macros". Proceedings of the ACM Symposium on LISP and Functional Programming .

[4] フリードマン、ダニエル P. (1985). 「制御の制約」。プログラミング言語の原理に関する ACM 年次シンポジウムの会議記録。

[5] Friedman, Daniel P. (1986). "継続による推論". Proceedings of the IEEE Symposium on Logic in Computer Science .

[6] 『小さな舌足らずの子』 MIT Press. 1987. ISBN 0-262-56038-0。

[7] The Little Schemer (第 4版)。 MITプレス。 1996.ISBN 0-262-56099-2。

[8] 『リトルMLer』MIT Press、1998年。ISBN 0-262-56114-X。

[9] A Little Java, A Few Patterns . MIT Press. 1998. ISBN 0-262-56115-8。

[10] 熟練の策士。 MITプレス。 1996.ISBN 0-262-56100-X。

[11] 理性的な計画者。MIT Press。2018年。ISBN 978-0-262-56214-0。

[12] 小さな証明者。ISBN 0-262-52795-2。

[13] プログラミング言語の基礎（第3版）。MIT Press。2008年。ISBN 978-0-262-06217-6。

[14] Schemeとプログラミングの技法。ISBN 0-262-19288-8。

[15] 協調コンピューティング：分散ソフトウェアのためのツールとテクニック。ISBN 0-07-022439-0。

[16] リトルタイパー。 MITプレス。 2018 年 9 月 18 日。ISBN 9780262536431。

[17] 『小さな学習者』MIT Press、2023年。ISBN 9780262546379。

[ 2 ]

[

[

[

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ 14 ]

[ 15 ]

[ 16 ]

[ 17 ]

本

外部リンク

参考文献

関連するトピック

、インディアナ州ブルーミントン

インディアナ大学

コンピュータサイエンス学科

プログラミング言語