論文の概要: Simply Logical -- The First Three Decades

• arxiv url: http://arxiv.org/abs/2610.28912v1
• Date: Tue, 20 Oct 2026 20:48:45 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-23 00:40:06.143383
• Title: Simply Logical -- The First Three Decades
• Title（参考訳）: Simply Logical - 最初の3年
• Abstract要約: 本稿では,Prolog の教科書 Simply Logical -- Intelligent Reasoning by Example from print with runnable programs on a 3.5-inch diskette published in 1994 to the full interactive online edition available。 3人の著者は、没入的な学習体験を提供するインタラクティブなオンラインブックを形成するために、3つの異なる補完的な視点を提示する。
• 参考スコア（独自算出の注目度）: 2.7451703086689196
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This paper charts the evolution of the Prolog textbook Simply Logical -- Intelligent Reasoning by Example from print with runnable programmes on a 3.5-inch diskette published in 1994, via various intermediate online versions, to the fully interactive online edition available today. Our aim is to investigate -- from both the writer's and the reader's perspectives -- the potential impact of technology on educational materials. The three authors of this paper present three distinct and complementary points of view, which come together to shape an interactive online book that offers an immersive learning experience. Peter describes the philosophy behind the original book and experiences teaching from it. Jan demonstrates how contemporary web programming has enabled a fully interactive realisation of the book's philosophy. Kacper reports how different technologies can be adopted to build a versatile authoring toolkit that underpins the interactive online edition of the book. Collating these distinct yet coherent perspectives allows us to reflect on future opportunities for interactive Prolog teaching materials arising from the continuous development of web technologies. The insights we offer should be of interest to teachers of Prolog as well as those wanting to find out about the latest educational technologies.
• Abstract（参考訳）: 本稿では,Prolog の教科書 Simply Logical -- Intelligent Reasoning by Example from print with runnable programs on a 3.5-inch diskette in a 1994, via various intermediate online version, to the full interactive online edition available。 我々の目的は、著者と読者の両方の観点から、技術が教育材料に与える影響を調査することである。 本論文の著者3人は,没入型学習体験を提供するインタラクティブなオンライン書籍を形成するために,3つの異なる相補的な視点を提示する。 Peter氏は、オリジナルの本の背後にある哲学と、そこから教えた経験について説明している。 Jan氏は、同時代のウェブプログラミングがこの本の哲学を完全にインタラクティブに実現したことを実演している。 Kacper氏は、インタラクティブなオンライン版を基盤とする多目的なオーサリングツールキットを構築するために、さまざまなテクノロジをどのように採用できるかを報告している。 このような独特で一貫性のある視点を組み合わせることで、Web技術の継続的な開発から生じるインタラクティブなProlog教材の機会を振り返ることができる。 私たちが提供する洞察は、Prologの先生や、最新の教育技術について知りたいと思う人たちにとって、大きな関心を持つべきです。

関連論文リスト

• Language Models: A Guide for the Perplexed [51.88841610098437]
  このチュートリアルは、言語モデルを学ぶ人と、興味を持ち、もっと学びたいと思う人とのギャップを狭めることを目的としています。 実験を通して学ぶことができる質問に焦点を当てた科学的視点を提供する。 言語モデルは、現在、その開発に繋がる研究の文脈に置かれています。
  論文  参考訳（メタデータ） (2023-11-29T01:19:02Z)
• The Semantic Reader Project: Augmenting Scholarly Documents through AI-Powered Interactive Reading Interfaces [54.2590226904332]
  本稿では,研究論文を対象とした動的読解インタフェースの自動作成を目的としたセマンティック・リーダー・プロジェクトについて述べる。 10のプロトタイプインターフェースが開発され、300人以上の参加者と現実世界のユーザが読書体験を改善している。 本論文は,研究論文を読む際,学者と公衆の面を巡って構築する。
  論文  参考訳（メタデータ） (2023-03-25T02:47:09Z)
• Simply Logical -- Intelligent Reasoning by Example (Fully Interactive Online Edition) [21.58324172085553]
  Simply Logical - Intelligent Reasoning by Example"は、1994年にジョン・ワイリーによって初めて出版された。 2007年、著作権は作家に返還された。 2015年には、SWI-PrologのSWISHプラットフォームを使用して、オリジナルの書籍のほとんどをオンラインでインタラクティブなウェブサイトに移植しました。 新バージョンはよりモジュール化され、メンテナンスが容易で、カスタムのインストラクションモジュールに分割できる。
  論文  参考訳（メタデータ） (2022-08-14T10:32:13Z)
• CoAuthor: Designing a Human-AI Collaborative Writing Dataset for Exploring Language Model Capabilities [92.79451009324268]
  我々は,GPT-3の創造的かつ議論的な記述を支援する能力を明らかにするために設計されたデータセットであるCoAuthorを提案する。 我々は、CoAuthorがGPT-3の言語、アイデア、コラボレーション機能に関する問題に対処できることを実証した。 インタラクション設計に関して,この作業がLMの約束や落とし穴に関して,より原則化された議論を促進する可能性について論じる。
  論文  参考訳（メタデータ） (2022-01-18T07:51:57Z)
• Dive into Deep Learning [119.30375933463156]
  この本はJupyterのノートブックでドラフトされており、説明図、数学、インタラクティブな例を自己完結型コードとシームレスに統合している。 私たちのゴールは、(i)誰でも自由に利用できるリソースを提供すること、(ii)応用機械学習科学者になるための出発点を提供するのに十分な技術的な深さを提供すること、(iii)実行可能なコードを含み、実際にどのように問題を解決するかを読者に示すこと、(iv)私たちとコミュニティの両方による迅速なアップデートを可能にすることです。
  論文  参考訳（メタデータ） (2021-06-21T18:19:46Z)
• Multiversal views on language models [0.0]
  生成言語モデルが多言語生成として概念化されるフレームワークを提案する。 このフレームワークは、人間の想像力にも適用され、フィクションの読み書き方法の中心となります。 私たちは、人間の想像力をAIに組み合わせて書くことのできる、新しい形のインターフェースを通じて、この共通性を探ることを求めている。
  論文  参考訳（メタデータ） (2021-02-12T08:28:28Z)

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

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