メールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。記事]2006-11-01から1ヶ月間の記事一覧2006-11-30確率概念はホンットに難しい雑記/備忘まだ村上和雄さんネタを引っ張りますが、どうも村上さんは次のような発言をしていらっしゃるらしい(孫引きです)。ヒトのゲノム(全遺伝子情報)は、わずか四つの塩基で構成され、この塩基のペアが約三十億個連なっている。うーむ、村上和雄さんは“いっちゃってる”のでしょうか。kikulogの菊池さん自身とその他の方のコメントをいくつか拾ってみます。「ラムダ計算の参考書」という文字列が、どうもコレと合致する。微妙に違うところも:最近TeXを使わない、はてな記法の見間違い?もし次が正しかったら、そりゃワシじゃ。12月号」)という記事が気になって読んでみました。水の詐欺師・江本勝さんが欣喜雀躍<きんきじゃくやく>しそうな文言のオンパレードです。雑記/備忘ショー君が、「構文解析のオハナシ:訂正」と「構文解析のオハナシ:補遺」で参照した手書きパーザーに対応するJavaCC記述を作ってくれました。それと、JavaCCに関しては以前に書いた記事もあったのでした。んっ?日常なんで暖房が効かないんだー、コノヤロー。思って見たらドアが開いていた。宮益坂口を出たところです。おおおー、ここでも二大巨頭の熱い戦いが。子供と一緒にテレビやらショーやらを見ていると、異常になつかしいセリフに出会うことがある。NHK幼児番組「いないいないばぁっ!」にて、ワンワンが口ずさんでいた。日常いまどき、店員がみんな半袖ってお店はどうなのよ。夏は過剰冷房、冬は過剰暖房で回転率を上げるって戦略もあるのかもしれないが。CallableLibrary連絡的コーラブルはすべてユーザー(利用者)定義となるわけだが、このコーラブル群とHoareRules実行フレームワークは切り離そう。適当なインターフェースを仕切りにして、コーラブルの詳細は隠蔽する。構文解析のオハナシは、変なことを書いてしまったですね。これ以上追記をするとゴチャゴチャし混乱しそうだから、このエントリーに補足と注意をまとめます。加数これだと、積('*')と符号反転('-')の優先順位が相変わらず曖昧で、「一意的にパーズ(解析)できます。」なんてセリフが嘘になります。工作員お手伝いのショー君がid:aiue3という投げやりなIDでダイアリーを書いていたようです。再帰下降法)というのが出てくるので少し補足しておきましょう。構文だけを示しても実感がないでしょうから、どのように実行されるかを記述します。実装言語はJavaということにします。●コーラブルの実装方式コーラブル(述語、関数、コマンド)に組み込みのものは存在しません。すべてユーザー定義です。「松坂を超える逸材」というサブジェクトのメールが来て、なんかのニュースかと開いてみたら本文はURLだけ。反射的にクリックしてしまったら、出会い系サイトってやつでした。まっ、当たり前だけど。関数呼び出しであっても、用途/役割、あるいは型(タイプ)により、次の3種に分類されます。戻り値はboolean、副作用なし。戻り値の型は任意、値を必ず戻す。戻り値の型は任意、値がなくて...2006-11-16HoareRulesのラベル連絡的nmTokenをああいう定義にすると、name⊂nmToken、integer⊂nmTokenになってしまって、どうも気持ち悪いですね。連絡的ホーア論理、ホーア式については何度か触れたことがあります(例えば、「デュアルプログラミングとエクソシストゲーム」、「極小プログラミング言語とホーア論理」)。http://b.hatena.ne.jp/entrylist?url=http%3A%2F%2Fd.hatena.ne.jp%2Fm-hiyama%2F&mode=rss)をサイドバーに入れてみたんだけど、見ばえが良くない。僕は、仕事と趣味の区別があんまりハッキリしない生活をしているので、「これは仕事」という境界線を引きにくいのですが、比較的に,仕事的な,連絡的な内容(「的」バッカリ)には、「連絡的」という分類タグを付けることにします。物理学者の田崎さんが次のページを公開なさっています。日曜日(一昨日)、中村屋で次男(園児)とカレー*1を食べていた。近くのテーブルで、二十代後半とおぼしき女性二人が大声でしゃべっていた。声が大きいのはまーいいとしよう。それは、田舎の俺んちの登録商標。歴史を知りたいなら、僕が生まれた家が今は納豆博物館になっているから行ってみな。なんて事実があることはまったく確認されていません。アサヒ極旨のCMを見てると、僕は「新しいメガネ買え」とそそのかされている気分に...2006-11-10なぜ彼はサンタクロースを固く信じているのか日常11月に入ると街はクリスマス一色、って、それ、リードタイム取り過ぎだろうよ。それはともかく、表題の「彼」はウチの長男です。小学生、しかも低学年とは呼べない年齢ですが、今年もサンタさんのプレゼントを楽しみにしてます。僕は、はてなダイアリー有料オプション付けているのですよ、その機能をサッパリ使ってないけど。アクセス解析にドメイン名の集計があるので、これを初めて眺めて見ました。あまりにも意外性がないのでガッカリ。論理から圏へ雑記/備忘ワーイ、完結だ。シリーズがちゃんと完結するなんて、滅多にないよ、僕は。論理の定義として閉包作用素を使う定義があります。これについて説明するかも知れません。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。