非決定性 McCarthy の非決定性オペレータ amb [cite{jmc:amb}, cite{wc:amb}, cite{zmc:amb}] は Lisp 自身と同じくらい古いものですが、Lisp にはありません。amb は ０個あるいはそれ以上の式を引数としてとり、それらの、非決定的な (あるいは「あいまいな」)な選択を作ります。プログラムを意味のあるものに 収束させるこれらの選択を好んでつかいます。ここで、 曖昧選択の深さ優先選択をつかい、他の選択肢を探索するための バックトラックに Scheme の制御オペレータ call/cc を使う amb の Scheme への埋め込みについて検討しましょう。 結果は、拡張言語にたよることなく、Scheme で直接書けるような 探索問題の分野で使用できるエレガントなバックトラッキング戦略が できあがります。この埋め込みは Prolog 流

ここで変更できる情報は以下の4つです。Edyカードキーの登録もここで行う事ができます。 ログインシェル 学内サーバ(www,repo,smtpなど)にログインしたときに使われるシェルです。 初期設定はtcshとなっており、bash,zshも選択できます。 所属VLAN 4年次以上の学生に関係することです。ネットワークのどのVLANに所属するかを選べます。 1-3年次は初期設定の56(フラットゾーン)のままにして下さい。 Edyカードキーの登録 最大3つまでEdy-IDを登録することができます。 Edy登録情報は、今後は毎年、年度末に登録情報をリセットします。 （※登録してからカードキーに適用されるまでラグがあるかもしれません） ※ドアが開かなかった場合は開かなかったドアを明記してサーバ班（sys-admin@ie.u-ryukyu.ac.jp）に連絡してください 転送先アドレス *****

多摩川がタマちゃん騒動で盛り上がっていた2002年9月1日、「ベイジアンネットセミナーBN2002」という研究会が東京一ツ橋の学術総合センターで開かれていた。 ベイジアン・ネットワーク（Bayesian Network）とは、不確かな出来事の連鎖について、確率の相互作用を集計する手法で、知能情報システム構築の有力な手段になっている。「不確実性を扱うための計算モデル」として、認知科学（知能の仕組みや働きなどを解明する科学）、機械学習（経験や学習によって自身が進化するような機械システム）、データ・マイニング（膨大な量のデータの中から特徴や「意味」などを見つけ出す技術。マイニング【mining】とは山から資源などを掘り出す、採鉱／採掘という意味）、ロボティクス（ロボット工学）、ゲノム解析などに応用が広がっている。このセミナーは、産業総合技術研究所（元電子技術総合研究所、経済産業省傘下）が中心にな

2009年04月29日 WEB開発者がSleipnirを絶対に使ってはいけない７つの理由 カテゴリ：WEBデザイン Sleipnirは使いやすい、すばらしい･･･などと絶賛するユーザがいますが、果たして本当にそうなのでしょうか、私はそれは有り得ないと断言します。 ◆読む前に WEB標準だの、コーディングだのAcidだの･･･訳がわからない方は、そのままSleipnirを使っていてOKです。 判りやすく言うと、SleipnirはアナログSafari、Firefoxなどは地デジぐらいの違いがあります。 という説明をしますので、開発者以外の方には『ふーん』程度に思っていてください。 では。 １：表示結果がWeb標準でない。 上の写真は、左から『Firefox、Safari、IE6、Sleipnir』をAcidという確認ツールで見比べた結果です。 Firefox、Safariについてはほぼ同じ

IE4.0からIEコンポーネントを使えるようになりました。IEコンポーネントは、Donutなどの国産タブブラウザのほか、色々なアプリケーションで利用されています。 IEコンポーネントは、MFCのCHTMLViewを使えば簡単に作ることができますが、MFCを使いたくない場合もあります。この場合、ATLを選択するのが通常ですが、世の中のドキュメントの大半は ATL と AppWizard を組み合わせた使い方しか載っていません。ここでは、SDK的にIEコンポーネントを使う方法を取り上げます。 サンプルコードはこちら(35.9KB)（2002.12.15、プリコンパイル済みヘッダが見つからないエラーが出ないようにしました）。これをDLして解凍してください。詳細は、ソースファイルの中のコメント参照と言うことでお願いします。100行ほどのソースですので、ぜひ読んでみてください。 このサンプルでは、ダ

Noppiのおぼえがき

InfoPathおもしろそう 第22回 NT-Committee2関東勉強会に参加してきました。 テーマは、InfoPathはどこまで使えるか？というように、InfoPathが題材でした。 InfoPathを使ったことが無い状態で参加してよかったのか・・・と思いつつも堂々と（迷いながら）会場へ。 講師のお二方の丁寧な説明を熱心に聞いた結果・・・InfoPathは面白そう！ 石坂さんが言っていたように、「XMLエディタと割り切って使う」分にはいろいろと遊べそうです。 あと、社内やチームで使うのならいろんなことができるかも。 お客さんに勧めるためには、XMLやInfoPathを普及させないと・・・。 なので、まだ「ものすんごい実用的」なものでは無いのかなというのが正直な感想でした。 まだどれだけの機能があるのかわからないので、ちょっと触ってみます。 posted @ 12:04 | Comme

COMからのイベントを捕まえる方法 "見てくれ"を持たないCOMからのイベントの受理 Visual C++が提供してくれるATL(Active Template Library)を使うと、COM(Component Object Model)を簡単に作ることができます。 COMに発生した状態の変化をイベントとしてCOM利用者(Client)に通知したいことがあるでしょう。 この機能が提供されていないと、COMの状態変化を知りたいClientはCOMに対してメソッドもしくはプロパティを定期的にコール/取得しなければなりません。 Clientに対してイベントを発行する機能を持ったCOMを作るには、dispinterface(ディスパッチ・インタフェース)と呼ばれる接続ポイントを用意します。接続ポイントには、COMが発行できるイベントを定義しておきます。このイベントは、実際にはイベント毎にユニー

This shop will be powered by Are you the store owner? Log in here

An implementation shall not introduce cancellation points into any other functions specified in this volume of IEEE Std 1003.1-2001. The side effects of acting upon a cancellation request while suspended during a call of a function are the same as the side effects that may be seen in a single-threaded program when a call to a function is interrupted by a signal and the given function returns [EINT

日本語入力プログラムの歴史は、入力の効率を求める歴史でした。初めは「これはペンです」という文章を入力するにも、「これは」で一度変換し「ペンです」でまた変換する方式（単文節変換）や、「これは」と「ぺんです」の間に文節を区切る指示を与える方式をとっていました。やがて、単文節変換や文節ごとに区切り記号を入れる方式から、自動的に文節を区切る連文節変換（複文節変換？）へと進化し、さらには文脈に応じて適切な語を選ぶ用例変換、AI変換が花開き、日本語入力は簡単で効率的になっていきました。 このページは、文節を区切る方法について、現行の日本語入力プログラムでよく使われる方式を解説します。用例変換、AI変換は別項にて解説します。 目次 n文節最長一致法 うしろ向きn文節評価最大法 接続コスト最小法 参考文献・資料 n文節最長一致法 採用している日本語入力プログラム：ATOK、EGBRIDGE、VJEなど。

_ 関西オープンソース2005発表 発表してきた。 スライド ちょっと会場入りが遅れたせいもあり、進行がぐだぐだになってしまって、 申し訳なかったです。 Tags: ximapd Rast _ 非決定性計算 今回いちばん面白かったのが、Haskell同好会のセッション。 吉田さんのプレゼンで非決定性計算の話が出て来たのだが、 Wikiでも紹介されていたようだ。 「他の言語じゃこんなことできないでしょ」という話だったが、 実はRubyConf2005のChad FowlerとJim Weirichのチュートリアルでも同じようなデモをやっていた。 それを使って書くと、 require "amb" A = Amb.new baker = A.choose(1, 2, 3, 4, 5) cooper = A.choose(1, 2, 3, 4, 5) fletcher = A.choose(1,

Androidの開発機を入手して2週間ほど経つのですが、その2週間の感想です # 2週間といっても、他にいろいろとやってたのですが(個人の方で新サービス読んだ4!のテスト公開とか) この手のことをするのは、2002-3年ぐらいにPocket PCの開発をやって以来なので、少しずれてるかもしれませんが。いろんな事が簡単にできるようになっているなあと、時代の違いを感じました。 開封から設定 設定にパソコンは不要 [開封]-[起動]-[タイムゾーンと日時の設定]-[WiFiの設定]-[Googleアカウントの設定] で。Gmailが使えるようになり、GmailのコンタクトもAndroid上で閲覧できるようになりました。携帯電話として使うためのSIMは持ってないし、持っていたとしても使うとたいへんなパケット料金になるらしいので、無線LANだけで使ってます。 Gmailのコンタクトに電話番号の情報は

blog@browncat.org Web, Linux, Ubuntu, Mac, PDA, 携帯電話, プログラミング, ソフトウェア＆落書き 詳しい手順を見つけたのでUbuntu 7.04にlinux kernel 2.6.22.6+ck1パッチを当てて高速化及びTickless化してみました。 Ubuntu Unleashed: Drastically Improve Ubuntu Feisty 7.04 Performance with the performance patchset by Con Kolivas 上の記事ははLinux kernel 2.6.22にck1パッチを適用し、いくつかカーネルコンフィグをいじって高速化しようというもの。詳しい手順が載っているので、あまり書くことはないのですが、ざっと以下の通り。 linuxカーネルをダウンロード(私はkernel 2.

MySQL のチューニング、と言った場合には、サーバーパラメータの調整や EXPLAIN コマンドを利用したクエリ実行計画の最適化が話題に上ることが多いです。しかし、発行する全ての SQL について、いちいち EXPLAIN コマンドを使って確認していては、いくら時間があってもたりません。チューニングを効率的に進めるには、まず、ボトルネックとなっている SQL クエリを特定し、次にその最適化を行うべきです。 ではどのようにして、ボトルネックを特定するのか。MySQL Conference & Expo 2009 のキーノートにおいて Mark Callaghan 氏は、Google では SHOW PROCESSLIST コマンドを使った統計的アプローチを使っていると述べていらっしゃいます (参照: MySQLConf 09: Mark Callaghan, "This is Not a

via IT業界から思ったことを。 Twitterでつぶやいたら結構こんな感じで厳しい状態になっているSIerが増えているようなので、僕なりに現状をまとめてみる。 よくわかるSIer涙目の構図 サブプライム、金融危機でSIerのお得意様の金融・メーカー様が大打撃を食らう。 2008年はとりあえず様子見で予算編成は据え置きだったが、今年に入って財布にチャックがかかる。 先行き不透明なので、GW明けぐらいの今期のIT予算が相当カットされた数字になった所が続出。 計画していた新規案件を中止するなどする。運用でなるべくカバーする方向へお客様が動く。 その結果SIerは新規案件がなくなる。案件自体がなくなっていく。予算が無いから当たり前。 大手がプロパーの仕事がなくなってきたのでプロパーで人数減らしてまわし始める。 プライムで食い込んでいるお客様の仕事が減ってきたので、外注に仕事が依頼できる余裕がな