ASAHIネット(http://www.asahi-net.or.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
昨日1日一部で大騒ぎだったプレイステーションの不具合の原因は
うるう年の判定をミスっていたということらしいです。
例えば以下の記事参照。

http://japanese.engadget.com/2010/03/02/ps3-non-leap-year/

プログラムはまったく分からないのですが、手計算でも明らかに平年
だと分かるのに、どうやったら間違えるのでしょうか？
ソニー製のソフトウェアは怖いものだと再確認。
--
ryo

===
標題: Re: プレイステーション3が3月1日にうるう年の誤判定で起動せず
---
　よくわからないけど、ソフトウェアの問題なんですか？
　それとも、ハードウェアの問題？　ファームウェアの問題？

　ハードの問題なら、そのチップ、なんか、回路をケチったら失敗したパター
ンだったりしてね。^^;

＞プログラムはまったく分からないのですが、手計算でも明らかに平年
＞だと分かるのに、どうやったら間違えるのでしょうか？

　それは、人間がアルゴリズムを考えて、実装したからです。
http://iiyu.asablo.jp/blog/2010/01/07/4798091
遺伝アルゴリズムとニューラルネット
で紹介したように、閏年(うるう年)の判定方法をコンピュータに発見させたら
よかったのに。＼(^O^)／

中村(show)

===
標題: Re: プレイステーション3が3月1日にうるう年の誤判定で起動せず
---
RTCのチップが新しくなっている新型ではおこっていないようです。
現状ではソニーからの情報開示がまったくないのが残念です。
--
ryo

ASAHIネット(http://www.asahi-net.or.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2010/03/01/4913323
初めての人のためのLISP[増補改訂版] 、売れまくり＼(^O^)／
の続き。

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

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

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

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

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

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

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

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

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

　http://topse.or.jp/
　http://www.topse.jp/index.html

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

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

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

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

以上

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

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

http://ja.wikipedia.org/wiki/教育関係者に対する呼称


　溝口さん、
http://www.topse.jp/dl/pdf/BT-5th-100224.pdf
基礎理論
を取ったのかなあ。
　そんなスピードだと、予備知識なしで消化できるのか。
　トップになるなら、それくらいやれってことだね。

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

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

　初版の
http://www.amazon.co.jp/exec/obidos/ASIN/4781904548/showshotcorne-22/
初めての人のためのLISP (ソフトウェアライブラリ (3)) (単行本)
竹内 郁雄 (著)
に比べて、第17講と前書き(兼あと書き)が増えているのと、細かな加筆修正が
なされているようです。脚注とかもね。
　この「前書き(兼あと書き)」だけでも読むと、Lispの筋のよさ、生産性の高
さ、生命力と東洋思想ぶりがよくわかりますよ。
　おれ、昔から、ずっと言い続けているけど、Lispは東洋思想、東洋哲学をコ
ンピュータ上に(意図せずに？)実装しちゃったものなんですよ。
　で、東洋思想、東洋哲学は、宇宙の根本原理を示しているので、Lispは宇宙
の根本原理を実装しちゃったと。＼(^O^)／
http://iiyu.asablo.jp/blog/2010/02/27/4910560
少女素数、リーマン予想、数学セミナー増刊「リーマン予想がわかる」
で、紹介した超絶量子コンピュータを操って宇宙を作る宇宙プログラマは、間
違いなく、Lisperで、そのプログラムはLispで書かれます。
　少なくともLispの精神を受け継いだプログラミング言語で。
　そうじゃないと、宇宙の根本原理はプログラムできないから。

ASAHIネット(http://www.asahi-net.or.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　日本女子プロ将棋協会(LPSA)の第3回武蔵の国府中けやきカップが、2010/03/22の
祝日、府中のグリーンプラザでありますね。
　詳しくは、
http://joshi-shogi.com/kisen/1day/34th_1day.html
3/22（祝） 第3回武蔵の国府中けやきカップ
をどうぞ。
　昨年は、観に行けたけど、今年は、無理ぽ(泣)。

http://joshi-shogi.com/event/haken/
女流棋士派遣
の
女流棋士派遣（2009/10/31 大東文化大学）
をみると、大東文化大学は将棋で単位を取れるんだ。いいなあ。
　よし、受験しようか。＼(^O^)／

http://joshi-shogi.com/message/
ひとこと日記
の
ひとこと日記#181（節分祭）
をみると、府中出身の中倉姉妹が、府中の大國魂神社であった節分祭に来てた
んだ。行けなくて、残念。
　あ、写真をみると、女優の多岐川裕美さんも来てたんだ。
　おーい、坂本！　箱崎の映画館で観たあの多岐川裕美だぞ！
　って、坂本君以外は、誰もわからんか。^^;

　子供の脳を育てるのに最適などというので、どうぶつしょうぎ、ますます盛
んですね。
http://www.joshi-shogi.com/doubutsushogi/
どうぶつしょうぎ

　LPSAのオリジナルパッケージは、
http://lpsa-os.com/
LPSAオンラインショップ
で買えますが、幻冬舎エデュケーションから出ているバージョンは、アマゾン
にもありますね。
http://www.amazon.co.jp/exec/obidos/ASIN/B002FL3WVG/showshotcorne-22/
どうぶつしょうぎ (日本女子プロ将棋協会公認)
幻冬舎エデュケーション

関連：
http://iiyu.asablo.jp/blog/2009/03/21/4195271
「どうぶつしょうぎ」とLSPA第2回武蔵の国けやきカップ
http://iiyu.asablo.jp/blog/2009/06/23/4385139
将棋ネタ、名人戦、瀬川四段、どうぶつしょうぎ、世界コンピュータ将棋選手
権