とにかくコーディングは最悪だ – Matt Welsh がプログラミングの中止について語る

今月

マット・ウェルシュ、ハーバード大学の PC 科学のぼろぼろの教授は、次のように話しました。 Chicago Association for Computing Machinery (ACM) のデジタルミートアップで、ChatGPI と GitHub Copilot が最高のスタートアップを描いているという論文を説明しました。

ウェールズは、プログラミングは、ChatGPT や副操縦士。彼の印象では、プログラマーは AI プログラムの「講師」に適応する必要があります。あるいは、プロダクトマネージャーまたはコードレビュアーである可能性があります。彼が考える 2 つの人間の役割は、ロボットよりもかなり堅固です。とはいえ、適切なプログラマーとしてのキャリアを継続するよう求めてはいけません、と彼は言います。機械がその役割を担っているからです。 Google と Apple での職位は、ACM マガジンの通信の 2023 年 1 月版のために、このトピックに関する社説を

書きました。あるいは、この ACM ビデオプレゼンテーションまで、ウェールズが彼の概念を教えるために主にスタートアップを設立したことは明確ではありませんでした。
彼がCEOを務めるFixie.ai は、自称「山岳言語モデルの自動化プラットフォーム」です。ご想像のとおり、ChatGPT と同様の機械学習プログラムを利用する企業プログラムのカスタマイズされたツールを支援することを目的としています。

‘Computer Science is Doomed’

Welsh 氏は、プレゼンテーションの冒頭で、「PC 科学は運命にある」と主張して、最高のロープから外れました。

「規律は根本的に取引されるだろう」と彼は説明した。「想像してみてください分野としての PC 科学とは何ですか? それは一貫して、ヒントをプログラムに変換する、本質的に 1 つの主要なコンポーネントでした。 + 人間がコードに値するように、より簡単に試行して作成するのに何年もかかります。彼は 1957 年の Fortran を 1964 年の Total と比較し、その後 2010 年の Rust と比較しましたが、人間のプログラマーにとって使いやすさの場合、これら 3 つの間に本質的に大きな違いはないと話しました。

「人々が組織しているプログラム斬新な時代には、高度なほど正確であり、手を貸すのに骨の折れるほど正確であり、これまでにないほど不正確で正確であり、バグのように適切です」と彼は主張した. ウェールズにPC科学の方法論を本質的に再評価させたのはGitHub Copilotでした。「副操縦士は、私たちがコードを書く際の定式化を根本的に変えます」と彼は話しました。

もう、彼はCopilot は素晴らしい製品だと思います。「私がタイピングしている間、Copilot はほとんどの場合、非常に正確な仕事をしてくれます。ほとんどの場合、私に代わってヒントをまとめてくれます。間違いなく、私よりもはるかに私の心を読んでくれます」と彼は話しました。彼は、Copilot は「コンテキストを切り替える必要がなくなるので、生産性が大幅に向上します」と付け加えました。 Copilot の斬新なモデルは「起動を修正する」ことです。 Copilot の大幅な改善を妨げる最も単純な 2 つの要因があると彼は話しました。追加の知識と追加の計算です。これらの項目は両方とも豊富であるため、彼は「Copilot が 12 か月か 2 か月、あるいは 3 か月で目的を明らかにできない理由の説明を探しません。