二村良彦
1965年、北海道大学理学部数学科を卒業し、同年日立製作所に入社。同社の中央研究所に所属し、HITAC 5020のシステムソフトウェア開発などに携わった。その際の、「LISP 1.5 Programmer's Manual」に書かれているLispインタプリタのコードを読み解いて、Lispコンパイラをプログラミングする、という仕事から得た、インタプリタを入力するとコンパイラが出力されるコンパイラジェネレータはコンピュータのプログラムとして作れるのではないかという着想を、それらの処理系の関係は「自己適用可能な部分評価系」を利用してエレガントに定式化できる、という美しい理論に結実させた(1971年)。この定式化は後に、アンドレイ・エルショフ(英語版)が「二村の射影」と呼ばれるべき、と讃え(式のどの部分が、なぜ「射影」であるのか、といった詳細については、部分評価#二村射影を参照)、理論計算機科学の重要な成果とされている。1973年、ハーバード大学応用数学科大学院修士課程修了。
日立製作所基礎研究所主管研究員の時代には、いわゆる「構造(化)チャート」(フローチャート#構造化フローチャートを参照)の一種であるPAD (Problem Analysis Diagram) を考案した(初出は1979年頃)。PADはISO/IEC 8631:1989 のAnnex A (informative) に収録されている。
1985年、北海道大学から工学博士号を得る。