ボブ・コエケ

ボブ・コエケ
生まれる	(1968-07-23) 1968年7月23日（56歳） ベルギー、ウィレブローク[3]
母校	ブリュッセル自由大学
知られている	カテゴリカル量子力学、ZX計算、DisCoCat、量子自然言語処理、ダガーコンパクトカテゴリ
科学者としてのキャリア
フィールド	量子基礎 論理 カテゴリー理論 量子情報 計算言語学 因果関係[1] インダストリアルミュージック
機関	クォンティヌム ペリメーター理論物理学研究所 ケンブリッジ量子コンピューティング ウルフソン・カレッジ、オックスフォード オックスフォード大学 ケンブリッジ大学 マギル大学 インペリアル・カレッジ・ロンドン
論文	隠された測定システム (1996)
博士課程の指導教員	ディデリック・エミール・アーツ ジャン・レニエ[2]
Webサイト	www.cs.ox.ac.uk/people/bob.coecke/

ボブ・コエケ（1968年7月23日生まれ）は、ベルギーの理論物理学者、論理学者であり、 2020年までオックスフォード大学で量子基礎、論理、構造の教授を務めていました。彼は、カテゴリカル量子力学（2020年の数学科目分類のエントリ18M40）、量子絵画主義、^[4] ZX計算、自然言語のDisCoCatモデル、 ^[5]および量子自然言語処理（QNLP）の先駆者です。彼は、量子物理学と論理のコミュニティと会議シリーズ、およびジャーナルCompositionalityの創設者です。

コッケは作曲家、音楽家でもあり、インダストリアル・ミュージックの先駆者とも呼ばれています^{[6] [7]}。また、音楽に量子コンピュータを採用した先駆者の一人でもあります^{[8] 。}

コッケは1996年にブリュッセル自由大学で理学博士号を取得し^{[2] 、}ロンドン大学インペリアル・カレッジの理論物理学グループ、モントリオールのマギル大学数学・統計学部の圏論グループ、ケンブリッジ大学純粋数学・数理統計学部、オックスフォード大学コンピュータサイエンス学部で博士研究員として研究を行った。^[要出典]

彼はオックスフォード大学コンピュータサイエンス学部のEPSRC上級研究員であり、2007年に量子コンピュータサイエンスの講師となり、サムソン・アブラムスキーと共同で量子グループを設立して率いた。2009年には、ペリメーター理論物理学研究所の客員研究員として働いた。^{[9] 2011年7月、彼はオックスフォード大学の量子基礎、論理、構造の教授に指名され、2010年10月まで遡及的に就任した。彼は2007年以来}オックスフォード大学ウルフソン・カレッジの理事会フェローを務め、現在は同大学の名誉フェローである。^{[9] [10] [11]}

2019年1月、コーク氏はケンブリッジ・クォンタム・コンピューティングの上級科学顧問に就任し、2021年1月にはオックスフォード大学の教授職を辞任し、ケンブリッジ・クォンタム・コンピューティングの主任科学者に就任した。ケンブリッジ・クォンタム・コンピューティングとハネウェル・クォンタム・システムズの合併後も、共同企業体クォンティニウムの主任科学者として留まった。^[要出典]

2023年1月には、ペリメーター理論物理学研究所の特別客員研究員にも就任した。^[要出典]

コッケの研究は物理学の基礎、特に圏論、論理、図式的推論に焦点を当てており、量子情報科学、量子重力、NLPに応用されている。^{[12] [より良い出典が必要]彼は}サムソン・アブラムスキーと共に圏論的量子力学の先駆者となり、ペンローズのグラフィカル記法に基づく図式的量子形式主義の開発を先導し、アレックス・キッシンジャーと共に「量子過程の描写」と題する教科書を執筆した。ロス・ダンカンと共にZX計算の先駆者となった。スティーブン・クラーク、メアヌーシュ・サドルザデと共に自然言語のDisCoCatモデルを開発した。また、ケンブリッジ量子コンピューティングのウィル・ゼンらと共に量子自然言語処理（QNLP）の先駆者となった。^{[出典が必要]}

コーケと彼の同僚によるカテゴリカル量子力学の計算言語学における自然言語処理への応用に関する研究は、2010年12月にニューサイエンティスト誌で特集されました。^[13]量子自然言語処理に関する研究は、2020年12月にQuantum Daily誌で特集され、2021年1月にPhysicsWorld誌で特集されました。^{[14] [15]}

コエックはミュージシャンでもあり、80年代から演奏やレコーディングを行っている。振り返ってみると、彼はインダストリアルミュージックの先駆者と呼ばれている。^{[誰によって？ ] [16] [17]} 彼のバンド、ブラックティッシュは「当時の最先端のサンプリング技術、多数のシンセサイザーやサウンドループ、メタルスタイルのギターを使用して、これまでに聞いたことのないヘビーロックとエレクトロニカの融合を生み出した」^{[18]。そして「}スロッビング・グリッスルやアインシュテュルツェンデ・ノイバウテンのようなバンドの純粋な実験性と、（比較的）ラジオで聞きやすいミニストリーやナイン・インチ・ネイルズとの間のギャップを埋めた」^{[19] 。}

コッケは音楽分野における量子コンピュータの応用の先駆者の一人でもある。^[20]

教科書

• ボブ・コーク、アレックス・キッシンジャー：量子過程の描写。量子理論と図式的推論の入門コース、ケンブリッジ大学出版局、2017年、ISBN  978-1316219317
• ボブ・コッケ、ステファノ・ゴギオーソ：写真で見る量子、Quantinuum、2022年、ISBN 978-1-7392147-1-5 

書籍（編集者として）

• Bob Coecke、David Moore、Alexander Wilce (編)：操作的量子論理の最新研究：代数、カテゴリ、言語、物理学の基礎理論、Kluwer Academic、2010 年、ISBN 978-9048154371 
• ボブ・コーク（編）：物理学のための新しい構造、物理学講義ノート813、シュプリンガー、2011年、ISBN 978-3642128202 

記事

• Bob Coecke:幼稚園の量子力学、arXiv:quant-ph/0510032
• Samson Abramsky、Bob Coecke:量子プロトコルのカテゴリカルセマンティクス、第 19 回 IEEE コンピュータサイエンスにおけるロジックシンポジウムの議事録、2004 年、pp. 415–425
• Bob Coecke、Ross Duncan:相互作用する量子観測量、オートマトン、言語、プログラミング、pp. 298–310、2008
• Konstantinos Meichanetzidis、Alexis Toumi、Giovanni de Felice、Bob Coecke:量子コンピュータによる文法を考慮した質問応答、arXiv:2012.03756
• ボブ・コッケ：テキスト構造の数学、arXiv：1904.03478
• Will Zeng、Bob Coecke:合成自然言語処理のための量子アルゴリズム、arXiv:1608.01406
• Bob Coecke、Tobias Fritz、Robert Spekkens :リソースの数学的理論、arXiv:1409.5531
• ボブ・コーク：構造のもう一つの福音：秩序、構成、プロセス、 arxiv：1307.4038
• Bob Coecke、Mehrnoosh Sadrzadeh、Steven Clark:意味の構成的分布モデルの数学的基礎、arXiv:1003.4394
• ボブ・コッケ：量子絵画主義、arXiv：0908.1787

ソフトウェア記事

• Eduardo Reck Miranda、Richie Yeung、Anna Pearson、Konstantinos Meichanetzidis、Bob Coecke:音楽知能への量子自然言語処理アプローチ、arXiv:2111.06741
• Dimitri Kartsaklis、Ian Fan、Richie Yeung、Anna Pearson、Robin Lorenz、Alexis Toumi、Giovanni de Felice、Konstantinos Meichanetzidis、Stephen Clark、Bob Coecke: lambeq: 量子 NLP 用の効率的な高レベル Python ライブラリ、arXiv:2110.04236
• Giovanni de Felice、Alexis Toumi、Bob Coecke: Discopy: Python のモノイド カテゴリ、arXiv:2111.06741

• Google Scholar での出版物
• DBLP コンピュータサイエンス文献の出版物