Fugu-MT 論文翻訳(概要): Docker-based CI/CD for Rocq/OCaml projects

論文の概要: Docker-based CI/CD for Rocq/OCaml projects

arxiv url: http://arxiv.org/abs/2510.19089v1
Date: Tue, 21 Oct 2025 21:32:00 GMT
ステータス: 翻訳完了
システム内更新日: 2025-10-25 03:08:14.725383
Title: Docker-based CI/CD for Rocq/OCaml projects
Title（参考訳）: Rocq/OCamlプロジェクトのためのDockerベースのCI/CD
Authors: Érik Martin-Dorel,
Abstract要約: 本稿では,docker-coq,docker-coq-action,docker-keeperの3つの近縁なソフトウェアプロジェクトについて述べる。 DockerベースのCI/CDをRocq(以前はCoqと呼ばれていた)やOCamlプロジェクトでの使用を促進することを目的としている。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: This paper presents three closely-related software projects, namely: docker-coq, docker-coq-action, and docker-keeper. It aims at two objectives: provide a high-level description of the available features -- to foster the use of a Docker-based CI/CD for Rocq (formerly known as Coq) or OCaml projects -- and document the underlying requirements and the main design choices of these three DevOps tools -- to help their future maintainers.
Abstract（参考訳）: 本稿では,docker-coq,docker-coq-action,docker-keeperの3つの近縁なソフトウェアプロジェクトについて述べる。 Rocq(以前はCoqと呼ばれていた)やOCamlプロジェクトでDockerベースのCI/CDの使用を促進するために、利用可能な機能の高レベルな説明を提供すること、これら3つのDevOpsツールの基本的な要件と主要な設計選択を文書化し、将来のメンテナを支援することである。

関連論文リスト

PIPer: On-Device Environment Setup via Online Reinforcement Learning [74.52354321028493]
自動化された環境設定メソッドは、任意のリポジトリに対して、手作業なしで完全に構成された環境を提供することで、開発者を支援することができる。近年の研究では、最先端のLarge Language Models (LLMs) でさえ、このタスクの自動化に限られた成功をおさめていることが明らかになっている。我々は、正しいスクリプトを生成するための教師付き微調整と、環境設定のタスクに適応するために、Reinforcement Learning with Verifiable Rewards(RLVR)を組み合わせる。 EnvBench-Python では,より大型の Qwen3-32B や GPT-4 と同等に動作可能な Qwen3-8B (コンシューマハードウェア上で動作可能なモデル) を実現する。
論文参考訳（メタデータ） (2025-09-29T20:03:05Z)
Code2MCP: Transforming Code Repositories into MCP Services [53.234097255779744]
Model Context Protocol (MCP)は、大規模言語モデルがどのようにツールを使用するかの標準を作成することを目的としている。私たちは、GitHubリポジトリを機能的なMSPサービスに自動的に変換するエージェントベースのフレームワークであるCode2MCPを紹介します。 Code2MCPはバイオインフォマティクス、数学、流体力学などの科学分野におけるオープンソースの計算ライブラリの変換に成功している。
論文参考訳（メタデータ） (2025-09-07T06:13:25Z)
Paper2Code: Automating Code Generation from Scientific Papers in Machine Learning [70.04746094652653]
機械学習論文を機能コードリポジトリに変換するフレームワークであるPaperCoderを紹介した。 PaperCoderは3つの段階で動作する。計画、図によるシステムアーキテクチャの設計、ファイル依存の特定、構成ファイルの生成である。次に、モデルベースおよび人的評価の両方に基づいて、機械学習論文からコード実装を生成するPaperCoderを評価する。
論文参考訳（メタデータ） (2025-04-24T01:57:01Z)
Design and Implementation of Flutter based Multi-platform Docker Controller App [1.1443262816483672]
本稿では,Dockerリソースを遠隔操作するFlutterアプリケーションの開発に焦点を当てる。アプリケーションはSSHプロトコルを使用してサーバとのセキュアな接続を確立し、コマンドを実行する。 HTTPを使用してアプリケーションをDockerエンジンに接続する、別のアプローチも検討されている。
論文参考訳（メタデータ） (2025-02-17T11:48:02Z)
COOCK project Smart Port 2025 D3.1: "To Twin Or Not To Twin" [1.1087735229999816]
この文書は、COOCKプロジェクトの"Smart Port 2025: arbour eco-system through the application of Intel Technology"の成果である。同社は、特にツインニングシステムを備えたモデリングとシミュレーションとAIベースの技術に対する企業のニーズを報告している。
論文参考訳（メタデータ） (2024-01-23T13:24:47Z)
Patterns of Multi-Container Composition for Service Orchestration with Docker Compose [5.1861106408299635]
この作業は、Docker Composeを複数のサービスコンテナを実行するオーケストレーションツールとして使用する、成功したプロジェクトのデータセットをキュレートする。データと分析の収集により、反復するマルチコンテナ構成パターンの識別と命名が可能になる。これらのパターンは、ソフトウェアシステムが現実世界でどのようにオーケストレーションされているかを強調し、独自のサービスオーケストレーションを構築したい人なら誰でも例を挙げることができる。
論文参考訳（メタデータ） (2023-05-18T20:32:58Z)
Efficient Automatic Machine Learning via Design Graphs [72.85976749396745]
最適なモデル設計を探索する効率的なサンプルベース手法であるFALCONを提案する。 FALCONは,1)グラフニューラルネットワーク(GNN)を介してデザイングラフ上でメッセージパッシングを行うタスク非依存モジュール,2)既知のモデル性能情報のラベル伝搬を行うタスク固有モジュールを特徴とする。 FALCONは,30個の探索ノードのみを用いて,各タスクに対して良好な性能を持つ設計を効率的に得ることを実証的に示す。
論文参考訳（メタデータ） (2022-10-21T21:25:59Z)
Studying the Practices of Deploying Machine Learning Projects on Docker [9.979005459305117]
Dockerはコンテナ化サービスであり、Webサイト、データベース、アプリケーションのAPI、機械学習(ML)モデルを数行のコードで簡単にデプロイできる。私たちは、MLベースのプロジェクトのデプロイにDockerがどのように使用されているのかを理解するために、探索的な調査を実施しました。
論文参考訳（メタデータ） (2022-06-01T18:13:30Z)
Repro: An Open-Source Library for Improving the Reproducibility and Usability of Publicly Available Research Code [74.28810048824519]
Reproは、研究コードのユーザビリティ向上を目的とした、オープンソースのライブラリである。 Dockerコンテナ内で研究者がリリースしたソフトウェアを実行するための軽量Python APIを提供する。
論文参考訳（メタデータ） (2022-04-29T01:54:54Z)

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