論文の概要: Mirror Matrix on the Wall: coding and vector notation as tools for introspection

• arxiv url: http://arxiv.org/abs/2410.19549v2
• Date: Wed, 30 Oct 2024 12:12:45 GMT
• ステータス: 翻訳完了
• システム内更新日: 2024-10-31 14:29:11.589030
• Title: Mirror Matrix on the Wall: coding and vector notation as tools for introspection
• Title（参考訳）: 壁面のミラーマトリックス:イントロスペクションのツールとしての符号化とベクトル表記
• Authors: Leonardo Araújo,
• Abstract要約: 我々はオクタベにおけるベクトル表記の使用について、演算子と関数の解析を通して検討する。 ベクトル表記を採用することで、オクタベは数学者、科学者、技術者にとって強力なツールとなる。
• 参考スコア（独自算出の注目度）: 0.0
• License:
• Abstract: The vector notation adopted by GNU Octave plays a significant role as a tool for introspection, aligning itself with the vision of Kenneth E. Iverson. He believed that, just like mathematics, a programming language should be an effective thinking tool for representing and reasoning about problems we wish to address. This work aims to explore the use of vector notation in GNU Octave through the analysis of operators and functions, providing a closer alignment with mathematical notation and enhancing code efficiency. We will delve into fundamental concepts such as indexing, broadcasting, and function handles, and present case studies for a deeper understanding of these concepts. By adopting vector notation, GNU Octave becomes a powerful tool for mathematicians, scientists and engineers, enabling them to express and solve complex problems more effectively and intuitively.
• Abstract（参考訳）: GNU Octaveのベクター表記法は、ケネス・E・アイバーソンのビジョンと一致し、内観の道具として重要な役割を担っている。 数学と同じように、プログラミング言語は私たちが解決したい問題を表し、推論するための効果的な思考ツールであるべきだと彼は信じていた。 本研究の目的は,演算子や関数の解析を通じてGNU Octaveにおけるベクトル表記の使用を探求することであり,数学的表記との密接な連携とコード効率の向上である。 索引づけ、放送、関数ハンドルといった基本的な概念を探求し、これらの概念をより深く理解するためのケーススタディを示す。 ベクトル表記を採用することで、GNU Octaveは数学者、科学者、技術者にとって強力なツールとなり、複雑な問題をより効果的に、直感的に表現し、解決することができる。

関連論文リスト

• A Walsh Hadamard Derived Linear Vector Symbolic Architecture [83.27945465029167]
  シンボリックベクトルアーキテクチャ(VSAs)は、ニューロシンボリックAIを開発するためのアプローチである。 HLBは計算効率が良く、従来のVSAタスクで有効であるように設計されている。
  論文  参考訳（メタデータ） (2024-10-30T03:42:59Z)
• FSM Builder: A Tool for Writing Autograded Finite Automata Questions [0.5018156030818883]
  FSM Builderは、学生がグラフィカルエディタを使ってDFAやNFAの構築を実践できる新しい教育ツールである。 これらを生成するアルゴリズムは、以前の研究に強くインスパイアされている。 複数の大規模コースでこのツールを使用した経験から,ツールの実装,従来のツールとどのように際立っているか,といった点について論じる。
  論文  参考訳（メタデータ） (2024-05-02T20:25:25Z)
• How Far Have We Gone in Binary Code Understanding Using Large Language Models [51.527805834378974]
  バイナリコード理解におけるLarge Language Models(LLM)の有効性を評価するためのベンチマークを提案する。 評価の結果、既存のLLMはバイナリコードをある程度理解でき、それによってバイナリコード解析の効率が向上することが明らかとなった。
  論文  参考訳（メタデータ） (2024-04-15T14:44:08Z)
• MATHSENSEI: A Tool-Augmented Large Language Model for Mathematical Reasoning [2.9104279358536647]
  数学的推論のためのツール強化された大規模言語モデルであるMathSenseiを提案する。 ツールの補完的な利点として、知識検索(Bing Web Search)、プログラムジェネレータ+エグゼキュータ(Python)、記号方程式ソルバ(Wolfram-Alpha API)について検討する。
  論文  参考訳（メタデータ） (2024-02-27T05:50:35Z)
• LILO: Learning Interpretable Libraries by Compressing and Documenting Code [71.55208585024198]
  LILOは、反復的に合成、圧縮、文書化を行う、ニューロシンボリックなフレームワークである。 LILOは、LLM誘導プログラム合成と、Stitchから自動化された最近のアルゴリズムの進歩を組み合わせたものである。 LILOのシンセサイザーが学習した抽象化を解釈し、デプロイするのを手助けすることで、AutoDocがパフォーマンスを向上させることが分かりました。
  論文  参考訳（メタデータ） (2023-10-30T17:55:02Z)
• ELASTIC: Numerical Reasoning with Adaptive Symbolic Compiler [5.753951795185978]
  本稿では,adapTive symbolIc Compiler (ELASTIC) モデルを用いたnumEricaL reASoningを提案する。 複雑な推論を行う場合、エラスティックは堅牢である。 実験の結果、ELASTICは68.96と65.21の精度とプログラムの精度を達成した。
  論文  参考訳（メタデータ） (2022-10-18T19:04:19Z)
• Semantic Representations of Mathematical Expressions in a Continuous Vector Space [0.0]
  この研究は連続ベクトル空間における数学的表現を表現するためのアプローチを記述する。 我々は、視覚的に異なるが数学的に等価な表現に基づいて訓練されたシーケンス・ツー・シーケンス・アーキテクチャのエンコーダを用いて、ベクトル表現を生成する。
  論文  参考訳（メタデータ） (2022-10-08T22:33:39Z)
• Provable General Function Class Representation Learning in Multitask Bandits and MDPs [58.624124220900306]
  マルチタスク表現学習は、サンプル効率を高めるために強化学習において一般的なアプローチである。 本研究では,解析結果を一般関数クラス表現に拡張する。 バンディットと線形MDPの一般関数クラスにおけるマルチタスク表現学習の利点を理論的に検証する。
  論文  参考訳（メタデータ） (2022-05-31T11:36:42Z)
• Metric Transforms and Low Rank Matrices via Representation Theory of the Real Hyperrectangle [17.808087068037985]
  ハイパー矩形から生じる行列の固有ベクトルと固有値の計算方法を示す。 次に、これらの接続と共に新しい手法を使用して、いくつかの新しい構造結果を示す。
  論文  参考訳（メタデータ） (2020-11-23T16:03:12Z)
• Learning outside the Black-Box: The pursuit of interpretable models [78.32475359554395]
  本稿では,任意の連続ブラックボックス関数の連続的大域的解釈を生成するアルゴリズムを提案する。 我々の解釈は、その芸術の以前の状態から飛躍的な進歩を表している。
  論文  参考訳（メタデータ） (2020-11-17T12:39:44Z)
• A Transformer-based Approach for Source Code Summarization [86.08359401867577]
  コードトークン間のペア関係をモデル化することにより,要約のためのコード表現を学習する。 アプローチは単純であるにもかかわらず、最先端技術よりもかなりの差があることが示される。
  論文  参考訳（メタデータ） (2020-05-01T23:29:36Z)

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

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