ジョン・V・タッカー

ジョン・ヴィヴィアン・タッカー（1952年2月4日生まれ）は、イギリスのコンピュータ科学者であり、計算可能性理論（再帰理論としても知られる）の専門家です。計算可能性理論は、人間や機械が何を計算できるか、できないかに関する理論です。彼の研究は、古典的な理論を一般化して、あらゆる形式の離散/デジタルおよび連続/アナログデータを扱うこと、および抽象データ型とアルゴリズムと物理的装置間のインターフェイスに基づいて、一般化をシステム設計の形式手法として使用することに重点を置いています。

ウェールズのカーディフ生まれ。ブリジェンド男子文法学校で数学、論理学、コンピューターサイエンスを学ぶ。ウォーリック大学で数学を学び（1973年に文学士号取得）、ブリストル大学で数理論理学とコンピューターサイエンスの基礎を学んだ（1974年に理学修士号、1977年に博士号取得）。オスロ大学、アムステルダムCWI、ブリストル大学、リーズ大学で教鞭を執った後、1989年にスウォンジー大学でコンピューターサイエンスの教授としてウェールズに復帰。理論コンピューターサイエンスに加え、コンピューターサイエンスの歴史、科学技術とウェールズの歴史についても講義を行っている。

タッカーは1985年に英国理論計算機科学コロキウムを設立し、設立当初から1992年まで会長を務めました。英国計算機学会フェローで、いくつかの国際科学雑誌およびモノグラフシリーズの編集者でもあります。スウォンジーでは、計算機科学部長（1994～2008年）、物理科学部長（2007～2011年）、副学長（2011～2019年）を務めました。Academia Europaeaの会員でもあります。計算機科学以外では、ウェールズのシンクタンクであるウェールズ問題研究所の理事、およびスウォンジー湾支部の会長を務めています。また、サウスウェールズ技術者教育信託およびガワー協会の理事も務めています。

タッカー教授は、かつてスウォンジー大学で古代史の講師を務めていたTE・リーヒル博士と結婚しています。

1990年代初頭、彼はウェールズの国立アカデミー設立を訴え始めました。2008年、当時のウェールズ大学の支援により、そのようなアカデミー設立のプロセスが始まりました。タッカー教授はウェールズ学術協会の創立メンバーであり、2010年7月に同協会の初代事務局長に任命され、2017年5月までその職を務めました。

古典的な計算可能性理論は、文字列または自然数のデータ型に基づいています。一般に、離散型と連続型の両方のデータ型は、演算とテストを備えたデータのセットである普遍代数によってモデル化されます。タッカーの理論的研究は、データ型の演算とテストのプロパティをどのように定義または指定するか、それらを使用してどのようにプログラムし、推論するか、そしてそれらをどのように実装するかという問題に取り組んでいます。

1979 年から始まった一連の定理と例の中で、Jan Bergstraと Tucker は、次の形式の定理に基づいて、任意の離散データ型に対するさまざまな種類の方程式やその他の代数式の表現力を確立しました。

任意の離散データ型では、関数は、アルゴリズムによって計算可能な場合に限り、小さな有限連立方程式の一意の解として定義できます。

彼らのプログラムは、データ型の指定方法を包括的に分類しました。その結果、項書き換えやマティヤセビッチの定理など、普遍代数と再帰理論の手法が組み合わされました。

他の問題については、彼と彼の同僚は、多くの連続データ型に対して同等である、古典的な計算可能性/再帰理論の 2 つの独立した異なる一般化を開発しました。

Jeffrey Zucker と共同で作成した最初の一般化は、抽象データ型を使用した命令型プログラミングに焦点を当て、 Hoare 論理を使用した仕様と検証をカバーしています。たとえば、次のことを示しました。

実数上のすべての計算可能な関数は、代数式の単一の有限システムに対する唯一の解です。

2 番目の一般化は、Viggo Stoltenberg-Hansenと共同で作成され、ドメイン理論の順序付けられた構造に含まれる近似を使用してデータ型を実装することに重点を置いています。

一般理論は、マイクロプロセッサの検証、データ型、ボリュームグラフィックスおよび心臓を含む興奮性媒体のモデリングのためのツールにおける形式手法として適用されてきました。

2003 年以来、タッカーはエドウィン・ベッグスおよびフェリックス・コスタと共同で、アルゴリズムと物理的機器のインターフェースを分析する一般理論に取り組んできました。この理論は、次のようなさまざまな疑問に答えています。

1. 「オラクル」として機能する特別な目的の物理デバイスによってアルゴリズムを強化できる方法。
2. 測定を行うために設計された物理的な実験をアルゴリズムがどのように制御するか。

彼らは、計算可能性理論における神託の考え方を変換することで、アルゴリズム モデルと、物理的プロセスの正確に指定されたモデルを組み合わせます。たとえば、次のような質問をします。

物理的な実験がアルゴリズムによって完全に制御される場合、そのアルゴリズムは実験によって可能になる物理的な測定にどのような影響を与えるでしょうか?

彼らの中心的なアイデアは、チューリングが 1936 年にチューリング マシンで人間のコンピューターをモデル化したのと同じように、実験を制御する実験手順を実行する技術者をチューリング マシンでモデル化するというものです。彼らは、計算の数学が古典物理学で測定できるものに根本的な制限を課すことを示しています。

衝突する粒子に基づいて質量を測定する単純なニュートン実験があります。この実験では、質量 m が無数に存在するため、装置を制御するすべての実験手順では、手順の実行時間を任意に長くしても、m の桁数を有限にしか決定できません。特に、測定できない質量は無数に存在します。

2004年以来、タッカーとビクトリア・ワンは、個人、社会、組織の状況、特に監視におけるデジタルデータの性質と役割を研究してきました。まず、彼らはファティックテクノロジーの理論を作成し、それをアンソニー・ギデンズが開発した近代性理論に統合しました。次に、彼らは多くの監視状況とプロセスを分析するために使用される人々とオブジェクトの監視理論を持っており、これは抽象データ型理論から派生した監視システムの数学モデルにつながっています。

2007年、タッカーはスウォンジー大学にコンピューティングの歴史コレクションを設立しました。1994年以来、コンピュータ以前のコンピューティング、およびデータとコンピューティングの理論に関心を持ち、コンピューティングの歴史について講義してきました。彼は、シュプリンガーの書籍シリーズ「History of Computing」の編集委員会の創設メンバーです。また、ウェールズの科学技術の歴史についても講義しており、ウェールズ大学出版局の書籍シリーズ「Scientists of Wales」の編集委員会の創設メンバーでもあります。

1. JA Bergstra と JV Tucker、「等式仕様、完全な項書き換えシステム、計算可能および半計算可能代数」、 Journal of the ACM、第 42 巻 (1995 年)、pp1194–1230。
2. V Stoltenberg-Hansen および JV Tucker、「Effective algebras」、S Abramsky、D Gabbay、T Maibaum (編)、『Handbook of Logic in Computer Science、Volume IV: Semantic Modelling』、Oxford University Press (1995)、pp357-526。
3. V Stoltenberg-Hansen と JV Tucker、「計算可能環と計算可能体」、E Griffor (編)、『計算可能性理論ハンドブック』、Elsevier (1999)、pp363-447。
4. JV Tucker と JI Zucker、「Computable functions and semicomputable sets on many sorted algebras」、S Abramsky、D Gabbay、T Maibaum (編)、『Handbook of Logic in Computer Science、Volume V: Logic and Algebraic Methods 』、Oxford University Press (2000)、pp317–523。
5. JV Tucker と JI Zucker、「抽象的な計算可能性と代数的仕様」、ACM Transactions on Computational Logic、第 5 巻 (2004 年)、pp611–668。
6. JA Bergstra と JV Tucker、「抽象データ型としての有理数」、Journal of the ACM、54: 2 (2007)、記事 7。https://dl.acm.org/doi/10.1145/1219092.1219095。
7. JA Bergstra、Y Hirschfeld、JV Tucker、 「Meadows と除算の等式指定」、理論計算機科学、410 (2009)、1261–1271。doi :10.1016/ j.tcs.2008.12.015
8. EJ Beggs、JF Costa、B Loff、JV Tucker、「実験をオラクルとする計算複雑性」、Proceedings Royal Society Series A、464 (2008) 2777–2801。
9. EJ Beggs、JF Costa、B Loff、JV Tucker、「実験をオラクルとする計算複雑性 II: 上限」、Proceedings Royal Society Series A、465 (2009) 1453–1465。
10. EJ Beggs、JF Costa、JV Tucker、「アルゴリズムによって制御される実験における測定の限界」、Mathematical Structures in Computer Science、20 (2010) 1019–1050。
11. Victoria Wang および JV Tucker、「デジタル社会における Phatic システム」。Technology in Society、46 (2016)、140-148、http://dx.doi.org/10.1016/j.techsoc.2016.06.002
12. Victoria Wang、Kevin Haines、JV Tucker、「完璧な監視下にあるコミュニティにおける逸脱と統制 - Second Life、監視と社会の事例」、9 (2011) 31-46、https://doi.org/10.24908/ss.v9i1/2.4096。
13. Victoria Wang と JV Tucker、「私は数字ではない」：デジタル監視におけるアイデンティティの概念化、Technology in Society、67、2021 年 11 月、101772、https://doi.org/10.1016/j.techsoc.2021.101772。
14. JV Tucker、「Robert Recorde: データ、計算、そしてチューダー朝の知識経済」、G Roberts および F Smith (編)、「Robert Recorde: 生涯と仕事」、University of Wales Press、2012 年、165-187 ページ。
15. JVタッカー『リチャード・プライスと科学史』、 シンモドリオン名誉協会紀要、新シリーズ21（2017年）、69-86ページ。
16. JV タッカー、「コンピュータ革命と私たち：1960 年代からのスウォンジー大学におけるコンピュータサイエンス」、スウォンジー大学創立 100 周年記念エッセイ、https://collections.swansea.ac.uk/s/swansea-2020/page/computer-science。

• ホームページ
• DBLP書誌サーバーの JV Tucker
• ジョン・タッカーへのインタビュー
• ウェールズ学士会
• コンピュータの歴史コレクション
• コンピュータの歴史の本
• ウェールズ大学出版局
• コンピュータの歴史コレクションのメインページ
• HOCCからの画像
• HOCC Youtubeチャンネル