2009-04-09から1日間の記事一覧

"Conservative extensions, uniform interpolants, and modules"(Frank Wolter)

JAIST先端レクチャー・シリーズ"From Pure Logic to Ontology Engineering"の第二回目。 背景説明 医療用のカルテのオンライン・システム等の場合、病気を単に分類するだけでなく、病気などの分類(「概念」)を階層化しておいた方が便利なことが多い。例え…

金沢出張(初日)

暖かい日。「雷鳥」に乗って小松へ、在来線で西金沢へ、それから西金沢で北陸鉄道に乗り換え鶴来へ、駅からバスで某大学へ。 金沢も桜が咲いてきた。 講義終了後は市街に戻り、「いたる」で夕食、ホタルイカの酢味噌和えが最高でした。