日々の流転

λ. 履修申告確認表に「至急窓口に来てください」と書かれていたのをすっかり忘れていたので、だいぶ経ってしまってたけれど窓口へ行ってみる。

λ. システムプログラミング

演習問題とか真面目に解いていると、だんだん不毛な気分になってくる。でも、授業時間中に解けないと、解答例と自分の解答を比較考察する宿題に変化するので、一応解いて回避離脱。

λ. 論文読み会 "Rethinking /dev and devices in the UNIX kernel"

加藤さんの発表。jail(2)への愛が感じられる論文でした。なんでjailにこんなにもこだわるのかと思ったら、著者はjailの作者だったらしい。ありゃまぁ。

λ. ゆっけsong

某方面へ。ゆーすけべー日記 (2002-05-13) より

λ. T-coalgebra

あう。有限状態オートマトンがcoalgebraになるという話は情報数学Ⅰでちょっとやったけど、T-coalgebraなんて知らないにょ。多分T-algebraのdualだとは思うけど、T-algebraといえばmonadの出てくるアレなわけで……

というか、いきなりそんな授業やるなんて、ずいぶん飛ばしてるなー　さすが大学院の授業(!?)

λ. yasuf's page

高校の同級生だった平川君のページ。

λ. Lawvere の不動点定理 (Lawvere's diagonal theorem)

[ruby-list:35060]で原さんが「Lawvere の不動点定理」という定理を紹介している。

どっかで見たなと思ったら、こないだまで読んでいた「Conceptual Mathematics」だった。この本の著者は F. William Lawvere と Stephen H. Schnuel だったりする。で、以下に引用。

Diagonal Theorem:

(In any category with products) If Y is an object such that there exists an object T with enough points to parameterize all the maps T→Y by means of some single map f:T×T→Y, then Y has the 'fixed point property': every endomap α:Y→Y of Y has at least one point y:1→Y for which αy=y.

関連エントリ

• 「自己言及の論理と計算」
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points

λ. jmk = Make in Java

jmkという文字列を見て、一瞬saimuneさんのアレかと思ってビックリした。

λ. MFモデル

国際マクロ経済学の基本モデルに「マンデル・フレミング・モデル」というのがある。このモデルでは増税や公共事業削減等の緊縮財政は円安を導く。

λ. Cと末尾再帰の除去

VC++はtail recursionの除去をしてくれるとどこかで聞いた。gccにも-foptimize-sibling-callsというオプションがあるようだ。これらは一体どうやっているんだろう?

stdcallならば、スタックフレームの巻き戻しは呼ばれた関数側で行うことになっているので、末尾の関数を呼び出す前にスタックフレームを巻き戻してしまえば良さそうだといのは分かるのだ。だけど、cdeclのようにスタックフレームの巻き戻しが呼び出し側の役割の場合は、単純な末尾再帰はともかく相互再帰等を除去できないのではないだろうか?