論文の概要: Designing Theory of Computing Backwards
- arxiv url: http://arxiv.org/abs/2311.07803v1
- Date: Mon, 13 Nov 2023 23:32:41 GMT
- ステータス: 処理完了
- システム内更新日: 2023-11-15 16:09:48.370659
- Title: Designing Theory of Computing Backwards
- Title(参考訳): コンピュータ・バックワードの設計理論
- Authors: Ryan E. Dougherty
- Abstract要約: CSプログラムにおけるコンピュータ理論(ToC)コースは、しばしばプログラムの終わり近くに置かれる。
コンピュータが何をしているのかについて、学生にとって直感的であるもの - コースの終わりに教えられるチューリングマシン - は、初期のモデルのモチベーションを必要とする。
このポスターには、素材を効果的に後ろ向きに教えるToCコースの設計の経験が含まれています。」
- 参考スコア(独自算出の注目度): 0.30458514384586394
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The design of any technical Computer Science course must involve its context
within the institution's CS program, but also incorporate any new material that
is relevant and appropriately accessible to students. In many institutions,
theory of computing (ToC) courses within undergraduate CS programs are often
placed near the end of the program, and have a very common structure of
building off previous sections of the course. The central question behind any
such course is ``What are the limits of computers?'' for various types of
computational models. However, what is often intuitive for students about what
a ``computer'' is--a Turing machine--is taught at the end of the course, which
necessitates motivation for earlier models. This poster contains our
experiences in designing a ToC course that teaches the material effectively
``backwards,'' with pedagogic motivation of instead asking the question ``What
suitable restrictions can we place on computers to make their problems
tractable?'' We also give recommendations for future course design.
- Abstract(参考訳): あらゆる技術系コンピュータサイエンスコースの設計は、その文脈を機関のCSプログラムに含めなければならないが、学生にとって適切かつ適切な新しい素材も取り入れなければならない。
多くの機関では、学部のcsプログラム内のtoc(コンピューティング理論)コースはプログラムの終わり近くに置かれ、コースの前のセクションを構築するという非常に一般的な構造を持っている。
そのようなコースの背後にある中心的な疑問は、様々なタイプの計算モデルに対して「コンピュータの限界は何か」である。
しかし、‘コンピュータ’が何であるかという学生にとって直感的なことは、コースの最後にチューリングマシンが教えられることで、初期のモデルの動機付けが必要となる。
本ポスターは,「コンピュータにどのような制約を課して問題を扱いやすくできるか」という質問に対して,教育的モチベーションを伴い,効果的に『背後』を教えるtocコースの設計経験を盛り込んだものである。
関連論文リスト
- Scaffolding Research Projects in Theory of Computing Courses [0.30458514384586394]
The Theory of Computing (ToC) はCSカリキュラムにおいて重要なコースである。
最近の研究は、学生が実際のCSコンファレンスに応募しているかのようにToCの問題にアプローチし、提示するモック・カンファレンス・プロジェクトという、新しいタイプの課題を実験した。
論文 参考訳(メタデータ) (2024-10-02T16:20:27Z) - Experiences with Research Processes in an Undergraduate Theory of
Computing Course [0.30458514384586394]
コンピュータ理論(ToC)コースは、多くの学部生CSカリキュラムにおいて必須である。
ToCコースの共通研究環境を模擬会議代行によってエミュレートした。
論文 参考訳(メタデータ) (2023-10-03T11:37:06Z) - The QUATRO Application Suite: Quantum Computing for Models of Human
Cognition [49.038807589598285]
量子コンピューティング研究のための新しい種類のアプリケーション -- 計算認知モデリング -- をアンロックします。
我々は、認知モデルから量子コンピューティングアプリケーションのコレクションであるQUATROをリリースする。
論文 参考訳(メタデータ) (2023-09-01T17:34:53Z) - Learnability with Time-Sharing Computational Resource Concerns [65.268245109828]
本稿では,学習理論における計算資源の影響を考慮した理論的枠組みを提案する。
このフレームワークは、入ってくるデータストリームが潜在的に無限であるようなストリーム学習に自然に適用できる。
これはまた、インテリジェントなスーパーコンピュータオペレーティングシステムの設計に対する理論的視点を提供するかもしれない。
論文 参考訳(メタデータ) (2023-05-03T15:54:23Z) - Physical Computing for Materials Acceleration Platforms [81.09376948478891]
我々は、MAPs研究プログラムの一環として、新しい素材の探索を加速する同じシミュレーションとAIツールが、根本的に新しいコンピュータ媒体の設計を可能にすると論じている。
シミュレーションに基づくMAPプログラムの概要を述べる。
我々は、材料研究者と計算機科学者の革新的なコラボレーションの新たな時代を導入することを期待している。
論文 参考訳(メタデータ) (2022-08-17T23:03:54Z) - Building an Effective Automated Assessment System for C/C++ Introductory
Programming Courses in ODL Environment [0.0]
学生の作業を評価する従来の方法は、時間と労力の両面で不十分になってきている。
遠隔教育環境では、多くの家庭教師を雇うための重厚な報酬の観点からも、こうした評価がさらに困難になる。
私たちは、効果的な自動評価システムを構築するのに必要な、さまざまなコンポーネントを特定します。
論文 参考訳(メタデータ) (2022-05-24T09:20:43Z) - Towards Machine Learning for Placement and Routing in Chip Design: a
Methodological Overview [72.79089075263985]
配置とルーティングは、現代のチップ設計フローにおいて必須かつ困難な2つのタスクである。
機械学習は、そのデータ駆動性によって有望な見通しを示しており、知識や事前への依存度は低い。
論文 参考訳(メタデータ) (2022-02-28T06:28:44Z) - Using Machine Learning to Predict Engineering Technology Students'
Success with Computer Aided Design [50.591267188664666]
機械学習技術と組み合わせたデータによって、特定の学生がデザインタスクでどれだけうまく機能するかを予測する方法を示す。
初期設計シーケンスアクションを用いたモデルは,特に予測に有用であることが判明した。
これらのモデルをさらに改善することで、事前の予測が得られ、学生のフィードバックがより早く得られるようになり、学習が向上する可能性がある。
論文 参考訳(メタデータ) (2021-08-12T20:24:54Z) - Teaching Quantum Computing through a Practical Software-driven Approach:
Experience Report [0.913755431537592]
量子コンピューティングの基礎に習熟した量子労働者の需要は急速に増加している。
コンピュータサイエンスと工学の学生を訓練するためのベストプラクティスについてはほとんど情報がない。
実践的でソフトウェア駆動のアプローチを用いて、量子コンピューティングの学部生に教えた経験を述べる。
論文 参考訳(メタデータ) (2020-10-12T06:16:54Z) - Machine Learning for Software Engineering: A Systematic Mapping [73.30245214374027]
ソフトウェア開発業界は、現代のソフトウェアシステムを高度にインテリジェントで自己学習システムに移行するために、機械学習を急速に採用している。
ソフトウェアエンジニアリングライフサイクルの段階にわたって機械学習の採用について、現状を探求する包括的な研究は存在しない。
本研究は,機械学習によるソフトウェア工学(MLSE)分類を,ソフトウェア工学ライフサイクルのさまざまな段階に適用性に応じて,最先端の機械学習技術に分類するものである。
論文 参考訳(メタデータ) (2020-05-27T11:56:56Z) - Securing Bring-Your-Own-Device (BYOD) Programming Exams [1.9164932573056916]
従来のペンと紙の試験は、現代の大学プログラミングコースでは不十分である。
多くの機関は、専用のコンピュータラボでアセスメントを実行するためのリソースやスペースを欠いている。
これにより、BYOD( bring-your-own-device)試験フォーマットの開発が動機となっている。
論文 参考訳(メタデータ) (2020-01-12T15:01:13Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。