ナフム・ダーショウィッツ

ナフム・ダーショウィッツはイスラエルのコンピュータ科学者であり、ダーショウィッツ・マナ順序付けや、項書き換えシステムの停止性を証明するために使用される多重集合パス順序付けなどで知られています。

1974年にバール・イラン大学でコンピュータサイエンスと応用数学の学士号を最優秀の成績で取得し、1979年にはワイツマン科学研究所で応用数学の博士号を取得。1978年からイリノイ大学アーバナ・シャンペーン校のコンピュータサイエンス学部に勤務し、 1998年にテルアビブ大学（コンピュータサイエンス学部）の教授に就任。ワイツマン研究所、INRIA、ENSカシャン、マイクロソフトリサーチ、スタンフォード大学、パリ大学、エルサレム大学、シカゴ大学、北京大学で客員研究員を務めた。^{[2] 2011年には自動推論への顕著な貢献により}エルブラン賞を受賞した。

彼はエドワード・ラインゴールドと共著で、暦アルゴリズムの標準テキストである『Calendrical Calculations』を執筆した。^{[3] [4] [5] [6]} Common Lisp でのアルゴリズムの実装はパブリックドメインであり、この本とともに配布されている。

• 新月
• 太陰太陽暦

• Nachum Dershowitz & Zohar Manna (1977)。「プログラムの進化: 自動プログラム修正システム」(PDF)。Proc . POPL。pp. 144–154。
• Nachum Dershowitz とZohar Manna (1979 年 8 月)。「多重集合順序による終了性の証明」( PDF )。Communications of the ACM。22 ( 8 ) : 465–476。CiteSeerX 10.1.1.1013.432。doi :  10.1145 /359138.359142。S2CID  17906810。
• N. Dershowitz (1979 年 10 月)。「項書き換えシステムの順序付け」。第 20 回コンピュータ サイエンスの基礎に関するシンポジウム (FOCS) の議事録。pp. 123–131。
• N. Dershowitz (1981)。「線形書き換えシステムの終了: 予備バージョン」。Shimon Even、Oded Kariv (編)。Proc . ICALP . LNCS . Vol. 115. Springer. pp. 448–458。
• N. Dershowitz (1982). 「項書き換えシステムの順序付け」(PDF) . Theoret. Comput. Sci. 17 (3): 279–301. doi :10.1016/0304-3975(82)90026-3. S2CID  6070052.
• Dershowitz, N. (1985)。「終了」(PDF)。Jean -Pierre Jouannaud (編)。Rewriting Techniques and Applications、第 1 回国際会議、RTA-85。LNCS。第 202 巻。Springer。pp. 180–224。
• Bachmair, L.、Dershowitz, N.、Hsiang, J. (1986 年 6 月)。「等式証明の順序付け」。IEEEコンピュータ サイエンスにおける論理に関するシンポジウム (LICS) の議事録。ケンブリッジ/MA。pp. 346–357。{{cite book}}: CS1 maint: 場所、出版社不明 (リンク) CS1 maint: 複数の名前: 著者リスト (リンク)
• Bachmair, L. & Dershowitz, N. (1987)。「合同性を法とする書き換えの完了」。Lescanne, Pierre (編)。書き換えテクニックとアプリケーション、第 2 回国際会議、RTA-87。LNCS。第 256 巻。Springer。pp. 192–203。
• Nachum Dershowitz (1987). 「書き換えの終了」(PDF) . J. Symbolic Comput. 3 (1–2): 69–116. doi : 10.1016/s0747-7171(87)80022-6 .
• N. Dershowitz & M. Okada (1988)。「項書き換え理論の証明理論的手法」。Proc. 3rd IEEE Symp. on Logic in Computer Science (PDF)。pp. 104–111。
• N. Dershowitz & G. Sivakumar (1988)。「等式言語における目標の解決」。条件付き項書き換えシステムに関する第 1 回国際ワークショップ議事録。LNCS。第 308 巻。Springer。pp. 45–55。
• Dershowitz, Nachum 編 (1989)。Rewriting Techniques and Applications、第 3 回国際会議、RTA-89。LNCS。第 355 巻。Springer。
• N. Dershowitz & J.-P. Jouannaud (1990)。「Rewrite Systems」。Jan van Leeuwen (編) 著。形式モデルとセマンティクス。理論計算機科学ハンドブック。第 B 巻。Elsevier。pp. 243–320。
• N. ダーショウィッツ & J.-P.ジュアンノー (1990)。 「リライトの注意点」。 {{cite journal}}:ジャーナルを引用するには|journal=(ヘルプ)が必要です
• Dershowitz, N.、Jouannaud, J.-P.、Jan Willem Klop (1991)。「書き換えにおける未解決の問題」。Ronald V. Book (編) 著。書き換えテクニックとアプリケーション、第 4 回国際会議、RTA-91。LNCS。第 488 巻。Springer。pp. 445–456。{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク)
• Dershowitz, N.、Jouannaud, J.-P.、Klop, JW (1993)。「書き換えにおけるその他の問題」。Kirchner, Claude (編)。書き換えテクニックとアプリケーション、第 5 回国際会議、RTA-93。LNCS。第 690 巻。Springer。pp. 468–487。{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク)
• Nachum Dershowitz (1993 年 4 月)。「ツリー、序数、終了」。Proc. CAAP/TAPSOFT (PDF)。LNCS。Vol. 668。Springer。pp. 243–250。
• Dershowitz, N. & Hoot, C. (1993)。「終了に関するトピック」。Kirchner, Claude (編)。書き換え技術とアプリケーション、第 5 回国際会議、RTA-93。LNCS。第 690 巻。Springer。pp. 198–212。
• Dershowitz, N. (1997)。「無害なコンストラクタ共有の組み合わせ」。Comon, Hubert (編) 『Rewriting Techniques and Applications』、第 8 回国際会議、RTA-97。LNCS。第 1232 巻。Springer。pp. 202–216。
• ダーショウィッツ、ナハム、ラインゴールド、エドワード M.、暦計算、ケンブリッジ大学出版局、ISBN 0521702380、1997 
• Dershowitz, N. & Treinen, R. (1998)。「オンライン問題データベース」。Tobias Nipkow (編)。書き換えテクニックとアプリケーション、第 9 回国際会議、RTA-98。LNCS。第 1379 巻。Springer。pp. 332–342。
• Dershowitz, N. & Mitra, S. (1999). 「Jeopardy」。 Narendran, Paliath & Rusinowitch, Michaël (編)。 「Rewriting Techniques and Applications」、第 10 回国際会議、RTA-99。 LNCS。 Vol. 1631。 Springer。 pp. 16–29。
• Nachum Dershowitz およびDavid A. Plaisted (2001)。「Rewriting (第 9 章)」。Alan Robinson、Andrei Voronkov (編)。自動推論ハンドブック。MIT Press + Elsevier。pp. 535–610。
• Dershowitz, N. (2005)。「用語の書き換えと応用」。Giesl, J. (編)。用語の書き換えと応用、第 16 回国際会議、RTA-05。LNCS。第 3467 巻。Springer。pp. 376–393。ISBN 978-3-540-25596-3。
• Dershowitz, N. & Castedo Ellerman, E. (2005)。「Leanest Quasi-orderings」。Giesl, J. (ed.)。Term Rewriting and Applications、第 16 回国際会議、RTA-05。LNCS。第 3467 巻。Springer。pp. 32–45。ISBN 978-3-540-25596-3。
• Dershowitz, Nachum 2005. The Four Sons of Penrose、第 11 回プログラミング、人工知能、推論のロジックに関する会議(LPAR; ジャマイカ)の議事録、G. Sutcliffe および A. Voronkov 編、Lecture Notes in Computer Science、vol. 3835、Springer-Verlag、ベルリン、pp. 125–138。

• ホームページ
• ビデオ「チャーチ＝チューリングのテーゼ」、ナフム・ダーショウィッツ、第 6 回イスラエル CS 理論デー、2013 年 3 月 13 日
• DBLP書誌サーバーの Nachum Dershowitz
• 数学系譜プロジェクトのナフム・ダーショウィッツ