トップ «前の日(03-01) 最新 次の日(03-03)» 追記

日々の流転


2002-03-02

λ. 買った本

『MONSTER CHAPTER 18. - SCINERY OF THE DOOMSDAY』
浦沢直樹[著]
『源氏物語 第壱巻 桐壷』
江川達也[漫画] 紫式部[原作]
Conceptual Mathematics: A First Introduction to Categories
F. William Lawvere, Stephen H. Schanuel [著]
借りた途端に届くなんて…… タイミング悪すぎ。
Tags:

λ. メンタル・クリニック なんでも鑑定団

鑑定してみたり。無意識のうちに痴漢行為をしてるらしい。まじっすか!?

はらぺこ! いぬいぢり日記 (2002-03-02) より。

-なんでも鑑定医院- - 精神・心理 - 診断書
診断日時: 2002/03/02 17:54:09
名 前: hoge
年 齢: 20歳
精神年齢: 20.5歳
 
分類名 相応年齢 点 数 (0〜100)
【善悪判断力】26歳32.8
【本能抑制力】8歳73.8
【奉仕精神】24歳11.2
【物欲】23歳39.6
【嫉妬深さ】29歳5.6
【執念深さ】13歳40.6
症 状:
  • 時々、無意識のうちに痴漢行為をしてしまう。
(*)マークは特に要注意
所 見: 抑制能力:若齢化・下降気味
嫉妬心:異常なし
執念深さ:若年齢化
診療代金 : ¥52,988

2003-03-02

λ. Clean

逃避目的に、なんとなくCleanを試してみる。

λ. 007 - World is not enough

.

Tags: 映画

λ. 読書

『結び屋NANAKO』
渡瀬 悠宇 [著]
Tags:

2008-03-02

λ. AmazonモバイルでEdy!キャンペーン

「Amazonモバイルで、Edyを使って1,500円以上のお買い物をすると、抽選で170名様にステキな賞品が当たります」というキャンペーンをやっていたので、また注文してみた。ちょっと前に LIFE Books online (boox.jp) で注文したばかりなので、また注文するのはなにやら環境にやさしくなさそうで、少しばかり後ろめたいけど。


2009-03-02

λ. PPL2009参加します

今更ですが、今年もPPL2009に参加する予定です*1。色々な人にお会いできるのを楽しみにしていますので、見かけたら是非お気軽に声をかけてくださいませ。

*1 二日目の セッション8 (萌芽的研究) で発表します

λ. Maceで数独を解く

ParadoxDarwinで解いてみたので、ついでにMace4でも試してみたのだけど、どうもうまくいかなかった。

ちなみに、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番目の要素を指す項になっていて、その関係でちょっと注意が必要ということのようだ。

本日のツッコミ(全2件) [ツッコミを入れる]

ψ ささだ [いいなぁ.]

ψ さかい [ささださんは不参加? それは残念……]