めざましテレビ
今日の早耳ムスメは徳澤直子ちゃーん,お題は「早耳ムスメのはまりもの!! 徳澤直子 ver.」
待望の徳澤直子ちゃん!! 待ってたよ!!
うわっ,いきなりデニムのショートパンツだよ.脚がたまらぬ...
今日からは新企画という事で,早耳ムスメがはまってるものを紹介してくれるとのこと.
第一弾が直ちん.さ・す・が
そんなわけで (どんなわけで?),最初に訪れたのが 4℃.宣伝じゃん.(^^;
ピアスの紹介で直ちんの顔アップを堪能できたので全然ありですけど.
そしてタイ古式マッサージで様々なポーズを楽しませてくれた後は自宅 (?) から愛犬のネネイと登場!!
なんか,直ちんが自分で撮影したみたいでいいっすねぇ.ちょっとしたお宝ですよ.
っていうかネネイ... 直ちんをペロペロしててうらやましいぞ!!
Tokyo Girls Collection パーフェクトブランド BOOK
なんと,雑誌まで発売されています.
コンビニで見かけて速攻購入!!
と思ったのですが,家に帰るまで我慢できずにその場でエビちゃんチェーーーーック!!
...
あれ?
...
なぜ??
・・・
いないよ????
・・・
うーみゅ,エビちゃんがいない.(;_;)
唯一,Private Label のステージを紹介するコーナーに 1 カットのみ.しかも小さくて隅っこ.
ありえないんだけど ありえないんだけど (© abcbsnbc さん)
おいらがエビちゃんと付き合っちゃうくらい ありえないんだけど
ありえないんだけど ありえないんだけど
後輩が直ちんで妹が茉希ちゃんくらい ありえないんだけど
ありえないんだけど ありえないんだけど
なんなんだエビちゃんに対するこの扱いの悪さは.
ムカついたので買わずに放置.
ぷんぷん.
Prolog 写経記 その 18 lengths/2
(ほぼ) 毎日淡々と Prolog を写経します.元ネタはこちら.
- 作者: ボグダンフィリピッチ,中島誠,伊藤哲郎
- 出版社/メーカー: 海文堂出版
- 発売日: 1990/08
- メディア: 単行本
- 購入: 4人 クリック: 33回
- この商品を含むブログ (68件) を見る
lengths/2
を写経します.昨日のは
length/2
.今日のは lengths/2
.また同じものを写経するわけではありません (苦笑).
解説
lengths(Lists, LL)
はリストLists
の長さをリストで返す.ただしLists
はリストを要素のするリストであり,LL
はそれらリストそれぞれの長さを要素とするリストである.
珍しい操作ですね.Java なんかだと必要になることなさそうな.
モード
lengths(+, ?)
昨日のと違って第 1 引数は具体化されたリストが必要なようです.
定義
では,こいつの定義を写経しませう.
lengths([], []). lengths([List], [L]) :- length(List, L), !. lengths([List | Lists], [L | LL]) :- length(List, L), lengths(Lists, LL).
ふむ.
リストのリストの最初の要素であるところのリストの長さとリストのリストの残りの要素からなるリストの要素であるところの各リストの長さを要素とするリストを cons したものが結果のリストって事ですね.
いいでしょう.でもね...
なんか,再帰の停止条件になる節が二つあるように見えるのですが...
2 番目の節は必要なのかなぁ? なくても構わない気がするのですけど.
あとでお試ししませう.
例
では使用例を写経しませう.
3 ?- lengths([[a, b], [a, b, c, d], []], X). X = [2, 4, 0] Yes 4 ?- lengths([a, b, c, d], Y). No 5 ?- lengths([[a, b, c, d]], Z). Z = [4] Yes 6 ?- lengths([], 0). No
ふむ.
では,定義の二番目の節を削除して同じ事をやってみませう.
12 ?- lengths([[a, b], [a, b, c, d], []], X). X = [2, 4, 0] Yes 13 ?- lengths([a, b, c, d], Y). No 14 ?- lengths([[a, b, c, d]], Z). Z = [4] Yes 15 ?- lengths([], 0). No
ほらぁ,同じ結果じゃん.
うーん,それなのになぜ本書では 2 番目の節を定義しているのか?
うーみゅ...
オフィシャルサイト
昨日のアイピお休み宣言は残念でしたが,代わりに (?)「DIARY」が更新されてます.
03/23 以来,約 5 か月ぶり.
それにしても...
相変わらず過去の日記へのリングがダメダメですねぇ.
しょうがないので以前掲載した過去日記へのリンクを以下に再掲.
2004/01/20
2004/05/27
2004/07/20
2004/10/07
2004/11/30
2004/12/14
2004/12/17
2004/12/24
2005/01/14
2005/01/15
2005/02/04
2005/02/19
2005/03/10
2005/03/23
2005/09/01
あれ?
2005/03/23 が出ない...
出演予定 TV 番組
情報なしですぅ...