Fugu-MT 論文翻訳(概要): GNU Aris: a web application for students

論文の概要: GNU Aris: a web application for students

arxiv url: http://arxiv.org/abs/2505.05986v1
Date: Fri, 09 May 2025 12:17:45 GMT
ステータス: 翻訳完了
システム内更新日: 2025-05-12 20:40:10.255647
Title: GNU Aris: a web application for students
Title（参考訳）: GNU Aris: 学生向けのWebアプリケーション
Authors: Saksham Attri, Zoltán Kovács, Aaron Windischbauer,
Abstract要約: ほぼすべてのユーザが、HTML、JavaScript、WebAssemblyの組み合わせで書かれたスタンドアロンのWebアプリケーションとして使用できるように、ArisをWebアプリケーションにすることに重点を置いています。本報告では,論理学コースにおける大学生のユーザフィードバックについて要約する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We report on recent improvements to the free logic education software tool GNU Aris, including the latest features added during the Google Summer of Code 2023 project. We focused on making GNU Aris a web application to enable almost all users to use it as a standalone offline web application written in a combination of HTML, JavaScript, and WebAssembly. We used the Qt Quick framework with Emscripten to compile the application to WebAssembly. In the report we summarize the user feedback of university students given during a course on logic.
Abstract（参考訳）: 我々は、Google Summer of Code 2023プロジェクトで追加された最新の機能を含む、GNU Arisフリーロジック教育ソフトウェアツールの最近の改善について報告する。ほぼすべてのユーザが、HTML、JavaScript、WebAssemblyの組み合わせで書かれたスタンドアロンのオフラインWebアプリケーションとして使用できるように、GNU ArisをWebアプリケーションにすることに注力しました。私たちはEmscriptenでQt Quickフレームワークを使用してアプリケーションをWebAssemblyにコンパイルしました。本報告では,論理学コースにおける大学生のユーザフィードバックについて概説する。

関連論文リスト

OpenHands: An Open Platform for AI Software Developers as Generalist Agents [109.8507367518992]
私たちは、人間の開発者と同じような方法で世界と対話するAIエージェントを開発するためのプラットフォームであるOpenHandsを紹介します。プラットフォームが新しいエージェントの実装を可能にし、コード実行のためのサンドボックス環境との安全なインタラクション、評価ベンチマークの導入について説明する。
論文参考訳（メタデータ） (2024-07-23T17:50:43Z)
Ragnarök: A Reusable RAG Framework and Baselines for TREC 2024 Retrieval-Augmented Generation Track [51.25144287084172]
RAGベースの検索システムを構築、テスト、視覚化、体系的に評価するためのアリーナを持つことが不可欠である。 TREC 2024 RAG Trackを提案する。
論文参考訳（メタデータ） (2024-06-24T17:37:52Z)
StackSight: Unveiling WebAssembly through Large Language Models and Neurosymbolic Chain-of-Thought Decompilation [2.1094456929188676]
StackSightは静的解析アルゴリズムを通じて仮想スタックの変更を視覚化し、追跡し、チェーン・オブ・シークレット・プロンプトを適用する。評価結果は、StackSightがWebAssemblyの逆コンパイルを大幅に改善していることを示している。またユーザ調査では、StackSightが生成したコードスニペットの勝利率が大幅に高く、コードのセマンティクスをよりよく把握できることを示した。
論文参考訳（メタデータ） (2024-06-07T01:08:17Z)
NoCodeGPT: A No-Code Interface for Building Web Apps with Language Models [0.0]
ChatGPTはアプリケーションを構築するためのユーザフレンドリーなインターフェースを提供していません。 NoCodeGPTは、言語モデルに送信されたプロンプトを有用なコンテキスト情報で計測する。シンプルなバージョン管理機能があり、ユーザーはすぐに以前のバージョンに戻すことができる。
論文参考訳（メタデータ） (2023-10-23T12:08:23Z)
Using an LLM to Help With Code Understanding [13.53616539787915]
大規模言語モデル(LLM)は、コードを書くプロセスに革命をもたらしています。プラグインはOpenAIのGPT-3.5-turboモデルに対して,ユーザが明示的なプロンプトを書かなくても4つの高レベルリクエストをクエリする。本システムの評価は,32名の被験者を対象に行ったユーザスタディで行われ,本プラグインがWeb検索よりもタスク完了に有効であることが確認された。
論文参考訳（メタデータ） (2023-07-17T00:49:06Z)
OpenAGI: When LLM Meets Domain Experts [51.86179657467822]
ヒューマン・インテリジェンス(HI)は、複雑なタスクを解くための基本的なスキルの組み合わせに長けている。この機能は人工知能(AI)にとって不可欠であり、包括的なAIエージェントに組み込まれるべきである。マルチステップで現実的なタスクを解決するために設計されたオープンソースのプラットフォームであるOpenAGIを紹介します。
論文参考訳（メタデータ） (2023-04-10T03:55:35Z)
UniCon+: ICTCAS-UCAS Submission to the AVA-ActiveSpeaker Task at ActivityNet Challenge 2022 [69.67841335302576]
本稿では,アクティベーションネットチャレンジ2022におけるAVAアクティブ話者検出(ASD)課題に対する,我々の勝利ソリューションの簡潔な説明を行う。基盤となるモデルであるUniCon+は、以前の作業であるUnified Context Network(UniCon)とExtended UniConの上に構築され続けています。アーキテクチャをシンプルなGRUベースのモジュールで拡張し、繰り返し発生するアイデンティティの情報がシーンを流れるようにします。
論文参考訳（メタデータ） (2022-06-22T06:11:07Z)
All You Need Is Logs: Improving Code Completion by Learning from Anonymous IDE Usage Logs [55.606644084003094]
そこで本研究では,IDEのユーザからコンプリート利用ログを収集する手法を提案する。機械学習ベースのモデルをトレーニングして、完成候補をランク付けします。評価の結果,過去のユーザ動作ログに基づいてトレーニングした単純なランキングモデルを用いることで,コード補完エクスペリエンスが大幅に向上した。
論文参考訳（メタデータ） (2022-05-21T23:21:26Z)
PanGEA: The Panoramic Graph Environment Annotation Toolkit [83.12648898284048]
PanGEAは、写真リアルな3D環境で音声とテキストのアノテーションを収集するためのツールキットです。 PanGEAは、Webベースのシミュレーションにアノテーションを没頭し、会話やリスニングをしながら簡単に動き回ることができます。
論文参考訳（メタデータ） (2021-03-23T17:24:12Z)
Nifty Web Apps: Build a Web App for Any Text-Based Programming Assignment [14.376399934278702]
このチュートリアルセッションでは、参加者がプログラミングのためのシンプルなWebアプリを構築することを学ぶ。私たちのアプローチでは、同じデスクトップGUIアプリよりも75%少ないコードが必要です。インストラクタや学生は、自分のコンピュータ上でこれらのWebアプリを走らせ、修正したりできる。
論文参考訳（メタデータ） (2020-10-09T16:43:47Z)

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