ジャン＝ピエール・ジュノー

ジャン＝ピエール・ジュノー
2008年5月
生まれる	( 1947-05-21 )1947年5月21日（77歳） エクスレバン
受賞歴	1986年CNRS銀メダル、2000年ミッシェル・モンプティ賞
科学者としてのキャリア
論文	自動適応フィルター: 計算とシミュレーションのアルゴリズム (1972) LISP の実験と機能の自動合成 (1977)
Webサイト	www.lix.polytechnique.fr/Labo/Jean-Pierre.Jouannaud

ジャン＝ピエール・ジュノーは、用語書き換えの分野での研究で知られるフランスのコンピューター科学者です。

1947年5月21日、エクスレバン（フランス）生まれ。1967年から1969年までエコール・ポリテクニーク（パリ）に在籍。1970年、1972年、1977年にパリ第6大学^[3]でそれぞれ修士論文（ DEA）、博士論文（Thèse de 3ème cycle）^[1]、資格取得論文（ Thèse d' état）^[2]を執筆。 1979年、ナンシー大学 助教授、1985年パリ南大学に異動、1986年同大学教授に就任。

彼は、 1989年から1994年まで国際書き換え技術および応用会議(RTA)、 1993年から1997年までIEEEコンピュータサイエンスにおける論理に関するシンポジウム(LICS)、1993年から1997年までコンピュータサイエンス論理に関する会議(CSL)、1994年からは制約プログラミングの原理と実践に関する国際会議(CP)、1995年から1999年まで連合論理会議(FLoC)など、いくつかの国際コンピュータサイエンス会議の運営委員会のメンバーでした。1997年以来、彼はEATCS評議会のメンバーです。^[4]

• ジャン・ピエール・ジュアノー。ピエール・レスカンヌ（1982年9月）。 「複数セットの注文について」(PDF)。情報プロセス。レット。 15 (2):57-63。土井：10.1016/0020-0190(82)90107-7。
• JP Jouannaud、P. Lescanne、F. Reinig (1982)。「再帰分解順序付け」。プログラミング概念の形式的記述に関する IFIP TC2 ワーキング会議議事録、第 II 巻(PDF)。ノースホランド。pp. 331–348。
• ジュアンノー、ジャンピエール編。 （1985年）。書き換え技術と応用、第 1 回国際会議、RTA-85。 LNCS。 Vol. 202. スプリンガー。
• A. Boudet; JP Jouannaud; M. Schmidt-Schauß (1989). 「ブール環とアーベル群の統一」Journal of Symbolic Computation . 8 (5): 449–477. doi : 10.1016/s0747-7171(89)80054-9 .
• N. Dershowitz、J.-P. Jouannaud (1990)。「Rewrite Systems」。Jan van Leeuwen (編) 著。形式モデルとセマンティクス。理論計算機科学ハンドブック。第 B 巻。Elsevier。pp. 243–320。
• N. ダーショウィッツ; JP-P.ジュアンノー (1990)。 「リライトの注意点」。 {{cite journal}}:ジャーナルを引用するには|journal=(ヘルプ)が必要です
• N. Dershowitz、J.-P. Jouannaud、JW Klop (1991)。「書き換えにおける未解決の問題」。Ronald V. (編) 著。書き換えテクニックとアプリケーション、第 4 回国際会議、RTA-91。LNCS。第 488 巻。Springer。pp. 445–456。
• Hubert Comon、M. Haberstrau、J.-P. Jouannaud (1992)。「浅い方程式理論における決定可能な問題 (拡張概要)」。第 7 回 IEEE コンピュータ サイエンスにおける論理シンポジウム。pp. 255–265。
• N. Dershowitz、J.-P. Jouannaud、JW Klop (1993)。「書き換えにおけるその他の問題」。Claude Kirchner (編)。書き換えテクニックとアプリケーション、第 5 回国際会議、RTA-93。LNCS。第 690 巻。Springer。pp. 468–487。
• Jouannaud, J.-P.; Rubio, A. (1996). 「eta-Long beta-Normal Form の高階項の再帰パス順序付け」Harald Ganzinger (編)による「Rewriting Techniques and Applications」、第 7 回国際会議、RTA-96。LNCS。第 1103 巻。Springer。pp. 108–122。
• Jouannaud, J.-P. (2005)。「20年後」。Giesl, J. (編)。用語書き換えとア​​プリケーション、第16回国際会議、RTA-05。LNCS。第3467巻。Springer。pp. 368–375。ISBN 978-3-540-25596-3。
• Jouannaud, J.-P. (2006)。「モジュラー Church-Rosser モジュロ」。Frank Pfenning (編)。項書き換えとア​​プリケーション、第 17 回国際会議、RTA-06。LNCS。第 4098 巻。Springer。pp. 96–107。
• Jouannaud, J.-P.; Rubio, A. (2006). 「正規書き換えの高次順序付け」。 Frank Pfenning (編)項書き換えとその応用、第 17 回国際会議、RTA-06。LNCS。第 4098 巻。Springer。pp. 387–399。

• パレゾーのエコール・ポリテクニックにある Laboratoire d'Informatique (LIX) のホームページ
• Jean-Pierre Jouannaud、DBLP参考文献サーバー