Prolog 写経記 その 35 card/2

(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.

Prologユーティリティライブラリ

Prologユーティリティライブラリ

今日は card/2 を写経します.
「2章 集合操作」に突入です.

解説

card(Set, N)NSet 中の要素の数を示す整数に具体化したり,NSet 中の要素の数と等しいかどうかを検査したりする.

ふーん.card は cardinality のことね.
「1章 リスト処理」で出てきた (っていうか組み込み述語) length/2 と違うのだろうか?

モード

card(+, ?).

ふむ.Set は必須とな.
むむぅ... length/2

length(?, ?).

なんですが.そういう違いがあるのか.

定義

では,こいつの定義を写経しませう.

card([], 0).
card([_ | Set], N) :-
	card(Set, M),
	N is M + 1.

ぬぬぅ...
length/2 と一緒じゃん...
これでどうして card(+, ?) になるわけ?
わざわざ個別に定義する意味はあるのかなぁ?

注記

card/2 とリスト処理述語 length/2 を比較してみよ.

比較してもいいけどさ.

length([], 0).
length(_ | List], L) :-
	length(List, L1),
	L is L1 + 1.

一緒でしょ? どこが違うの?

では使用例を写経しませう.

4 ?- card([x, y, z], N).

N = 3 

Yes
5 ?- card([], P).

P = 0 

Yes
6 ?- card([u, 2, 3, _, 4, _, 1], 7).

Yes

念のため length/2 でも.

7 ?- length([x, y, z], N).

N = 3 

Yes
8 ?- length([], P).

P = 0 

Yes
9 ?- length([u, 2, 3, _, 4, _, 1], 7).

Yes

一緒だし.
さらに念のため length/2 の最後の例を card/2 で.

10 ?- card(L, 2), member(x1, L), member(x2, L).

L = [x1, x2] 

Yes

やっぱり一緒だし.っていうか,card(?, ?) になってると思うけど?
うーみゅ...


CanCam 10 月号 エビちゃんベストセレクション 27

CanCam2005年10月号の蛯原友里ちゃん

CanCam から,お気に入りの蛯原友里ちゃんを紹介しようというこのコーナー.
今日は NATURAL BEAUTY BASIC とのタイアップ「本命 Sweet Victoryan スタイル 4」から 394 の友里ちゃん.
ビクトリアンと言ってもナチュビューらしくシンプル&ベーシックな雰囲気.
友里ちゃんの表情も落ち着いた雰囲気でナイス♪
そんなわけで (どんなわけで?),やっぱり CanCam 買うしか!!


めざましテレビ

今日の早耳ムスメはジュリアナちゃん,お題は「定番をおさえろ!! 人気カフェ新メニュー」.
なんか,新メニューの紹介ばかりでジュリアナちゃんあまり映っていないような?
声もアヤパンのナレーションばっかりだよ?
まぁ,ジュリアナちゃんだから別に構わないけど.
直ちんの時にこんなだったら発狂しちゃうけどね♪

横浜〜銀座にて

用事があるとかで彼女が早々に帰ってしまったので一人寂しくお買い物しました.っていうかほとんどウィンドーショッピングですが.

横浜

GUCCI 横浜そごう店

なんとなく横浜そごうの GUCCI へ.
いつの間にか店舗が改装されていて,以前はレディースのウェアがあった奥の部屋がメンズウェアになってました.
その部屋の入り口のところにハラコジャケットが.(^^;
とりあえずスルーして奥へ.ジャケットやスーツの手触りを楽しみながら一番奥にあるシューズのコーナーへ.
目に付いたのはブーツ 2 点.
一つはベーシックなサイドエラスティック (たしか) なんだけど,後ろに緑と黒のウェビング (っていうんだっけ?) ラインが入っているもの.ウェビングは白と黒が好きなんだけどな.あー,セリエの白黒は嫌いだけど.

もう一つはかかとの方にストラップが付いているもの.キレイめのラウンドトゥで悪くない感じ.

でもでも,どちらも凄くイイ!! というほどではないのでひとまずスルー.
特に気になるアイテムもないのでショップを後にしようとしたところでもう一度ハラコジャケットの前を通りかかったのでスタッフの方にサイズを確認したところ,52 (たしか) だとか.でけー!!
でもでも,他店に 44 の在庫が一点だけあると教えてくれました.昨日の某巨大掲示板にも書かれていたけど,こんなアイテムの 44 が残ってるなんて超ビックリ.ちなみに 44 の入荷は全国でわずか 5 点.まだ 4 点しか売れてないのね.まぁ,値段が値段だし雰囲気が雰囲気だしね.

丸の内

横浜から東海道線で東京駅へ.そして丸の内を散策しました.

sergio rossi

秋冬になってからは新宿伊勢丹でしか見たことがなかったのでいいものがないかと期待したのですが,これといったものはなし.
伊勢丹で見たものがほとんどで,珍しいものとしてはクロコとカエル!! の皮を使ったポインテッドトゥのシューズがあったくらい.
とりあえず今季は用なし.

BOTTEGA VENETA

雑誌 (LEON?) に出ていたピーコートがよさげだったのでフラリと店内へ.
でもでも,メンズウェアはほんの少ししか置いてなくて,ピーコートも某巨大掲示板で好評だったベルベットジャケットも見当たらず.無念だ.

Yves Saint Laurent rive gauche

今季初チェック.
いきなりパープルのベルベットジャケットが!!
写真で見るより悪くない色.ちょっと (かなり?) 怪しいけどその妖しさがいい感じ.でもまぁ,これを買うんだったら他にいろいろあるよなぁ.
ここんちのパンツといえば裾幅約 26cm の超美脚フレアのはずでしたが,今季はストレートが中心っぽい.フレアはデニムしか見当たらず.今季っぽいグレイのフレアがあったら欲しかったのですが.無念だ.

銀座

そのまま歩いて銀座へ突入.

RESTIR

並木通りをてくてく歩いていたのですが...
あれれ?? 通り過ぎた? いやそんなはずは...
もしかしてもしかするとつぶれた?? それとも移転した??
とにもかくにもショップがなかったような気のせいがする今日この頃でした.

DIOR HOMME

一応,チェック.
...
なんかあったっけ? 何を見たのか記憶が...

バーニーズニューヨーク銀座店

バーニーズと言っても銀座店はドアマンのお兄さんがいないんですよね.警備のおじさんは立ってるけど.なんかバーニーズらしい雰囲気が不足しているような気のせいがする今日この頃です.
ともあれ (JW),地下へ.フラフラと眺めるもこれといったものは見当たらず.
お,McQUEEN だ.昨日もなじろうさんが買ったというパンツは... これか!?
ふむ.織りで入れられたストライプに光沢があっていい感じですね.ナイス.
こんな素材感でヘリンボーンの黒があったら欲しいけどな.
他に目に付いたものもないので 1 階へ.もなじろうさんオススメの FRAY のシャツを探すも見つからず.orz
コートが入荷した時にでも案内してもらうことにしよう.

GUCCI 銀座松坂屋

最後はやっぱりここ♪
でもでも,N さんは今日まで夏休みとのことで不在.orz
バーニーズの E さんが夏休みなのは知ってた (だから新宿は行かなかった) けど,N さんも夏休みだったか...
とりあえず,先月購入してお直ししてもらっていたニットを出してきてもらったところ,ついでにベルベットジャケットを出してきてくれました.

今季 GUCCI では一番人気と思われるしろもの.サイズはもちろん 44.
さっそく試着♪
...
ぐはぁっ.(;_;)
なぜ? なぜにこんなに無様なの?? orz
超へこんだよ.記憶の中から抹消したいくらいかっこ悪かったよ.
なんでかなぁ.もともと体格のないおいらはジャケット似合わない気もするわけですが,それにしても...
とりあえず,着丈長すぎ.このモデルみたいに 190cm くらいあるくせに 46 を着ちゃうとんでもないスタイルの人ならともかく,おいらでは身長が足りません.
そんなわけで (どんなわけで?),このジャケットはなし.結構予約が入ってるらしいこのジャケット,44 を探してる人は銀座松坂屋へ GO!!


それから,コレクションでも使われているスエードのグローブ 2 点も出してきてくれました.ほとんど黒にしか見えない anthracite (無煙炭) という色のものと,もっと明るいグレイ.anthracite の方は N さんにキープをお願いしてあったもの.
さっそく試着♪
ふむ.anthracite のは外はスエードですが,カシミアだっけ? シルクだっけ? 忘れちゃったけどインナーが付いていて付け心地抜群♪
グレイの方はスエードの一枚仕立て.なので中は表革って事かな? こっちも悪くはないのだけど,あわせるアウターがなぁ.思いつかないんだなぁ.スエードのトレンチでも買っていればねぇ.
そんなわけで (どんなわけで?),anthracite の方のみ購入することに.でもでも,N さんがいなかったのでとりあえずお取り置きしておいてもらうことにしました.コートが入荷した時に一緒に購入します.


その他店内を物色していたところ,マネキンに着せられている白いシャツがちょっと気になりました.
cut-away collar っていうのかな? 襟の角度が異常に広くて,ほとんど 180度?? それ以上??
っていうくらいのワイドスプレッドなシャツ.マネキンではネクタイをあわせていましたが,ボタンを外して着るとイタリアンカラーだっけ? なんかそんな感じになってちょっとよさげ.
結構人気らしくて白はマネキンに着せている大きめのものしかないということだったので,一番小さなサイズ (38) の取り寄せをお願いしておきました.
色違いはベージュと水色があるという事だったのですが,水色もイイかなぁ.去年のタキシードに合わせちゃったりとか.うーみゅ...


という感じでぶらぶらしてきましたが,とりあえず今日の出費はなし.まぁ,グローブとかもし入手できればシャツとか買うことになるのだけど.(^^;
ま,秋冬だしね♪