チューリングマシンの検索結果1 - 4 件 / 4件

• あとで読む

  [翻訳]デジタルネイチャーに向けて：オブジェクト指向記述の普遍的相互作用のためのLLMMにおけるチューリングマシンオブジェクトと言語オブジェクト間のギャップの橋渡し｜株式会社ガラパゴス

  • 6 users
  • note.com/glpgs_pr
  • テクノロジー
  • 2023/04/13

  落合陽一准教授が主宰するデジタルネイチャー研究室から発表された最新論文を翻訳！ポイントだけ読み進めるとサクッと把握できます。 こちらの翻訳です 本書は抄訳であり内容の正確性を保証するものではありません。正確な内容に関しては原文を参照ください。 脚注、参考文献、Appendixなどは本文をご覧ください。 概要【POINT1】大規模言語モデルとプログラミング言語の対応関係を確立する新しい方法を提案しています。 【POINT2】デジタルと物理の世界をシームレスに結び、現実世界の認識と計算プロセスを橋渡しすることを目指します。 【POINT3】デジタルツインのコンセプトを進化させ、デジタルネイチャーの実現に貢献できる手法を開発しました。 図1：本研究の動機本研究では、プログラマが直面する、多様なオブジェクトの相互作用を記述するための包括的なクラスを手作業で生成するという課題に取り組むものである。ロ

  • あとで読む

  
• あとで読む

  熱平衡化するかしないか、それが決定不能な問題だ 統計力学・スピン・チューリングマシン、難解の大決闘 | JBpress (ジェイビープレス)

  • 6 users
  • jbpress.ismedia.jp
  • 学び
  • 2021/10/02

  （小谷太郎：大学教員・サイエンスライター） 2021年8月24日（日本時間）、学習院大学の白石直人助教と国立情報学研究所の松本啓史准教授らの研究グループは、「熱平衡化の問題は、一般的な形では解決不可能な問題であることを証明」したと発表しました＊1。 ・・・と聞いても、全く意味が分からない、というのが普通の人類の反応ではないでしょうか。 「熱平衡化」とは何でしょう。「解決不可能な問題であることを証明」とは、結局何かを解決したのでしょうか、それともしてないのでしょうか。解決できないのがどうしてそんなに誇れる成果なのでしょう。 この発表は、理論物理学の先端にして斬新な成果です。熱平衡化しない系という、研究者が頭を悩ます不可思議な問題に、チューリングマシンなる計算機械を持ち込んで、基礎から工事し直しちゃったというような結果なのです。 この、かなり高度で難解な理論物理学の成果を、私の咀嚼力のおよぶか

  • 物理
  • データ
  • 統計
  • 研究
  • software
  • science

  
• あとで読む

  万能チューリングマシンの創り方 - Qiita

  • 4 users
  • qiita.com/38912Pataro
  • テクノロジー
  • 2021/04/02

  自己紹介 こんにちは。ぱたろうです。Twitterはこちらです。 現在中学3年生のCPUアーキテクト(自称)です！ 電磁石式自作CPUを複数機作って互いに接続させてネットワークにしたりしてました。 それに関する記事はこちらです！低レイヤに興味ある方はぜひ！ 実はチューリングマシンが大好きです！ はじめに この章では、私のチューリングマシンに対する熱い気持ちを語るだけですので、興味のない方は #チューリングマシン・チューリング完全とは までとばしていただいて構いません。 私はチューリングマシンというものが大好きです。私がチューリングマシンに出会ったのは、2019年(中学二年生の時)の夏休みでした。 「チューリングマシン」や「チューリング完全」と言った言葉は、元々プログラミング言語の自作に興味があり(挫折しました😭)、プログラミング言語に必要な要素とは何かを調べているときにブチ当たった言葉で

  
• あとで読む

  チューリングマシンの定義とそれに関連する話 | 高校数学の美しい物語

  • 3 users
  • manabitimes.jp
  • テクノロジー
  • 2021/10/17

  チューリングマシンとは，次の6つの要素の組として定義される，ある規則にしたがって自動で計算を進める数学的なモデルのこと： (Q,Σ,δ,q0,qacc,qrej) (Q, \Sigma, \delta, q_0, q_{\mathrm{acc}}, q_{\mathrm{rej}}) (Q,Σ,δ,q0​,qacc​,qrej​) イギリスの数学者アラン・マシスン・チューリング（Alan Mathison Turing）が定式化したチューリングマシン（チューリング機械）について解説します。「計算」とは何であるか，を定義するモデルとして使われており，計算機科学における最も重要な概念の1つです。 冒頭でも述べた通り，チューリングマシンは次の6つの要素の組として定義されます： (Q,Σ,δ,q0,qacc,qrej) (Q, \Sigma, \delta, q_0, q_{\mathrm{acc