このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2008-01-31から1日間の記事一覧

ゴミ箱をあさる方式に切り替えた

A4用紙の整理にほとほと手を焼いています。印刷して用が済んだ紙は捨てようと思うのだけど、「裏紙をメモや計算に使おう」とか思っているうちに、必要/不要の区別がつかなくなってカオス!もう「とにかく捨てる!」にした。メモや計算の用紙が必要になった…

コインとサイコロで非決定性プログラミングをお手軽に実験してみるよ

だいぶ前に書いた「プログラムの算術的計算法」と「プログラムの算術的計算法 (続き&完結)」において、非決定性の選択と非決定性の繰り返しについて述べました。これらを非決定性述語により実現してみましょう。コイン・トスとサイコロ博打で非決定性を実…