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

やはり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つにも膨れ上がった日にゃー，もう

同姓同名さんみーっけ．

長頸竜類の頸椎数をどうコーディングするか，っていう古典的な問題．要するに間隔尺度って概念がないのよねー．

ひさびさに家で寝て，うわーもう日が昇ってんじゃん，とか思って家を飛び出し学校に向かいつつ，ついでなので本屋とパン屋に寄ろうとしたら開いてない……まぁ，世の大きいお友達がプリキュア見てる時間帯だったわけだが，どんだけ時間感覚や曜日感覚がズレとるのか．とりあえず家の時計（4:35くらいで止まってる）の電池と，腕時計（無い）と．

1ヶ月前にはxqueryがー，とか言ってた人間がコレだもんなー．痛いなー．つーか，さっさとデータの入力と解析に移れという話で．

5NFどころか6NF．

数学的な明快さ，という意味でTutrial DとHaskellでゴニョゴニョ，とか思ってしまうのはアレすぎるだろうか．

形質行列が非正規形という話について，今の解析ソフトは各変換系列について順序性をオプションとして指定したり，あるいは例の分枝変換系列（=半順序性）を加算コーディングにしてみたりしてたわけだけど，こうしてリレーショナルデータベース | 関係代数の勉強をしてみると，データの扱い方がメチャクチャ大雑把だなーという印象が拭い難くなるわけでして．

あと，変数の尺度はもうちょっとマジメに考えたほうがいいと思う．なんでもかんでも半順序尺度ってのはどうかと思う．

nullは無い，と書いてしまったが，それは「たぶん」の話で，形質のコーディングや付値の際にnullを排除できるか，という問題はもうちょっと論証が必要な気がする．結局のところ，いわゆる形質行列というのは，そもそも行列ではなくて非正規形の関係変数（Date流に言うなら，nullがあるので関係変数ですらない）なんではないかという話．そんなわけで，今まで散々使いまわしてきた形質行列はちゃんと正規化して考える必要性とか，それとは別にnullを必要としないコーディング規則（たとえば計測箇所の選択とか）を考える必要性とか，そんなコトを考えてみたり．

nullは無い．値は唯一という場合と値は無数（制約はある）で不明という場合が発生する．つまり，不明ではあるが値は存在するのでnullではない．そういうわけで，こないだ言い出した多値変換系列で問題となるのは，nullの有無ではなく個々の変換系列の独立性であり，それを考慮した計算が行われているか，ということになる．

結局，nullなんて無いよ> (ﾟ∀ﾟ) というDate氏の考えに染まってみたり．

C. J. Date のデータベース実践講義を購入．「1.2 製品ではなく原理である」という見出しがステキ．

うっかりミスでノートPCのOSを再インストールする羽目に．むー．

今日覚えたコトバ：四値問題．null と unknown の問題て，要するにコレのことだったんだが，コレを解決しないで系統の「推定」なんてできるわけ無い気がしてならない．

CLAMPをCLIMAPと空目した私はもうダメポ．

ちなみにoanusさんはオブ脳ではありません．

今日覚えたコトバ：インピーダンスミスマッチ．つーか，継承ってどーしたらいいのよ？

結局，生物とか地質とかそういうのがやりたいんじゃなくて，数学をやりたいんじゃないかなー，とか．

出てった先輩が液晶モニタをおいていったのでデュアルモニタにできるかなーと思ったら，d-sub 15 pinで，自分のマシンの出力はDVI-D．むー．

ステキなシェイプのPlotosaurus．

あるいはパイ投げというのもアリかもしれない．eが余計だけど．

とはいうものの，3.14 と解釈すべきか 3/14 (~ 0.214) と解釈すべきかは，諸々の利率に関わってくるのではないかと危惧．とりあえず2/14で渡して3.14で貰おうという戦略には，2.14で貰ったと解釈して3/14で返す戦略で反撃しても問題はなかろう．

今日は何の日？「πの日」．

最節約法でmulti-state characterを扱う時の加算コーディング法て，本当に使っていいんだろか．特にnullとunknownを区別しない解析ソフトとか，後でブーツストラップ検定する場合とか．

形態データをゴニョゴニョと扱うためにデータベース設計．結局，第五正規化までする羽目に． 手持ちのデータベース設計本では第五正規形という語彙は紹介されるも，意味の説明は第三正規形まで．まぁ普通はそれで事足りるのだろうが，やはり概念の持ち合わせは多いほうが便利という例．実際問題として，自分の扱ってるデータについて第五正規化までする必要性が本当にあるのかどうかについては謎．バラし方がオカシイだけだったりして．

あと何が嫌かって，ホテル/旅館の妙に豪勢な料理を独りで食すのが嫌．結局，牛丼食べてマンガ喫茶に寝泊り，ということになる．

旅行の何が嫌いかって，当てもなく歩くのが苦手だったり，みやげ物屋が鬱陶しかったり，阿呆な観光客が嫌いだったり，そういう自分も歴史分野の教養が足りないので理解できなかったり，あとはお金が無かったり，時間が無かったり．年に1，2度の遠出といっても，マンガ喫茶に寝泊りして地方の自然史系博物館を丸一日かけて見学するくらいしかすることもなく，旅というにはあまりにお粗末．そう意味では，丸一日枯山水プラン，というのは妥当な線だと思う．

中学の修学旅行の班行動の時間に「一日ひたすら枯山水を眺めつづける」というのを提案したもののあえなく却下されたことを，雪景色を眺めながらふと思い出す．基本的に旅行が嫌いなoanusさんだが，このプランだけは別格．

一面に粉雪が広がるのを見て，足跡をつけたいと思うか，ただ眺めていたいと思うか，という問いには迷わず後者と答える．

寒い寒いといいながらも，吹雪く夜には綺麗な風景を眺められるのでそれはそれで悪くない．が，寒いものは寒い．

雪どころか吹雪．

どうしてこう丁度灯油が切れたところで雪が積もったりするのか．

robo-salamanderなんてものが登場．泳ぎはまだまだ，って感じ．振動数も周波数も大きすぎる希ガス．

うっかり居室においてある「うしおととら」を読了．所要時間4時間ほど．むー．

やさしさの半分がバファリンで出来ていたらどうしよう．

要するに，研究室内で一番CPU時間を食うような仕事をしているのに自由に使えるのは研究室内最弱クラスの個人PCで，共用の最速のペケツーマシンがよりにもよってペケプーで，メールチェックなんかのために交代しながら使わなければならない，というあたりが問題．なんとかならんかのー．

新しくやってきた例のペケツーペケプーマシンをリモートで操作して数値計算を任せられたらいいなー，とか思ってペケプーのリモートデスクトップを試してみたのだが，同時に複数ユーザがログインするのはダメらしい．さてどーしたものやら．

一つ仕事をこなして「終わったー」と背伸びをして深呼吸．で，力を抜いて気付くわけです．またわき腹に脂が……

バイト料入ったー，わー．

いつぞや書いたCD-Rバーナのトラブル続報．どうやらASPIはAdministrators権限じゃないと動かないらしい．runasでなんとかしろってことか．

ボスと大ボスが揃ってvistaノートを購入．いくら年度末だからってどうかと思う．

某掲示板定点観測所だより：スパムで陥落（撤退?）した模様．もっともそこへの普通の投稿自体，フレームとトンデモで出来ているので別にどうでもいいっちゃどうでもいい話．かくして，知る限りそれ系の掲示板は地球科学板だけになってしまったわけだが……やっぱりどうでもいいや．まぁ私も昔はその辺に出入りして大口叩いてたりしたので他人のこと言えたものじゃないんだけど．

Chris L. Organ et al., 2007. Origin of avian genome size and structure in non-avian dinosaurs. を読んでみる．結局osteocyteのサイズを既存の系統樹にマッピングしてみただけなんじゃないかとか思ってしまうわけだが，いや，サンプリングとマッピングはいいとして，そこからDNAの話てのはどうなのよ，と．どっちかっつーと，量的形質を樹形図にマッピングするという統計的あれこれとかの方が興味深いけど，MCMCとかまだ全然分からんし．

源泉徴収票が見つからない．マジ死ねる．

「せんせー，くびながりゅうのことおしえてー」みたいな感じで訊かれる質問ほどクリティカルだったりするわけでして．

ウチから空き地を一区画挟んで隣に位置する何かの公式サイト．えー……

研究室のウェブサイトを作れとのお達し．とりあえず「いかがわしい風俗店」風にしてみようとか，ブラクラだらけにしてみようとか，漫♥画太郎風にしようとか，とりあえず最初の目標は日本語版googleのコンテンツフィルタで排除されるレベル．次はセキュリティベンダーのブラックリスト掲載とか．

Hello Project!は，いわゆる広義の_Neogloboquadrina pachyderma_ (s)

とりあえず目下最大のストレスの原因である明日締め切りの研究報告書を書くに当たって，実験室に放置されているドリトス2袋を食うべきか食わざるべきか，という実にしょうもない点で悩んでみたり．だいたいそういう食べ方すると翌日おもいっきり肌に出てくるのだが，後悔先に立たず，後を絶たず，役に立たず．いや，なんとか耐えるよ（弱

まぁ会う人会う人みーんな，一言目，二言目には「やせたねー」か「やつれたねー」なoanusさんですので，もうちょっと食べてもいいのかなーとは思うものの，脂肪ばかりか筋肉まで無いため今以上に体重が大きくなると重くて動けなくなったり，それでなくても脂っぽいのがさらに脂っぽくなったり，なにかとギリギリ．

それにしてもストレスって言葉は便利だなぁ．某精神科医の言うところのトラウマみたいな．

食べても食べても腹が減る．財布の中身を全部食べ物に変えても空腹（もちろんそんな経済的余裕は無い）．食べた分だけ脂肪がついても相変わらず空腹．なんか昔もそんなことがあったような気がしないではないが，だいたいこういうのはストレス性なわけでして，食べなきゃストレス，食べてもストレス．

上官殿から，研究室の端末からのエロサイト閲覧許可がおりる．ただし偽装工作は厳重にとのこと．ぃゃぃゃ……

研究室にquad xeon襲来．なんだこのパワーインフレ．

データが足りない……

某博物館での某映画試写会に案内役で参加．なんかまたテレビや新聞に晒される予感．

自転車通学再開．で，いつの間にか門から検問所まで自転車通行禁止になったとか抜かす警備員は轢殺OK?

死活問題．

某博物館の某キュレーターさまから諸々の資料を頂戴してみたり．俄然意欲も沸くというものですな．

市内某所にて，某中の人 et al. と夕飯．いわゆるoff会と呼ばれるアレ（いわゆるもなにもoff会はoff会じゃないかとかなんとか）．とにかく久々に寿司．腹いっぱいの寿司．で，結局その後かくの如く大学で作業中なわけですが，こーゆーイベントがないとホントに学外の人間に会わないってのは，根本的に生活が腐ってる気がしてならない．