「Jcentric型システムの宣言スタイル・スキーマ構文」： 実用上の要求から次のような妥協をしました。 インスタンス埋め込みの型情報とユニオン型のラベル（弁別子）を区別しないことにした。 プログラムで実装するユーザー定義型をスカラー型に限り認めるこ…

ネジとか何かの部品などが落ちているのを拾って「なんだこれ？」。なんだかわかんないので捨ててしまって、後悔したことはありませんか？ 僕はあります。それで、先日、仕事場のドア付近でネジを拾ったとき、過去の経験からの教訓を活かして、ティッシュに包…