論文の概要: Proceedings 9th International Workshop on Theorem Proving Components for
Educational Software
- arxiv url: http://arxiv.org/abs/2010.15832v1
- Date: Wed, 28 Oct 2020 00:36:08 GMT
- ステータス: 処理完了
- システム内更新日: 2022-10-02 05:31:24.326355
- Title: Proceedings 9th International Workshop on Theorem Proving Components for
Educational Software
- Title(参考訳): 第9回教育用ソフトウェアの定理証明コンポーネントに関する国際ワークショップ
- Authors: Pedro Quaresma (University of Coimbra, Portugal), Walther Neuper (JKU
Johannes Kepler University, Linz, Austria), Jo\~ao Marcos (UFRN, Brazil)
- Abstract要約: 第9回Theorem-Proving Components for Educational Software (ThEdu'20)国際ワークショップは6月29日にパリで開催されたIJCAR-FSCD 2020合同会議の衛星として開催される予定だった。
新型コロナウイルス(COVID-19)のパンデミックが驚き、メインカンファレンスは仮想化された。オンラインミーティングによって、私たちのコミュニティが、ThEduイニシアチブの通常の対面ネットワークの機会を完全に再現できないことに気付き、ThEduの運営委員会は、ワークショップを中止することを決定した。
私たちの多くがその瞬間に計画し、仕事をしていたことを考えれば、私たちはその決定を下しました。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The 9th International Workshop on Theorem-Proving Components for Educational
Software (ThEdu'20) was scheduled to happen on June 29 as a satellite of the
IJCAR-FSCD 2020 joint meeting, in Paris. The COVID-19 pandemic came by
surprise, though, and the main conference was virtualised. Fearing that an
online meeting would not allow our community to fully reproduce the usual
face-to-face networking opportunities of the ThEdu initiative, the Steering
Committee of ThEdu decided to cancel our workshop. Given that many of us had
already planned and worked for that moment, we decided that ThEdu'20 could
still live in the form of an EPTCS volume. The EPTCS concurred with us,
recognising this very singular situation, and accepted our proposal of
organising a special issue with papers submitted to ThEdu'20. An open call for
papers was then issued, and attracted five submissions, all of which have been
accepted by our reviewers, who produced three careful reports on each of the
contributions. The resulting revised papers are collected in the present
volume. We, the volume editors, hope that this collection of papers will help
further promoting the development of theorem-proving-based software, and that
it will collaborate to improve the mutual understanding between computer
mathematicians and stakeholders in education. With some luck, we would actually
expect that the very special circumstances set up by the worst sanitary crisis
in a century will happen to reinforce the need for the application of certified
components and of verification methods for the production of educational
software that would be available even when the traditional on-site learning
experiences turn out not to be recommendable.
- Abstract(参考訳): 第9回Theorem-Proving Components for Educational Software (ThEdu'20)国際ワークショップは6月29日にパリで開催されたIJCAR-FSCD 2020合同会議の衛星として開催された。
しかし、新型コロナウイルス(COVID-19)のパンデミックは驚き、メインカンファレンスは仮想化された。
オンラインミーティングは、コミュニティがtheduイニシアチブの通常の対面ネットワークの機会を完全に再現できないことを恐れ、theduの運営委員会はワークショップの中止を決定した。
われわれの多くがすでにこの瞬間に計画して働いていたことを考えると、ThEdu'20はETPCSボリュームの形で生き続けることができると決めました。
EPTCSは、この非常に特異な状況を認識し、ThEdu'20に提出された論文で特別な問題を整理する提案を受け入れた。
その後、論文の公募が発行され、5件の提出書が寄せられ、いずれも審査員によって受理され、各コントリビューションについて慎重に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) - Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation [71.32761934724867]
この研究は、記号的突然変異を通じて形式的な定理を構成するデータ合成のフレームワークであるAlchemyを提案する。
マドリブにおける各候補定理について、書き直しや適用に使用できるすべてのイベーシブルな定理を同定する。
その結果、マドリブの定理の数は110kから6Mへと桁違いに増加する。
論文 参考訳(メタデータ) (2024-10-21T08:04:21Z) - Proceedings 12th International Workshop on Theorem proving components for Educational software [0.0]
ThEduシリーズは、中等教育における数学の直感的な方法から、STEM教育におけるより形式的なアプローチへのスムーズな移行を追求している。
ThEdu'23は非常に成功し、Yves Bertot(フランス、イリア)の講演で「型理論を使って数学を教えることの課題」と7つの定期的な貢献があった。
私たちのレビュアーは7件の提出を受諾し、各コントリビューションについて少なくとも3件の注意深いレポートを共同で作成しました。
論文 参考訳(メタデータ) (2024-04-04T11:51:26Z) - Monitoring AI-Modified Content at Scale: A Case Study on the Impact of ChatGPT on AI Conference Peer Reviews [51.453135368388686]
本稿では,大規模言語モデル (LLM) によって実質的に修正あるいは生成される可能性のある大規模コーパスにおけるテキストの分数推定手法を提案する。
我々の最大可能性モデルは、専門家による参照テキストとAIによる参照テキストを利用して、コーパスレベルでの実世界のLLM使用を正確かつ効率的に検証する。
論文 参考訳(メタデータ) (2024-03-11T21:51:39Z) - Has the Machine Learning Review Process Become More Arbitrary as the
Field Has Grown? The NeurIPS 2021 Consistency Experiment [86.77085171670323]
2014年のNeurIPS実験では、2つの独立した委員会によって10%の会議の提出をレビューし、レビュープロセスにおけるランダム性を定量化した。
両委員会が論文の23%の勧告を受理・棄却することに反対し、審査プロセスがランダムに再実行された場合、2014年度の結果と一致して、受理された論文のリストの約半数が変更されることを観察する。
論文 参考訳(メタデータ) (2023-06-05T21:26:12Z) - Proceedings 11th International Workshop on Theorem Proving Components
for Educational Software [0.0]
ThEduシリーズは、中等教育における数学の直感的な方法から、STEM教育におけるより形式的なアプローチへのスムーズな移行を追求している。
Thedu'22は活気あるワークショップで、Thierry Dana-Picard氏とYoni Zohar氏による2つの講演が招待された。
改訂版は本巻に収録されている。
論文 参考訳(メタデータ) (2023-03-09T16:10:13Z) - Proceedings 10th International Workshop on Theorem Proving Components
for Educational Software [0.0]
ThEdu'21は活気あるワークショップであり、Giles Dowek (ENS Paris-Saclay) による招待講演、11のコントリビューション、1つのデモが行われた。
Theduシリーズは、中等教育における数学の直感的な方法から、STEM教育におけるより形式的なアプローチへのスムーズな移行を追求している。
論文 参考訳(メタデータ) (2022-02-02T05:48:14Z) - Near-Optimal Reviewer Splitting in Two-Phase Paper Reviewing and
Conference Experiment Design [76.40919326501512]
総割り当ての類似性を最大化するために、レビュアーを段階または条件に分けるにはどうすればいいのか?
実会議データに関連する複数のデータセットに対して、ランダムに位相/条件を均一に分割することで、オラクルの最適割り当てとほぼ同等の割り当てが可能であることを実証的に示す。
論文 参考訳(メタデータ) (2021-08-13T19:29:41Z) - Flexibility Is Key in Organizing a Global Professional Conference
Online: The ICPE 2020 Experience in the COVID-19 Era [59.9176321671712]
ACM/SPEC International Conference on Performance Engineering 2020 の開催について
これらのカンファレンスをオンラインでどのように整理するか?
この記事では、彼らの成功の答えを要約する。
論文 参考訳(メタデータ) (2020-05-18T21:00:02Z) - Proceedings 8th International Workshop on Theorem Proving Components for
Educational Software [0.0]
この巻は、2019年8月25日にブラジルのナタールで行われたCADE-27の衛星イベントとして宣伝されたセドゥ19ワークショップの手続きを含んでいる。
Theduシリーズの8番目の導入を代表して、Sarah Winkler氏による招待講演、4つのコントリビューション、Geometry Automated Provers Competitionの第1版が開催された。
ThEduシリーズは、中等教育における数学の直感的な方法から、STEM教育におけるよりフォーマルなアプローチへのスムーズな移行を追求する一方で、定理証明の力を活用して、この移行に対するソフトウェアサポートを好んでいる。
論文 参考訳(メタデータ) (2020-02-27T03:10:08Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。