スティーブ・ヴィッカーズ（コンピュータ科学者）

スティーブ・ヴィッカーズ（1952年または1953年生まれ）^{[ 1 ]}は、イギリスの数学者であり、コンピュータ科学者である。1980年代初頭、彼はZX81、ZX Spectrum、Jupiter Aceの3つのホームコンピュータ用のROMファームウェアとマニュアルを作成した。[ 2 ] [ 3 ]後者は、ヴィッカーズ^{がリチャード・アルトワッサーと共に}シンクレア・リサーチを離れた後に設立した短命の会社、Jupiter Cantabによって製造された。1980年代後半以降、ヴィッカーズは幾何論理学の分野で学者として活動しており、コンピュータ科学の数学的側面に関する30以上の論文を学術誌に執筆している。彼の著書『論理によるトポロジー』は、さまざまな分野に影響を与えており（理論物理学にまで及び、インペリアル・カレッジ・ロンドンのクリストファー・イシャムは、トポスと量子重力に関する自身の研究にヴィッカーズが初期に影響を与えたと述べている^{[ 4 ]}）。 2018年10月、彼はバーミンガム大学の上級講師を退任した。大学のホームページで発表されているように、彼は引き続き同大学で博士課程の学生の指導を行い、自身の研究に専念している。

ヴィッカーズはケンブリッジ大学キングス・カレッジで数学の学位を取得し、リーズ大学で同じく数学の博士号を取得した。^{[ 5 ]}

1980年、彼はNine Tiles社に入社した。Nine Tiles社は以前、ZX80用のSinclair BASICを開発していた。彼はZX80の4K ROMをZX81で使用される8K ROMに変換する作業を担当し、ZX81のマニュアルも執筆した。その後、ZX SpectrumのROMの大部分を開発し、ユーザー向けドキュメントの作成にも携わった。

ヴィッカーズは1982年に退社し、リチャード・アルトワッサーと共に「レインボー・コンピューティング社」を設立した。同社は後にジュピター・カンタブとなり、二人は商業的には成功しなかったジュピターACEの開発を担当した。ジュピターACEは、類似機種であるZXスペクトラムの競合製品だった。

ヴィッカーズは当初、インペリアル・カレッジ・ロンドンの計算機科学科に所属していたが、その後オープン大学の純粋数学科に移り、現在はバーミンガム大学のコンピュータ科学部で上級講師および研究学生指導員を務めている。

ヴィッカーズの主な関心は幾何論理にある。彼の著書『論理によるトポロジー』は、サムソン・アブラムスキーとマイク・スミスによって開発された計算論的洞察の観点からトポロジーを紹介している。本書は点のないアプローチを重視しており、トポス理論ですでに知られていた、直観主義論理のより厳密な形式である、いわゆる幾何論理の理論を扱っていると理解できる。ただし、本書は古典数学の言語で書かれている。

トポス（一般化された空間）にアイデアを拡張する中で、彼は幾何学的な形式の構成的数学へと導かれ、トポスの領域のトピカルカテゴリにおいて、可能な限りこの幾何学的数学を、点のない空間（およびトポス）を「十分な点」を持つかのように扱うためのツールとして用いるという幾何学化プログラムを提示した。その後の彼の研究の多くは、適切な手法を用いれば実際に有用な数学を幾何学的に行うことができることを示すケーススタディであった。特に、「点から空間への幾何学的変換」という概念は、位相束の自然なファイバーワイズ処理を与える。彼の最近のプロジェクトは、これを、インペリアル・カレッジのクリス・イシャムらが開発した物理学へのトポスアプローチ（ドーリングとイシャムの『物とは何か？物理学の基礎におけるトポス理論』を参照）や、ラドバウド大学ナイメーヘンのクラース・ランズマンのグループ（ヒューネン、ランズマン、スピッターズの『代数的量子論のためのトポス』を参照）と結びつけることである。

• Steven Vickers、「算術的宇宙における帰結の帰納原理」、Journal of Pure and Applied Algebra 216 (8–9)、ISSN 0022-4049、pp.  1705 – 2068、2012年。
• Jung, Achim、Moshier, M. Andrew、Vickers, Steven、「dcpos および dcpo 代数の提示」、Bauer, A. および Mislove, M. 編、「第 24 回プログラミング意味論の数学的基礎に関する会議 (MFPS XXIV) の議事録」、pp.  209–229、Electronic Notes in Theoretical Computer Science、Elsevier、2008 年。
• Steven Vickers、「形式トポロジーにおける余層と連結性」、Annals of Pure and Applied Logic、ISSN 0168-0072、2009年。
• Steven Vickers、「下積分と上積分の局所理論」、Mathematical Logic Quarterly、54 (1)、pp.  109–103、2008年。
• Steven Vickers、「空間としてのロケールとトポス」、Marco Aiello、Ian E. Pratt-Hartmann、Johan FAK van Benthem 編、Springer、『空間論理ハンドブック』、Springer、2007 年、ISBN 978-1-4020-5586-7第8章、 429～496ページ。
• Palmgren, Erik および Vickers, Steven、「部分ホーン論理とデカルト圏」、Annals of Pure and Applied Logic、145 (3)、pp.  314–353、ISSN 0168-0072、2007 年。
• Steven Vickers、「一般化された距離空間の局所的完備化 I、カテゴリの理論と応用」、ISSN 1201-561X、14、pp.  328–356、2005年。
• Steven Vickers、「一般化された距離空間の局所的完備化 II: パワーロケール、論理と分析ジャーナル」、ISSN 1759-9008、1 (11)、pp.  1–48、2009年。
• Steven Vickers、「二重冪ロケールとべき乗：幾何論理における事例研究」、Theoretical Computer Science、ISSN 0304-3975、第316巻、 297～321ページ、2004年。
• Steven Vickers、「ドメインのトピックカテゴリ」、Winskel、CLICSワークショップ議事録、オーフス、オーフス大学コンピュータサイエンス学部、1992年。
• Vickers, SJ、「構成的論理によるトポロジー」、Moss、Ginzburg、de Rijke編『論理、言語、計算 第2巻』、情報理論的アプローチによる論理、言語、計算に関する会議議事録、1996年、ISBN 1575861801、157586181X、CSLI Publications、スタンフォード、pp.  336–345、1999年。
• Vickers, SJ、「Toposes pour les vraiment nuls」、Edalat, A.、Jourdan, S.、McCusker, G. 編『Advances in Theory and Formal Methods of Computing 1996』、ISBN 1-86094-031-5、インペリアル・カレッジ・プレス、ロンドン、 1～12ページ、1996年。
• Vickers, SJ、「Toposes pour les nuls」、Techreport Doc96/4、Department of Computing、Imperial College London、（Semantics Society Newsletter no. 4 に初掲載）。
• Broda, K.、Eisenbach, S.、Khoshnevisan, H.、Vickers, SJ、「Reasoned Programming」、ISBN 0-13-098831-6、プレンティスホール、国際コンピュータサイエンスシリーズ、1994年。
• Johnstone, PTおよび Vickers, SJ、「Preframe Presentations Present」、Carboni, A. およびPedicchio, MCおよび Rosolini, G. 編、『Category Theory – Proceedings』、コモ 1990、ISBN 3-540-54706-1、0-387-54706-1、Lecture Notes in Mathematics、1488、Springer-Verlag、1991。
• スティーブン・ヴィッカーズ著『論理によるトポロジー』ケンブリッジ大学出版局、ISBN 0-521-57651-21996年。
• ドーリング、アンドレアス、イシャム、クリス、「物とは何か？：物理学の基礎におけるトポス理論」、ボブ・コッケ編『物理学における新しい構造』第13章、 753～940ページ、Lecture Notes in Physics、813、Springer、2011年、ISBN 978-3-642-12820-2（arXiv:0803.0417v1も参照。）
• Heunen, Chris、Landsman, Nicolaas P.、Spitters, Bas、「代数的量子論のためのトポス」、2009年、Communications in Mathematical Physics、291 (1)、pp.  63–110、ISSN 0010-3616 (印刷版) 1432-0916 (オンライン版)。

• スティーブ・ヴィッカーズのホームページ
• リチャード・アルトワッサーとスティーブン・ヴィッカーズへのインタビュー