明日のクイズに向けて久々のＣコーディング。泣けてくるくらい忘れているし。とくに泣けたのが、"\0"を"\n"と間違えたこと。ショック。 いろいろ改良していると、朝の３時に。あーあ。

本配属に向けて教員に直にインタビューができるという制度があり、いろいろ申し込んでみた。 で、この日が初めてのインタビューだったのだけど、とても３０分では足りない。 こんな短い間で、XMLデータベースのrelational mappingについて基本を教えてもらう…

こっちは前回とうってかわって、かなりわかりやすい話。 命題論理のトートロジーに代わる、恒真(valid)という概念の説明。これはとても理解しやすい。 冠頭標準形。これは命題論理における論理和標準形のようなひとつの形の定義。やり方は論理和標準形よりも…

モジュールシステムについて。これを使うと情報隠蔽が可能になるという話なんだけど・・・、うーん眠かったです。後でしっかり復習しなきゃ。 なんでも必要な型の情報だけを公開したりなどということが可能になるそうな。