ECMAの仕様をダウンロードして読めばいいです。中身は同じでレイアウトが違うなんてことが書いてあります。Eiffelというオープンソース実装の態度。ECMAやISOの標準仕様のEiffelを実装したくないと。Eiffelらしさがなくなっていくと。実用になれば汚くなっていく。あのピュアな青春を失いたくないという気持ちなんでしょうかね。Language」です。翻訳が出てたような気がして調べたら、やはり、酒匂さんの訳でありますね。酒匂寛訳「プログラミング言語理論への招待―正しいソフトウェアを書くために」ですね。ぼくのブログにある仕様記述の話は、http://www.google.com/custom?domains=iiyu.asablo.jp%3Bwww.asahi-net.or.jp&q=%8Ed%97l%8BL%8Fq&sa=%8C%9F%8D%F5&sitesearch=iiyu.asablo.jp&client=pub-8265382438304350&forid=1&ie=Shift_JIS&oe=Shift_JISで検索してみてください。http://en.wikipedia.org/wiki/Design_by_contractをみたら、いろんな言語でなんとかしようとやってるのね。Perlのなんか、全然別のシンタックスのようですね。^^;個人的に面白いと思うのは、SatherとLispですね。http://www.icsi.berkeley.edu/~sather/Satherは、前述のようにEiffelベースですから、DBCをやれるのは当然ですね。例外のハンドリングなども含めて、たったこれくらいでできちゃうものなんですね。Scheme)にもあるというから探したら、http://download.plt-scheme.org/doc/360/html/mzlib/mzlib-Z-H-12.htmlですね。LispのDBCに比べて、どう書けばいいのか、おれ、わかりません。頭悪いとだめね(泣)。)に転載したものから。---ちょっと調べてみたらオセロ(リバーシ)はまだ解き明かされちゃいないのね。将棋や囲碁と違って、両者が最善手を打って引き分ける定石はいくつか発見されているようだし、後手が有利になるのではないかという見通しもあるみたい。実家にあるオセロ盤はいまだに活躍しているらしい。孫を相手に母親がいい勝負をしているとか。定石とか完全読みとか知らないほうが楽しく遊べるような気はする。将棋ネタ、ボナンザ、理研が被験者募集---olfaさんから。Cornerを拝見しまして森田オセロが話題になっていたものですからなつかしい記憶がよみがえりました。PC-8001で森田オセロを相手に遊んでいましたけれど結局全敗でしたね。1回だけ四隅を取ったので「こりゃイケる!」と期待したら後半入ってコンピュータが思考1時間(その間に夕飯たべました)、ジリジリ押されて数コマ差で負けてしまいました。長時間の思考のときに読み切っていたのでしょうね。残り10数手くらいから、完全先読みなんですよね。その前に負けていたらもう絶対に勝てない。勝っていても何か失敗したらもう勝てない。野球でいえば、相手に絶対的ストッパーがいるので、7回までに負けていたら8回9回はパーフェクトに抑えられて負け。野球が9回じゃなくて7回までの勝負になっているような感じ。いまのハードウェアだったら、どれくらい手前から完全先読みできるんでしょうね。オセロや囲碁や将棋に比べて、変化は少ないし、ゲームが進むにつれ着手できるところが減るから、どんどん変化が少なくなりますよね。残り30手くらいで完全先読みできるんだろうか。すると野球でいえば、5回までに勝ってないとだめってことですね。---いつも「ホットコーナ」楽しく拝見しています。最近将棋の話題が多いですね。私も少しは指しますので、なるほどと思うことが多いです。ところで、将棋の場合、「定石」ではなくて「定跡」と表記するのが通常です。IMEの誤変換だろうとは思いますが、老婆心まで。---中原さん、ありがとうございます。誤変換じゃなくて、おれの無知です。指すなんて、またまたぁ。ほんとはアマ5段だったりしてね。\(^O^)/将棋世界でも、ちゃんと定跡と表記していますね。一般的定石は「定石」に修正します。これをウェブとブログで読むときは、すでに修正済みのはず。31このブログについて本業はプログラマでありながら、文章がICT業界を超えて大人気の中村正三郎のブログ。ICT関連の話題、セキュリティの話題からマスコミ、科学、お笑い、ちょっとHなネタまで硬軟織り交ぜ話題沸騰。詳しいプロフィールは、http://www.asahi-net.or.jp/~ki4s-nkmr/profile.htmlをどうぞ。ネットの闇に巣喰う人々」Packtの5ドルセールまだやってた。Ecto」アンテナハウスのオンデマンド本。勝手に講談社ブルーバックス祭り。一行野郎(1行野郎)。(日本語)、法律入門でベストセラー1位。いじめと戦うためにも、子供も法律で理論武装せよ。講談社ブルーバックス、奄美の海底にミステリーサークルを作る、かわいいアマミホシゾラフグ。下関の水族館で観たシロナガスクジラのあれ。オライリー・ジャパンから、プログラミング言語Juliaの日本語の本が出てた。Juliaプログラミングクックブック\(^O^)/ますますLisp化するC++。スパークガード50「要介護の親を廃人にしたくない」なら必ず知っておきたいこと。ブラックホールってすごいやつ。C++には、5合目から始める入門書がないのか。太宰府に車で行ったらいけんよ。太宰府インターから太宰府天満宮の駐車場まで、6時間かかったよ。お笑い芸人、はなわと、漫才ナイツの漫才師、塙宣之は、兄弟。第2版」ノーベル経済学賞、リチャード・セイラ―の「行動経済学の逆襲」は文庫が出ていた。いまの限定は「豆乳担々麺」。