Prolog 写経記 その 39 intersect/3
(ほぼ) 毎日淡々と Prolog を写経します．元ネタはこちら．
- 作者: ボグダンフィリピッチ,中島誠,伊藤哲郎
- 出版社/メーカー: 海文堂出版
- 発売日: 1990/08
- メディア: 単行本
- 購入: 4人 クリック: 33回
- この商品を含むブログ (68件) を見る
intersect/3 を写経します．順番だと
intersect/2 が先なのですが，その中で intersect/3 を使っているのでこちらを先に．解説
intersect(Set1, Set2, Int)は集合Set1とSet2の積Int(積集合となる) を返す．
ふむ．Java でいうと．．． ないかも．JGL なら SetOperations#setIntersection() みたいな．
モード
intersect(+, +, -).
ふむ．二つの集合は共に与えないといけないらしい．
そして第 3 引数に具体的なリストを与えて，それが第 1・第 2 引数で与えた集合の積集合かどうかをテストすることはできないのですね．
まぁ，集合とはいっても所詮はリストですからね．要素の順序が違ってもテストできるというとちょっと大変かも．
定義
では，こいつの定義を写経しませう．
intersect([], _, []). intersect([X|Set1], Set2, [X|Int]) :- element(X, Set2), !, intersect(Set1, Set2, Int). intersect([_|Set1], Set2, Int) :- intersect(Set1, Set2, Int).
ふむ．
最初の節は停止条件なのでスルーして，2 番目の節では第 1 引数で与えられたリストの最初の要素 X が第2引数で与えられた集合の要素であれば，第 1 引数で与えられた集合の 2 番目以降の要素からなる集合と第 2 引数で与えられた集合の積集合にXを加えたものが結果ですよ，と．
そして第 1 引数で与えられたリストの最初の要素が第2引数で与えられた集合の要素でなければ，第 1 引数で与えられた集合の 2 番目以降の要素からなる集合と第 2 引数で与えられた集合の積集合が結果ですよ，と．
ふむふむふむ．
例
では使用例を写経しませう．
2 ?- intersect([i, j, k, l, m], [n, m, l, k], X). X = [k, l, m] Yes 3 ?- intersect([n, m, l, k], [i, j, k, l, m], Y). Y = [m, l, k] Yes 4 ?- intersect([n, m, l, k], [], Z). Z = [] Yes
ふむ．
またしても特にどうということもない感じ．
Prolog 写経記 その 40 intersect/2
(ほぼ) 毎日淡々と Prolog を写経します．元ネタはこちら．
- 作者: ボグダンフィリピッチ,中島誠,伊藤哲郎
- 出版社/メーカー: 海文堂出版
- 発売日: 1990/08
- メディア: 単行本
- 購入: 4人 クリック: 33回
- この商品を含むブログ (68件) を見る
intersect/2 を写経します．なんか大したことがないので連チャン．
解説
intersect(Set, Int)は集合の集まりであるSets中の集合の積Int(積集合になる) を返す．
ふむ．Java でいうと．．． ないかも．JGL でいうと．．． ないかも．
こういうのって使うのかなぁ？
モード
intersect(+, -).
ふむ．
定義
では，こいつの定義を写経しませう．
intersect([[]], []). intersect([[X | Rest]], [X | Rest]) :- !. intersect([Set | Sets], Int) :- intersect(Sets, Int), intersect(Set, Int, Int).
ふむ．
最初の節は停止条件なのでスルーして，2 番目の節では．．． 何やってんだ？？
うーみゅ．．． ちょっと謎なのでパス．先に最後の節．
第 1 引数で与えられた集合のリストの2番目以降の要素からなる集合 Sets の積集合が結果で，それは第 1 引数で与えられた集合のリストの最初の要素であるところの集合 Set と結果の積集合も結果である．．． ？？？？
だめだ，全然分かんねぇー！！！！
っていうか，これってちゃんと動くの？？
注記
結合性によって，積演算は任意の数の集合に対して適用できる．そして全ての集合に共通する要素の集合が答の集合として返される．
うーん．それは分かるんだけど，上の定義でそうなるとは思えないのですけど？？
例
では使用例を写経しませう．
5 ?- intersect([[b, a, c, d], [c, e, b], [d, a, b, c]], I). No 6 ?- intersect([[b, a, c, d], [c, e, b], [d, a, b, c], []], Int). Int = [] Yes
をいをい！！
最初の例，写経本だと [b, c] が返ってくることになってるんですけど？？
やっぱりうまく動いてないじゃん．
ちょっと確認．
7 ?- intersect([[a]], Int). Int = [a] Yes 8 ?- intersect([[a], [a]], Int). Int = [a] Yes 9 ?- intersect([[a, b], [b, c]], Int). No
ふむ．要素が複数あるとダメですね．
しょうがないので修正．どう考えたって最後の節がおかしいので，
intersect([[]], []). intersect([[X | Rest]], [X | Rest]) :- !. intersect([Set | Sets], Int) :- intersect(Sets, Int1), intersect(Set, Int1, Int).
って感じじゃないかなぁ？
これでテスト．
11 ?- intersect([[b, a, c, d], [c, e, b], [d, a, b, c]], I). I = [b, c] Yes 12 ?- intersect(][b, a, c, d], [c, e, b], [d, a, b, c], []], Int). Int = [] Yes 13 ?- intersect([[a, b], [b, c]], Int). Int = [b] Yes
いいじゃん♪
んで，2番目の節を削除して試してみるテスト．
15 ?- intersect([[b, a, c, d], [c, e, b], [d, a, b, c]], I). No 16 ?- intersect([[b, a, c, d], [c, e, b], [d, a, b, c], []], Int). Int = [] Yes 17 ?- intersect([[a, b], [b, c]], Int). No
おっと，2 番目の節はしっかり役に立っているのですね．
うーみゅ．
intersect([[]], []). intersect([[X | Rest]], [X | Rest]) :- !. intersect([Set | Sets], Int) :- intersect(Sets, Int1), intersect(Set, Int1, Int).
そうか，集合のリストに要素 (集合) が一つだけになった場合はその集合が結果だということか．
でもでも，こんな回りくどい書き方しなきゃいけないわけ？
intersect([Set], Set) :- !.
素直にこれでもいいんじゃない？
19 ?- intersect([[b, a, c, d], [c, e, b], [d, a, b, c]], I). I = [b, c] Yes 20 ?- intersect([[b, a, c, d], [c, e, b], [d, a, b, c], []], Int). Int = [] Yes 25 ?- intersect([[a, b], [b, c]], Int). Int = [b] Yes
ほらぁ．
結論．
intersect([[]], []). intersect([Set], Set) :- !. intersect([Set | Sets], Int) :- intersect(Sets, Int1), intersect(Set, Int1, Int).
だと思うぞ．
Prolog 写経記 その 41 intersects/3
(ほぼ) 毎日淡々と Prolog を写経します．元ネタはこちら．
- 作者: ボグダンフィリピッチ,中島誠,伊藤哲郎
- 出版社/メーカー: 海文堂出版
- 発売日: 1990/08
- メディア: 単行本
- 購入: 4人 クリック: 33回
- この商品を含むブログ (68件) を見る
intersects/3 を写経します．積集合シリーズまとめて一気．
解説
intersects(Set, Sets, Ints)は集合Setと集合の集まりであるSetsの要素との積をそれぞれ見つける．結果Intsは集合の集まりである．
ちょっと分かりにくいけど，Set と Sets の n 番目の要素であるところの集合との積集合が結果のリストの n 番目の要素になるってことね．
らじゃあ．
モード
intersects(+, +, -).
ふむ．
定義
では，こいつの定義を写経しませう．
intersects(_, [], []). intersects(Set, [S], [Int]) :- !, intersect(Set, S, Int). intersects(Set, [S | Sets], [Int | Ints]) :- intersect(Set, S, Int), intersects(Set, Sets, Ints).
ふむ．
最初の節は停止条件なのでスルーして，2 番目の節から．
これはさっきの intersect/2 の 2 番目の節と似てますね．っていうか，こっちは素直に書いてるし．
ともあれ (JW)，集合のリストに要素が一つしかない場合は，第1引数の集合との積集合が結果のリストの唯一の要素になるわけですね．
んで，3 番目の節は第 2 引数に複数の要素 (集合) がある場合，第 1 引数の集合と第 2 引数の最初の要素である集合との積集合 Int と，第1引数の集合と第 2 引数の残りの要素とからなるリストの積集合のリスト Ints を連結したものが結果ですよ，と．
まぁ，自然な感じ．
注記
intersect/2との違いとしては，この述語ではSetとSets中の全ての集合との積が順次求められ，集合の集まりの形で返される．
らじゃあ．
例
では使用例を写経しませう．
27 ?- intersects([x, y, z], [[u, w, z], [w, x, y, z], [], [u,v]], L). L = [[z], [x, y, z], [], []] Yes
ふむ．特にどうという事もなく．
CanCam 11 月号
ちょっと出遅れましたが，久しぶりのレポート♪
厚い．．． とにかく厚い．なんと 650 ページ超．(^^;
CanCam 史上でも最大級の厚さではないでしょうか？
放っておくと 1000 ページくらいまでいっちゃいそう．まぁ，おいらには放っておくしかできませんが．
表紙は押切もえちゃん．何となく予想していましたが，どうせなら情熱大陸の放送をもうちょっと遅らせてもらえばよかったのに．
次号は誰なんだろ？ 友里ちゃん単独がいいなぁ．昨年・一昨年と，12 月号は友里ちゃん単独表紙なのです♪
表紙をめくるとマキアージュ．でもでも，なぜか友里ちゃんではなくてみーたん．どういうことよ！？
ともあれ (JW)，今回は abcbsnbc さんに影響されてカット数を数えてみるテスト♪
今月の「月刊エビちゃんねる。」は「エビちゃん Shopping 密着レポート！」．スナップ除いて 3 カット．
またしても妹の英里ちゃんが登場．彼女も人気者ですね．
っていうか，普通に新宿伊勢丹で買い物してるっぽいけどマジですか？
P8 右下のスナップすごいなぁ．こういうスナップで見ると，ホントに細いんだってのがよく分かりますね．まぁ，生で見てもすごいんだけど．
おっ，マルイ JAM 渋谷の Apuweiser riche へ行ってるじゃありませんか！ おいらも行ったことあるよ♪
ともあれ (JW)，おいらも「I ♥ EBI」なキャップ欲しい！！
そして次ページ．なんと
エビちゃんカレンダー発売決定！
これはうれしい♪
しかもありがたいことに小さめ A4 サイズ．いやー，普通のカレンダーみたいにでかくても飾りようがないからこれはありがたい．
そして週めくりで 56 ページ！！！！
つ・ま・り
友里ちゃんの写真が 56 カットもあるということですね♪
当然ですが，既に注文済みです．欲しい人はこちらから．
それにしても，先月のシールといい，友里ちゃんをプッシュしまくりですね．
CanCam を読み始めて 7 年ほどになりますが，これほどまでにプッシュされているモデルは初めてじゃないでしょうか？
すごい，すごいよ！！ 友里ちゃん！！！！
とりあえず 3 カット．
P40 からは「新ユニット N.E.T が共演！ 秋の NEW エレガンス」で 9 カット．
新ユニット？ 説明しよう！！
大人気企画 "エビちゃんシアター" での演技が話題の，エビちゃん・直子・茉希，3人の頭文字をとって "N.E.T (ネット)" という新ユニットを結成しました！
どうよ，このメンバー．エビちゃん，直ちん，茉希ちゃんですよ？ 史上最強じゃないですか！！
こんな豪華メンバーでユニット作っちゃっていいの？ってくらいのゴールデントリオ．もう N.E.T 最高！！！！
っていうか，H★O★T はどうなったんでしょうか？ (^^;
ともあれ (JW)，無敵の新ユニット，N.E.T によるコーナーのはずなんですが．．．
今回は "エビシア" でのストーリーとは関係なく，麗菜も交えた 4 人が CanCam の進化したエレガンススタイルを着こなします．
をいをい，"エビシア" かよ．
じゃなてく，麗菜ちゃんカワイソ．(^^;
っていうか，初期の "エビシア" には茉希ちゃんじゃなくて麗菜ちゃんが出てたのに．カワイソ．
んで，この 4 人だとエビちゃん・麗菜ちゃんがかわいい系で，直ちん・茉希ちゃんがカッコいい系的．
それにしてもそれにしても，こんなにエビちゃんプッシュしていいの？
違うか，エビちゃんプッシュというより現トップ 3 が卒業した後の 2 大エース候補をプッシュするため新ユニットかな？
なんか分からないけど，おいら的にはエビちゃんプッシュってことにしておこう♪
P54 からは「発表！ 秋のバカ売れ服 114」16 カット．小さいカット中心ながらも充実．
P70 からは「新カッコいい系 vs 新かわいい系 日本全国 NEW エレガンス大現象！」12 カット．少なめだけどまぁまぁ．
P94 からは「エビちゃん OL vs 優 OL はおりもの 4 枚で乗り切る 10 月の 1 か月 CD」33 カット．友里ちゃんの 1 か月 CD は久しぶりな感じ．最初の 2 ページは陰影がはっきりしたライティングがちょっと好きじゃないけどその後のはいい感じ♪ 18日はあくびしてる！！ っていうか，コウタはどうなっちゃったの？ (苦笑)．
P110 からは「CanCam 認定 新作秋服スーパーカタログ 400」6 カット．始めの方しか出てないんですけど．．．
P132 からは「秋の 8 大流行スカート 100」17 カット．小さいのばかり．
P143 からは「愛が生まれる バーティ服！」6 カット．うーん，もうちょっと華やかなドレス着た友里ちゃんが見たかったなぁ．
P174 からは 「秋バッグ＆その中身 抜き打ち調査隊」9 カット．
最初のページの友里ちゃん，ちょっと表情が違って見えます．
ちなみに友里ちゃんのバッグ＆その中身は．．． サマンサとかマキアージュとか．(^^;
まぁ，当然ですよね．ここでスポンサーに配慮できないようでは先々思いやられます．
毎日「お気に入りのポラ」を持ち歩いているそうです．初めて友里ちゃんを生で見た立川伊勢丹でのトークショーではその 1 枚をプレゼントするというサプライズを提供してくれたことを思い出します．じゃんけん勝ちたかったなぁ．一発目で負けたんだよなぁ．友里ちゃんに．
あ，結婚賛歌のやつもありますね．超欲しいかもぉ〜．
P166 からは Private Label とのタイアップで「プリンセス・エレガンス」7 カット．
P204 からは アプワイザー・リッシェとのタイアップで「ようこそ，グラマラスワールドへ」7 カット．P206 左上のしっとりした表情いいなぁ．
P220 からは prideglide とのタイアップで「秋のめちゃモテ♥ライフがはじまります！」6 カット．P220 かわいい♪ P224 は鏡に映っているカット．そういえば CanCam オフィシャルサイトの友里ちゃんのページにある右下のカットが友里ちゃんに見えないのですが，左右反転するといつもの友里ちゃんだったりします．(^^;
P229 (？) からは BLACK by mussy とのタイアップによる綴じ込み付録「THE BLACK ELEGANCE PERFECT GUIDE BOOK Ⅱ」6 カット．P237 では涙を流しているカットが．でも P238 の小さめカットの方が大人っぽくて好き．ベアトップのニットいいなぁ．
P252 からはバーバリー・ブルーレーベルとのタイアップで「やっぱり，ちょっと特別服が着たい」3 カット．もえちゃん (6 カット) に押されてます．っていうか，もうちょっといいカットなかったのでしょうか？ 撮影はエビちゃん OL 担当の小池さんなのに．．．
P278 からはサマンサタバサ DELUXE とのタイアップで「Welcome to Lovely World！！」2 カット．あれれ？ いつもステキな友里ちゃんをお届けしてくれるコーナーだったのに，2 ページに縮小されちゃってる．．． 無念だ．
と思ったら，P280 からはサマンサティアラとのタイアップで「お呼ばれジュエリーできました！」3 カット！ これだ！！ これがいつものトリプルコラボ・クオリティ！！！！ P280 の友里ちゃんの瞳に吸い込まれます♥
P283 からはエビちゃんシアター略してエビシア「DOUBLE FANTASY」29 カット．
すげぇよ清水さん，タンカー^h^h^h^hフェリーみたいな船持ってるよ．
し・か・も
うちの船の中じゃ，小さいほうなんだけどね
かぁっこいいぃ〜 (さんま風に)．
いやぁ，さすがだよ清水さん．っていうかこれは氷川丸なのか．
P296 ではラストダンスでのように怒っている友里ちゃん (笑)．でも怖いってよりは不機嫌な表情．
まぁ，ストーリーはいつものごとく (苦笑)．
P320 からは「秋髪に大異変！ かわいいコはみんな大人めストレート」2 カット．ひたすら巻き髪の CanCam がストレートに転向？ かと思ったけどいつもと変わってない気がするよ？ ふーん，「ストレートニュアンス」ですかそうですか．P322 の友里ちゃんキレイ♪
P360 からは ef-de とのタイアップで「エビちゃん＆マキちゃん 新 めちゃモテダイアリー 前編」7 カット．最初のページのカットがかわいいです．
P377 からは Xmiss とのタイアップで「Lucky★ Happy♥ SPECIAL デートスタイル」7 カット．いつもの友里ちゃんよりワイルドな印象．P 378 はちょっとヤンキーっぽい？ (^^; 印象が違うのは前髪が違うせいだよね？ おでこ出すと甘さが減るような気のせいが．
P391 (？) からはプランタン銀座とのタイアップによる綴じ込み付録「押切もえ×蛯原友里 with プランタン銀座 超★限定コラボ服 MIRACLE 60」12 カット．表紙の友里ちゃんキレイ．ドーナツ持ってる友里ちゃん，シャーリングベロアワンピの友里ちゃん大好き！！
P404 からは Pinky ＆ Dinanne とのタイアップで「Welcome To Winter White World！」8 カット．冒険的なカットの多いコのタイアップ，今回も独特の世界を演出．
P444 からは ROPE とのタイアップで「お嬢さんのお仕事 Style ＆ 週末 Style」4 カット．P445 左下は鳩が豆鉄砲な表情．(^^;
P446 からは Rew de Rew とのタイアップで「Sweet ＆ Cute な冬ヒロイン」6 カット．髪を上げた友里ちゃんもいいです♪
P452 からはレッセ・パッセとのタイアップで「人気独占♥秋のスイートスタイル 6」6 カット．どれもかわいい♥
P456 からは epudat とのタイアップで「最愛 PINK で始めるスイート・オータム Style 5」5 カット．P457 左の大きなカットかなり好き♪
P464 からは KOOKAI とのタイアップで「秋の大人カジュアルはロマンティック」5 カット．P464 のカットはしっとり．P465 左は珍しい表情．
P468 からは KETTO di MAMMINA とのタイアップで「冬のカワイイはリッチ＆フェミニン主義でいく！」4 カット．P469 の大きなカット秋っぽくていい雰囲気です．あ，タイトルは冬だけどね．
番外編みたいな感じだけど，P642 に Tokyo Girls Collection のサイトの案内があって友里ちゃんも 1 カット．
P651 には毎年恒例「CanCam New ELEGANCE ファッションショー」の案内があって 2 カット．女性限定なんだよね．．． 無念だ．
ふぅー，疲れた．
なんとなんと，合計 246 カット．正確じゃないかもしれないけど，すごいことに変わりはないのだ．
今月はこの 246 カットからセレクションするわけか．うまく選ばないとステキな友里ちゃんを紹介できなくなりそう．
もっとも，どの友里ちゃんもステキなので問題はないのですが．
ともあれ (JW)，友里ちゃんのカット数ダントツじゃないの？ 途中のタイアップのところ，友里ちゃんの合間にもえちゃんや直ちんが挟まってる感じだったよ．マジですごい．
でもね．．．
来月もすごそうなんです．
なんたって別冊付録が「エビちゃん LOVE LOVE♥ コラボ服 誌上通販 BOOK」だもの．
そんなわけで (どんなわけで？)，10/22 には友里ちゃんが大丸神戸店で一日店長．関東ではやらないのかなぁ？ やって欲しいなぁ．
ともあれ (JW)，これほどまでにエビちゃんプッシュでいいの？ ってファンのおいらでも戸惑うくらいのプッシュぶりです．
でもまぁ，これだけプッシュしてくれるということは卒業間近というわけでもないと思っていいのかな？
っていうか，来月の予告に『"大人めキレイ" がキーワード 25 才からの「お姉さんCanCam」冬スタイル』とかあるし．25才「からの」だもんなぁ．上限はどこまで？ (^^;
まぁ，うちの彼女も出会った頃から「もう CanCam 卒業しないと」って言ってたけど，未だに卒業できてません．MORE や with はやめれても CanCam はやめられないらしい．
そんなわけで (どんなわけで？)，対象年齢をどんどん上に広げてもらっても全然構わないのだ．
友里ちゃん以外についても少々．
今月号で最大の驚きは P304 からの「めちゃ♥モテ 美 ベースメーク完全レシピ」．
N.E.T の一員，かわいい系 No.2 といっていい (公式には葉子？) 西山茉希ちゃんがスッピンから完成するまでの 26 ステップを紹介してくれているのですが．．．
スッピンの茉希ちゃんが茉希ちゃんに見えない．(^^;
っていうか，完成一歩手前の 25 ステップ目でもまだ茉希ちゃんっぽくない感じ．でもでも，26 では完璧な茉希ちゃん．超キュート．
何が違うって，マスカラとグロスをプラスしただけらしいんですが，つまりマスカラですか．あなどれん．
どうりでマスカラ命な女のコがたくさんいるわけだ．どひゃー．
ともあれ (JW)，茉希ちゃん，ちょっと顔がふっくらしてきましたね．一時期のやつれた感じよりは見てて安心ですが，今度は顔が大きく見えるのが難点か？
どうでもいいけど犬伏まりが専属じゃなくなってる？
こんなものかなぁ．まぁ，なんせ 650 ページなので，読み応えありすぎです．1 か月じっくり眺めます♪
そんなわけで (どんなわけで？)，CanCam 買うしか！！
出演予定 TV 番組
情報なしですぅ．．．
