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

プログラミング言語同時プログラムをRely-Guarantee推論で管理する

Rely-Guarantee理論が、対立なしでプログラムの相互作用をどう改善するかを学ぼう。

2025-11-16T21:04:36+00:00 ― 1 分で読む

プログラミング言語プログラミングでのエフェクト処理の新しいアプローチ

この論文では、逐次的および並列プログラミングタスクをより明確に管理するための表記法を紹介してるよ。

2025-11-16T10:40:30+00:00 ― 1 分で読む

機械学習言語モデルってプログラミングをホントに理解してるの？

研究によると、言語モデルはプログラミング言語から意味のあるコンテンツを学べるんだ。

2025-11-15T00:50:12+00:00 ― 1 分で読む

プログラミング言語量子制御フローの課題と革新

量子コンピュータの制御フロー管理の複雑さと解決策を探る。

2025-11-14T20:11:27+00:00 ― 1 分で読む

暗号とセキュリティセキュリティのためのプロトコルフォーマット推論の改善

静的解析手法がプロトコルフォーマットの推測を強化して、ネットワークセキュリティを向上させる。

2025-11-14T10:21:12+00:00 ― 1 分で読む

計算機科学における論理チェイス・レヴ デックの形式的検証

この作業は、プロセッサ用の同時データ構造の信頼性を検証しているよ。

2025-11-14T03:30:24+00:00 ― 1 分で読む

計算機科学における論理型付きラムダ計算の同値性における課題

型付きラムダ計算の同値性の複雑さ、特に安全なラムダ計算について調査してるんだ。

2025-11-13T22:30:12+00:00 ― 0 分で読む

暗号とセキュリティ静的解析によるプロトコルセキュリティの向上

新しい方法がプロトコルのセキュリティ分析を向上させて、より良い保護を提供する。

2025-11-13T13:56:42+00:00 ― 1 分で読む

プログラミング言語WebAssemblyにおけるコンパイラの役割

コンパイラがWebAssemblyのパフォーマンスとコード品質にどんな影響を与えるか探ってる。

2025-11-13T02:29:24+00:00 ― 1 分で読む

分散・並列・クラスターコンピューティングハイドロプロジェクトで分散システムを進める

ハイドロプロジェクトは、分散システムのプログラミングを簡単にすることを目指してるよ。

2025-11-12T07:39:42+00:00 ― 1 分で読む

人工知能自然言語ツールでチップデザインを変革する

ChipGPTはエンジニア向けに日常的な言葉を使ってチップ設計を簡単にする。

2025-11-11T20:12:24+00:00 ― 1 分で読む

カテゴリー理論計算における文字列ダイアグラムの効率的なアルゴリズム

この記事では、文字列ダイアグラムのデータ並列アルゴリズムについて、その表現と操作に重点を置いて話してるよ。

2025-11-11T04:34:03+00:00 ― 1 分で読む

機械学習構造的再帰におけるトランスフォーマーモデルの評価

この記事では、トランスフォーマーがプログラミングタスクで再帰関数をどのように学習するかを考察しているよ。

2025-11-10T08:39:24+00:00 ― 1 分で読む

プログラミング言語複雑なシステムにおける確率モデルの役割

さまざまな分野で確率モデルを使って不確実性を分析する。

2025-11-10T01:54:50+00:00 ― 1 分で読む

形式言語とオートマトン理論マルチパーティセッションタイプの検証を進める

多党システムでの通信プロトコルをオートマタを使って確認する新しい方法。

2025-11-09T13:18:06+00:00 ― 1 分で読む

プログラミング言語並行プログラムでの公平性の確保

弱いメモリモデルにおける並行プログラムの課題と解決策を探る。

2025-11-08T18:28:24+00:00 ― 1 分で読む

計算機科学における論理並列項書き換え：新しいアプローチ

効率的なデータ処理のための並列計算における項書き換えの探求。

2025-11-07T21:00:42+00:00 ― 1 分で読む

プログラミング言語カラー付きE-グラフ: 推論の一歩前進

カラフルなeグラフは、メモリの使用を減らし、スピードを上げることで論理的思考を改善するよ。

2025-11-07T10:28:42+00:00 ― 1 分で読む

プログラミング言語Cにおける安全なマルチパーティ計算への新しいアプローチ

この論文では、C言語でのセキュアな計算のための正式なモデルを示しているよ。

2025-11-07T00:36:12+00:00 ― 1 分で読む

プログラミング言語SIMD命令用のスーパーオプティマイザでパフォーマンスを向上させる

スーパーオプティマイザーは、LLVMでSIMD命令のパフォーマンスを向上させ、プログラムの効率を高めるよ。

2025-11-06T23:40:54+00:00 ― 1 分で読む

プログラミング言語グラフでプログラム表現を改善すること

新しいグラフ表現が機械学習がプログラミング言語を分析する方法を向上させる。

2025-11-06T23:17:12+00:00 ― 1 分で読む

プログラミング言語FreeCHRの紹介: CHRの統一フレームワーク

FreeCHRは、プログラミング言語全体で制約処理ルールに対する統一的なアプローチを提供します。

2025-11-06T00:22:36+00:00 ― 1 分で読む

プログラミング言語複雑なループの不変量を生成する

難しいループ構造で不変量を作るための新しい方法。

2025-11-05T19:14:30+00:00 ― 0 分で読む

プログラミング言語オブジェクト指向プログラミングにおける動的バインディングの確認

プログラミングで動的バインディングを確認する方法を見てみよう。

2025-11-05T01:51:42+00:00 ― 0 分で読む

機械学習LambdaBeam: プログラム合成への新しいアプローチ

LambdaBeamは、複雑な関数やループを効率的に処理して、プログラム作成を改善するよ。

2025-11-05T01:20:06+00:00 ― 1 分で読む

プログラミング言語アルゴリズミック微分で科学計算を進める

アルゴリズム微分とチェックポイントが科学モデルの効率をどう向上させるか学ぼう。

2025-11-04T03:28:12+00:00 ― 1 分で読む

ソフトウェア工学COBOLデータセット：研究のためのリソース

新しいCOBOLプロジェクトのデータセットが重要なシステムの研究をサポートしてるよ。

2025-11-03T09:50:06+00:00 ― 1 分で読む

ヒューマンコンピュータインタラクション浮動小数点演算の丸め誤差への対処

新しいツールがユーザーに浮動小数点計算の丸め誤差を管理するのを手助けするよ。

2025-11-03T02:33:51+00:00 ― 0 分で読む

プログラミング言語グローバルタイプを使ったメッセージパッシングシステムの監視

ネットワークアプリケーションのブラックボックスコンポーネントを監視するためのフレームワーク。

2025-11-02T22:14:54+00:00 ― 1 分で読む

プログラミング言語命令セットアーキテクチャにおけるセキュリティの公式化

新しい方法が、形式仕様を通じてコンピュータアーキテクチャのセキュリティを向上させる。

2025-11-02T20:08:30+00:00 ― 1 分で読む

ソフトウェア工学自動コード編集の新しいアプローチ

この記事では、効果的な自動コード編集のための組み合わせ手法について話してるよ。

2025-11-01T20:58:06+00:00 ― 0 分で読む

機械学習新しいプログラミング言語でベイズ推論を進化させる

新しいプログラミング言語が、研究者のために関数空間でのベイズ推論を簡素化するよ。

2025-11-01T19:31:12+00:00 ― 1 分で読む

プログラミング言語プログラミング言語でのボックス推論の自動化

自動ボックス挿入でプログラムの型管理を簡単にする。

2025-11-01T19:07:30+00:00 ― 1 分で読む

ヒューマンコンピュータインタラクションライブプログラミングでAIプログラミングツールを改善する

この記事では、AIが生成したコード提案を強化するためにライブプログラミングを使うことについて話してるよ。

2025-10-31T00:27:54+00:00 ― 1 分で読む

人工知能SMCステアリングで言語モデルの制御を改善する

新しい方法が言語モデルのテキスト生成のコントロールを強化する。

2025-10-30T10:31:20+00:00 ― 1 分で読む

計算と言語コード生成モデルにおける自己修復の評価

この研究は、先進的な言語モデルを使ったプログラミングタスクにおける自己修正の効果を評価している。

2025-10-30T06:33:30+00:00 ― 1 分で読む

人工知能FuzzyLogic.jl: フuzzyシステムのためのユーザーフレンドリーなツール

Juliaで使いやすさと柔軟性に焦点を当てたファジィ論理のライブラリ。

2025-10-29T19:45:42+00:00 ― 1 分で読む

プログラミング言語ハイドロフローとE-グラフでデータフローを最適化する

Hydroflowとe-グラフがデータ処理の効率をどう改善するかを学ぼう。

2025-10-29T15:09:12+00:00 ― 1 分で読む

高エネルギー物理学-現象論ジュリアプログラミング言語：高エネルギー物理学のゲームチェンジャー

ジュリアは、高エネルギー物理学における効率的なデータ分析を、高性能と使いやすさを通じて実現してるよ。

2025-10-29T05:32:30+00:00 ― 1 分で読む

ソフトウェア工学プログラミングでの漏れを防ぐためのリソース管理

この記事では、リソースリークと自動推論技術の利点について話してるよ。

2025-10-29T02:07:06+00:00 ― 1 分で読む