ジョイス・バーバラ・フリードマン(1928年 - 2018年11月28日)[ 1 ] [ 2 ]は、アメリカの数学者、オペレーションズ・リサーチャー、コンピュータ科学者、計算言語学者であり、ミシガン大学とボストン大学[ 1 ]で教授を務め、計算言語学会の会長を務めました。[ 3 ]
フリードマンは1928年に生まれました。彼女はウェルズリー大学のデュラント奨学生であり[ 4 ]、 1949年に同大学を卒業し、 1952年にラドクリフ大学で修士号を取得しました。[ 1 ]同年、ジョージ・ワシントン大学のロジスティクス研究プロジェクトから米国国防総省に移り、[ 5 ]その後、ACFインダストリーズ(そこでシェルドン・エイカーズと生産スケジュールの作成に携わりました)、[ 6 ]テック・オペレーションズ社、マイター・コーポレーションなど、一連の防衛関連請負業者で働きました。[ 1 ]
ハーバード大学大学院に戻り、彼女の関心はオペレーションズ・リサーチから自動推論へと移った。1965年、ハオ・ワンの指導の下、第一階述語論理における計算手法に関する論文「コンピュータによる論理の新しい決定手順」 [ 7 ]で博士号を取得した。[ 8 ]
フリードマンは1965年から1968年までスタンフォード大学で助教授を務め、その後ミシガン大学に移り、コンピュータ・コミュニケーション科学の准教授に就任した。ミシガン大学では1971年に教授に昇進した。1983年にはボストン大学に移り、コンピュータ科学の教授に就任した。 [ 1 ]
フリードマンは博士号を取得する前から、ドナルド・E・ウォーカーの下でプログラマーとして働き、アメリカ空軍のプロジェクトで英語の質問に答えるプログラムの開発に携わっていた。[ 9 ] 学者としての彼女の研究は主に計算言語学と形式文法に集中しており、 1971年には計算言語学協会の会長を務めた。[ 3 ]変形文法に関する彼女の研究の一部は、1971年の著書「変形文法の計算モデル」に記述されている。[ 10 ] [ 11 ]彼女には3人の博士課程の学生、C・レイモンド・ペロー、レムコ・シャ、デイビッド・S・ウォーレンを通じて180人以上の学者の子孫がいる。 [ 7 ]
彼女は2018年11月28日にマサチューセッツ州ケンブリッジで亡くなった。[ 2 ]
フリードマンは1986年にアメリカ科学振興協会のフェローに任命されました。[ 12 ]