タグ: ソフトウェア

私がビジネスパートナーとのZoomミーティングを締めくくろうとしていたとき、息子が彼のオンライン化学クラスでクラスメートと冗談を言っているのが聞こえてきた。

私にとってこれは非常に奇妙な時間だと言わざるを得ない。私は家族を愛しているが、通常ならばこれほど多くの時間を一緒に過ごすことはないからだ。だがこれらは通常の時間ではない。

通常の場合なら、政府、企業、学校は、すべてを閉鎖することに決して同意することはない。通常の場合なら、私の主治医はビデオ越しに私に会うことは認めないだろう。

食料品店の外に立って待ち、お互いが6フィート（約1.8m）離れていることを確認するような人も通常ならいない。このような時代の中で、通常なら何年もかかる決定が数時間で行われている。つまり、現実の世界、実店舗という現実がシャットダウンしたのだ。世界は今でも機能しているものの、現在は誰もが自分の家の中で活動している。

この通常ではない時間は、金融危機の深みに落ちた2008年を思い出させる。私はかつて共同創業したアプリケーションサーバー企業のBEA Systemsを、Oracle（オラクル）に86億ドル（約9200億円）の現金で売却した。この激動の出来事は、私のキャリアの中でも最悪かつ最も疲れる時期だったが、一方最高の時期でもあった。その理由は多くの刺激的な起業家に出会うことができたおかげだ。

彼らは最も聡明で、勤勉で、決して「できない」とは答えることのない起業家だった。そしてその時代に、多くのCEOたちがその本当の色を示してくれた。それはSlack、Lyft、Uber、Credit Karma、Twilio、Square、Clouderaなど、多くのものが始まった時代だった。これらの企業はすべて、今や数十億ドル（数千億円）の時価総額を誇っている。そして、私はそうした企業のいくつかに投資したり提携したりする必要があった。

繰り返すが、私は10年後に私たちの世界がどのように見えるのかを知りたいと思わずにはいられない。私たちの生き方。私たちが学ぶ方法。私たちが消費する方法。私たちがお互いに対話するやり方。

これから10年後はどうなるのだろう？

2030年へようこそ。iPhoneが発明され、クラウドコンピューティングが立ち上がってから20年以上、そして広範な5Gネットワークが立ち上がってから10年が経った。私たちの生活、仕事、食事、遊びの方法を変えるために必要なすべてのテクノロジーがついに登場して、それらはこれまでにないスピードで広げられることが可能だ。

世界の人口は85億人に達して、全員が日常的なアプリをすべて実行するスマートフォンを所有している。20年前からみれば約15億人ほど人口が増加したことになる。

堅牢なインターネットアクセスと通信プラットフォームが、新しい世界を生み出した。

いまや世界最大の学校はソフトウェア会社だ。その学習エンジンは人工知能を使用して、物理的なスペースを必要とせずに、いつでもどこでもパーソナライズされた学習教材を提供している。Apple（アップル）がiTunesで音楽業界を根底から覆したことと同様に、すべての学生が超低価格であらゆる情報をダウンロードできるようになっている。授業料は大幅に下がり、もはや学生ローンは存在しない。子供たちは、単に授業を受けるだけではなく、ついに学びに集中できるようになったのだ。優れた教育へのアクセスは平等化されたのだ。

世界最大の銀行はソフトウェア会社であり、すべての金融取引はデジタルである。銀行員とライブで会話したい場合は、チャットまたはビデオ会議を開始する。その上で、組み込みのフィンテックソフトウェアがすべての業界を支えている。

汚れた物理的なお金はもう存在しない。すべてのお金の流れはブロックチェーン台帳に保存され、追跡可能になり、安全に保たれる。その金融インフラストラクチャプラットフォームは、すべての地域および管轄区域の顧客、すべての価値の交換、すべてのタイプのユースケース（プロデューサー、ディストリビューター、コンシューマー）などを、すべて最初の段階から扱うことができる。

世界最大の食料品店は、ソフトウェアとロボットの会社だ。食料品は、必要なときにいつでもどこでも可能な限り迅速に配達される。食料品は人間が関与することなくロボットやドローンを使って配達される。顧客は、どこで、いつ、誰が自身の食料品の栽培と取り扱いに関与しているのかを、追跡することができる。人工知能は、過去の購入履歴とカレンダーに基づいて、必要なものを教えてくれる。

世界最大の病院はソフトウェアとロボットの会社だ。すべての初期診断はビデオ会議を使って行われる。すべてデジタルで保存された患者の医療記録と組み合わせることで、サンフランシスコ在住の医師と医師の人工知能アシスタントは、香港在住の患者に個別の処方箋を提供することができる。すべての外科手術はロボットによって行われる。もちろん医師の監督のもとでだ、私たちは完全に機械任せにできるほど大胆にはなれない。そして医師でさえ家から仕事をするようになる。

従業員全員は在宅勤務になっている。オフィスという場所の主な目的は、企業の労働者たちが効率的に仕事を遂行できるように支援することだったということを忘れないようにしよう。2020年以降、すべての企業、特にそのCEOは、従業員が自宅で仕事をするほうが効率的であることに気付いたのだ。在宅勤務にすることで通勤時間を節約できるだけでなく、すべての企業がオフィススペースのコストを節約し、リソースを従業員の福利厚生へとシフトすることができている。私は過去10年を振り返って「オフィススペースが大切だった時代を今でも覚えている」と自分に言い聞かせている。

世界最大のエンターテイメント企業はソフトウェア企業で、私たちが大好きなコンテンツはすべてデジタルである。すべての大ヒット映画は、直接ビデオとしてリリースされる。Alexa（アレクサ）にポップコーンを家に届けるように頼み、遠くに住む友達と一緒にその映画を見ることもできる。映画の中に気に入ったものが出てきたら、すぐにそれを購入することができる、それが衣服でも物でも、目にしたものを何でもそのまま家に届けることができるのだ。もう列に並ぶ必要はない。移動時間もない。大気汚染などの公害は減っていく。よりよい惑星の出現だ！

ここに挙げたのは2030年までに完全に変革されたほんの一部の業界だが、こうした変容は、ほとんどすべてのものに普遍的に適用されることになる。かつては「ソフトウェアが世界を食べている」と言われていた。

言い伝えによれば、何かを食べる者は、食べたものになってしまうと言う。2030年、ソフトウェアは世界になっている。

セキュリティと保護は、もはや私たちが触れて見ることができるものだけに適用されるものではなくなった。メールアカウント、チャットの履歴、閲覧データ、そしてソーシャルメディアアカウントなどの、私たち一人ひとりにとって価値のあるものはすべて、デジタル形式で保存されている。その例が尽きることはない。住宅用の警報装置ではなく、デジタル用警報装置が必要なのだ。

この危機は近未来を暗く見せるかもしれないが、私は新しい世界と未来の新しい会社について楽観的だ。人類として変化する私たちの能力、そして今回の危機とテクノロジーが私たちの生き方をいかに加速しているかについて、私は興奮を抑えられない。

この嵐はいつか過ぎ去るだろう。しかし、私たちが今行う選択は、私たちの生活を永遠に変えることになる。

私のチームと私は、新しい世界を形作るのに役立つ企業を創業しそれに投資することを誇りに思っている。それらは、これからの世代にとって重要な、新しくてインパクトのあるテクノロジー、人類にとって重要な企業、私たちの孫たちに伝えられるものすべてだ。

私は希望に満ちている。

【編集部注】Alfred Chuang （アルフレッドチャン）氏は、アーリーステージを対象としたベンチャーキャピタル、Race Capitalのジェネラルパートナーだ。

画像クレジット： olm26250 (opens in a new window)/ Getty Images

［原文へ］

（翻訳：sako）

量子コンピューティングのためのハードウェアは、あと数年で現実の使用事例が見られる段階にまで開発が進んでいる（Volkswagenリリース）。それにともない、当然のことながら量子コンピューターの力を最大限に活かせるプログラム方法の研究も着実に増えている。その分野の研究のひとつにSilq（シルク）がある。スイス連邦工科大学（ETH）チューリッヒ校の量子コンピューティング用高水準プログラミング言語だ。

ここで重視すべきは、「高水準プログラミング言語」であるという点だ。この言語の開発に携わる研究者たちによれば、現在、量子コンピューターのプログラマーたちは、まだ抽象度の低い低水準言語で必要以上に苦労しているという。

「このプロジェクトの歴史は、量子コンピューターの中核的な問題を解決したいというところから始まっています」とETHコンピューター科学准教授であるMartin Vechev（マーティン・ベシェフ）氏は私に話してくれた。「しかし量子コンピューティングの中核的問題を解決するためには、例えば量子プログラムの解析や推論をするには、それらの問題が記述されている言語が必要です。それは既存の言語です。私たちは量子コンピューティングのさまざまな問題を見てきましたが、基本的にはその言語を見て、問題がどのように記述されているかを確認するという作業が主体になります。しかしお察しのとおり、これは理想的とはいえず、最適な方法でありません」。

そこで彼らは、実際に使われている別の言語も調べてみることにした。Microsoft（マイクロソフト）のQ#や、IBMのQiskitなどのSDKだ。

「当初は、新しい言語を開発する必要性などまったく感じていませんでした」とベシェフ氏の博士課程大学院生であるBenjamin Bichsel（ベンジャミン・ビクセル）氏は話す。「そこをそもそものスタート地点として検討するなど、考えてもみませんでした。量子コンピューターで、もっと高度な問題を解決したいと思ったときに、よしそれじゃあ適当に言語をひとつ選んで、それでやろうというのが私たちの考え方でした。しかし気がついたのです。私たちが推論したいと関心を持つような高度なプロパティーには、既存の言語はまったく不適格でした」

今週のPLDI 2020で発表を予定しているSilqの論文を
共著した1人は、あまりにも面倒なので既存の言語は一切使わなかったとさえ話している。この論文の執筆には、ビクセル氏とベシェフ氏の他、Timon Gehr（ティモン・ゲール）氏とMaximilian Baader（マクシミリアン・バーダー）氏も参加している。

では、既存の言語のどこが悪いのだろうか？「それを理解するための入口として最適なのが、従来の言語には存在しなかった量子コンピューティングならではの基本的な難題、つまり『非計算』に注目することです」とベシェフ氏は話す。実際、非計算はSilqの中核的なアプローチであり、ネイティブに組み込まれている。非計算には古典対応があるものの、だからといってその概念が直感的にわかるというものではない。

「古典的な言語で『AまたはBまたはC』を計算させようとすると、先に『AまたはB』を計算してから、『（その結果）またはC』が計算されますが、その間に計算された一時変数は忘れ去られてしまいます」とビクセル氏。「これを量子で行うと、予期せぬ副作用が発生します【略】結論として、こうなると予測されたことが、ここでは起こりません。そのためなんとかこれに対処しなければならないのです。これが意味するものは、現在あるすべての量子言語では、本質的に抽象度が大変に低いところでの作業を強いられるということです。そこでは、すべての一時変数を考慮しなければなりません。基本的にこれが、高水準な思考を妨げているのです」。

つまり、整数を可算するなど比較的些細なことをしようと思っても、量子コンピューターでは、処理の過程で発生したあらゆる一時変数を考慮して、明示的に扱わなければならないということだ。

「量子コンピューティングでは、廃棄すべき一時変数などのガーベッジに常に対処しなければならないため、常に対応が強いられます。それが、これらの言語を使う上で大変な手間になるのです」とビクセル氏。現在の量子言語はその回避を試みているが、その方法はやや難解だ。それに対してSilqは、安全な自動非計算が最初から使えるようになっている。

ベシェフ氏はまた、低水準プログラムの記述ではエラーが発生しやすく、アルゴリズムが実際に何をしているのかを理解しづらいと話している。それに対してSilqの型チェッカーには、プログラマーが犯しやすい一般的なミスを低減してくれる機能がある。また研究チームは、古典的な言語の最新の技術（オーナーシップタイプやリニアタイプのシステム）に注目し、量子コンピューシングのコンテキストに実装しているが、これもSilqが初めてだ。

ここまで知れば、Silqで書かれたプログラムは、Q#やQuipperなどと比べてずっと短く、量子プリミティブの数もずっと少なくなる（Silqリリース）ことを研究チームが発見したと聞いても、ビックリはしないだろう。

しばらくの間、Silqはまだ研究プロジェクトの段階であり、既存のいずれの量子ハードウェアプラットフォームでも走らせる予定はない。だが彼らは、独自で量子エミュレーターを作成して前提の検証を行っている。「我々の場合、大変に高水準な言語のため、コンパイルは2段階処理で行うことを考えています。まずは高水準な目的を表現する。するとそれを受けてコンパイラーが使用されるアーキテクチャーを特定し、それに対してどのように最適化するかを判断します」とビクセル氏。

Silqの詳細を深く知りたいという方は、こちらで論文が読める。

画像クレジット：ALFRED PASIEKA / SCIENCE PHOTO LIBRARY / Getty Images
[原文へ]
（翻訳：金井哲夫）