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:44670] Re: Ruby で形式手法

From: "tadashi nagao" <tadashi.nagao@...>

Date: 2008-02-20 08:52:46 UTC

List: ruby-list #44670

長尾です。

早速のレスありがとうございます。

Ruby が形式手法を意識したものになるとすごいなと思っています。
仕様の中に盛り込むのは無理でも、Ruby ベースの形式仕様記述ができると、
特定領域でのRuby の利用が広がると思っています。

もちろん、仕様の中にはいれば、いろんな場面で幅広く使われるでしょう。
制御系のシステムで幅広く使われるはずです。

08/02/20 に Yukihiro Matsumoto<matz@ruby-lang.org> さんは書きました:
> まつもと ゆきひろです
>
> In message "Re: [ruby-list:44664] Ruby で形式手法"
>     on Wed, 20 Feb 2008 11:49:55 +0900, "tadashi nagao" <tadashi.nagao@gmail.com> writes:
>
> |Ruby の仕様の中に、なんらかの形で、
> |形式手法を盛り込むことは可能なのでしょうか？
>
> 知識がないので、断言できませんが、Rubyそのものは形式的手法と
> はなじまないような気がします。
>
> |CafeOBJ 的なことができると面白いような気がします。
> |http://www.jaist.ac.jp/~t-seino/lectures/cafeobj-intro-j/
>
> でも、一種のDSLととらえればCafeOBJのようなものを(語彙を追加
> することで)Rubyによる形式的記述として導入できるかもしれませ
> ん。
>
>                                 まつもと ゆきひろ /:|)
>
>

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:44670] 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@...>