論文の概要: 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人以上の学生を収容した。 その中には、毎週のプログラミングコンペティションやクリエイティブな宿題プロジェクト、業界パートナとのワークショップ、ペアプログラミングのチュートリアルなどが含まれました。 数百人の学生にこのような広範なプログラムを提供するため、プログラムに対するフィードバックとインダクティブな証明のエクササイズを自動化します。 ツールとエクササイズを説明して、他の教育者が再利用できるようにします。

関連論文リスト

• Ten Years of Teaching Empirical Software Engineering in the context of Energy-efficient Software [12.26887943861433]
  オランダのアムステルダムにあるVrije Universityversiteit Amsterdamで、Green Labのコースを10回行った経験を共有します。 このコースは、VUのComputer Science MasterプログラムのSoftware Engineering and Green ITトラックで提供されている。
  論文  参考訳（メタデータ） (2024-07-08T07:44:49Z)
• Beyond the Hype: A Cautionary Tale of ChatGPT in the Programming Classroom [0.0]
  本論文は、より困難な演習を創出するためにプログラミングを教える学者や、教室の整合性を促進するためにChatGPTの使用に責任を負う方法についての知見を提供する。 過去のIS演習の実践的プログラミング事例を分析し,教員や講師が大学環境下で作成したメモと比較した。
  論文  参考訳（メタデータ） (2024-06-16T23:52:37Z)
• Bridging Theory to Practice in Software Testing Teaching through Team-based Learning (TBL) and Open Source Software (OSS) Contribution [3.190574537106449]
  本稿では,理論と実践的経験を統合したソフトウェアテストコースの授業手法を提案する。 本報告では,大学院ソフトウェア工学科のソフトウェアテスティングコースを4学期連続で実施した経験について報告する。
  論文  参考訳（メタデータ） (2024-04-16T21:16:17Z)
• Experiential Co-Learning of Software-Developing Agents [83.34027623428096]
  大規模言語モデル(LLM)は、特にソフトウェア開発において、様々な領域に大きな変化をもたらした。 本稿では,新しいLLM学習フレームワークであるExperiential Co-Learningを紹介する。 実験では、このフレームワークにより、エージェントは、目に見えないソフトウェア開発タスクをより効果的に対処できることを示した。
  論文  参考訳（メタデータ） (2023-12-28T13:50:42Z)
• 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)
• Building an Effective Automated Assessment System for C/C++ Introductory Programming Courses in ODL Environment [0.0]
  学生の作業を評価する従来の方法は、時間と労力の両面で不十分になってきている。 遠隔教育環境では、多くの家庭教師を雇うための重厚な報酬の観点からも、こうした評価がさらに困難になる。 私たちは、効果的な自動評価システムを構築するのに必要な、さまざまなコンポーネントを特定します。
  論文  参考訳（メタデータ） (2022-05-24T09:20:43Z)
• 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)
• 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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。