みんな忙しそう．知らない人も増えていて少し居づらくなったかな．夜中まで仕事することも増えているみたいで，激務は相変わらずのようだ．

日本橋から千日前を通って難波へ．途中のNGKで大阪のおみやげを購入．「ネギ焼きせんべい」はかなりの再現性があり，速購入．ネタで「たこ焼き飴」を購入．

前の会社に遊びに行くために久しぶりに大阪へ．日本橋に行ったが，ずいぶん様変わりにしていた．電化製品の店が軒並み閉店．ヨドバシやビックカメラにかなりやられているようだ． 代わってオープンしているのが，DVDショップなどソフト系，しかもちょっと怪…

関数従属性のお話．とくに第三正規形のアルゴリズムについて．このあたりの厳密な定義を説明していた．情報の授業と同じような説明なのだが，例えばこんな感じ． これは，関数従属性の定義なのだけど*1，こんなこと，実際に使うときに知っていなければならな…