Hatena Blog Tags
はてなブログ トップ
計算理論
このタグでブログを書く
言葉の解説
ネットで話題
関連ブログ

計算理論

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。
「大人の教養・知識・気付き」を伸ばすブログ•2年前

計算理論（その04/X）

はじめに Introduction to the Theory of Computation作者:Sipser, MichaelCourse Technology IncAmazon を参照しつつ計算理論を学んでいきます。 前回 power-of-awareness.com はじめに 前回 1. 正規言語 1.2 非決定主義 1.2.1 非決定的有限オートマトンの形式的定義 1. 正規言語 計算理論はまず「コンピュータとは何か」という問いから始まる。手許にあるノートPCなどのパソコンはコンピュータとしてはあまりに複雑すぎるため、理論的には計算モデル()という理想的なコンピュータを用いる。科学で…

#計算理論

ネットで話題

もっと見る
39ブックマーククワインと対角化定理 ～計算理論入門～ - いきるちからはじめに クワインとは この前プログラミングの教科書を読んでいたら面白い問題があった。大雑把には次のような感じ。*1 自分自身のソースコードを出力するプログラムを書け。 調べてみたところクワインというらしい。細かい話をすると入力を受け取るのもダメだそうなので上の問題文よりは厳しい。詳しい話はWikipediaに...dolicas.hatenablog.com
33ブックマークAmazon.co.jp: 計算理論の基礎 [原著第2版] 1.オートマトンと言語: Michael Sipser (著), 太田和夫 (翻訳), 田中圭介 (翻訳), 阿部正幸 (翻訳), 植田広樹 (翻訳), 藤岡淳 (翻訳), 渡辺治 (翻訳): 本www.amazon.co.jp
27ブックマークAmazon.co.jp: 計算理論の基礎: マイケルシプサ (著), Sipser,Michael (原名), 治,渡辺 (翻訳), 和夫,太田 (翻訳): 本www.amazon.co.jp
18ブックマーク計算理論 - Wikipediaja.wikipedia.org
9ブックマークAmazon.co.jp: 計算できるもの、計算できないもの ―実践的アプローチによる計算理論入門: John MacCormick (著), 松崎公紀 (監修), 長尾高弘 (翻訳): 本www.amazon.co.jp
7ブックマークpsycho lab. : Learn to Psychology! : 知覚心理学 : 計算理論今まで、知覚心理学というテーマで取り上げてきた様々な事柄というのは、「人間がいかに知覚するか」ということが主題でした。まあ、そういう学問なのですから、それが当たり前でして、それの「生理学レベル」の話だったり、今一歩、踏み込んでない感じがあったかもしれませんけれども、いってみれば、心理学の基礎的な...www.2px.jp
7ブックマーク心の計算理論 - Wikipedia心の計算理論（英: Computational theory of mind）は、心の哲学において、人間の心をデジタルコンピュータと同一またはよく似た情報処理システムとみなす考え方である。言い換えれば、思考とは自己再構成可能なハードウェア（脳）が行っている一種の計算である、とする。認知心理学では一般的な見方であり、進化心理学...ja.wikipedia.org
6ブックマークNão Aqui! » exp(x)の高速計算 ～理論編～ロジスティック回帰やCRFなどの対数線形モデルの学習でよく出てくるのが，expの計算です．これをSSE2を使って高速化するのが，今回のテーマです．まずは，背景の理論を説明します． まず，指数関数を２の指数関数に変換することを考えます（なぜ２の指数関数かはいずれ分かります）． 両辺の自然対数をとり，について解...www.chokkan.org
6ブックマークAmazon.co.jp: 計算理論の基礎 [原著第2版] 2.計算可能性の理論: Michael Sipser (著), 太田和夫 (翻訳), 田中圭介 (翻訳), 阿部正幸 (翻訳), 植田広樹 (翻訳), 藤岡淳 (翻訳), 渡辺治 (翻訳): 本www.amazon.co.jp

関連ブログ

「大人の教養・知識・気付き」を伸ばすブログ•2年前

計算理論（その02/X）

はじめに Introduction to the Theory of Computation作者:Sipser, MichaelCourse Technology IncAmazon を参照しつつ計算理論を学んでいきます。 前回 power-of-awareness.com はじめに 前回 1. 正規言語 1.1 有限オートマトン 1.1.1 有限オートマトンの定義 1.1.2 計算の定義 次回 1. 正規言語 計算理論はまず「コンピュータとは何か」という問いから始まる。手許にあるノートPCなどのパソコンはコンピュータとしてはあまりに複雑すぎるため、理論的には計算モデル()という理想的なコンピ…

#計算理論
「大人の教養・知識・気付き」を伸ばすブログ•2年前

計算理論（目次）

はじめに Introduction to the Theory of Computation作者:Sipser, MichaelCourse Technology IncAmazon を参照しつつ計算理論を学んでいきます。 はじめに 1. 準備：述語、言語、文字、ブール代数など 2. 有限オートマトンの導入 3. 有限オートマトンの設計 4. 非決定的有限オートマトン 1. 準備：述語、言語、文字、ブール代数など power-of-awareness.com 2. 有限オートマトンの導入 power-of-awareness.com 3. 有限オートマトンの設計 power-of-awaren…

#計算理論
「大人の教養・知識・気付き」を伸ばすブログ•2年前

計算理論（その01/X）

はじめに Introduction to the Theory of Computation作者:Sipser, MichaelCourse Technology IncAmazon を参照しつつ計算理論を学んでいきます。 はじめに 0. 序章 0.1 オートマトン、計算可能性および複雑性 0.2 数学的用法 0.2.1 タプル 0.2.2 述語 0.2.3 グラフ 0.3 文字列(string)と言語 0.4 ブール代数 次回 0. 序章 0.1 オートマトン、計算可能性および複雑性 本書は「オートマトン、計算可能性および複雑性」を扱う。これらは以下の問いに結びついている： コンピュータの根…

#計算理論
takashina tokiosa•2日前

グーゴロジストのためのBuchholz's ψの周辺知識

（執筆中） Buchholz’s ψの周辺知識を備忘録的にまとめておく。 筆者は数学を専攻していないので、鵜呑みにはしないでほしい。 1.巨大数論的文脈 巨大数論においては、Buchholz's ψ・Buchlolz's hydra・ペア数列・段階配列表記は同じくらいに急増大する関数を与えることが知られている。 ペア数列は2行のバシク行列であって、非常に重要な位置を占めている。 段階配列表記は横ネスト段階配列表記へとつながるmrna(伝)氏による一連の研究の足掛かりとなっている。 また、EBO(拡張Buchholz Ordinal)やψ系表記の元になっているともいえる。 よって、多くのグーゴロ…

venet’s blog•2ヶ月前

Page04　防御0パーティのギミック解説

防御0パーティについて 9月30日に公開されたこのパーティについてギミック自体を解説します。 今更で上位ギルドはみんな知ってると思いますが、高防御力高持続耐性の相手にも安定した火力を出せるパーティ貼ります。画像の3人＋火力2枚orタンク1火力1の編成です。必須なのはスギナの個性3のみ。その他は火力を上げるうえで出来る限り解放。#トワキズ pic.twitter.com/hR7TifgBdw — らせみ (@Racemic_LuLu) 2024年9月30日 画像の3人とは 黄色スギナ 紫ブラゴ 赤ティオ を指します 前置き 前置きなんて普段書いてませんが、今回は… このギミックは当初ロボガルク対…

fenfenkunの日記•2ヶ月前

スティーブン・ウルフラムの時間の概念

https://writings.stephenwolfram.com/2024/10/on-the-nature-of-time/ body { font-family: Arial, sans-serif; line-height: 1.6; background-color: #f9f9f9; color: #333; } h1, h2, h3 { color: #0056b3; } section { margin-bottom: 20px; padding: 15px; background-color: #fff; border-radius: 8px; box-shadow: 0…

文系から見る数学の魅力•2ヶ月前

数学とノーベル賞

10月といえばノーベル賞の時期ですね。2024年は10/7～10/14の期間に、生理学・医学賞を先頭に、人類に対して大きな恩恵をもたらした人物に賞が与えられます。ノーベル賞の対象は、物理学・化学・生理学・医学・文学・平和および経済学の「5分野+1分野」です。というわけで、今回はノーベル賞にちなんで、数学界の栄誉ある賞をご紹介します。

文系から見る数学の魅力•3ヶ月前

数学にはどんな分野が存在するの？

数学の研究分野って、たくさんありますよね。三角関数や円グラフ、二次方程式や行列…学生時代にいろいろなテーマの勉強をしましたが、縦のつながりや横のつながりがつかみにくく、何のために勉強しているのか、これを覚えれば何に役立つのかがわからなかったものです。 そこで今回は数学の分野を大まかに分けてみました。各分野がどのようなことを研究しているのか把握できれば、数学界を俯瞰できます。「なるほどー、こういう研究が数学の一部を形成しているんだ」とわかれば、数学に対する理解が少し深まるはず…！

あしたメディア by BIGLOBE•3ヶ月前

川添愛 × 品田遊 対談前編 | ここまで、AIとどう付き合ってきた？

2024年、人工知能（以下、AI）は市民権を得たと言っても過言ではない。でも「仕事を取られそうでちょっと怖い」「どう使っていいかよくわからない」という声もあるだろう。 そんなイメージに逡巡しているうちに、AIは瞬く間に日常生活に広がっている。私たちは、 AIとの関わりを、どのように捉えたらいいのだろうか。 今回は、AIをテーマにした作品を独自のユーモアで展開する作家・品田遊さんと、AIについて言語の観点から紐解く言語学者・川添愛さんをお招きし、AIをどう認識し、どのように関わっているのか、聞いてみることにした。 実は会うのは初めてだというおふたり。前編は、両者のこれまでのAIとの関わりを紐解き…

研究職ピレン、記します•3ヶ月前

HOMO（最高被占軌道）とLUMO（最低空軌道）のエネルギー準位の実測値

HOMO（最高被占軌道）とLUMO（最低空軌道）のエネルギー準位の実測値を得るためには、いくつかの高度な分光技術や電気化学的手法が利用される。これらの手法は、それぞれ特定の利点と制約を持ち、対象とする分子や材料の性質に応じて使い分けられる。以下に、主要な測定手法について詳述する。 光電子分光法 (Photoelectron Spectroscopy, PES) HOMOのエネルギー準位を測定するために広く用いられる手法の一つが光電子分光法である。この手法は、試料に高エネルギーの光を照射し、放出される電子の運動エネルギーを測定することにより、電子が元々占有していた軌道のエネルギーを直接決定する方…

「好き」をブチ抜く•4ヶ月前

量子力学・量子計算を学びたい【おすすめ本紹介】読み物から専門書まで

記事の内容 この記事では量子力学、量子計算を楽しむための本を紹介します。 一般向けの読み物から専門書まで、学びになるものをまとめています。 量子力学、本当に面白いテーマですよね。 世界の根底に関わる科学であるとともに、哲学的な解釈・考察も付随します。とくに、局所実在論が崩れる、という衝撃的な帰結がやばい。これは文系、哲学好きにとっても、無視できない真理だと思います。 さらに、量子コンピュータという応用の進歩も気になりますよね。 それでは目次をどうぞ。 記事の内容 量子力学読み物 「量子論」を楽しむ本 佐藤勝彦 量子とはなんだろう 松浦壮 量子の世界をみる方法 「スピン」とは何か 量子論はなぜわ…

three million cheers.•4ヶ月前

ティム・クレイン “心は機械で作れるか”

“The Mechanical Mind: A Philosophical Introduction to Minds, Machines and Mental Representation, Third Edition” 2016 Tim Crane ISBN:432610340X 心は機械で作れるか ［原著第3版］作者:ティム・クレイン勁草書房Amazon 原著副題は「心、機械、心的表象への哲学入門」というもので、心的表象に関する哲学的な問題を分析哲学の視点で整理している本。 主張としての大きなポイントは、 世界が何らかの因果的秩序に従っているという前提に立つなら、心も因果的秩序の中に含ま…

いえのなかの記録•5ヶ月前

オートマトンをチラ見する

夫が長男を連れて義実家に遊びに行ってくれたので、わたしは次男と家でお留守番した。最近すこしトトロ寝が好きになってきた次男と気をつけながらトトロ昼寝。クーラーで冷えた部屋であったか〜い次男を湯たんぽにうつらうつらした。 合間に通信制大学の授業の動画を視聴。計算理論とオートマトン、何やってるかさっぱりだけどやらないと進まないのでさーっと流し見する。これまでの経験から、こういうのはとりあえず出された課題や小テストをこなしながら理解していくのがよいと思っている。 夕方、次男をだっこして犬の散歩。妊娠中から挨拶していたビーグルをつれたおばさんに次男の顔を見せれて満足。

サバワク | サーバーワークスのオープン社内報•5ヶ月前

【先輩社員インタビュー院卒編 #4】物事を組み立てる根本に携わり、お客様に価値発揮したい｜2022年入社　笹木 さん

こんにちは！新卒採用担当の菊池です。 この記事では、「大学院を卒業後にサーバーワークスへ入社した社員」にフォーカスした社員インタビューを発信していきます。 大学院でさまざまな研究をしてきた人がなぜITを志望してサーバーワークスに入社をしたか？就活はどのように進めたのか？など 学生のみなさんの参考になるような内容をお伝えできたらと思います。 第4回目の今回は、2022年入社、カスタマーサクセス部の笹木さんにお話しを聞きました。 学生時代 就職活動 現在の仕事 さいごに 学生時代 ー まずは学生時代についてお聞きしたいです。大学院でどんな研究をしていましたか？ 大学院では 数学（数理論理学・計算可…

気になること•6ヶ月前

AIの歴史：人類の夢から現実への道のり

人工知能（AI）は、かつては科学フィクションの中だけの存在でしたが、今や日常生活や産業に深く浸透しています。本記事では、AIの歴史を振り返り、その進化と未来への展望を探ります。 1. 初期のAIの概念 古代のオートマタと哲学 AIの歴史は、古代の神話や哲学にまで遡ります。古代ギリシャでは、神々が自ら動く機械（オートマタ）を作り出したという伝説が存在しました。また、アリストテレスは論理と推論の基礎を築き、これが後のAI研究に大きな影響を与えました。 20世紀初頭の理論的基盤 20世紀初頭には、AIの理論的基盤が形成され始めました。1920年代には、アルフレッド・ホワイトヘッドとバートランド・ラッ…

Japanese Translation of EVOLUTION NEWS & SCIENCE TODAY•6ヶ月前

シャノン情報とコルモゴロフ情報

This is the Japanese translation of this site. ウィリアム・A・デムスキー 2024/2/28 6:56 私の著書『Design Inference』の初版とその続編『No Free Lunch』では、特定された複雑性の正確な情報理論的測度を定義するための舞台を整えました。これがこの連載の主題です。しかし、この概念を明確にするためには、まだ行うべきことがありました。これらの2冊の本では両方とも、特定された複雑性は、一方の側に起こりにくさあるいは複雑性があり、他方の側には特定性があって、それらを組み合わせたものとして扱われていました。