sasanqua_neuf - チューリング完全性 -
本稿では，sasanqua_neufのチューリング完全性を証明します．具体的には，チューリングマシンのエミュレータを構成することでチューリング完全性を示します． 概要 sasanqua_neufのテープTをチューリングマシンのテープと「概ね」同一視し，チューリングマシンの状態をCの値によって「概ね」表現します．C言語風にエミュレータの概要を記すと，全体の構造としては int Cq=1; while(Cq != n+1){ switch(Cq){ case 1: //qの添え字が1 switch(T[H]){ //T[H]にσが格納されている case 1: //σの添え字が1 T[H] = [δ_2(q_1,σ_1)]; //T[H]をテープと同一視 H += [δ_3(q_1,σ_1)]; //ただしLeft=-1,Right=+1と見て while(T[H] == 0){getchar
これで解決！シリーズ - トップページ 超図解でわかりやすい大学数学 大学物理
偏微分の基礎 | 連鎖律・ヘッセの行列 | 線形計画法 | ラグランジュの未定乗数法 | Kuhn-Tuckerの条件 | ご注文方法 | お申し込み | profile | LS結合の基礎 | ナビエ・ストークスの方程式 | ベクトルポテンシャル ｜よくあるお問い合わせ ｜ トップページに戻る | 2004-2021 Isigas.inc. All rights reserved.
情報と通信のハイパーテキスト
Home 「情報と通信のハイパーテキスト」 は下記へ移動しました。 http://www.mnc.toho-u.ac.jp/v-lab/
小人さんの妄想
現代経済学の直観的方法まず、書籍の帯に書かれた次の一言に着目。 『私は３０年前にこの本のベースとなる論考に出会い大きな衝撃を受けた。』 そして、後書きの一文に着目。 『足かけ２０年の形で本書の書籍化に関わっていただいた・・・・』 つまり、この本のベースは何と３０年前から存在していたのです。 ３０年前から密かに出回っていた、言ってしまえばごく内輪向けのテキストが、 廃れることなく少しずつ加筆・修正を繰り返し、ついに公に書籍化されたというのがこの本なのです。 ・・・ちょっと異例の経緯だと思います。 考えてみてください。この３０年間、経済の世界でどれほどの激動があったことか。 その間、多少の修正はあれど、芯が全くブレていない。正直、それだけでも驚きです。 私がこの内輪向けのテキストを最初に読んだのは２００１年ごろ、１９年前になります。 そして、“布教活動”を開始したのが１０年前です。 rikun
理工系学生の遊歩道
こんばんは。最近家庭教師のアルバイトが始まりました。中学生と小学生の兄妹同時指導です。普通のテキストに加えて独自の「レポート課題」を出したりしています。たとえば「空はなぜ青いのか？」とかを調べてまとめるという趣旨のものですね。今日は中学生の男の子がつくってきたレポートを見たのですが、高校レベルの有機化学反応がまとめてあって中学生の水準を大きく越えていたので、私の中ではその子の評価は大きく高まりましたね。 さて、日常会話程度では英語が使えるようになり、買い物をしたり道案内をしたりするには、まあ大丈夫だろうというところには到達したように思います。一年、二年前の自分自身と比べればだいぶマシという感じで、ベルリッツでのレッスンは意味があったなというふうに思っています。 しかし、自分自身からどんどん喋っていけるようにはなっていません。ほとんどはリスナーになってしまうという場合で、質問ができても筋道立
CS 294-5, Spring 2006 : Great Algorithms
CS 294-5, Spring 2006 Great Algorithms Instructor: Richard Karp (karp AT cs, M 1:30-2:30, 621 Soda Hall, 642-5799) Lectures MW 10:30-12:00, 310 Soda Announcements Course Overview Lecture notes Assignments Announcements announcements go here.. Course Overview From time to time a new algorithm comes along that causes a sensation in theoretical computer science or in an area of application b
d.y.d.おもしろいみろん
13:33 08/06/29 RSS of kmonos/wlog moved! http://www.kmonos.net/wlog/index.rdf いや、移動したのは15ヶ月前なので、すでにご存じの方は華麗にスルーしてください。 「ここのRSSが文字化けしてるよー」という方だけ、↑に登録変更していただけると、 直るかと思います。お手数おかけしてスミマセン。定期的に「文字化けってる」という 指摘を見かけるので再度ブロードキャストです。こう、辛辣な評議会とかで怒られそうですけど、 諸般の事情により古い方からリダイレクトかけるの難しいらしいのだよね… それはそうと、昨日の記事に追記しました。 10:26 08/06/28 Logic ∩ CS 検索してたらたまたまヒットした "On the Unusual Effectiveness of Logic in Computer Scienc
サービス提供終了のお知らせ
日頃より、Momoたろうインターネットクラブをご愛顧いただきまして誠にありがとうございます。 「ホームページサービス」のサービス提供は2015年11月30日をもちまして終了させていただきました。 これまで長らくご利用いただき、誠にありがとうございました。 今後も、皆様によりよいサービスをご提供させていただけるよう、サービス品質向上に努めて参りますので、何卒、ご理解いただけますようお願 い申し上げます。 ＜Momoたろうインターネットクラブをご契約のお客様へ＞ 後継サービスとして「userwebサービス」を提供させていただいております。 詳しくは、以下のリンクをご参照ください。 ▼「userwebサービス」のご案内 http://www.ejworks.info/userhp/mmtr/index.html 今後ともMomoたろうインターネットクラブをご愛顧いただけますようお願い申し上げます
プログラマのための「ゲーデルの不完全性定理」(1) - 檜山正幸のキマイラ飼育記 (はてなBlog)
「プログラマのためのJavaScript」の番外シリーズ -- いやっ、ホントに。 これはシリーズのハブエントリーです。番号を（0じゃなくて）1にしたのは、全体目次だけじゃなくて内容が含まれるから。 ※ 印刷時にはサイドバーは消えるはずです、お試しください。 シリーズ全体目次（予定） （この記事；総論） 速攻速習編 自己適用からゲーデル化へ 「展望」への緊急パッチ（オハナシだよ） Reflective JavaScript 停止問題の構造 不完全性定理の構造 今回の内容： ゲーデルの不完全性定理とプログラミング ゲーデルが示したこと 不完全性定理の兄弟 -- 停止問題 JavaScript使うんだもんね 関連する記事（参考） 次の記事 速攻速習編 ●ゲーデルの不完全性定理とプログラミング 「ゲーデル」（人名；Kurt Godel、'o'の上に点々が付いてる）や彼の「不完全性定理」とかって、
確率微分方程式超入門 - 最尤日記
どうも世の中の確率微分方程式の入門はハイブロウすぎると思う。経済学のいくつかの講義ノートを見たけど、ボレル集合族とか確率空間とか伊藤積分とかはやりすぎ。そういうのは微分を学ぶのにいきなりε-δ論法から入門するみたいなものだ[1]。物理屋風の方法論なら以下のように簡単に伊藤の補題も導きだされる。きちんとしたのはその後でよい。 さて、確率微分方程式とは連続時間でランダムな擾乱を受ける系を記述する微分方程式である。 例えばブラウン運動を考えてみよう。ブラウン運動では粒子はランダムに動く。そして試行をくり返せばその統計集団は正規分布に従う。そして分布の標準偏差は時間tの時には √t に比例する。これがブラウン運動の基本的な性質である。 ブラウン運動を微視的に見れば、それぞれの微小時間Δtごとに大きさ b √Δtの正規分布に従う動きをしている。一般の微分方程式であればΔtのあいだの粒子の動きΔXは、
長沼伸一郎パスファインダー物理学チーム 本部
[MEETING] 毎月第三土曜日 東京杉並永福町にて例会を開催しています 2024年3月例会は16日15時30分～ 参加希望者はメールにてご連絡ください オンラインでの参加も可能です [NEWS・MEDIA] ・新刊情報 月刊Voice連載「『次』の歴史と人類の新軌道」に大幅加筆 世界史の構造的理解～現代の「見えない皇帝」と日本の武器～ 誤植訂正 ・ 30年のロングセラー 理系必携の不朽の名著 ｢物理数学の直観的方法 普及版｣ ブルーバックス版に掲載しなかった追加原稿はこちらから １：「対角化解法」で微分方程式を解く ２：臨界曲線の驚異 ・ 無形化された世界で、我々はどう戦うべきか。100年先の文明社会を見据えた渾身の大作 米中対立、その行く末は「トゥキュディデスの罠」か「コラプサー化」か ｢無形化世界の力学と戦略―理系からの解析は戦略と地政学をどう変えるか｣ 現在電子書籍版のみの発売に
HMM(Hidden Markov Model,隠れマルコフモデル)
HMMは、不確定な時系列のデータをモデル化するための有効な統計的 手法である[4]。HMMは、出力シンボルによって一意に状態遷移先が 決まらないという意味での非決定性確率有限オートマトンとして定義される。 出力シンボル系列が与えられても状態遷移系列は唯一に決まらない。観測でき るのはシンボル系列だけであることからhidden(隠れ）マルコフモデルと呼ば れる [60]。 HMMはパラメータとして状態遷移確率、シンボル出力確率、初期状態確率を持 つ。そして、シンボル出力確率の計算方法によって離散型HMMと連続分布型HMM に別れる。また、シンボル出力確率が状態で出力されるMooreマシンと状態遷 移で出力されるMealyマシンに分類できる。以下では、Mealyタイプの離散型 HMMについて述べる[60]。なお、MooreタイプとMealyタイプは相互 に変換可能である。
Bayesianって<br>どういう考え方なんだろう
*********** お知らせ *********** YukiWikiによるベイズ統計ファンサイト を開設しました。 このページ「Bayesianってどういう考え方なんだろう」は、 以上のファンサイトへ発展的解消いたします。 どうぞご贔屓に！ ********************************* ベイズ理論は、 普通の確率論とは一風異なる確率理論です。 この小文では、ベイズ理論の意味・意義について 私がこれまでに学び、考えたことについて整理を試みます。 とかく、＜宗教的信念＞のごとくに扱われがちのベイジアン思想ですが そのおかしいところ、よいところなど、基準を明確にして検証していけたら いいな、というのが目標です。 私自身勉強中の身なので定説と異なることを述べていたり、 明らかな間違いもあるかもしれません。 そのつもりでだまされ
Mathematical Information Technology
本サイトについて アルゴリズムとデータ構造 平方根 開平方のアルゴリズム 平方根のアルゴリズム 初期値の改良による平方根計算の高速化 ソート 基本ソート 基本ソートの改良 高速なソート 高速なソートの改良 その他のソート ソートの様々な比較規則 クイックソート、マージソートのマルチスレッド化 SortApplet 数値の0埋め ヒープ 直接挿入法 連結リスト 数列の和 εアルゴリズムによる級数計算 オイラーの変換による交代級数の加速 数学 素数 素数 試行除算による素数判定 フェルマーテストによる素数判定 素数定理について Javaによる素数の判定 Javaでの平方根計算アルゴリズムの改良による素数判定の高速化 一ケタの素数の倍数を取り除くことによる素数判定の高速化 データ構造の変更による繰り返しの高速化 素数に関する情報源 ソフトウェア開発 LSI C-86 Ver. 3.30c 試食版
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://homer.shinshu-u.ac.jp/caesyslab/Basic/Basic-index.html
http://grape.c.u-tokyo.ac.jp/~makino/kougi/system_suuri4_1998/all/all.html
サービス終了のお知らせ
http://nouki407.eng.agr.kyushu-u.ac.jp/text/1/1.2.1/1.2.1.htm
サービス終了のお知らせ
数理科学