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
Ruby for Science
Ruby for Scientific Computing Rubyで科学計算する例の紹介です。事例追加をお待ちしています。 カテゴリは後で調整するかもしれません。-masa *1 *2 *3 *4 *5 Ruby科学計算関連総合 SciRuby - Since June 2005, by Ara T. Howard. るびま0006 Ruby Library Report [第5回] 数値計算と可視化 - 著者： 堀之内 武 各分野での利用 Mathmatics - 数学 Algebra - 計算代数 Polynominal - by 児玉さん Algebra - by 原さん - 多変数多項式環のグレブナ−基底の実装。 Ruby Mathematica - MathematicaへのRubyインタフェース。 「プログラミングのための線形代数」 - 平岡和幸著 Earth Science
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
プログラマのための「ゲーデルの不完全性定理」(1) - 檜山正幸のキマイラ飼育記 (はてなBlog)
「プログラマのためのJavaScript」の番外シリーズ -- いやっ、ホントに。 これはシリーズのハブエントリーです。番号を（0じゃなくて）1にしたのは、全体目次だけじゃなくて内容が含まれるから。 ※ 印刷時にはサイドバーは消えるはずです、お試しください。 シリーズ全体目次（予定） （この記事；総論） 速攻速習編 自己適用からゲーデル化へ 「展望」への緊急パッチ（オハナシだよ） Reflective JavaScript 停止問題の構造 不完全性定理の構造 今回の内容： ゲーデルの不完全性定理とプログラミング ゲーデルが示したこと 不完全性定理の兄弟 -- 停止問題 JavaScript使うんだもんね 関連する記事（参考） 次の記事 速攻速習編 ●ゲーデルの不完全性定理とプログラミング 「ゲーデル」（人名；Kurt Godel、'o'の上に点々が付いてる）や彼の「不完全性定理」とかって、
Structure and Interpretation of Classical Mechanics
Looking for Scheme? The Scheme system, augmented with the Scmutils library, is free software. The system is provided, complete with documentation and source code, in a form that can be used with the GNU/Linux operating system, on the Internet at http://www-swiss.ai.mit.edu/~gjs/6946/linux-install.htm.
精度保証付き数値計算入門
講義の概要 精度保証付き数値計算の基礎になる区間演算は九大の須永教授の発明である． また，精度保証付き数値計算という日本語は山本哲朗先生の発案である． 精度保証付き数値計算の研究はこの１０年間に大きく発展し，実用段階に発展し た．これは，本来，数値計算はその精度が保証されたものでなければならないという 必然性からも大変重要なことである． 本講義では，精度保証付き数値計算の理論と実際のプログラミングについて 基礎から第一線まで丁寧に解説を加える． 特に，精度保証付き数値計算は実際に計算してみてこそ，その偉力を感じること ができると思われるので，Scilabという数値計算言語を利用して，簡単に，しか し実用的な計算ができることを明らかにする． 最終的には，積分方程式などの関数方程式の解の計算機援用存在証明まで実際に 行ってみることを目標とする． Scilabのインストール Scilabは誰
Mathematical Information Technology
本サイトについて アルゴリズムとデータ構造 平方根 開平方のアルゴリズム 平方根のアルゴリズム 初期値の改良による平方根計算の高速化 ソート 基本ソート 基本ソートの改良 高速なソート 高速なソートの改良 その他のソート ソートの様々な比較規則 クイックソート、マージソートのマルチスレッド化 SortApplet 数値の0埋め ヒープ 直接挿入法 連結リスト 数列の和 εアルゴリズムによる級数計算 オイラーの変換による交代級数の加速 数学 素数 素数 試行除算による素数判定 フェルマーテストによる素数判定 素数定理について Javaによる素数の判定 Javaでの平方根計算アルゴリズムの改良による素数判定の高速化 一ケタの素数の倍数を取り除くことによる素数判定の高速化 データ構造の変更による繰り返しの高速化 素数に関する情報源 ソフトウェア開発 LSI C-86 Ver. 3.30c 試食版
Linux で科学しよう！
「Linux にはアプリケーションが少ない」とお嘆きのあなた、 そんなことはありません。 もともと Unix には科学・工学用のフリーなアプリケーションが豊富にあります。 しかし、ソースのみで配布されているものも多く、インストールに苦労することもあるようです。 ここでは、メディアラボ が厳選した興味あるアプリケーションを、 LinuxMLD 7、 MLD 6 および MLD 5 用の RPM パッケージを用意して御紹介します (一部のパッケージは LinuxMLD 7 対応は作業中です)。 アプリケーションの機能紹介だけでなく、使い始め方、「はじめの一歩」を解説しています。 ご注意： 御紹介しているアプリケーションはすべて Linux あるいは Unix 用です。Microsoft Windows 用ではありません。 ただしアプリケーションによっては Windows 版や Macintos
計算的な深さと脳
ニューロンが入力を受けてからスパイクを出すまでは早くとも数ミリ秒かかる。人間が反応するまでの時間は零点何秒かだから、入力と出力の間には最大に見積もっても数十段のニューロンが介在するだけである。（実際はもっと段数が低いだろう。） 一方コンピュータの方は現在のネズミ以下の判別能力しかないような画像認識をするにあたってさえ数千万サイクルの計算を行わなくてはならない。 だから、脳が物凄い並列計算をやっているに違い無い。ここまでは普通の話ね。 で、問題は「じゃ、物凄い並列な機械をつくったら脳の能力を再現できるのかよ」ということ。もちろん誰も答えをしらない。どんなアルゴリズムを使えば良いか分からないし。 人によっては絶望して「新しい物理法則を」とか「量子論的並列性」とか、「魂」とかに行っちゃう。 で、僕も答えは持って無いけど、この問題を考えるにあたって以下の「計算的大きさ」と「計算的深さ」の概念を
Scilab入門記 - CRS Wiki
はじめに SCILAB、SCICOSをいじってみて、分かったことなどを適当に書いていこうと思っています。まぁ、慣れたらロボットの制御系設計なんかもやってみたいとか思ってます。 また、このページは勉強も兼ねて授業で使う"MATLABによる制御理論の基礎 (野波健蔵 西村秀和)"と、"線形ロバスト制御(劉 康志)"という本に沿って進めていきます。今年こそは単位取れますように。 ↑ Scilabとは？ Scilabとは、フランスのINRIAという国立機関が作成したフリーでオープンソースの数値計算ソフトです。ライセンスは独自ライセンスのようです。用途は主に制御、信号処理です。MATLABみたいなソフトだと思ってください。また、C、Fortranなどへのインターフェイスとかもあるみたいです。似たようなソフトとして、他にMATLABとそっくりなOctave、国産のMATXなんていうのもあります 具
IMAKOV's WORLD
imakov's worldはフレームを用いています。また、IEを 推奨します。mozillaで見るとフォントサイズがおかし くなったりします。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Wikibooks
http://grape.c.u-tokyo.ac.jp/~makino/kougi/system_suuri4_1998/all/all.html
http://homepage.mac.com/persquare/index2.html
Octave基礎
http://atmori.info/engineer/index.htm
SCILAB 日本語ページ
技術計算用Ｃプログラム ソース