コンピューターサイエンス - プログラミング言語

プログラミング言語Erlangでの可逆デバッグ: 新しいアプローチ

リバーシブルデバッグがErlangプログラミングのエラー追跡をどう改善するか学ぼう。

2025-07-31T08:18:54+00:00 ― 1 分で読む

機械学習LLMsのJavaプログラミングスキルを評価する

Javaプログラミングタスク用のLLMを評価するための新しいベンチマーク。

2025-07-31T06:52:00+00:00 ― 1 分で読む

計算と言語優先学習でコード生成を改善する

新しい方法で、効果的なテストケースと好みの学習を通じてコード言語モデルを強化する。

2025-07-31T06:04:36+00:00 ― 1 分で読む

プログラミング言語MARVeLusの紹介: サイバー物理システムのための新しい言語

MARVeLusは、サイバー物理システムの安全性を高めるために、検証と実装をつなげるよ。

2025-07-30T21:54:48+00:00 ― 1 分で読む

システムと制御精密タイミング仮想マシンでリアルタイムソフトウェアを管理する

新しいツールがリアルタイムソフトウェアの管理を改善して、即座に対応できるようになるよ。

2025-07-30T20:35:35+00:00 ― 1 分で読む

ソフトウェア工学DafnyBench: 機械学習でソフトウェア検証を向上させる

DafnyBenchはソフトウェア検証ツールのベンチマークを行って、信頼できるプログラミングへの道を開いてるよ。

2025-07-29T23:23:54+00:00 ― 1 分で読む

計算と言語例題タスクによるプログラミングにおける大規模言語モデルの評価

LLMsが例を使ってプログラミングの課題にどう取り組むかを見てみよう。

2025-07-29T21:25:24+00:00 ― 1 分で読む

プログラミング言語コードの正確さとパフォーマンスのバランスを取る

デュアルランゲージアプローチは、プログラミングの正確さを高めつつスピードを維持するよ。

2025-07-29T00:29:18+00:00 ― 1 分で読む

プログラミング言語数値計算の精度を上げる

新しい型システムが数値計算の丸め誤差分析を強化する。

2025-07-28T16:02:15+00:00 ― 0 分で読む

データ構造とアルゴリズムモデル順序技術を使って図を改善する

モデルの順序が図のレイアウトをどう向上させて、ユーザーの意図をどう捉えるか探ってみて。

2025-07-27T14:54:48+00:00 ― 1 分で読む

量子物理学基底状態エネルギー計算のための量子プログラミングの進展

この記事では、量子プログラミングを使って基底状態エネルギーを計算する方法を探るよ。

2025-07-27T13:10:15+00:00 ― 1 分で読む

人工知能APPLの紹介: LLM統合のための新しい言語

APPLは直感的でPythonみたいな文法を使って、大規模言語モデルを使った開発を簡素化するよ。

2025-07-27T09:46:42+00:00 ― 1 分で読む

プログラミング言語量子プログラミングにおける非計算の進展

新しい手法が複雑な量子プログラムにおける非計算効率を向上させる。

2025-07-26T05:04:30+00:00 ― 1 分で読む

プログラミング言語データ分析における確率プログラミングの理解

確率的プログラミングがデータの不確実性を分析するのにどう役立つか学ぼう。

2025-07-25T23:09:00+00:00 ― 1 分で読む

プログラミング言語確率的プログラミングにおける変分推論の進展

新しいモジュラ―アプローチが確率プログラミング言語における変分推論を強化する。

2025-07-25T10:46:24+00:00 ― 1 分で読む

ソフトウェア工学INDICT: 安全なコード生成のための新しいフレームワーク

INDICTは、二重批評分析を使ってコードの安全性と有用性を高めるよ。

2025-07-25T10:06:54+00:00 ― 1 分で読む

プログラミング言語変数解析を通じた論理プログラムの最適化

変数の共有と線形性を分析して論理プログラミングのパフォーマンスを向上させる。

2025-07-25T06:41:30+00:00 ― 1 分で読む

プログラミング言語論理プログラミングにおける一様代数の理解

ユニフォーム代数と、それがPrologや論理プログラミングで果たす役割についての考察。

2025-07-24T02:21:52+00:00 ― 1 分で読む

プログラミング言語プログラムの作り方：種類、例、課題

型を使ったプログラミングのガイド、例、実現可能性。

2025-07-23T22:41:48+00:00 ― 1 分で読む

プログラミング言語コード最適化のためのLLMコンパイラモデルの紹介

新しいモデルはソフトウェアコードの効率とコンパイラのパフォーマンスを向上させるよ。

2025-07-23T18:05:18+00:00 ― 1 分で読む

プログラミング言語時間管理で非同期コミュニケーションを進める

新しいフレームワークが時間管理を通じて非同期通信システムの信頼性を高める。

2025-07-23T14:39:54+00:00 ― 1 分で読む

機械学習組み合わせ検索手法を使ったカーネルスケジューリングの強化

新しいアプローチで、AnsorとDroplet Searchを使ってカーネルのパフォーマンスを最適化してるよ。

2025-07-22T21:56:36+00:00 ― 1 分で読む

プログラミング言語マルチスレッドで安全なコミュニケーションを保証する

Clojureアプリの通信プロトコルを検証するツール。

2025-07-22T14:10:30+00:00 ― 1 分で読む

プログラミング言語無知なアルゴリズムにおけるセキュリティの検証

敏感データを守るためのオブリビアスアルゴリズムの形式的検証のフレームワーク。

2025-07-22T13:54:42+00:00 ― 1 分で読む

ソフトウェア工学LASSI: 並列コード翻訳のための新しいツール

LASSIは効率的な科学計算のためにコンピュータプログラムを翻訳するのを手伝うよ。

2025-07-22T08:07:06+00:00 ― 1 分で読む

プログラミング言語プログラミングにおける再帰型の理解

プログラミングにおける等再帰型と同型再帰型の見方。

2025-07-22T07:43:24+00:00 ― 1 分で読む

プログラミング言語Yulを理解する：スマートコントラクトのバックボーン

YulのEthereumスマートコントラクトにおける役割ガイド。

2025-07-21T15:00:06+00:00 ― 1 分で読む

ソフトウェア工学補助ツールでGitマージを改善する

新しいツールがコードの依存関係を分析することでGitマージを強化するよ。

2025-07-20T01:04:54+00:00 ― 1 分で読む

ソフトウェア工学デジタル回路のテストベンチ生成を自動化する

この論文は、LLMを使った自動テストベンチ生成のフレームワークを紹介してるよ。

2025-07-19T07:10:30+00:00 ― 1 分で読む

量子物理学Qrisp: 量子プログラミングのためのハイレベルフレームワーク

Qrispは、使いやすいツールと高レベルの抽象化で量子プログラミングを簡単にするよ。

2025-07-19T05:39:00+00:00 ― 1 分で読む

プログラミング言語SSAフレームワークを使ったコンパイラ最適化の検証

新しいフレームワークが、コンパイラの最適化がプログラムの正しさを保つようにする。

2025-07-19T02:18:12+00:00 ― 1 分で読む

プログラミング言語プログラミングにおける到達不可能なコードの理解

到達不可能なコードとそのプログラミング効率への影響を見てみよう。

2025-07-18T23:00:42+00:00 ― 1 分で読む

人工知能微分可能なコンピュータで言語モデルを改善する

新しい方法が言語モデルの推論スキルを向上させることを目指してる。

2025-07-18T22:29:06+00:00 ― 1 分で読む

プログラミング言語振り付けプログラミングと代数的効果

代数的効果を使った振付プログラミングを探求して、分散アプリケーション開発を強化する。

2025-07-17T19:13:48+00:00 ― 1 分で読む

プログラミング言語型ユニバスとメモリ管理の関係

型のユニバースがプログラミング言語のメモリアロケーションにどう影響するかを学ぼう。

2025-07-17T17:54:48+00:00 ― 1 分で読む

プログラミング言語効果的なバイナリ解析ツールの構築

バイナリ解析ツール開発におけるモジュールフレームワークの紹介。

2025-07-17T15:32:36+00:00 ― 1 分で読む

プログラミング言語ソフトウェア開発を簡単にする：新しいアプローチ

新しい言語デザインは、ソフトウェア開発における推論と明確さを向上させることを目指してるよ。

2025-07-17T14:53:06+00:00 ― 1 分で読む

暗号とセキュリティ新しいフレームワークがDeFiの脆弱性を狙う

分散型金融プロトコルのセキュリティを改善する新しいアプローチ。

2025-07-17T14:29:24+00:00 ― 1 分で読む

プログラミング言語プログラムの効率を確保するための終了チェックツール

終了チェッカーが、プログラムが無限ループに陥ることなくタスクを完了するのをどう助けるかを探ってみよう。

2025-07-16T15:42:42+00:00 ― 0 分で読む

プログラミング言語状態保持データフローシステムにおける失敗透明性の証明

Apache Flinkのようなステートフルデータフローシステムで信頼性を確保するための正式なアプローチ。

2025-07-16T12:09:24+00:00 ― 1 分で読む