論文の概要: Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels

• arxiv url: http://arxiv.org/abs/2603.04008v1
• Date: Wed, 04 Mar 2026 12:50:07 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-03-23 08:17:41.890403
• Title: Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels
• Title（参考訳）: 極端のラムダ:車輪に浮かぶLambdaとLambdaの物語
• Authors: Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta, Andrea Basso, Monica Cochi, Lorenzo Gusman, Lorenzo Comba, Paolo Gay, Paola Dal Zovo, Giada Galati, Francesco Gallo, Aljaž Grdadolnik, Massimo Pescarollo, Paola Pisano,
• Abstract要約: 本稿では、XCとFCPPと呼ばれるC++ライブラリの実装について、穏やかに紹介する。 FCCPプログラムは基本的には型付き用語であり、FCPPはネットワークの端にあるデバイスにデプロイされたコードを書くために使われてきた。
• 参考スコア（独自算出の注目度）: 4.793384175707655
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Aggregate Programming (AP) is a paradigm for programming the collective behaviour of sets of distributed devices, possibly situated at the network far edge, by relying on asynchronous proximity-based interactions. The eXchange Calculus (XC), a recently proposed foundational model for AP, is essentially a typed lambda calculus extended with an operator (the exchange operator) providing an implicit communication mechanism between neighbour devices. This paper provides a gentle introduction to XC and to its implementation as a C++ library, called FCPP. The FCPP library and toolchain has been mainly developed at the Department of Computer Science of the University of Turin, where Stefano Berardi spent most of his academic career conducting outstanding research about logical foundation of computer science and transmitting his passion for research to students and young researchers, often exploiting typed lambda calculi. An FCCP program is essentially a typed lambda term, and FCPP has been used to write code that has been deployed on devices at the far edge of the network, including rovers and (soon) Uncrewed Aerial Vehicles (UAVs); hence the title of the paper.
• Abstract（参考訳）: アグリゲートプログラミング(Aggregate Programming、AP)は、非同期な近接性に基づく相互作用に頼ることにより、おそらくネットワークの遠端に位置する分散デバイスの集合の集合的な振る舞いをプログラミングするためのパラダイムである。 最近提案されたAPの基本モデルであるeXchange Calculus (XC) は基本的に、演算子(交換演算子)で拡張された型付きラムダ計算であり、近隣デバイス間で暗黙的な通信機構を提供する。 本稿では、XCとFCPPと呼ばれるC++ライブラリの実装について、穏やかに紹介する。 FCPPライブラリーとツールチェーンは、主にトリノ大学のコンピュータ科学科で開発され、ステファノ・ベラルディは、コンピュータ科学の論理的基盤に関する卓越した研究を行い、学生や若い研究者に研究の情熱を伝え、しばしば型付きラムダ計算を利用していた。 FCCPプログラムは基本的に型付きラムダ式であり、FCPPはローバーや無人航空機(UAV)など、ネットワークの端にあるデバイスにデプロイされたコードを記述するために使われてきた。

関連論文リスト

• ATLAS: Automated Tree-based Language Analysis System for C and C++ source programs [1.0499611180329804]
  本稿では,文レベル制御フローグラフ(CFG)と型認識データフローグラフ(DFG)を生成するPythonベースのコマンドラインインタフェース(CLI)であるATLASを紹介する。 ATLASは、下流のソフトウェアエンジニアリング(SE)と機械学習ベースのプログラム理解を改善するための実践的な基盤を提供する。
  論文  参考訳（メタデータ） (2025-12-14T01:11:11Z)
• Generative Logic: A New Computer Architecture for Deterministic Reasoning and Knowledge Generation [0.0]
  Generative Logic (GL) は、ユーザの公理的定義から始まる決定論的アーキテクチャである。 GLは予想を列挙し、正規化、型、CEフィルタを適用し、機械チェック可能な証明を自動的に再構築する。
  論文  参考訳（メタデータ） (2025-07-25T17:29:19Z)
• A Pipeline For Discourse Circuits From CCG [0.0]
  DisCoCircは、自然言語のテキストを、テキストのコアセマンティック情報をキャプチャするサーキットとして表現する。 DisCoCircは、短期量子コンピュータで実装可能なNLPモデルを提供することを目標としている。
  論文  参考訳（メタデータ） (2023-11-29T18:46:29Z)
• LILO: Learning Interpretable Libraries by Compressing and Documenting Code [71.55208585024198]
  LILOは、反復的に合成、圧縮、文書化を行う、ニューロシンボリックなフレームワークである。 LILOは、LLM誘導プログラム合成と、Stitchから自動化された最近のアルゴリズムの進歩を組み合わせたものである。 LILOのシンセサイザーが学習した抽象化を解釈し、デプロイするのを手助けすることで、AutoDocがパフォーマンスを向上させることが分かりました。
  論文  参考訳（メタデータ） (2023-10-30T17:55:02Z)
• Deploying Machine Learning Models to Ahead-of-Time Runtime on Edge Using MicroTVM [2.144835105990896]
  我々は,学習済みモデルをバックエンド用のCソースライブラリに解析するエンドツーエンドのコードジェネレータを開発した。 特定の計算集約演算子は、専用アクセラレータに容易にオフロードできる。 ARM Cortex M4Fコア上で手動ジェスチャー認識実験を行う。
  論文  参考訳（メタデータ） (2023-04-10T19:56:48Z)
• pymdp: A Python library for active inference in discrete state spaces [52.85819390191516]
  pymdpはPythonでアクティブな推論をシミュレートするオープンソースパッケージである。 我々は,POMDPによるアクティブな推論をシミュレートする,最初のオープンソースパッケージを提供する。
  論文  参考訳（メタデータ） (2022-01-11T12:18:44Z)
• Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
  qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。 我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
  論文  参考訳（メタデータ） (2020-10-08T12:49:07Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。