トップ «前の日記(2003-01-04) 最新 次の日記(2003-01-07)» 月表示 編集

日々の流転


2003-01-06 [長年日記]

λ. 寝坊。

λ. Ruby-CPL (仮称)

型推論部分で設計ミスに気付く。引数を持たないようなClosedFunctorialExpressionはsubstitutionによって引数を増やすことが出来ない……。ぎゃー。

Tags: CPL

λ. コンパイラ構成論

レポートは木曜まで。やばい。

λ. 東方妖々夢

ようやくプレイ。ミスディレクション楽しいですね。あと、アンディレクティッド・レーザーもいい感じ。

Tags: 東方

λ. 読書

『全日本妹選手権 3』
堂高 しげる [著]
Tags:

λ. 代替スタイルシート

Opera7で具合いが悪いようなので、代替スタイルシートを全部外してみました。

λ. 継承(or subtyping)とvariance

なるほど。やっぱりFAQだったのですね。(Eiffel FAQ,日本語訳)でしたか。ふむふむ、理論的な解決をしているわけではなく、コンパイラによるチェックまたは実行時の例外という扱いなのですね。

それから、Satherはこの場合contravarianceなのか。

本日のツッコミ(全4件) [ツッコミを入れる]
ψ なひ (2003-01-09 14:00)

ハートだらけ青ピンクべたー、という感じで全然見られずに居ました。。。

ψ さかい (2003-01-11 04:35)

やっぱダメでしたか。うーむ……

ψ とりぃ (2003-01-13 23:39)

http://www.w3.org/TR/REC-html40/present/styles.html#h-14.3.1<br>によると、デフォルトのCSSをrel="stylesheet"でtitle属性有りにして、代替をrel="alternate stylesheet"でtitle属性有りにするとうまくいくみたいだけど。どうやっていたんでしょ?

ψ さかい (2003-01-15 16:40)

こんな感じで指定していました。<br>relの中身の順序が逆になっていたのが原因かな……<br><br><meta http-equiv="content-style-type" content="text/css" media="all"><br><link rel="stylesheet" href="theme/globe.css" type="text/css" media="all" title="Globe"><br><link rel="stylesheet alternate" href="theme/default.css" type="text/css" media="all" title="Default" ><br><link rel="stylesheet alternate" href="theme/desert.css" type="text/css" media="all" title="Desert" ><br><link rel="stylesheet alternate" href="theme/line.css" type="text/css" media="all" title="Line" ><br><link rel="stylesheet alternate" href="theme/lovely.css" type="text/css" media="all" title="Lovely" ><br><link rel="stylesheet alternate" href="theme/maroon.css" type="text/css" media="all" title="Maroon" ><br><link rel="stylesheet alternate" href="theme/midnight.css" type="text/css" media="all" title="Midnight" ><br><link rel="stylesheet alternate" href="theme/nebula.css" type="text/css" media="all" title="Nebula" ><br><link rel="stylesheet alternate" href="theme/pool_side.css" type="text/css" media="all" title="Pool_side" >