Google
ブログ(iiyu.asablo.jpの検索)
ホットコーナー内の検索
 でもASAHIネット(asahi-net.or.jp)全体の検索です。
 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。
 例 中村(show) ki4s-nkmr

ウェブ全体の検索

疲れる日々2006年08月06日 23時01分07秒

ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 また、ダイヤ乱れ。
 昨夜(2006/08/02)は、都営地下鉄が車両故障。直通運転している京王線もダ
イヤ大乱れ。
 なんか、帰りにああいうことになってると、余計疲れるね。

 最近、毎朝、毎晩、以後・将棋チャンネル三昧で寝不足。タイトル戦やら面
白い対局からが多くて、午前2時くらいまでみて、朝7時からまたみたり。サ
ッカーワールドカップのときとあまり変わらん。
 あとは、音楽三昧。昔のフュージョン、少しではあるけど、CD復活してます
ね。一昨日は深町純さんを見つけて大興奮して、寝られない。\(^O^)/
 DVD「三丁目の夕日」、泣いたな。去年買ったカシオペア&シンクロナイズ
ドDNA、この前買ったチック&バートンのDVD(ニューヨークじゃなくて、ドイ
ツで録画したデュオ)をまた観て、感動した。
 あとは、言語とオントロジーとバイオの調査、お勉強、実装、その他。いろ
いろプロジェクトのあれこれも面倒みなくちゃいけないし。それにしても、ど
うしてあんな腐ったコードを書くのかな。何度も言っても直らない。フツー、
クビだよね。
 そんなこんなで、ここに書く時間がないです。

 Cleanと関数型・論理型言語。Formal Methodsのことだけでも、今週中に書
きたいけど。



 疲れるわ。

純粋関数型言語Concurrent Clean2006年08月06日 23時06分22秒

ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 以前から紹介しようとしてなかなか紹介できなかった関数型言語が、
Concurrent Clean(以後Clean)です。
 といって、大した紹介はできないけど、ご勘弁を。
 日本では、いまは、関数型言語の代表といえば、Haskellで、Haskell本も
http://www.amazon.co.jp/exec/obidos/ASIN/4839919623/showshotcorne-22/ref=nosim
向井淳著「入門Haskell~はじめて学ぶ関数型言語」(毎日コミュニケーション
ズ)
http://www.amazon.co.jp/exec/obidos/ASIN/4797336021/showshotcorne-22/ref=nosim
青木峰郎著, 山下伸夫監修「ふつうのHaskellプログラミング ふつうのプログ
ラマのための関数型言語入門」
の2冊が出ていて、どちらも好評。
 だったら、Cleanだって流行るはず。\(^O^)/
 Cleanって何?という人は、まず、公式サイト
http://www.cs.ru.nl/~clean/
をどうぞ。
 日本語なら、
 池田聡さんが各種資料をまとめらっしゃる
http://sky.zero.ad.jp/~zaa54437/programming/clean/
純粋遅延関数型言語Concurrent Clean
(Pure and lazy functional language : Concurrent Clean)
と、
 lethevert(どう発音するんだろう? どういう意味?)さんのサイト、
http://www.geocities.jp/lethevert/softwares/clean/index.html
lethevertの純粋関数型言語Concurrent Clean覚え書き
をどうぞ。
 日本でのClean普及は、このお二人が孤軍奮闘状態といっていいんじゃない
か。この二人、すごいです。頭が下がります。くたびれない程度にがんばって
ください。

 中でも、lethevertさんの覚え書きは、入門として実にわかりやすい。
 だから、おれはもう2ヵ月も前に、いま、翔泳社にいる古田島さんに、
lethevertさんに連絡とって、このサイトの内容をベースにCleanの入門書を書
いてもらって、Haskell本が売れている今、ソッコーで出したらどうかといっ
たのに、先週、確認したら、何にもやってない。\(^O^)/
 翔泳社がやらないなら、Haskell本出してくれた、毎日コミュニケーション
ズとソフトバンクは、やってくれないかな。それとも地道に真面目にソフトウ
ェアの本を出し続けてくれてるオーム社にお願いかな。そういえば、オーム社
から出る予定の「On Lisp」の翻訳、いつになったら出るんだろう。^^;
 ともかく、出版社のみなさま、早い者勝ちですよ。と煽ってみる。^^;

 ところで、これを書くために、ちょろっとまた調べたら、lethevertさんは、
http://d.hatena.ne.jp/lethevert/searchdiary?word=Concurrent+Clean
lethevert is a programmerのConcurrent Clean
というページももってますね。
 しかも、どうやら、JavaでCleanを実装しているっぽいですね。すごいねえ。
 あ、ここにも、メルセンヌ・ツイスターの話がある。
 これ、以前、弾さんから教わったんだけど、紹介忘れてましたね。^^;
 メルセンヌ・ツイスター、擬似乱数標準の地位を着々と築きつつあるなあ。
これに関連して書きたい話があったの思い出した。バカのコメントにからめて
だけど。まあ、暇ができたらね。

 Haskellがわかる人なら、Cleanはすぐわかる。実際、HaskellとCleanのプロ
グラムは、ほとんど同じにみえるし。
 ぼくがいまどっちかを選べといわれたらCleanを支持するのは、
(1) コンパイラが非常に優秀
(2) GUIライブラリの充実
といった点で、実用性がHaskellより高いと思っているから。といって、実用
的なソフトは1行も書いてません。いつもながらの畳水練です。\(^O^)/

 (1)に関しては、Cと、少なくともgccのCと比べるなら、さほど遜色のない、
非常にいいコードを出す。
 ベンチマークをどこまで信じるかの問題はあるけど、ざっとした目安とする
なら、
http://shootout.alioth.debian.org/
The Computer Language Shootout Benchmarks

http://www.lib.uchicago.edu/keith/crisis/benchmarks/tak/
をどうぞ。

 (2)に関しては、CleanのIDE自身もCleanで書いてあるということと、ゲーム
もあれこれあって、実績がかなりあると思えるから。たとえば、
http://cleangl.sourceforge.net/
Clean Game Library
をどうぞ。

 関数型言語がブームとなれば、次に来るのは、あなた、形式仕様記述
(Formal Methods)のブームですよ。\(^O^)/
 ということで、この前、九大に教えに行ったとき、Formal Methodsの我が国
の第一人者である荒木啓二郎先生から直接お話を聞いて、仕入れてきました。
それは、次の機会に。
 Formal Methods、今週中に書くといいながら、ちょっと無理だったね。肩と
左手がもう悲鳴を上げて休ませないとだめだったから、これで勘弁ね。
 jouwa/salonに書いたフードファディズム(まだウェブやブログには転載して
ない)の続きも、しばらく時間ください。感動と恐怖の面白い話ばっかりで、
ネタはいくらも思いつくんだけどね。
 あ、あと、朝日に載ったWeb2.0の記事。服部桂がまとめた、あれ。梅田望夫、
やっぱだめ。偽物ね。西垣通さんを出したのスマッシュヒット。朝日的予定調
和の世界で、服部さんのせめてもの意地? これもいずれ詳しく。

フードファディズム2006年08月10日 09時32分56秒

ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 これをjouwa/salonに書いたのは、2006/08/04だったので、最初は先週の週刊
ダイヤモンドと書いていたけど、もはや先週号じゃないので、2006/08/05号と
書きます。
 この号では、「危険な食卓」という特集やってて、ブルーバックスで出た
フードファディズム指摘本
http://www.amazon.co.jp/exec/obidos/ASIN/4062572311/showshotcorne-22/ref=nosim
高橋久仁子著「「食べもの情報」ウソ・ホント―氾濫する情報を正しく読み取
る」(講談社ブルーバックス)
をこの前買ったばかりでタイミング的にもいい。高橋先生、特集でも出てきま
す。
 それと科学ジャーナリストの松永和紀さんも出ている。この人、eMacさんが
教えてくれた
http://biotech.nikkeibp.co.jp/fsn/kiji.jsp?kiji=667
松永和紀のアグリ話●ロシア人科学者の遺伝子組み換え毒性試験を総括
の人だった。
 ほんとなら、この実験はデタラメだね。それを日本に呼んで、日本中回って、
遺伝子組み換え食品は怖い怖いとやってるのね。超能力者と称する連中を呼ん
で、テレビで行方不明の人間探す番組作ってるテレビ屋と同じひどさね。
 こういうバカな市民団体って、1960年代跋扈していた腐れ左翼、珍左翼を思
い出すね。最近は社会が右傾化して、今度は腐れ右翼、珍右翼が出てるもんね。
結局、尻馬に乗ってる連中は、腐れか、珍になるってこと。パソコンでも、PC
-9801, Macintosh, DOS/V、どのときもマイナーなときにはいいコミュニティ
が、メジャーになると腐れと珍が跋扈だもん。人間社会の宿命ね。
 松永さんは、週刊ダイヤモンドの中で、最近の酸素ブームはかなり怪しいとも指摘していますね。

 それにしても、テレビの「あるある」とか「みのもんた」に代表される健康
情報番組、煽るだけ煽って、ひどいね。
 ちゃんと番組テロップと音声で、
「これは個人の感想です。効能を述べたものではありません。科学的な根拠は
ありません」
「あるあるの実験は科学的ではありません」
「番組に踊らされてスーパーで食品を買い漁るのは猿未満の知能です(猿以下
と書いたら猿に悪いもんね)」
と流せよ。
 テレビショッピングで健康食品や器具を売るときは、そういうの流すでしょ。
健康情報番組もそれをやれ。白インゲンとかで健康被害まで出してるんだから。
 特集には、健康食品のコマーシャルがいかに誤ったイメージを送りつけてい
るか、サントリーの例も出てた。
 「燃焼系アミノ式」の「燃焼系」という言葉から、脂肪を燃焼するかのよう
に錯覚するのは視聴者の勝手。サントリー関係者によれば「日常生活を完全燃
焼!」の意味だそうだ。脂肪を燃焼なんてどこにもうたってないんだって。
 最近の「よからぬものが、ジョビジョバ~」の「よからぬもの」は、毒素と
かそういうのじゃなくて、「モヤモヤとした気持ち」だそうだ。毒素とかが出
ると思うのは、視聴者の勝手な錯覚なんだそうだ。
 おれ、サントリー、うまいこというなあと非常に感心した。さすが、受け答
えの教育が、しっかりしてますね。

 ほかにも、テレビの健康番組をよくみている層は、トクホ商品の利用が多い。
彼らは、自然・天然信仰で天然物や自然のものをありがたがり、添加物・科学
調味料を忌み嫌うが、トクホは人工物なのにという話もあって、なかなか嗤え
ます。人間の矛盾、非合理性がよく出ている。
 天然信仰といえば、江戸前の魚を珍重するのも、よーわからん。水銀の残留
度、外洋より江戸前の方が高いと思うけど、どうなの?
 水銀残留といえば、水銀が残留してても、シロナガスクジラの尾の身の刺身
とヒャクヒロが食えるなら、おれ、食うと思うなあ。マッコウとかミンクのク
ジラはどうでもいい。食いたいのはシロナガスだけ。子供のころの大ごちそう
だもん。
 おれが聞いた話じゃ、アミノ酸飲料を飲めばやせられると勘違いした女が、
毎日3リットル飲み続けて3ヵ月で糖尿病になったとか、ほんとなら非常識に
もほどがあるよね。

 あるあるが納豆やったら、いま、スーパーから納豆消えたんだってね。しか
も、番組が推奨した大粒納豆がなくなって、効果が薄いといったひき割り納豆
売れ残りらしい。
 こうも簡単に情報操作で大衆操作ができると、テレビ屋、笑いがとまらんだ
ろう。バカがいっぱいひっかかるんだもん。
 週刊ダイヤモンドの食の特集も、いかに大衆がバカで、企業や市民団体やテ
レビ屋にいいようにおもちゃにされ、金を巻き上げられ、健康を害したり健康
不安に怯えるように仕向けられているのに、それでいて、これだけ食べれば健
康になれるというマジックフードを追い求め、その上、身勝手極まる消費者エ
ゴを撒き散らしているのが、よくわかる。
 「健康番組などで有名な”血液サラサラ”という概念は医学的には存在しな
い」なども書いてあるから、テレビのあんな血液サラサラなんて信じてる奴は
バカなのね。
 以前、血液ドロドロやサラサラの映像は、全然ドロドロやサラサラを示して
いないという
http://allabout.co.jp/health/familymedicine/closeup/CU20040810A/index.htm
まだ基礎的研究段階の検査です。将来の発展に期待! 血液サラサラ?血液ド
ロドロ?
を紹介したけど、結局、いまだにこの段階なんでしょう?

 そんなこんなの一方、日本の足元では食糧危機が迫っているんだよね。興味
のある方は、週刊ダイヤモンドを一読を。
 週刊エコノミストも今週号は、特集が、
「食卓から魚が消える -日本の食料が危ない- マグロ高騰の深層,BRI
Cs爆食で穀物需給は逼迫」
だし、週刊東洋経済も
「社員の健康に目覚めた124社 デキる社員ほど「メタボリック」くん」
という健康ものだし。どっちもまだ読んでないけど、なくなる前に買いに行こ
う。
 こういうところでも、バカとちゃんとやってる奴でどんどん格差がつくんじ
ゃないか。テレビの健康番組を鵜呑みにするバカとちゃんと情報を集めて自分
で判断する努力をしている奴で、格差はあって当然だよね。
 で、そうやって研鑽してても、事故や病気で急死することもあって、世の中、
不条理ですよね。だから、文学があるんだけど。

 魚が消える話は、外国で魚食ブームという以外に、ちょっと前の日経サイエ
ンスの論文で、怖い話があるんです。地球温暖化や環境保護というと、みんな
大気の二酸化炭素濃度を気にしてるけど、海の酸性化の話。盲点でしょ。
 あった、あった。
http://www.nikkei-bookdirect.com/science/page/magazine/0606/ocean.html
日経サイエンス2006年6月号、S. C. ドニー「海洋酸性化の脅威」
ですね。冒頭だけだから、あとはバックナンバー頼むなり、図書館で読むなり
してください。おれには衝撃的だった。ほんとなら、人類があがいても、もう
手遅れだと思ったもん。

 自然を守れとか地球環境保護とか、思い上がりもいいとこ。地球や自然にと
って人類なんて、体についたほこり程度の鼻くそ以下の存在なんだから。人類
がどうなろうと関係なく地球や宇宙は自らの道を歩いているだけだもん。
 前も書いたけど、せめて、人類生存環境の維持といってほしいね。

 環境保護団体も、前述の市民団体みたいな手合いがいるね。食品と健康をめ
ぐる問題って、環境保護の話とよく似てる。
 おれのブログにも、コメントがついてて悲しい。なぜ悲しいかというと、あ
あいうのが、マイクル・クライトンが
http://www.amazon.co.jp/exec/obidos/ASIN/4152086688/showshotcorne-22/ref=nosim
「恐怖の存在」
で、拡大して見せた、多面的な思考ができず、共犯者たるメディアのいうこと
を鵜呑みして、単細胞、近視眼、視野狭窄的にしか物事がみえない人たちの典
型で、あらら、実例が引っかかって思うんだけど、ご当人は、気づかずに、コ
メントしてらっしゃる。

 国産安全とか添加物は悪とか、単純に信じるのは、地球にやさしい、環境に
やさしいなどとあれこれを鵜呑みにしているバカと同じなんだね。無知は罪。
 物事そんなに簡単じゃないのに、考える力がないから一番楽なワンフレーズ
に飛びつく。小泉に飛びついたバカと一緒。それで、いまごろになって、自分
らがこれからどんどん貧乏になるから、格差は許せんなどというんだもん。い
まごろ言ってももう遅いって。考えなかったお前らがバカというのが権力側の
扱いだもん。ダイエット目指してアミノ酸飲料飲みすぎて、糖尿病になった女
と一緒だね。
 そういう人の大量生産にせっせと加担しているのが、テレビ屋なんだよ。ほ
んと、人間のくずだよ。だから、「あるある」とか「みのもんた」に代表され
るあの手の番組、あと、細木数子とかスピリチュアルカウンセラーの江原なん
とかの番組、作ってる奴も出ている奴も、全員、死刑にしましょう。\(^O^)/
 司会やってるマチャアキとトキオの太一君も死刑かと思うと、ファンだから
かわいそうに思うけど、罪深いんだもん。\(^O^)/

 あと、補足したいこといろいろあるけど、またいつかね。
 eMacさん、いろいろ関係ある情報ありがとうございます。

 ところで、スーパーの棚から一気に寒天が消えうせた寒天ダイエット。
 あれ、まだやってる奴、100人のうち、何人いるの?
 おれの予想は、3人かな。\(^O^)/

 じゃ、おれはこれから、ヘルシーリセッタとエコナのブレンド油で、夏野菜
炒めを作ろうっと。
 お前、死んで、よし。\(^O^)/