論文の概要: Visions in Theoretical Computer Science: A Report on the TCS Visioning
Workshop 2020
- arxiv url: http://arxiv.org/abs/2107.02846v1
- Date: Tue, 6 Jul 2021 19:12:03 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-23 06:21:02.194842
- Title: Visions in Theoretical Computer Science: A Report on the TCS Visioning
Workshop 2020
- Title（参考訳）: 理論計算機科学におけるビジョン:TCS Visioning Workshop 2020参加報告
- Authors: Shuchi Chawla, Jelani Nelson, Chris Umans, and David Woodruff
- Abstract要約: 理論計算機科学(TCS)は、計算とアルゴリズムのプロセスと相互作用の数学的基礎を研究する。
TCSコミュニティは10年ごとにビジョンワークショップに参加し、この分野における課題と最近の成果について議論する。
第2回TCSビジョンワークショップはSIGACT Committee for the Advancement of Theory Computer Scienceによって組織され、2020年7月20日に開催された。
米国には76人以上の参加者がおり、そのほとんどがヨーロッパやアジアからの参加者だった。
- 参考スコア（独自算出の注目度）: 3.4148735410310738
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Theoretical computer science (TCS) is a subdiscipline of computer science
that studies the mathematical foundations of computational and algorithmic
processes and interactions. Work in this field is often recognized by its
emphasis on mathematical technique and rigor. At the heart of the field are
questions surrounding the nature of computation: What does it mean to compute?
What is computable? And how efficiently?
Every ten years or so the TCS community attends visioning workshops to
discuss the challenges and recent accomplishments in the TCS field. The
workshops and the outputs they produce are meant both as a reflection for the
TCS community and as guiding principles for interested investment partners.
Concretely, the workshop output consists of a number of nuggets, each
summarizing a particular point, that are synthesized in the form of a white
paper and illustrated with graphics/slides produced by a professional graphic
designer. The second TCS Visioning Workshop was organized by the SIGACT
Committee for the Advancement of Theoretical Computer Science and took place
during the week of July 20, 2020. Despite the conference being virtual, there
were over 76 participants, mostly from the United States, but also a few from
Europe and Asia who were able to attend due to the online format. Workshop
participants were divided into categories as reflected in the sections of this
report: (1) models of computation; (2) foundations of data science; (3)
cryptography; and (4) using theoretical computer science for other domains.
Each group participated in a series of discussions that produced the nuggets
below.
- Abstract（参考訳）: 理論計算機科学(英: theoretical computer science、TCS)は、計算とアルゴリズムのプロセスと相互作用の数学的基礎を研究するコンピュータ科学の分野である。
この分野の仕事は数学の技術と厳密さに重きを置くことでしばしば認識される。
この分野の核心には、計算の性質に関する疑問がある。
計算可能なものは何か?
効率はどうでしょう?
TCSコミュニティは10年ごとにビジョンワークショップに参加し、TCS分野における課題と最近の成果について議論する。
ワークショップと成果物は、tcsコミュニティへの反省と、興味のある投資パートナーのための原則の指導の両方を目的としています。
具体的には、ワークショップの出力は複数のナゲットで構成され、それぞれ特定の点を要約し、ホワイトペーパーの形で合成され、プロのグラフィックデザイナーによって作成されたグラフィック/スライドで図示される。
第2回TCSビジョンワークショップはSIGACT Committee for the Advancement of Theory Computer Scienceによって組織され、2020年7月20日に開催された。
カンファレンスは仮想だったにもかかわらず、76人以上の参加者が参加しており、その多くは米国出身だが、オンラインフォーマットのために参加できるヨーロッパとアジアの人たちもいた。
ワークショップ参加者は,(1)計算モデル,(2)データサイエンスの基礎,(3)暗号,(4)他の領域における理論計算機科学の3つの分野に区分した。
各グループは、下記のナゲットを生み出す一連の議論に参加した。
関連論文リスト
- First Steps towards K-12 Computer Science Education in Portugal -- Experience Report [49.1574468325115]
本報告では,ポルトガルにおけるensICO協会の取り組みについて報告する。
2020年のいくつかの学校でのパイロットプロジェクトから始まり、現在4500人の学生、35の学校、100の学校教師と協力している。
主な目的は、コンピュータを必須科目として教えるための総合的なシラバスを定義するのに十分な経験と知識を得ることである。
論文 参考訳（メタデータ） (2024-11-15T12:32:52Z) - Designing Theory of Computing Backwards [0.30458514384586394]
CSプログラムにおけるコンピュータ理論(ToC)コースは、しばしばプログラムの終わり近くに置かれる。
コンピュータが何をしているのかについて、学生にとって直感的であるもの - コースの終わりに教えられるチューリングマシン - は、初期のモデルのモチベーションを必要とする。
このポスターには、素材を効果的に後ろ向きに教えるToCコースの設計の経験が含まれています。」
論文 参考訳（メタデータ） (2023-11-13T23:32:41Z) - Experiences with Research Processes in an Undergraduate Theory of
Computing Course [0.30458514384586394]
コンピュータ理論(ToC)コースは、多くの学部生CSカリキュラムにおいて必須である。
ToCコースの共通研究環境を模擬会議代行によってエミュレートした。
論文 参考訳（メタデータ） (2023-10-03T11:37:06Z) - Coordinated Science Laboratory 70th Anniversary Symposium: The Future of
Computing [80.72844751804166]
2021年、コーディネート・サイエンス研究所(CSL)は70周年を記念して、Future of Computing Symposiumを開催した。
シンポジウムで提案された主要な技術的ポイント、洞察、方向性を要約する。
参加者は、新しいコンピューティングパラダイム、技術、アルゴリズム、行動、そして将来予想される研究課題に関するトピックについて議論した。
論文 参考訳（メタデータ） (2022-10-04T17:32:27Z) - A Survey on Graph Neural Networks and Graph Transformers in Computer Vision: A Task-Oriented Perspective [71.03621840455754]
グラフニューラルネットワーク(GNN)はグラフ表現学習において勢いを増している。
Graph Transformerは、グラフ構造をTransformerアーキテクチャに組み込んで、局所的な近傍集約の制限を克服します。
本稿では,タスク指向の観点から,コンピュータビジョンにおけるGNNとグラフトランスフォーマーの総合的なレビューを行う。
論文 参考訳（メタデータ） (2022-09-27T08:10:14Z) - JiuZhang: A Chinese Pre-trained Language Model for Mathematical Problem
Understanding [74.12405417718054]
本稿では,中国初の数学的事前学習言語モデル(PLM)を提示することにより,機械の数学的知性向上を目指す。
他の標準のNLPタスクとは異なり、数学的テキストは問題文に数学的用語、記号、公式を含むため理解が難しい。
基礎課程と上級課程の両方からなる数学PLMの学習を改善するための新しいカリキュラム事前学習手法を設計する。
論文 参考訳（メタデータ） (2022-06-13T17:03:52Z) - Computational Argumentation and Cognition [0.3867363075280543]
第1回計算argumentation and Cognitionワークショップ(COGNITAR)に端を発する。
人間中心AIの文脈において、認知研究のための計算論からの理論と方法の使用は、追求するための有望な道である、と論じている。
本稿は、科学的レベルでも、関連する様々な分野からアイデアやアプローチを合成するレベルでも、対処すべき領域における主な問題と課題を提示する。
論文 参考訳（メタデータ） (2021-11-12T21:44:30Z) - Proceedings of the 9th International Symposium on Symbolic Computation
in Software Science [0.0]
この巻には、SCSS 2021のシンボリック計算に関する第9回国際シンポジウムで発表された論文が含まれている。
SCSSの目的は、ソフトウェア科学における記号計算の理論的および実践的な側面の研究を、現代の人工知能技術と組み合わせて促進することである。
論文 参考訳（メタデータ） (2021-09-06T14:22:11Z) - Formalising Concepts as Grounded Abstractions [68.24080871981869]
このレポートは、表現学習が生データから概念を誘導する方法を示しています。
このレポートの主な技術的目標は、表現学習のテクニックが概念空間の格子理論的定式化とどのように結婚できるかを示すことである。
論文 参考訳（メタデータ） (2021-01-13T15:22:01Z) - Perspectives on Sim2Real Transfer for Robotics: A Summary of the R:SS
2020 Workshop [79.20516797125704]
このレポートでは、2020年版「ロボティクス:科学とシステム」会議と連動して開催されるSim2Realワークショップの議論、ポスター、および議論を紹介します。
フィールドの12のリーダーは、ロボットの問題の文脈でシミュレーションから現実世界にスキルを転送することの定義、実行可能性、および重要性に関する競合する議論のポジションを取りました。
議論者は大きなパネルディスカッションに参加し、聴衆の質問に答え、ロボット工学におけるSim2Realの将来について概説した。
論文 参考訳（メタデータ） (2020-12-07T15:48:26Z) - A New Age of Computing and the Brain [25.548544303230933]
コンピュータ科学と脳科学の歴史は絡み合っている。
2014年12月、ワシントンD.C.で2日間のワークショップが開かれた。
目標は、コンピューター科学者と脳科学者を集結させ、新たな機会とつながりを探ることだった。
論文 参考訳（メタデータ） (2020-04-27T16:38:17Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。