るびま
『るびま』は、Ruby に関する技術記事はもちろんのこと、Rubyist へのインタビューやエッセイ、その他をお届けするウェブ雑誌です。 Rubyist Magazine について 『Rubyist Magazine』、略して『るびま』は、日本 Ruby の会の有志による Rubyist の Rubyist による、Rubyist とそうでない人のためのウェブ雑誌です。 最新号 Rubyist Magazine 0058 号 バックナンバー Rubyist Magazine 0058 号 RubyKaigi 2018 直前特集号 Rubyist Magazine 0057 号 RubyKaigi 2017 直前特集号 Rubyist Magazine 0056 号 Rubyist Magazine 0055 号 Rubyist Magazine 0054 号 東京 Ruby 会議 11 直
【コラム】コンピュータアーキテクチャの話 (108) チューリングマシン | エンタープライズ | マイコミジャーナル
Difference Engineは機械式の加算機であったが、より一般的に、機械的な計算手順でどのような問題が解きうるのかという研究がなされ、1936年に、Alan Turing氏は、計算する機械のモデルとして次のような概念的な機構を考えた。 無限に長いテープがあり、それに書かれたデータを読んだり、新しい値を書き込んだりするヘッドがある。そして、ヘッドから読まれた"1/0"に応じて状態遷移を行う有限のステートマシン(現在の状態とヘッドからの入力の"1/0"に応じて次の状態が定義されており、状態の数が有限の回路)があり、その状態に応じて、ヘッドを1ビット分、右や左に動かし、データを読んだり書いたりする。そして、最終状態と定義した状態に辿り着いたら、問題に対する答えがテープ上に書かれているという機械である。 Stanford Encyclopedia of Philosophyに書かれている足
turing
情報科学を学ぶ方は、沢山いると思います。 しかし、情報科学の分野はとても広範囲です。 一口に情報科学といっても、その奥深さは下の図のように 多岐にわたっています。 チューリング機械はアルゴリズムの善し悪しを判定するもので、情報科学の中でも 学ぶべき重要性があります。 そこで私はチューリング機械について、解説するソフトを作成できないかと考えました。 本ソフトでチューリング機械について理解して、情報科学に興味を持ってほしいです。
Finite State Machines in Forth - Noble
Formatted 17 April 1995. Revised 25 May 1995 Revised 11 June 1995 Finite State Machines in Forth J.V. Noble Institute for Nuclear and Particle Physics University of Virginia Charlottesville, Virginia 22901 Abstract This note provides methods for constructing deterministic and nondeterministic finite state automata in Forth. The "best" method produces a one-to-one relation between the definition an
Regular Expression Matching Can Be Simple And Fast
Regular Expression Matching Can Be Simple And Fast (but is slow in Java, Perl, PHP, Python, Ruby, ...) Russ Cox rsc@swtch.com January 2007 Introduction This is a tale of two approaches to regular expression matching. One of them is in widespread use in the standard interpreters for many languages, including Perl. The other is used only in a few places, notably most implementations of awk and grep.
古くて新しい状態遷移 - ニコニコＣ＋＋入門
状態遷移表 ステートチャート図(UML) 入れ子をどんどん深くしていけばもっと複雑な状態も表せるのですが、あまり深くなりすぎるようならオブジェクトが大きすぎるのかもしれません。 図表を作成することで、各状態における処理を洗い出すことができることが解ったと思います。ところがいざこれをコーディングしようとすると、意外にもなかなか難しいのです。 複数の状態を管理してイベント発生時に適切な関数を呼び出すように管理するために、ややこしいフレームワークを書いて、関数テーブルを作成しなければなりません。こうした手間を軽減するためにCASEツールを用いる方法もあります。状態遷移に対応したCASEツールならば、状態やイベントの追加も簡単ですし、どの状態のどのイベントがテストされていないといったような情報を集めることもできます。 ところで状態遷移とオブジェクト指向の関連性はどうなっているのでしょうか？ オブジ
ラムダ計算ＡＢＣ
仙台ロジック倶楽部 ラムダ計算ＡＢＣ 数学セミナー９２年８月号より Ａ. ラムダ計算とは 今から６０年程前、プリンストン大学の若手論理学者Ａ．チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数は λx.x^2 と表します。従来の"f(x)"という書き方は、それが関数を表すのか、関数のxにおける値を表すのかが曖昧なので、ラムダ記法では、関数fのxにおける値をfxで示し、xにおける値がf(x)となる関数fをλx.f(x)と表すのです。 "f(x)"という表記法の欠陥は、高校の数学までではほとんど表面化しませんが、大学に入ってから定義域や値域が関数の集合になるような高階関数（オペレータとか作用素とも呼びます）を扱いだすとすぐわかります。作用素などというとひどく特殊なもののようですが、関数f(x)にその導関数f'(x)を対応させる微分演算子Ｄ
第１８章 状態遷移図
Windows の「アクセサリ」に提供されている「電卓」を呼び出してみましょう。 最初に「１」クリックすると、 「0.」の表示が「1.」に置き換わります。 その後「１」をクリックすると、小数点のすぐ左にに「1」が付け加えられるます。 この後何回「１」をクリックしても、「1」が追加される状態が続きます。 ここで「＋」をクリックしても表示は変わりませんが、この後「１」をクリックすると、 表示がクリアされ右端に「1.」が表示されます。 同じ「１」のキーを押しても、反応が異なる場合があるのです。 状態遷移図はシステムを 「 内部の状態が異なるので反応が異なる 」 ととらえ図式化します。 入力と出力を対比して考える必要がある自動機械（自動販売機、券売機、ロボットなど）や 通信プロトコルなどを、分析したり設計（表現）したりするのに用いられます。 Windows XP の 電卓
Katz's Site
文字が小さくて見づらいとお感じの方へ ブラウザのメニューを操作して 文字のサイズを大きめに設定してください。 そうしても問題無く表示できるように作成しております。 更新は、現在、月に1回あるかどうか。 遅いです… このサイトはとにかく軽い事を目指しております。 そのため絵などは極力貼らないようにしています。 これは決して本人の絵心の無さを暴露しない為の措置ではありません(^_^;) 背景色も黒にしてなるべく目に優しいページを目指しました。 見栄えの良さ （派手さ?） との兼ね合いもあり、 なかなかうまくいっていないのですが…。 その為に独特の雰囲気になってしまった感があります。 全体的に何となく怪しい印象になってしまいました。 中身は決して怪しくありません。 御検分の上、是非足跡を残して下さい。 励みになります。 小難しいお話を一席。 このページはXHTML適合文書です。 サイトタイトルや
Katz's Site - 算譜入門: オートマトンの基礎
以上のような図や表によって象徴される、 状態とその間の遷移が定義された構造を 「状態機械」 と呼ぶ。 各々の状態の意味は考えない。 全く考えないのかといえばそうでもないのだが、 少なくとも理論上は状態として何を持ってきても構わない。 健康状態のように明らかな意味を持つモノを状態とする事もある。 何が何だかさっぱりわからないモノを状態とする事もある。 スゴロクの桝目のようなモノは後者の例と言えよう。 問題を解く為に最も便利なモノを状態として定義すればよい。 少し変わった状態機械の使用例： 虎と羊を連れた人が野菜を運んでいた。 ある所で川を渡る必要が生じた。 舟が一艘あったがとても小さい。 その人が乗るとあとは虎か羊か野菜の内のいずれか一つしか乗せられない。 しかし人が居ない所で虎と羊を一緒にすると虎は羊を食べてしまう。 同様に人が居ないと羊は野菜を食べてしま
Katz's Site - 算譜入門: オートマトンの基礎
以上のような図や表によって象徴される、 状態とその間の遷移が定義された構造を 「状態機械」 と呼ぶ。 各々の状態の意味は考えない。 全く考えないのかといえばそうでもないのだが、 少なくとも理論上は状態として何を持ってきても構わない。 健康状態のように明らかな意味を持つモノを状態とする事もある。 何が何だかさっぱりわからないモノを状態とする事もある。 スゴロクの桝目のようなモノは後者の例と言えよう。 問題を解く為に最も便利なモノを状態として定義すればよい。 少し変わった状態機械の使用例： 虎と羊を連れた人が野菜を運んでいた。 ある所で川を渡る必要が生じた。 舟が一艘あったがとても小さい。 その人が乗るとあとは虎か羊か野菜の内のいずれか一つしか乗せられない。 しかし人が居ない所で虎と羊を一緒にすると虎は羊を食べてしまう。 同様に人が居ないと羊は野菜を食べてしま
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
MINAWA.NET
Visual Turing Machine
IBM JavaScript での有限状態マシン 第 2 回: ウィジェットを実装する - Japan
オートマトン・形式言語及び演習
http://www.adachi.ne.jp/users/katz/index.html
http://bw-www.ie.u-ryukyu.ac.jp/~wada/digcir03/state.html
20030028
状態説明
NameBright - Coming Soon