ボスが自己紹介ページくらい作っとけというのでサックリ製作．それにしても某システムのうぷろだの使いにくさはなんとかならんものか．

某システム．3月中から年次更新してくださいと告知しておきながら，ようやく今日になって交信可能状態に．で，更新した途端に全権限を付与されたわけでして，確かに権限があればコッチとしてはやりたい放題なんだが，それってセキュリティ的にどーなのかと．

発注側も受注側もクズなシステムってどーなのかと．いや，まぁ某理学情報システムのことですが．

やはり1000円もしないような腕時計はアッという間に使い物にならなくなるわけで．

いよいよBaysianの仲間入り．

wikispeciesのelasmosauridae．Elasmosaurusは当然として，他がEromangasaurusとTerminonatatorて，どーゆー偏り方なんだか．

今日覚えたコトバ：「リンクは自由にして下さい。ただし自由って何か考えてみてください。」出典はココ

nullとundefまわりのアレ，ふと読み直した論理哲学論考の5.5352あたりで指摘されてたり．

階上の改装工事UZEEEEEEEEEEE

結局RDBMSってのは関係代数を実装してみたもので，SQLってのは一階述語論理の原始論理式を列挙しているわけ．てことはデータベースの設計てのはER図を書くとかなんとかそういうことではなくて，自然言語で命題を書けるかどうかにかかっているような気がする．

一時期，毎日お世話になって飽きがきていた自販機のホットヌードルとんこつだが，最近パッケージが変わったので久々に食べてみたところ，フライドガーリックが追加されて無駄に食欲をそそりやがる．むー．

今日もZFC．算数をするだけの身にとって，教科書は使える公理系さえ教えてくれればいいわけで，何かと矛盾をはらむ公理系はとりあえず知らなくてもよかったりする．そうじゃない（古典的な）公理系やらは，或る公理系を使う妥当性を説明するために必要なだけではないかと思ったり．もちろん「直感的な」系の紹介はイントロダクションとして必要なのだろうけど，なんかその部分に大半を割かれてもなんだかなー，という感じでして．

さて，エラスモサウリダエは，クラスでしょうか，ファミリーでしょうか．

さて，「肩甲骨」というのはクラスでしょうか，セットでしょうか．

それに対する答えが「うーん，ごめんなさい．わかんないっす．でもNさん，あぁウチの助教授のね．あの人なら多分知ってますよ」ってのは．

ウチの大ボスのトコに来てるフランス人のせんせ，私は特に研究で関わりはないのだが，ふと話かけられ何かと思って聞いてみると，「聖闘士星矢って知ってるか？ちょっとこの黄金聖闘士のフィギュアシリーズのさ，シュラと童虎が欲しいんだけど，売ってるとこ知らない？いやぁ，とりあえずヨドバシカメラとビックカメラのオモチャコーナー行ったけどなかったんだよねー．」…ぃゃぃゃ．

種の有無だとか，高次タクサとか命名とか，なんかその辺のとこはみんな例のクラスとセットの問題に左右されっぱなしのような気がしてならない．たぶんされてると思うんだが，頭んなかまとまんないし，とりあえず保留（いわゆる言い逃げ）．

つーわけで，OOPにこだわらなくていい理由もわかったし，いろいろスッキリ．

どうやらセットとクラスは違うらしい（つーか，世のOOPの教科書ってどんだけ曖昧に書いてるのよ）．

とりあえずOOPの用語は曖昧すぎて理解できぬ．数学の術語に訳してくれたらあっという間に理解できるだろうに．そう云う意味ではHaskellもTutrialDも非常に理解しやすかったが（それを使って何かできたか，というと話は別）．

もひとつ，結局 OOP のクラスというものがフツーの集合なのかという点で納得がいかず．特に抽象クラスまわり．ところによってクラスはインスタンスの集合，みたいなことを書いたりする人がいるのだが，じゃあ抽象クラスは何の集合なのよ？と．

継承に関わる諸問題．要するに集合の定義が内包的であるか外延的であるかで継承の考え方が変わってくるって話なんだが，RDBMSでの関係ないしTABLEという集合は，常に外延的に定義されるものなんで（VIEWは内包的定義だけど），PostgreSQLのINHERITSて使いどころなくね？みたいな感じ．で，結局どうするかってサブセットの主キーがスーパーセットの主キーを参照すればよいんではないか，とか．更新周りがアレではあるが．

なんと，今日は祝日らしいね！

いつからSFはセフレの略になったんだ．

今日覚えたコトバ：高階述語論理．初めてってわけじゃないんだけど，身近な例で再発見した，という意味で．とりあえず，「変換系列の有無」を変換系列にしたりするのは，出来なくなくとも手にあまるような気がする．

今日覚えたコトバ：凸包．…これ知らないで，今まで何やってたんだかっていう基礎知識なんだが．

やはり継承は謎．

先週末，まだRDBMSを理解してなかったうちはとりあえずDBDesigner 4 日本語版を使っていろいろ試していたのだが，抽象的なことが分かってさえしまえばGUIよりCUIのほうが早かったり．

居室の窓際の席の先輩方が引越しまして，寒い寒い．

nullの場合分けが8つにも膨れ上がった日にゃー，もう