ASAHIネット([URL] )のjouwa/salonからホットコーナー([URL] )に転載したものから。
---
[URL]
初めての人のためのLISP[増補改訂版] 、売れまくり＼(^O^)／
の続き。

　溝口さんから。
--- ここから ---
中村様

　情報局府中支部の溝口です。

　些細な事ですが、一点、気になっています。

>　こういうので、一人でも多くLispハッカーが日本から育てば、竹内さんも安
>　心して退官できるでしょう。

　東京大学は、現在、国立大学の特別行政法人化で「国立大学法人」になって
いるので、

　平成１６年以降は「退官」ではなく「退職」に成っているはずです。

　私も数年前に、PAXの小柳義夫先生が退職される時の案内で
　始めて知りました。

　本当に、些細な事で済みませんが、
　もし、ご存知で無いのならと思い、御一報まで。

PS.
　最近、TopSEの情報基礎理論のセミナに侵入。

　[URL]
　[URL]

　予備知識なしに
　１ヶ月で命題論理，述語論理，時相理論，オートマトン，モデル検査が
　学べて御得と大枚を叩いたのですが・・・
　内容もさることながら、そのスピード感に圧倒。
　１時間半で、命題記号からHA演繹体系まで駆け巡りました。
　１日３時間で、命題論理，述語論理は教えたですから、
　予備知識なしで着いていけるか〜〜

　しかも、週に４コマのスピードで予習，復習の暇がありません。
　先月、めでたく講義は終了しましたが、
　今月は、宿題の提出に撲殺されそうです（本当に学生のノリです）。

　私以外の人は、社会人学生として来年度から
　１年間のカリキュラムに突入するようです。
　私みたいなジジイはいなく、若々しく才能も有りげな人たちが多く
　こう言う、基礎からの積みあげる技術者が増えると
　日本の情報処理業界も明るいかなと思いました。

　色々、書いてしまいましたが、
　それでは、是非、次回の「Shibuya Lisp」お会いできることを
　楽しみにしています。

以上

溝口＠府中
--- ここまで ---

　ああ、つい、退官といっちゃうんですよね。
　すみません。直します。
　そういえば、荒木先生も、教官から教員になったいう話もあったなあ。

[URL]教育関係者に対する呼称


　溝口さん、
[URL]
基礎理論
を取ったのかなあ。
　そんなスピードだと、予備知識なしで消化できるのか。
　トップになるなら、それくらいやれってことだね。

　ところで、Shibuya Lisp。発表者の募集はあるけど、客の募集はどうなって
るんでしょうかね。よくわかってないです。

===
標題: Re: 続：初めての人のためのLISP[増補改訂版] 、売れまくり＼(^O^)／
---
　今日、3月3日ひな祭は、竹内さんの最終講義。聴きに行けません(泣)。
　昨夜、家に帰ったら、翔泳社の野村信行さんから、
[URL]
初めての人のためのLISP[増補改訂版] (単行本)
竹内 郁雄 (著)
が送られて来ていました。
　野村さん、ありがとうございます。。ざっと見ましたが、すぐには感想が書
けません。すみません。
　ぱっとみて、181ページに誤植がありました。
181ページ中ほど
誤
　これはは Common Lisp
正
　これは Common Lisp

　初版の