2001-10-23 Something is better than nothing.
λ. アラビア文字
アラビア文字を使ってみるテスト。「طَالِبُ(ターリブン)」。読めるかな? っていうより表示できるかな?
λ. データベース概論
新しい話はERモデル(ERダイアグラム)だけかな。ERモデルは、2項関係を扱うのに比べて多項関係を扱うのが面倒そうな感じ。
λ. 写真
なんとなく綺麗だったので、
λ. 今日のコメント先
- ななんち (2001-10-23 Tuesday 14:09)
-
パーティションの作成にはGNU Partedが便利鴨
2002-10-23
λ. 日月火と殆んど寝ていなかったので、それを取り戻すかのように夕方まで寝ていた。なので、今日はメディアビジネス論もパス。その後、向井研の発表資料を書き出すも証明ではまり出す。
2003-10-23
λ. 第 293 回 PTT
に行ってきた。話はとても面白かった。「操作的意味記述を用いた仮想機械の生成に向けて」の延長なのかな。closure conversion とか super thread とか、知らないキーワードが結構出てきたので勉強しなきゃなぁと思った。
λ. PTT懇親会
首藤さんに初めてお会いした。
伊知地さんに soft typing の事についてちょっと教えてもらう。隠れた多ソート代数の free algebra を考える。この free algebra が崩壊(?)する場合にはコンパイルを通さない。
電通大の多田研の人が何人か来ていて、ぽへへ〜ん が共通の話題になったり。
λ. そういえば、SOSP 2003 読み会 はどうしよう……
2005-10-23
λ. mimetex.rbの改造
ちょっと必要になったので、mimetex.rbを少しだけ改造した。ついでに、Hikiのスタイルも作成した。これはmathスタイルと同じ記法で、texの代わりにmimetexを呼び出す。wiki:mimetex.rb
【2005-10-24追記: しかし、この方法でスタイル作るのはイマイチだな。単に生成されたHTMLを置換しているだけなので、「整形済みテキスト」として書かれている部分の「[$ ... $]」も置換してしまうし、一方で「[$ ... $]」の中も普通にhikiスタイルでパースされてプラグインが適用されてしまう。mathスタイルを使っている人はそんなこと気にしないのだろうか?】
それはそうと、2年ぶりぐらいにmimetexをインストールしなおしたのだけど、生成される画像がずいぶんシャープで綺麗になったいて驚いた。
λ. 神奈川県参院補選＆鎌倉市長選
今回の選挙はあまり興味が持てなかったけど、いちおう投票に行ってきた。
2007-10-23
λ. 正格性フラグを使ってseqを定義する
たまたま気づいたのだが、正格性フラグを使えば seq を書くこともできるのだな。
data T a = T !a seq' :: a -> b -> b seq' a b = case T a of T _ -> b
正格性フラグの意味を定義するのに seq を使うものは見たことがあったが、これは考えたことがなかった。 まあ、考えてみれば当たり前なんだけど。
「seqを特定の型クラスに属する型に対してしか適用できなくしよう」という意見は時々あるが、その場合には正格性フラグが用いられる型定義に関しても、同じ型クラスの文脈が必要になるだろう。しかし……
ψ ケシ [それらしいのが表示できてます(＾＾；正しく表示できてるかどうかは分からないけど。]