Macsyma
開発 > 商用化

1979年、当時カリフォルニア大学バークレー校（UCB）の教授だったリチャード・フェイトマンの要望で、MITはMacsymaのコードの一時的ライセンスを提供した。これを使い、フェイトマンの研究室でMaclispから派生させたFranz Lisp（英語版）を使い、VAX-11/780上にすぐさま移植した。MITは、適切なライセンス条件の交渉が完了した際には現状の一時的ライセンスは破棄されるという条件で、UCBがVAX版Macsymaをカリフォルニア工科大学など約50の大学に配布することをしぶしぶ許可した。実際、後述するシンボリックスとの契約が成立した際に従来のライセンスは破棄された。するとシンボリックスはVAX製品が同社のLISPマシンと性能的に競合することからVAX版Macsymaのライセンス提供を渋り、結局5年間VAX版のライセンスを提供しなかった。UCBはさらにサンのワークステーションなどMC68000を使ったシステムにもMacsymaを移植した。同じころフェイトマンは、破棄された当初のライセンスを恒久化すべく働きかけていた。
最終的に1982年、アメリカ合衆国エネルギー省（DoE）はMITに対してNational Energy Software Center（NESC）ライブラリにコピーをリリースさせるという条件と引き換えに、高い価格設定と再配布禁止というライセンス条件をMITが設定することを許可した。これはシンボリックスへの技術移転を保護することを意図したものだった（そのような制限は2002年ごろ撤廃された）。このいわゆるDOE MacsymaはMITがCommon Lispの前身であるNILで書き直したもので、当時学界で主流だったBerkeley VAX Unixではなく、人気のないVAX/VMS で動作した。DOE Macsymaは後のオープンソースのMaximaの基礎となった。
1981年、モーゼスとリチャード・パヴェル（MIT職員で、Macsymaを工学や科学に適用することを提案した）はMacsymaを商用化するための会社を創業しようとした。パヴェルはMacsymaを使った科学的論文を多数書いていた。そうした論文を手に、パヴェルとモーゼスは出資に興味を示したいくつかのベンチャーキャピタルを訪れた。契約が成立しそうになったころ、MITはMITの人間がMITでの開発で直接利益を得るべきではないと決定した。1982年初め、MITはMacsymaをアーサー・D・リトル（ADL）にライセンス供与し、同社がMacsymaの仲買人となり、1982年後半にはMacsymaをシンボリックスにライセンス供与した。この間にADLによってモーゼスが締め出され、パヴェルがシンボリックスのMacsyma部門のトップに就任することになった。シンボリックスはMacsymaを独占することにはそれほど興味がなく、競合するLISPマシン企業LMI（英語版）もライセンス供与を受けている。シンボリックスとADLの契約では、Macsymaの売り上げの15%をロイヤリティとしてADLに支払うことになっていた。この法外なロイヤリティは、Macsyma が絶対に売れるとMITとADLが考えていたことの表れである。シンボリックスではLISPマシンを売るのが本業と考えていたが、Macsyma の開発も継続していた。Macsymaおよびそれを搭載したLISPマシンの売り上げは2年以内にシンボリックスの売り上げ全体の10%を占めるようになっていった。シンボリックス社内からは多くの抵抗があったが、1980年代初めから中ごろに Macsyma をバークレーのFranz Lispで書いたものがDECのVAXやサンのワークステーション向けにリリースされた。
他社のコンピュータ向けにもMacsymaが販売されるようになると、Macsymaを搭載したシンボリックスのLISPマシンの売り上げが低下していった。市場自体は成長しているにも関わらず、1986年上半期のMacsymaの売り上げは、1985年上半期の売り上げより低下した。数式処理という点では明らかにMacsymaの方が優れていたが、そのころスティーブン・ウルフラムのSMP (数式処理ソフトウェア)（英語版）やウォータールー大学のMapleが売り上げを伸ばしていた。
パヴェルはシンボリックスのMacsyma部門を1986年初めごろまで指揮していた。1986年後半にはリチャード・ペッティに引き継がせ、シンボリックス社内の衝突を避けるため、経営陣はMacsymaの販売を減らす方針を採用した。Macsyma部門の従業員数は削減されたが、営業部門は強化し、顧客が求める機能を開発することに集中するようにした。例えば、グレブナー基底を求めるアルゴリズムは1970年代にMITで発展したが、1987年まで製品版Macsymaにそれが搭載されることはなかった。1987年、Macsymaの年間売り上げはほぼ倍増した。マニュアルやオンラインヘルプが改良され、コマンド名をさらに覚えやすくし、Macsymaは格段に使いやすくなっていった。ペッティはシンボリックス経営陣に対して、Macsymaはハードウェア部門の戦略とは切り離して出資されるべき戦略事業単位だと主張した。しかし、シンボリックスはその後もMacsyma部門の人員を削減している。シンボリックスは多大な赤字を出しているハードウェア部門の赤字補填のドル箱としてMacsymaを使おうとした。
Macsymaの最大の弱点は数値解析能力の低さだった。数式処理は難しいタスクだが、数値解析はより大きな科学技術計算市場に参入する際に重要となる。MIT版Macsymaは数値計算ライブラリIMSLとリンクしていたが、LISPマシン向けのIMSLがないためシンボリックス版Macsymaではこのリンクは難しかった。シンボリックスのLISP開発者は数値解析を古い技術だと信じていて、LISPの用途としては重要でないと考えていたため、その方面の強化を怠っていた。PC版Macsymaの倍精度演算は、FORTRANの6倍の時間がかかった。また行列をリストのリストとして実装していたため、重要なアルゴリズムの性能低下の要因となっていた。MacsymaにはLU分解のような数値線形代数の基本アルゴリズムも備わっていなかった。
1987年から1988年にかけて、Gold Hill Lispを使ったPC版Macsymaをリリースしようとした。一般的なコンピュータ向けにLISPコンパイラを開発することはシンボリックスにとって本業であるLISPマシンと競合する相手を作るようなもので、シンボリックス経営陣はそのプロジェクトをやめさせた。しかし、プロジェクトは経営陣には無断で続行された。ところがこのGold Hill Lispは非常に不安定で、アーキテクチャに問題があるためバグ修正も難しかった。これがMacsymaにとっては致命傷となった。1988年中ごろにMathematicaのMacintosh版が登場したとき、PC版Macsymaを対抗してリリースすることができなかった。Windows版Macsymaは、シンボリックスが開発したCLOE Lispを使って1989年8月にリリースされた。しかしそのころMacsyma部門の人員はあまりに少なく、Mathematicaが備えていたグラフィックス描画機能、ノートブック・インタフェース、数値演算機能などに対抗できるものを実装できなかった。
1989年、シンボリックスは製品戦略の失敗から事業を整理統合する必要に迫られた。ペッティはMacsyma部門を独立させようとしたがMITから資金協力を得られなかった。1988年末、ペッティは経営陣にソフトウェア専業への移行を進言したが、受け入れられなかった。そこで新たな企業を創業するためペッティはシンボリックスを退社した。