2002-03-02
λ. 買った本
- 『MONSTER CHAPTER 18. - SCINERY OF THE DOOMSDAY』
- 浦沢直樹[著]
- 『源氏物語 第壱巻 桐壷』
- 江川達也[漫画] 紫式部[原作]
- Conceptual Mathematics: A First Introduction to Categories
- F. William Lawvere, Stephen H. Schanuel [著]
- 借りた途端に届くなんて…… タイミング悪すぎ。
λ. メンタル・クリニック なんでも鑑定団
鑑定してみたり。無意識のうちに痴漢行為をしてるらしい。まじっすか!?
はらぺこ！ いぬいぢり日記 (2002-03-02) より。
| -なんでも鑑定医院- - 精神・心理 - 診断書 | ||||||||||||||||||||||
| 診断日時： | 2002/03/02 17:54:09 | |||||||||||||||||||||
| 名 前： | hoge | |||||||||||||||||||||
| 年 齢： | 20歳 | |||||||||||||||||||||
| 精神年齢： | 20.5歳 | |||||||||||||||||||||
|
||||||||||||||||||||||
| 症 状： |
|
|||||||||||||||||||||
| 所 見： |
抑制能力：若齢化・下降気味 嫉妬心：異常なし 執念深さ：若年齢化 |
|||||||||||||||||||||
| 診療代金 : ¥52,988 | ||||||||||||||||||||||
[ツッコミを入れる]
2003-03-02
[ツッコミを入れる]
2008-03-02
λ. AmazonモバイルでEdy!キャンペーン
「Amazonモバイルで、Edyを使って1,500円以上のお買い物をすると、抽選で170名様にステキな賞品が当たります」というキャンペーンをやっていたので、また注文してみた。ちょっと前に LIFE Books online (boox.jp) で注文したばかりなので、また注文するのはなにやら環境にやさしくなさそうで、少しばかり後ろめたいけど。
[ツッコミを入れる]
2009-03-02
λ. PPL2009参加します
今更ですが、今年もPPL2009に参加する予定です*1。色々な人にお会いできるのを楽しみにしていますので、見かけたら是非お気軽に声をかけてくださいませ。
*1 二日目の セッション8 (萌芽的研究) で発表します
λ. Maceで数独を解く
ParadoxとDarwinで解いてみたので、ついでにMace4でも試してみたのだけど、どうもうまくいかなかった。
- 入力ファイル sudoku-mace4.in
- ログ sudoku-mace4.txt
ちなみに、Mace4はこんなやつ。
Mace4 is a program that searches for finite models of first-order formulas. For a given domain size, all instances of the formulas over the domain are constructed. The result is a set of ground clauses with equality. Then, a decision procedure based on ground equational rewriting is applied. If satisfiability is detected, one or more models are printed. Mace4 is a useful complement to first-order theorem provers, with the prover searching for proofs and Mace4 looking for countermodels, and it is useful for work on finite algebras. Mace4 performs better on equational problems than our previous model-searching program Mace2.
【追記】 Sudoku with Mace4 にMace4を使って数独を解く話があった。 これを参考に入力ファイルに「assign(domain_size, 9).」を加えて、数字の9を0に置換したら普通に解けた。 Mace4では非負整数nはモデルのn番目の要素を指す項になっていて、その関係でちょっと注意が必要ということのようだ。
- 入力ファイル sudoku-mace4-2.in
- ログ sudoku-mace4-2.txt
