ruby-list

キムと申します。オーム社から出版されている書籍、"Rubyアプリケーションプログラミング"のP267~275に掲載されている伝言サーバー＆クライアントの利用の仕方がわかりません。質問を要約すると次の2点です。１、サーバーが正常に起動されているかどうかわからない。２、書き込みクライアントで入力をサーバーに送信する方法がわからない。

8 messages 2008/02/24

[#44692] Re: ”Rubyアプリケーションプログラミング”の伝言サーバの使い方 — shun262 <shun262@...> 2008/02/24

shunirrです。

[#44693] Re: ”Rubyアプリケーションプログラミング”の伝言サーバの使い方 — "Yangkook Kim" <yangkookkim@...> 2008/02/24

shunirrさん, アドバイスありがとうございました。

[#44694] Re: ”Rubyアプリケーションプログラミング”の伝言サーバの使い方 — Kazuhiro NISHIYAMA <zn@...> 2008/02/24

西山和広です。

[#44695] Re: ”Rubyアプリケーションプログラミング”の伝言サーバの使い方 — "Yangkook Kim" <yangkookkim@...> 2008/02/24

西山さん、アドバイスありがとうございます。

[#44696] Re: ”Rubyアプリケーションプログラミング”の伝言サーバの使い方 — Hidetoshi NAGAI <nagai@...> 2008/02/24

永井@知能．九工大です．

[#44697] Re: ”Rubyアプリケーションプログラミング”の伝言サーバの使い方 — Hidetoshi NAGAI <nagai@...> 2008/02/24

永井@知能．九工大です．

[#44698] Re: ”Rubyアプリケーションプログラミング”の伝言サーバの使い方 — "Yangkook Kim" <yangkookkim@...> 2008/02/24

永井さん、お返事ありがとうございます。

[#44699] 北海道にあるチョロQを東京からWebブラウザで操縦する方法 on Rails — akio0911@...

akioと申します。

3 messages 2008/02/25

[#44702] Re: 北海道にあるチョロQを東京からWebブラウザで操縦する方法 on Rails — kotobuki@... 2008/02/25

akioさん

[#44707] Re: 北海道にあるチョロQを東京からWebブラウザで操縦する方法 on Rails — akio0911@... 2008/02/28

akioです。

[#44704] Ruby1.9.0でのインタプリタ組み込みについての質問 — Masayuki Yamaguchi <Yamaguchi.Masayuki@...>

はじめまして、山口と申します。

1 message 2008/02/27

[#44708] 日本Ruby会議2008でのコミュニティイベント募集 — Tomohiko Miura <miura@...>

みなさん、こんにちは。

1 message 2008/02/28

[ruby-list:44671] Re: Ruby で形式手法

From: Soutaro Matsumoto <matsumoto@...>

Date: 2008-02-20 10:07:10 UTC

List: ruby-list #44671

松本宗太郎といいます。

> Ruby の仕様の中に、なんらかの形で、
> 形式手法を盛り込むことは可能なのでしょうか？

Ruby 言語自体の仕様、という話なら、個人的には切望しています。そのうち書
くかも。IronRuby は、一度フォーマルな仕様を実装をモトに書き下ろし、その
仕様をモトに実装した、という話だそうですから、あるところにはあるのかもし
れません。

> CafeOBJ 的なことができると面白いような気がします。

CafeOBJ 的というのがいまいち理解できていないのですが、「Ruby で書かれた
プログラムを形式的に検証したい」ということだと仮定します。

まず Ruby 自体の形式的な仕様が必要です。Ruby がどういう言語なのかを規定
できないかぎり、Ruby プログラムの動作を規定することができませんから。

まつもとさんが「なじまない」とフォローされてるのがどういう意味かはわかり
ませんが、そもそも上述の理由で不可能ですし、形式的な検証にはものすごくコ
ストが必要なので、検証を前提にするなら Ruby を採用する理由自体がなくなり
そうな気がします。

（形式的なソフトウェア検証というのは「C言語で書かれた KMP 法のプログラム
を検証しました」といった話で、学部の卒論くらいにはなるくらいのレベルです。）

（一方で、完璧な検証は不可能にしても、例えば型検査のような簡単な検査を行
うことには、見込みはあると考えています。いずれにせよ、Ruby 自体の仕様が
必要ですが。）

-- 
Soutaro Matsumoto

Thread

Prev Next

In This Thread

Prev Next

[#44553] include — Masatoshi SEKI <m_seki@...>

[#44556] 日本Ruby会議2008コミュニティブース募集のご案内 — Tomohiko Miura <miura@...>

[#44558] [ANN]Miyako v.1.4.6リリース — cyross@...

[#44559] [ANN] Ruby-GetText-Package-1.90.0 — Masao Mutoh <mutoh@...>

[#44561] Rails勉強会@東北第8回のお知らせ — 片平 裕市 <yuichi_katahira@...>

[#44562] [Q] el4r に対して(デフォールト以外の)スクリプトの位置を指定する方法 — "ITSUMI ken-ichi" <itsumi.ml@...>

[#44564] Rails以外のフレームワーク — "ARAI Shunichi" <arai@...>

[#44568] Q: 動的デバッグ方法 — "morita" <m-morita@...>

[#44577] [ANN]第23回 Ruby/Rails勉強会＠関西（運営：Ruby 関西） — "よしだあつし" <rudeboyjet@...>

[#44578] Ruby初心者が作りました — Kabu and Ruby管理人 <kabu_and_ruby@...>

[#44582] [ANN] Rails勉強会@東京 第27回のお知らせ — "MOROHASHI Kyosuke" <moronatural@...>

[#44584] [ANN] 第2回 RHGの逆襲のお知らせ — Yugui <yugui@...>

[#44597] [CFP] RubyKaigi2008のプレゼンテーション募集 — SASADA Koichi <ko1@...>

[#44600] HP-UX 11.23 ia64の拡張ライブラリビルドでなぜ -R'RPATHFLAG'がつくの？ — Koga Atsushi <kog@...>

[#44601] Benchmark ライブラリ — "5.5" <5.5@...>

[#44602] アーティストのニュースを自動取得 — sora <sora.hs@...>

[#44605] Cygwin 版 Ruby 1.9.0 は？ — "Hideo Konami" <konami@...>

[#44608] Pathname で拡張子を変更する — "5.5" <5.5@...>

[#44613] RoRで、印刷帳票を作成するには？ — "Tomiyama" <m-tomiyama@...>

[#44615] 勉強会資料 — "Hideo Konami" <konami@...>

[#44622] CGIからCのプログラムを実行する — jtjrb049@...

[#44623] CGIからCのプログラムを実行する <再送 — jtjrb049@...

[#44627] warningをエラー扱いする方法について、他 — yoshimi <kazuya.yoshimi@...>

[#44651] [ANN] Decimal 0.0 released — Tadashi Saito <shiba@...2.accsnet.ne.jp>

[#44656] 書籍「オブジェクト指向スクリプト言語 Ruby」 — togawa manabu <togawamanabu@...>

[#44662] Net::HTTP について — 大道 裕 <daidou@...2.so-net.ne.jp>

[#44664] Ruby で形式手法 — "tadashi nagao" <tadashi.nagao@...>

[#44673] RDoc,RDフォーマットの公式文書はどこにあるのでしょうか — konishih@...6.so-net.ne.jp

[#44679] Hash#<< — "ARAI Shunichi" <arai@...>

[#44687] [ANN]Ruby勉強会@新潟 第2回のお知らせ — "Masatoshi Itagaki" <masatoshi@...>

[#44689] 日本Ruby会議2007の動画公開 — Tomohiko Miura <miura@...>

[#44691] ”Rubyアプリケーションプログラミング”の伝言サーバの使い方 — "Yangkook Kim" <yangkookkim@...>

[#44699] 北海道にあるチョロQを東京からWebブラウザで操縦する方法 on Rails — akio0911@...

[#44704] Ruby1.9.0でのインタプリタ組み込みについての質問 — Masayuki Yamaguchi <Yamaguchi.Masayuki@...>

[#44708] 日本Ruby会議2008でのコミュニティイベント募集 — Tomohiko Miura <miura@...>

[ruby-list:44671] Re: Ruby で形式手法

Thread

In This Thread

[#44561] Rails勉強会@東北第8回のお知らせ — 片平裕市 <yuichi_katahira@...>

[#44582] [ANN] Rails勉強会@東京第27回のお知らせ — "MOROHASHI Kyosuke" <moronatural@...>

[#44623] CGIからCのプログラムを実行する　<再送 — jtjrb049@...

[#44662] Net::HTTP について — 大道裕 <daidou@...2.so-net.ne.jp>

[#44687] [ANN]Ruby勉強会@新潟　第2回のお知らせ — "Masatoshi Itagaki" <masatoshi@...>