このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2007-06-21から1日間の記事一覧

近所のそば屋のおばさんは

900円の胡麻だれ蕎麦を食べてお勘定しようと、ポケットからサイフを出した瞬間には100円玉のおつりを手渡してくれる。僕は、千円札を探し出して差し出すことになる。

レコードの型階層を合理的に説明できるか その2

前回(初回)わかったことは、レコードデータによって構成される型の階層は、データ(インスタンス)集合の包含関係ではうまく説明できないことです。実際のところ、データ集合の包含関係では型階層を表現できません。型階層を定義する正統派(と僕が思う)…