まにゅださ 今日のひとこと

_ Spybot - Search & Destroy スキャン

今日、録画PCにログオンしたらスキャンが始まった。初めてだなぁ。しかし、スキャンが終わるまで何もできないのは困るぞw

_ On Understanding Types, Data Abstraction, and Polymorphism

ポリモフィズムについて気になっていたので調べる。この文献ではポリモフィズムを分類している。

Luca Cardelli and Peter Wegner:
On Understanding Types, Data Abstraction, and Polymorphism,
Computing Surveys, Vol 17 n. 4, pp 471-522, December 1985
http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf

1985年ですよ。