些細な事ですが、一点、気になっています。心して退官できるでしょう。平成16年以降は「退官」ではなく「退職」に成っているはずです。私も数年前に、PAXの小柳義夫先生が退職される時の案内で始めて知りました。本当に、些細な事で済みませんが、もし、ご存知で無いのならと思い、御一報まで。PS.最近、TopSEの情報基礎理論のセミナに侵入。内容もさることながら、そのスピード感に圧倒。1時間半で、命題記号からHA演繹体系まで駆け巡りました。予備知識なしで着いていけるか~~しかも、週に4コマのスピードで予習,復習の暇がありません。今月は、宿題の提出に撲殺されそうです(本当に学生のノリです)。私以外の人は、社会人学生として来年度から1年間のカリキュラムに突入するようです。私みたいなジジイはいなく、若々しく才能も有りげな人たちが多くこう言う、基礎からの積みあげる技術者が増えると日本の情報処理業界も明るいかなと思いました。Lisp」お会いできることを楽しみにしています。---ああ、つい、退官といっちゃうんですよね。