論文の概要: Waterproof Editor: an educational environment for proof assistants and programming languages
- arxiv url: http://arxiv.org/abs/2606.01875v1
- Date: Mon, 01 Jun 2026 08:20:21 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-02 21:34:31.610617
- Title: Waterproof Editor: an educational environment for proof assistants and programming languages
- Title（参考訳）: 防水エディタ: 証明アシスタントとプログラミング言語のための教育環境
- Authors: Pim Otte, Dick Arends, Raul Sánchez Flores, Pieter Wils, Jim Portegies,
- Abstract要約: Waterproof Editorは、証明アシスタントやプログラミング言語で教えることに特化した教育環境を提供する。
これは、数学的な証明を与えるスキルを学生が習得するのを助けるための教育ソフトウェアであるウォータープロテクトから生まれた。
- 参考スコア（独自算出の注目度）: 0.5219568203653523
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Waterproof Editor provides an educational environment specifically targeted to teaching with proof assistants or programming languages. It arose from Waterproof, educational software targeted at helping students acquire the skill of giving mathematical proofs. Its original features such as enabling rich formatting and providing clear input areas are now abstracted away in an npm package and can be used in different educational contexts. We invite interested parties to use this component in their educational software, and offer to assist with this.
- Abstract（参考訳）: Waterproof Editorは、証明アシスタントやプログラミング言語で教えることに特化した教育環境を提供する。
これは、数学的な証明を与えるスキルを学生が習得するのを助けるための教育ソフトウェアであるウォータープロテクトから生まれた。
リッチなフォーマット化や明確な入力領域の提供といったオリジナルの機能は、npmパッケージで抽象化され、異なる教育的コンテキストで使用できるようになった。
私たちは、関心のある人たちに、このコンポーネントを彼らの教育ソフトウェアに使用してもらい、それを支援することを提案します。
関連論文リスト
- EduCoder: An Open-Source Annotation System for Education Transcript Data [1.21874133788585]
EduCoderは、教育対話の発話レベルアノテーションをサポートするように設計されたドメイン特化ツールである。
研究者やドメインの専門家が、観測データに基づいたコードブックを共同で定義するためのプラットフォームを提供する。
分類的およびオープンなアノテーションタイプと文脈的素材を取り入れている。
論文 参考訳（メタデータ） (2025-07-07T18:15:29Z) - In-Context Watermarks for Large Language Models [71.29952527565749]
In-Context Watermarking (ICW)は、インシデントエンジニアリングのみで生成されたテキストに透かしを埋め込む。
粒度の異なる4つのICW戦略について検討した。
本実験は,モデルに依存しない実用的な透かし手法としてのICWの実現可能性を検証するものである。
論文 参考訳（メタデータ） (2025-05-22T17:24:51Z) - An Online Integrated Development Environment for Automated Programming Assessment Systems [4.618037115403291]
本研究は,オンラインIDEの要件を抽出し,定義することで,プログラミング教育の分野に貢献する。
新しいオンラインIDEのユーザビリティをTechnology Acceptance Model (TAM)を用いて評価し,27人の初等生からフィードバックを得た。
論文 参考訳（メタデータ） (2025-03-17T12:50:51Z) - MathTutorBench: A Benchmark for Measuring Open-ended Pedagogical Capabilities of LLM Tutors [82.91830877219822]
我々は、総合的なチューリングモデル評価のためのオープンソースのベンチマークであるMathTutorBenchを紹介する。
MathTutorBenchには、ダイアログベースの教育における科学の研究によって定義された、家庭教師の能力をカバーするデータセットとメトリクスが含まれている。
閉鎖的およびオープンウェイトなモデルの幅広いセットを評価し、問題解決能力によって示される課題の専門知識が、すぐには良い教育に変換されないことを発見した。
論文 参考訳（メタデータ） (2025-02-26T08:43:47Z) - Teacher Perception of Automatically Extracted Grammar Concepts for L2
Language Learning [91.49622922938681]
本稿では,文法の異なる側面の記述を自動的に発見・可視化する自動フレームワークを提案する。
具体的には、形態素構文と意味論に関する疑問に答える自然なテキストコーパスから記述を抽出する。
この手法をインド語、カンナダ語、マラタイ語に応用するが、これは英語とは異なり、十分に発達した教育資源を持たない。
論文 参考訳（メタデータ） (2022-06-10T14:52:22Z) - Dive into Deep Learning [119.30375933463156]
この本はJupyterのノートブックでドラフトされており、説明図、数学、インタラクティブな例を自己完結型コードとシームレスに統合している。
私たちのゴールは、(i)誰でも自由に利用できるリソースを提供すること、(ii)応用機械学習科学者になるための出発点を提供するのに十分な技術的な深さを提供すること、(iii)実行可能なコードを含み、実際にどのように問題を解決するかを読者に示すこと、(iv)私たちとコミュニティの両方による迅速なアップデートを可能にすることです。
論文 参考訳（メタデータ） (2021-06-21T18:19:46Z) - Designing a Web Application for Simple and Collaborative Video
Annotation That Meets Teaching Routines and Educational Requirements [0.0]
我々は、シンプルで協調的なビデオアノテーションのためのWebアプリケーションTRAVIS GOを開発した。
TRAVIS GOは、確立した授業設定内で素早く簡単に利用できる。
主要な戦術的機能としては、投稿のタグ付けとコメント、プロジェクトの共有とエクスポート、ライブコラボレーションの作業などがある。
論文 参考訳（メタデータ） (2021-05-09T21:02:19Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。