論文の概要: Proceedings 11th International Workshop on Theorem Proving Components
for Educational Software
- arxiv url: http://arxiv.org/abs/2303.05360v1
- Date: Thu, 9 Mar 2023 16:10:13 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-10 14:14:19.619168
- Title: Proceedings 11th International Workshop on Theorem Proving Components
for Educational Software
- Title（参考訳）: 第11回教育用ソフトウェアの定理証明コンポーネントに関する国際ワークショップ
- Authors: Pedro Quaresma (University of Coimbra Portugal), Jo\~ao Marcos
(Federal University of Rio Grande do Norte, Brazil), Walther Neuper (Johannes
Kepler University Linz, Austria)
- Abstract要約: ThEduシリーズは、中等教育における数学の直感的な方法から、STEM教育におけるより形式的なアプローチへのスムーズな移行を追求している。
Thedu'22は活気あるワークショップで、Thierry Dana-Picard氏とYoni Zohar氏による2つの講演が招待された。
改訂版は本巻に収録されている。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The ThEdu series pursues the smooth transition from an intuitive way of doing
mathematics at secondary school to a more formal approach to the subject in
STEM education, while favouring software support for this transition by
exploiting the power of theorem-proving technologies. What follows is a brief
description of how the present volume contributes to this enterprise. The 11th
International Workshop on Theorem Proving Components for Educational Software
(ThEdu'22), was a satellite event of the 8th Federated Logic Conference (FLoC
2022), July 31-August 12, 2022, Haifa, Israel ThEdu'22 was a vibrant workshop,
with two invited talk by Thierry Dana-Picard (Jerusalem College of Technology,
Jerusalem, Israel) and Yoni Zohar (Bar Ilan University, Tel Aviv, Israel) and
four contributions. An open call for papers was then issued, and attracted
seven submissions. Those submissions have been accepted by our reviewers, who
jointly produced at least three careful reports on each of the contributions.
The resulting revised papers are collected in the present volume. The
contributions in this volume are a faithful representation of the wide spectrum
of ThEdu, ranging from those more focused on the automated deduction research,
not losing track of the possible applications in an educational setting, to
those focused on the applications, in educational settings, of automated
deduction tools and methods. We, the volume editors, hope that this collection
of papers will further promote the development of theorem-proving based
software, and that it will allow to improve the mutual understanding between
computer scientists, mathematicians and stakeholders in education. While this
volume goes to press, the next edition of the ThEdu workshop is being prepared:
ThEdu'23 will be a satellite event of the 29th international Conference on
Automated Deduction (CADE 2023), July 1-4, 2023, Rome, Italy.
- Abstract（参考訳）: セドゥ級数(Thedu series)は、中等教育における数学の直感的な方法から、STEM教育におけるより形式的なアプローチへのスムーズな移行を追求し、定理証明技術の力を活用して、この移行に対するソフトウェアサポートを好んでいる。
以下は、この事業にどのように貢献するかの簡単な説明である。
第11回 Theorem Proving Components for Educational Software (ThEdu'22) は、第8回連邦論理会議 (FLoC 2022) のサテライトイベントであり、2022年7月31日～8月12日、ハイファ、イスラエルのThEdu'22は活気あるワークショップであり、Thierry Dana-Picard (Jerusalem College of Technology, Israel, Israel) とYoni Zohar (Bar Ilan University, Tel Aviv, Israel) の招待講演と4つのコントリビューションがあった。
その後、公募が発行され、7件の論文が寄せられた。
これらの提案は、各コントリビューションに対して少なくとも3つの注意深いレポートを共同作成したレビュアーによって受け入れられました。
修正された論文は、現在巻にまとめられている。
この巻のコントリビューションはThEduの幅広い範囲の忠実な表現であり、自動化推論の研究に焦点を絞ったもの、教育環境での可能な応用の追跡を失わないもの、教育環境における応用、自動推論ツールや方法の応用に焦点を当てたものなどである。
ボリュームエディターたちは、この一連の論文が定理証明ベースのソフトウェアの開発をさらに促進し、コンピュータ科学者、数学者、教育利害関係者の相互理解を向上させることを期待している。
2023年7月1日 - 2023年7月4日 - 2023年7月4日 - イタリア・ローマで、第29回自動推論国際会議(CADE 2023)のサテライトイベントが開催される。
関連論文リスト
- Reflections from the 2024 Large Language Model (LLM) Hackathon for Applications in Materials Science and Chemistry [68.72590517877455]
材料科学・化学分野における応用のための第二大言語モデル(LLM)ハッカソンの結果について述べる。
このイベントは、グローバルなハイブリッドな場所を巡って参加者が参加し、34チームが応募した。
提出は7つの主要なアプリケーション領域にまたがって行われ、アプリケーションのためのLLMの多種多様な実用性を実証した。
論文 参考訳（メタデータ） (2024-11-20T23:08:01Z) - Proceedings of the 21st International Conference on Quantum Physics and Logic [49.1574468325115]
QPLは毎年恒例のカンファレンスであり、量子計算、量子物理学、および関連する分野の数学的基盤に取り組んでいる学術的、産業的な研究者を集めている。
主な焦点は、代数的および分類的構造、形式言語、意味論的方法、および物理系、物理過程、およびそれらの構成の研究に適用可能な他の数学的およびコンピュータ科学技術の使用である。
論文 参考訳（メタデータ） (2024-08-09T15:04:17Z) - Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis [0.6649753747542209]
LSFAは、論理的および意味論的なフレームワークとその応用の理論的および実践的な側面に関心を持つ研究者や学生を惹きつけることを目的としている。
対象となったトピックは、証明理論、型理論と書き換え理論、仕様と推論言語、言語とシステムの形式的意味論である。
論文 参考訳（メタデータ） (2024-04-21T14:22:53Z) - 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) - Recent Advances, Applications, and Open Challenges in Machine Learning for Health: Reflections from Research Roundtables at ML4H 2023 Symposium [71.81297744767885]
第3回ML4Hシンポジウムは2023年12月10日にアメリカ合衆国ルイジアナ州ニューオーリンズで開催された。
ML4H 2022では,11個の個人用ラウンドテーブルと4つの仮想ラウンドテーブルを編成した。
この文書は、医療における機械学習の最近の進歩を要約した総合的なレビュー論文として機能する。
論文 参考訳（メタデータ） (2024-03-03T22:21:58Z) - Proceedings 39th International Conference on Logic Programming [53.44544554999452]
第39回論理プログラミング国際会議(ICLP 2023)で発表された技術コミュニケーション
Main Track、Doctoral Consortium、Application and Systems/Demo Track、Birds-of-a-Feather Track、Thematic Tracks on Logic Programming and Machine Learning、Logic Programming and Explainability、Ethics and Trustworthiness。
論文 参考訳（メタデータ） (2023-08-28T20:46:59Z) - ICDAR 2023 Competition on Structured Text Extraction from Visually-Rich
Document Images [198.35937007558078]
大会は2022年12月30日に開かれ、2023年3月24日に閉幕した。
トラック1には35人の参加者と91人の有効な応募があり、トラック2には15人の参加者と26人の応募がある。
提案手法の性能によると, 複雑なシナリオやゼロショットシナリオにおいて, 期待される情報抽出性能にはまだ大きなギャップがあると考えられる。
論文 参考訳（メタデータ） (2023-06-05T22:20:52Z) - 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) - ESPnet-ST IWSLT 2021 Offline Speech Translation System [56.83606198051871]
本稿では,ESPnet-STグループによる音声翻訳トラックにおけるIWSLT 2021の提出について述べる。
今年は、データ、アーキテクチャ、オーディオセグメンテーションのトレーニングにさまざまな取り組みを行いました。
私たちの最高のE2Eシステムは、すべてのテクニックをモデルアンサンブルと組み合わせ、31.4BLEUを達成しました。
論文 参考訳（メタデータ） (2021-07-01T17:49:43Z) - Proceedings 9th International Workshop on Theorem Proving Components for
Educational Software [0.0]
第9回Theorem-Proving Components for Educational Software (ThEdu'20)国際ワークショップは6月29日にパリで開催されたIJCAR-FSCD 2020合同会議の衛星として開催される予定だった。
新型コロナウイルス(COVID-19)のパンデミックが驚き、メインカンファレンスは仮想化された。オンラインミーティングによって、私たちのコミュニティが、ThEduイニシアチブの通常の対面ネットワークの機会を完全に再現できないことに気付き、ThEduの運営委員会は、ワークショップを中止することを決定した。
私たちの多くがその瞬間に計画し、仕事をしていたことを考えれば、私たちはその決定を下しました。
論文 参考訳（メタデータ） (2020-10-28T00:36:08Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。