ブラジャー☆データモデリング★ERD☆哲学

（株）ダッチェスのブラ或いはB級ブラ列伝★
逆流性食道炎（胸やけ）
長谷川京子のブラチラ
 しまむらのG85のブラを試す
 「ブラジャー☆データモデリング★ERD☆哲学」週間番組表★☆

データベース実践講義―エンジニアのためのリレーショナル理論 C.J. デイト
￥3,360
Amazon.co.jp

哲学、心理学の三角形

　混乱から抜け出すために。

　問題を解決するために。

　三角形。

　江口洋介、稲垣吾郎、広末涼子、相武紗季等出演のドラマ『トライアングル』は、そこそこ面白かったとして（←古いか？）……

　”三角形”といっても、三角ブラのおはなしではなくて、哲学、心理学は三角形で語られる図式がおおい、って常々思う。

*:..｡o○☆ﾟ･:,｡*:..｡o○☆

　スピノザの理性的認識（参照）とは、普段の世俗的な視点から、ちょっと超越した視点のこと。上位にある視点のこと。。

　時が経ち、ドイツ観念論、へーゲル弁証法的には、

1) テーゼ（＝正の命題）

2) アンチテーゼ（＝反対命題）

3) ジンテーゼ（＝合の命題）

の三角形。とある命題（＝テーゼ）と矛盾し、あるいは否定する命題（＝アンチテーゼ）の二者を止揚（＝アウフヘーブン）して生まれるジンテーゼの三角形。近代哲学の建築的かつ構造的なな思考方法を見事に表現する三角形。

　近代～現代に生まれたブラジャーの存在自体も、ひとつの弁証法である。

1) テーゼ：女性は子を産み乳を与え育てる存在であり、授乳のために胸部には乳房という脂肪が存在しており、身体的活動には適さないという制約が先天的に存在している、という命題。

2) アンチテーゼ：資本主義の発展により、資本制労働を行なう労働者は性別を問わなくなってきた。女性の社会進出が進むが、労働の上で、胸部の脂肪が「ウザッ」って感じになった。アンチテーゼは自動的に生まれた。

3) ジンテーゼ：これら二つのテーゼの対立を「上から包み込むテーゼ」（＝ジンテーゼ）が考えられた。それが、胸部の脂肪の流動を安定させる、ブラジャーである。

　この三角形は、マルクスやニーチェを経て否定されていくが（←物凄い大雑把なまとめでゴメンナサイ）、近代観念論の否定の極致、ポスト・モダニズムにおいても、ある意味、似たような図形（＝三角形）が展開される。

stddef.h が定義する offsetof マクロ

データベース実践講義―エンジニアのためのリレーショナル理論 C.J. デイト
￥3,360
Amazon.co.jp

はるかの、切ない混乱は続く……………

何となしにお気に入りのスタディオファイブQB5343を身につけてみた。
やっぱりF90がはるかのベスト。
フルカップですっぽり包んでくれる安心感。

これって、ブラジャーのセキュリティなんやろねっ

と、はるかは思う。なんだか、とっても精神的に、落ち着く……………逆に、3/4カップや、スーパーフックで無理に着けるのって、
ある意味、セキュリティ脆弱なんやろぅね、
とはるかは考えた。

じゃあ、セキュリティ向上のための施策って

こうすることかしら、
とサルートのステンドグラスを
重ね着してみたりする。

3/4カップとフルカップの違いがよくわかり、

悲しいけど、私は女なんだな………
と、はるかは思った。

孤独な散歩者の夢想（2）

うとうと、川辺でまどろむ Saturnday。

MUTEX、共有メモリ、マークデバイス…………今週仕事してて、
「はるか、まだまだ、コンピュータの仕組み、分かってないな」
と、思ったこと。
勉強したいけど、今は無理。。。

今日は暑い。蒸し暑い。汗が出る、川辺にて寝転がってるだけで。。。

あの子の香水の臭いを
思い出す。
あの子が私の席の後ろを
通り過がるときの
Perfume を
多摩川で探してる
馬鹿なはるか。。。。

はるかは、同性たる女の子に恋してしまったのである！！

続く…………

孤独な散歩者の夢想

はるかは今、テンション低め、Bluesy Mode だ。

都会の喧騒から離れて、っうか、新入社員歓迎会が立て続けの 2 weeks で、わぁわぁやり過ぎて、疲れたのでぃす、

「川が見たいっ！」って、切実に思って、
多摩川に来て寝転がってる。。

変態ブラジャー愛好女子モードに、早くコンテキストスイッチしたいんだけど、
なんか、しんどい。。。。

水面に反射する光、景色を見ていると、なんか落ち着く。

今日は全て忘れたい、

Cancel Everything........

&☆ビット積演算子

　stddef.h の

#undef offsetof
#define offsetof(TYPE, MEMBER)
 ((size_t) &((TYPE *)0)->MEMBER)

((size_t) &((TYPE *)0)->MEMBER)

の「&」の意味をビット積演算子と読み間違えた旨、先日書きましたが、今日は「ビット演算子」を復習。

　ビット積演算子「&」は、ビット演算子（bitwise operator）あるいは、ビット論理演算子（bitwise logical operator）のひとつ。積の場合は、

　ビット単位で比較して共に1なら1

　コンピュータの世界では、すべてが二進数、0か1かの世界。例えば10進数の整数 3, 4 は、

　3 = 011

4= 100

と2進数で表現されます。ビット積演算を行なった場合、011&100は、共に同じ桁で1がたってなければ、0になるので、結果はゼロとなるはず。カンタンなプログラムで復習。

/* bit.c */
#include <stdio.h>

int main(){
        unsigned short a,b;
        a=3;
        b=4;
        printf("a&b=%d\n", a&b);
}

コンパイル、実行してみます。

haruka:~/STUDY # gcc bit.c -o bit
haruka:~/STUDY # ./bit
a&b=0

想定どおりゼロになりますね。a=3, b=7ならば、2進数にすると

a = 011

b = 111

で、下二桁がともにビットが立っている（＝1である）ので、

haruka:~/STUDY # vi bit.cq
/* bit.c */
#include <stdio.h>

int main(){
        unsigned short a,b;
        a=3;
        b=7;
        printf("a&b=%d\n", a&b);
}
haruka:~/STUDY # gcc bit.c -o bit
haruka:~/STUDY # ./bit
a&b=3

011(2進数）→3（10進数）が戻ります。

☆*ﾟ゜ﾟ*☆*ﾟ゜ﾟ*

　UNIXのしくみを、本当に理解したい！

■関連記事：

bits/types.h を読む

shmget は何をしてるの？

共有メモリ

データベース実践講義―エンジニアのためのリレーショナル理論 C.J. デイト
￥3,360
Amazon.co.jp

スタディオファイブ☆プラチナラベル☆千式

　Good Evening !! はるかです。

　私たちは一昨日、スタファイの千式ブラジャーを発見いたしましたが、

☆スタディオファイブ　千式☆

PLATINUM LABEL IB 1000

ﾟ･:,｡ﾟ･:,｡★ﾟ･:,｡ﾟ･:,｡☆

　豪奢

ﾟ･:,｡ﾟ･:,｡★ﾟ･:,｡ﾟ･:,｡☆

ってコトバが似合うブラジャーって、やっぱ、スタディオファイブのプラチナレーベルですよね、2万円以上もするので、社会人2年目のはるかは、まだまぁだ、手を出せないのですが…

　はあ。。。まじまじ見たら、溜息でるほど、きれいだなぁ、モノクロームコレクション。単色が限りなく上品。

　販促画像を拡大して見る。フロントパネル下辺に付いてるのは明らかにケミカルレース。ちょっと大味な古風なモチーフがいいです。

　同じケミカルレースが、カップ上辺も覆っている。そのカップ上辺を覆うケミカルレースの下に、もうひとつ、フリルのついたケミカルレースがカップ下辺（バージズライン）から、カップ上辺に向けて流れててる。

　その下に、チュールが見える。つまり、カップ表側は、

　ケミカルレース①

---------------

　ケミカルレース②

---------------

　チュール

の、贅沢な三層アーキテクチャになっていることが、解るわ。

　ストラップのリボンも、可愛いし、すごいわね、千式。

ﾟ･:,｡ﾟ･:,｡★ﾟ･:,｡ﾟ･:,｡☆

　レースの仕様（リバーレースか？　or ラッセルか？）とか、解説ないんだけど、はるかの眼でブラジャーを撫でて遊んでいるような錯覚（←変態かっ？！っていうか、「変態」ともう呼ばれてますが）から、真人間に復旧して…おやすみなさいっ。

■関連記事：

シャアの百式、ならぬスタファイの千式☆ブラジャー

花火☆叙情的ランジェリー＠スタディオファイブ

stddef.h が定義する offsetof マクロ

データベース実践講義―エンジニアのためのリレーショナル理論 C.J. デイト
￥3,360
Amazon.co.jp

&☆変数のアドレスを調べる

　こんばんわ、はるかです。

　共有メモリの仕組みを理解しようとして、自らのC言語の圧倒的な理解不足に苦しむはるかです（参照）……………

　落ち込んでばかりいても仕方ないので、stddef.h の

#undef offsetof
#define offsetof(TYPE, MEMBER)
 ((size_t) &((TYPE *)0)->MEMBER)

　で、パッと見て理解できなかった部分を、ひとつひとつ復習します。これが出来ないと、スラスラとカーネルを理解していくのは、できないかなぁ、と不安なのです。

*:..｡o○☆ﾟ･:,｡*:..｡o○☆

　まず、ホントに恥ずかしい話ですが、

((size_t) &((TYPE *)0)->MEMBER)

の「&」。これは、、

構造体TYPEの((TYPE *0)->MEMBER)で求められたデータのアドレス位置（&）をsize_t型にキャストする、

　って意味でしょう（ですよね？？）。

　このソースを眺めたとき、ちょっと「&はビット積演算子かなっ？」って戸惑いましたので（私は馬鹿、かなりヤバイ）、緊急復習します。

/* address.c */
#include <stdio.h>
int main(){
  char c;
  int i;
  double d;
  long l;

  printf("char's address:%p\n", &c);
  printf("int's address:%p\n", &i);
  printf("double's address:%p\n", &d);
  printf("long's address:%p\n", &l);
  return(0);
}

☆復習☆

・コンピュータのメモリは1byteずつ、

　0番地、1番地、2番地…

　と住所（＝メモリのアドレス）が

　割り付けられている。　

・プログラムの変数も、メモリ中のどこかの

　アドレスに置かれている。

・変数に「&」をつけると、

　その変数がおかれているアドレスを

　調べられる。

　コンパイル、実行してみます。

haruka:~/STUDY # gcc address.c -o address
haruka:~/STUDY # ./address
char's address:0x7fbfffea4f
int's address:0x7fbfffea48
double's address:0x7fbfffea40
long's address:0x7fbfffea38
haruka:~/STUDY #

　この場合

　char型変数 c のアドレスは、bfffea4f

　int 型変数 i のアドレスは、bfffea48

　double 型変数d のアドレスは、bfffea40

　long 型変数 l のアドレスは、bfffea38

となります（が…）。

☆*ﾟ゜ﾟ*☆*ﾟ゜ﾟ*

　ちょっと、32bit OSとの違いを説明できない。。。まだまだ、私、ダメ。また後日。

■関連記事：

bits/types.h を読む

shmget は何をしてるの？

共有メモリ

データベース実践講義―エンジニアのためのリレーショナル理論 C.J. デイト
￥3,360
Amazon.co.jp

シャアの百式、ならぬスタファイの千式☆ブラジャー

　こんばんわ、はるかです。

　マジで、つまらない話なんだけど……。

　ゼータガンダムで、シャア（クアトロ・馬事ーナ）が、”百式”ってモビルスーツに乗ってるじゃないすか。これって、モビルスーツの製品番号（？）が、MSN-100だから、「百式」って、アムロとか、カミーユとか、エマさんとか、レコアさんとか皆、呼んでいるみたいなんだけど。

*:..｡o○☆ﾟ･:,｡*:..｡o○☆

Catherine：「Hi! Haruka. 今日どんなブラ着けてんの？」

Haruka：「今日、ウチ、百式つけてんねん」

って、言ってみたりしたいなと。いつも馬鹿ですが。もちろん、ブラジャーの製品番号が、丁度、**100ってなっていることが、前提ねっ！

*:..｡o○☆ﾟ･:,｡*:..｡o○☆

　…で、スタファイでQB100とか、ないかな～～～～って調べてみたら、

おおおおお。

☆スタディオファイブ　千式☆

WHITE LABEL QB 1000

☆スタディオファイブ　千式☆

PLATINUM LABEL IB 1000

　あんじゃん、あんじゃん。100はないけど、1000があんじゃん、千式あんじゃん。

*:..｡o○☆ﾟ･:,｡*:..｡o○☆

　とくにQB1000は、QB-1000定番コレクションシームレスカップブラ ってことで、上品なスタンダードっぽい製品だし、ほんと、「千式」ってコトバに合うじゃん。

Catherine：「Hi! Haruka. 今日どんなブラ着けてんの？」

Haruka：「今日、ウチ、千式つけてんねん」

　言ってみてぇ～～～～～

■関連記事：

花火☆叙情的ランジェリー＠スタディオファイブ

stddef.h が定義する offsetof マクロ

データベース実践講義―エンジニアのためのリレーショナル理論 C.J. デイト
￥3,360
Amazon.co.jp

64bit OSでの size_t 型のサイズ

　stddef.h に定義されるoffsetof マクロを実際に使って構造体メンバのバイト位置を求めて、32ビットモードと異なり、 8バイトが戻ってきました。はるかのテスト環境は、SuSE Linux 9 で、64ビットモードです。

　とりあえず、size_t型のサイズを調べます。

/* size_t_test.c */
#include <stdio.h>
int main() {
  size_t t;
  printf("Sise of size_t = %d \n", 
    sizeof(t));
  return 0;
}

　sizeof 演算子を用いて、site_t型で定義した変数tのバイト数を調べてみます。

　早速、コンパイル、実行。

haruka:~/STUDY # gcc size_t_test.c
 -o size_t_test
haruka:~/STUDY # ./size_t_test
Sise of size_t = 8

　やはり、64bit OS の場合、size_t 型は、8バイトとるようです。

　さて、その定義は一体どこで行なわれているかと言うと、

haruka:~/STUDY # grep 'size_t\;' \
/usr/include/*/* | grep typedef

などと調べてみますと、

/usr/include/linux/types.h　にて

#ifndef _SIZE_T
#define _SIZE_T
typedef __kernel_size_t size_t;
#endif

と言う宣言があり、さらに、__kernel_size_tがどこで定義されているか調べると、

　まず、

/usr/include/asm-x86_64/posix_types.h

において、

typedef unsigned long __kernel_size_t;

と、64ビットの場合は、log 型に、

/usr/include/asm-i386/posix_types.h

で32ビットの場合は、

typedef unsigned int __kernel_size_t

とint型で宣言されていることがわかります。

☆*ﾟ゜ﾟ*☆*ﾟ゜ﾟ*

　まだまだ、理解不足で整理できてないですが、ここから、32bitの場合と、64bit の場合のsize_t型のサイズの違いが生まれるようですね。

■関連記事：

bits/types.h を読む

shmget は何をしてるの？

共有メモリ