論文の概要: Engaging, Large-Scale Functional Programming Education in Physical and
Virtual Space
- arxiv url: http://arxiv.org/abs/2207.12703v1
- Date: Tue, 26 Jul 2022 07:47:22 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-19 10:07:51.532854
- Title: Engaging, Large-Scale Functional Programming Education in Physical and
Virtual Space
- Title(参考訳): 物理・仮想空間における大規模関数型プログラミング教育
- Authors: Kevin Kappelmann (Technical University of Munich), Jonas R\"adle
(Technical University of Munich), Lukas Stevens (Technical University of
Munich)
- Abstract要約: 新型コロナウイルス(COVID-19)のパンデミックは、従来の現場教育を根本的に置き換える必要がある。
Haskellベースの関数型プログラミングと検証コースの一環として,これらの問題に対処した戦略と経験について報告する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Worldwide, computer science departments have experienced a dramatic increase
in the number of student enrolments. Moreover, the ongoing COVID-19 pandemic
requires institutions to radically replace the traditional way of on-site
teaching, moving interaction from physical to virtual space. We report on our
strategies and experience tackling these issues as part of a Haskell-based
functional programming and verification course, accommodating over 2000
students in the course of two semesters. Among other things, we fostered
engagement with weekly programming competitions and creative homework projects,
workshops with industry partners, and collaborative pair-programming tutorials.
To offer such an extensive programme to hundreds of students, we automated
feedback for programming as well as inductive proof exercises. We explain and
share our tools and exercises so that they can be reused by other educators.
- Abstract(参考訳): 世界中のコンピュータ科学部門は、学生の入学数を大幅に増加させてきた。
さらに、新型コロナウイルス(COVID-19)のパンデミック(パンデミック)が続く中、組織は伝統的な現場教育の方法を根本的に置き換え、物理的な空間から仮想空間へと相互作用を移す必要がある。
我々は、haskellベースの関数型プログラミングと検証コースの一環として、これらの問題に取り組む戦略と経験について報告し、2学期の間に2000人以上の学生を収容した。
その中には、毎週のプログラミングコンペティションやクリエイティブな宿題プロジェクト、業界パートナとのワークショップ、ペアプログラミングのチュートリアルなどが含まれました。
数百人の学生にこのような広範なプログラムを提供するため、プログラムに対するフィードバックとインダクティブな証明のエクササイズを自動化します。
ツールとエクササイズを説明して、他の教育者が再利用できるようにします。
関連論文リスト
- An\'alise e modelagem de jogos digitais: Relato de uma experi\^encia
educacional utlizando PBL em um grupo multidisciplinar [0.0]
この記事は、サンパウロのポンティフィカル・カトリック大学のDigital Games MastersプログラムにおけるDigital Games Analysis and Modelingコースの経験を詳述する。
本論では,役割に基づく作業方法とミーティングのステップについて論じる。
また、要求図、コンテキスト図、ケース図、クラス図など、ゲームデザイン文書のGDDに寄与した成果の例を示す。
論文 参考訳(メタデータ) (2023-11-11T20:28:51Z) - Introducing High School Students to Version Control, Continuous
Integration, and Quality Assurance [0.0]
2人の高校生がウェイン州立大学の研究室でボランティアをしました。
学生たちはAP Computer Scienceを受講したが、ソフトウェア工学やソフトウェアテストの経験がなかった。
本稿では、自動テストを実装するために必要なソフトウェア工学のスキルを教えるためのグループプロジェクトを考案した経験について述べる。
論文 参考訳(メタデータ) (2023-10-05T21:44:11Z) - Giving Feedback on Interactive Student Programs with Meta-Exploration [74.5597783609281]
ウェブサイトやゲームのようなインタラクティブなソフトウェアを開発することは、特にコンピュータ科学を学ぶための魅力的な方法である。
標準的アプローチでは、インストラクターは、学生が実装した対話型プログラムを手動で評価する必要がある。
Code.orgのような何百万ものオンラインプラットフォームは、インタラクティブなプログラムを実装するための代入に関するフィードバックを提供することができない。
論文 参考訳(メタデータ) (2022-11-16T10:00:23Z) - Learning from Self-Sampled Correct and Partially-Correct Programs [96.66452896657991]
そこで本研究では,モデルが学習中にサンプリングを行い,自己サンプリングされた完全正当プログラムと部分正当プログラムの両方から学習することを提案する。
自己サンプリング型プログラムと部分修正型プログラムを併用することで,学習とサンプリングプロセスのガイドに役立てることができることを示す。
提案手法は,MLEを用いた単一の参照プログラムからの学習と比較して,パス@kの性能を3.1%から12.3%向上させる。
論文 参考訳(メタデータ) (2022-05-28T03:31:07Z) - Building an Effective Automated Assessment System for C/C++ Introductory
Programming Courses in ODL Environment [0.0]
学生の作業を評価する従来の方法は、時間と労力の両面で不十分になってきている。
遠隔教育環境では、多くの家庭教師を雇うための重厚な報酬の観点からも、こうした評価がさらに困難になる。
私たちは、効果的な自動評価システムを構築するのに必要な、さまざまなコンポーネントを特定します。
論文 参考訳(メタデータ) (2022-05-24T09:20:43Z) - The Impact of Remote Pair Programming in an Upper-Level CS Course [0.0]
ペアプログラミングは、学生にいくつかの利益をもたらす活発な学習手法として強調されてきた。
この研究は、上位レベルのコンピュータサイエンスコースにおけるペアプログラミングの効果を分析する。
論文 参考訳(メタデータ) (2022-04-06T20:01:01Z) - TecCoBot: Technology-aided support for self-regulated learning [52.77024349608834]
自己学習活動は、学習成果の達成への活動の程度と自己学習活動の貢献を高めることができる。
特に世界的なパンデミックの時代には、学生が既に技術強化された材料、プロセス、デジタルプラットフォームを使っている家庭で、自己学習活動がますます活発に行われている。
論文 参考訳(メタデータ) (2021-11-23T13:50:21Z) - Distributed Deep Learning in Open Collaborations [49.240611132653456]
協調学習に特化して設計された新しいアルゴリズムフレームワークを提案する。
現実的な条件下でのSwaVとALBERTの事前学習に対するアプローチの有効性を実証し,コストのごく一部で従来の設定に匹敵する性能を実現する。
論文 参考訳(メタデータ) (2021-06-18T16:23:13Z) - Improving Compositionality of Neural Networks by Decoding
Representations to Inputs [83.97012077202882]
我々は、ニューラルネットワークのアクティベーションを制約し、入力に"デコード"するように生成モデルを共同で訓練することで、従来のディープラーニングプログラムの利点を橋渡しする。
本稿では,デオード可能な表現の分布外検出,逆例,校正,公平性への応用を実証する。
論文 参考訳(メタデータ) (2021-06-01T20:07:16Z) - Online Hackathons as an Engaging Tool to Promote Group Work in Emergency
Remote Learning [7.309316212280228]
2020年、新型コロナウイルスのパンデミックのため、感染拡大を避けるため、遠隔で教育活動を行う必要があった。
本稿では,オンラインハッカソンを学生が学期プロジェクトの開発に携わるリソースとして活用する経験報告を紹介する。
論文 参考訳(メタデータ) (2021-04-24T06:55:29Z) - Broader terms curriculum mapping: Using natural language processing and
visual-supported communication to create representative program planning
experiences [62.997667081978825]
学部と非学部間のコミュニケーションの困難さは、未発見のコラボレーションの可能性を秘めている。
本稿では,プログラム計画表現の普遍的,自己説明的,権限付与的な提供方法を提案する。
論文 参考訳(メタデータ) (2021-02-09T13:27:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。