  |
はてなキーワード: 原子とは
なにやら風評被害というものが、一部の扇動者の空虚な妄想による破壊行為であるかのような論調が目立つ。
かくなる無知蒙昧は、科学的真実の剣にて一刀両断できると信じているのだろうか。
政府の出した復興予算には、風評被害への補償がきちんと組まれている。
かく言う俺もその一人。
そして、厳然たる事実として、さっぱり売れない。
多くの人は、ある程度わかっているんだろう。その食品はきちんとした検査を経て、ある程度の安全が担保されたものであることを。
しかし、好んで買おうとは、思わない。
なんだか気持ちが悪いから。
福島産の野菜を好んで買う人であっても、チェルノブイリ産の大根も、スリーマイル産のアジフライも、好んで買うような酔狂な人はいないでしょう。
もう世界のマーケットでは、福島県の産品は、殆ど全て競争力が無い。
それは日本国内においても、そうなんだろうし、人々にその記憶がある限り、それはずっと続く。
それが風評被害であり、それらは（その人の信じたい）科学的なデータの裏付けを以ってしても、それを解決することはできない。
俺は原発に対する賛否を問われるならば、安い方がいいんじゃないのか、ぐらいの考えでしかない。
これはあまり意味のあるデータでは無いかもしれないが、一説には、原発一基あたり２千年に一度の確率で、重大事故が起こるらしい。
数百万年に一度とする（電力会社による）データもあれば、300年に一度とする（民間損保会社）データもあるが、概ね二千年に一度と見ていいだろう。
日本に50基ほどあるわけだから、40年に一度の確率で原子の釜が割れるというペースになり、現時点ではそれほど大きな乖離はない。
現在、化石燃料による発電で、燃料費が年間3.6兆円ほど費用が嵩んでいる。
対して、原発事故の処理には、その試算にもよるが、現在までに12兆円、以後廃炉までの数十年の間に年2兆円ぐらいが費やされるという。
今回のフェーズが終わった後の40年のサイクルで見た場合の、単純な損金の比較では、五十歩百歩といったところだろうか。
無論、今後、原発の技術が進み、放射能汚染の浄化技術も効率化することだろう。
また、化石燃料に依存していては、二酸化炭素削減の国際社会の趨勢に伴い、立場が危うくなることも予想される。
そして最も大事なのが、日本のエネルギーを海外からの輸入に依存するとなれば、戦略上非常によろしくない。
それら国家戦略上の潜在的なリスクは、お金に簡単に換算できるものではない。
当然、原発を存続させる事によるリスクは現在進行形で進んでおり、それは一々挙げ連ねることが億劫なほど大量にして雑多な、今現在向き合っている問題であり、今後さらなる問題が噴出するんだろう。
これは本当に問題が巨大過ぎ、不確定な要素も多く、リスクとベネフィットをきちんと比較することはできないことなんだろう。
現在流通している脱法ハーブは違法とされた分子の一部を違う原子(や基)で置き換えることで開発されている。
幻覚作用がある部分さえ残っていればハーブとしての用途には十分だからね。
もちろん分子構造が変わっているから効き方とかもちょっと変わってきたりするんだけど。
「分子構造毎に指定できたら簡単に規制できるん？」ってことだけど，今は分子構造毎に指定しているから簡単に規制できてない。
元の文が言ってる「分子構造の主要部分」ってのは上で書いた幻覚作用のある部分の話。
俺なんかからすると「分子構造の主要部分毎に指定できたら簡単に規制できる」と思うんだけど，実際の規制がなかなか行われないところを見るとなにか難しいところがあるのかもね。
１９５５年８月１１日朝日新聞掲載
－－－
何も彼も いやになりました。
そのお金で 何とかならなかったのかしら
“石の像は食えぬし、腹の足しにならぬ”
原爆後十年を ぎりぎりに生きる
被災者の 偽わらぬ心境です。
ああ、今年の私には気力がないのです。
いくら、どなったって 叫んだとて
深い空に消えてしまうような頼りなさ
何等の反応すら見出せぬ焦燥に
すっかり疲れてしまいました。
ごらん 原子砲がそこに届いてる。
何も彼も いやになりました。
皆が騒げば騒ぐ程 心は虚しい。
今までは 焼け死んだ父さんや母さん
姉さんが むごたらしくて
可哀相で 泣いてばかりいたけど
今では 幸福かも知れないと思う
生きる不安と 苦しさと
そんなこと知らないだけでも・・・
ああ こんなじゃいけないと
日記を書くきっかけははてなに次のエントリーが飛び込んできたこと。
Wikipediaの「化学物質過敏症」の記事から、「化学物質過敏症に関する議論」の節が削除され、記事に「懐疑的意見が存在する」という事実（査読論文が出展）が消されてしまったようなのである。あらら…
私は、「化学物質は身体に甚大な悪影響を引き起こし得る」ことを否定するつもり毛頭ない。当たり前だ。
ほんの僅かでも「化学物質」（種類は問わない）が存在すれば、それは悪影響を及ぼすだろう、という過激な過敏症理論を批判したい。（洗剤の残りカスとか、濃度測定済みの建材とか）
また、高濃度の化学物質による身体影響は、「化学物質過敏症」という曖昧な病名ではなく、もっと正確な記述でないと治療の妨げになるだろう。
まず、過敏症の話の前に、疑似科学の代表として「ホメオパシー」について語らせて頂きたい。
「ホメオパシー理論」の問題点を明らかにした上で、“一部の”過激な過敏症理論がこれと似た点を持つことを示すことで、これを批判したい。
健康食品や特殊医療は数あれど、ホメオパシーほど現代科学に真っ向から対立している治療法はなかなか無いと思う。
ホメオパシーは、アレルギーなどに対し、病原物質の10倍希釈を30回繰り返したものを作り、これを服用することで、その物質に耐性が付けるというものである。
だが、10倍希釈を30回繰り返すと、コップ１杯に存在する原因物質の量は分子１個程度または０個である。
つまり、「ホメオパシーに効能がある」というのは、「病原物質の分子の個数がほとんどど０個の水溶液を飲むことに効果がある」ということを示し、『病気の原因が分子・原子に還元されない何か』に由来することを認めることなのである。
現代科学が『何か』の存在を見落としているという可能性が絶対に無いとは言えない。（例えば、18世紀末まで、科学者は空気中に二酸化炭素より多く存在する成分（アルゴン）が存在することを見落としていた。）
しかし、そんなことを言い出したら、幽霊だの怨念だのと言ったオカルトでさえ否定できなくなる。（幽霊だって存在する“証拠”はあるのだ。例えば、心霊写真など。）
この点でホメオパシーは、コラーゲン健康食品やゲルマニウムなど「有意性が無い」という実験結果によって疑似科学だと結論付けれる例とは、明らかに異なっている。（コラーゲンやゲルマニウムは、これを否定する実験結果に対して、ちゃんとした実験結果付きの反論を持ってこない。）
（仮に、実験でホメオパシーの有効性（心理効果を除く）が確認されたら大事件である。世界中の教科書を書き直すだけでは済まない事態になるだろう。）
私は「化学物質過敏症」の研究自体を疑似科学だとは思っていない。もっと正確な記述をするべきだと思うが…
それでも、一部の理論ではホメオパシーに類似したものがあるのだ。
“一部の”化学物質過敏症、機械で測定できないレベルの微量物質が原因となっている「病気」を引き起こす、というそれである。
引っ越しして新生活が始まったけど、体の調子がどうも悪い。それならば、シックハウスを疑ってみるのは良いことだろう。
信用ある業者に環境濃度測定をやってもらおう。
結果、濃度が高かったら、不調の原因はシックハウスである可能性が高い。
そうでなかったら、体の調子の悪い原因は、化学物質ではない。日射環境や食生活など別の可能性をあたってみるべきだ。
ちなみに。ホメオパシーが「病原の分子の１個程度を摂取するのは体に良い」と言ってるのに対し、過激な過敏症理論は「病原の分子の僅かでも摂取するのは体に悪い」と言っている。
だから、このホメオパシーと“一部の”過激な過敏症理論は、互いに対立し合っている理論である。
間違っても、化学物質過敏症の治療にホメオパシーに頼ったりしないようにしよう。いや、これに限らず、ホメオパシーを頼ってはいけないのだけど
4000*3000くらいの画像を50fpsくらいで記録しようとすると36MB*50fps = 1.8GB/sでストレージ容量もバスの転送速度もCPU/GPU速度もメモリも全然たりねー
その画像をステレオペアにしてリアルタイムでステレオマッチングしてデプス推定とかしたいけど全然できない。
分子構造とか結晶構造とかのシミュレーションしようとしても現状じゃ数十程度の原子数が限界でしょ。数桁足りない。
計算センター1個分くらいの処理は本当は手元で手軽にやりたい。地震発生確率をシミュレートして保険料を算出することすら現状ではまともにできない。
厳密な流体計算による航空機翼形状の多目的最適化だって全然解けない。
リアルタイムでハリウッド映画レベルのレンダリングは全然できないし、AIで相互作用と意思決定アルゴリズムを入れたキャラクターとの両立もできない。
Googleは考えてると思うけど、そのうち世界中に自動運転ビークルをばら撒いてリアルタイム3次元テクスチャつきグーグルアースとかやりたいわけ。全然できないけど。
「グローバル社会に伍して行けるマルチ人間に仕立てなきゃならない」という強迫観念があるのでは？
だから、政府自民党内の議論で「大学生全員にTOEIC義務付け」とか、「文系大学生にも数学入試義務付け」とか、
「いや、理系学生にも、国際社会に出ても恥ずかしくないよう、日本史や古典を学ばせるべきだ」
と、とかく科目の積上げに議論が流れてしまう。
「文系大学生が、原子の崩壊方程式（って言うのですか？）を知らないのはオカシイ、義務付けるべきだ」と
吼えていたそうだが、文系の自分は、その意味がわかりません、ええスミません。
まあ曽野綾子は「文系に方程式を教育するのは不要」と語ったそうだが。
「自分の専門分野は、全学生、全日本人が知っておくべきだ」と視野狭窄に陥りがち。
こんな専門家の意見を真に受けて、学習科目を積上げていけば、日本の小学生中学生高校生は
「どのレベルの学習が、理系大学生には必須か？」という「積上げ方式」で設計すると、必ずパンクする。
無理やり詰め込みすぎると、消化不良を起こして、後々の躓きになる。
こういうのは、積上げ以上に「捨てる技術」「仕分ける技術」が欠かせないと思う。
「ここまでのレベルの学習が、理系大学生には不要では？」という引き算も定期的に行って、
あと、日経朝刊に
「大学を出たが就職できない日韓と比べ、ドイツは大学を目指さない若者が専門学校に進み、
それがドイツのグローバルニッチな中小企業に入って、ドイツ技術のレベルアップを支えている」という記事があった。
言われて見れば、ドイツには「オックスフォード、ケンブリッジ」「ソルボンヌ」
「ハーバード、スタンフォード」のようなビッグネームの大学は乏しい。
しかし、超名門大学は乏しいのに、ドイツの技術水準は高く維持されている。
「日本の競争力を保つためには、東大京大慶応などのトップ校を、世界最高レベルに引き上げなければならない」と
意見自体は分かるというか、別に勝手にしてくれという感じなんですけど
「ここ２、３日で急激」に！？
いやおかしいだろ？
ここ２、３日で急激にインターネット世論が激変してリアルより駄目な方向に歪んで世紀末状態なのか？本当に？
ここ２、３年とかの間違いじゃなくてか？
1日の定義は「86400」秒で、1秒の定義は「セシウム百三十三の原子の基底状態の二つの超微細準位の間の遷移に対応する放射の周期の九十一億九千二百六十三万千七百七十倍に等しい時間」という国際度量衡局の定義を採用してます？
あなたが個人的にここ２、３日で論破されたとか友人とツイッターで喧嘩したとか増田でキチガイさんに絡まれたとかじゃなくて？
それとも、自称ネットにどっぷり漬かっていたあなたは、ほんの一週間前まで「ネットってみんな本音で勝たれる素晴らしいツールやなー」と思っていたのに
意見自体は分かるというか、別に勝手にしてくれという感じなんですけど
「ここ２、３日で急激」に！？
いやおかしいだろ？
ここ２、３日で急激にインターネット世論が激変してリアルより駄目な方向に歪んで世紀末状態なのか？本当に？
ここ２、３年とかの間違いじゃなくてか？
1日の定義は「86400」秒で、1秒の定義は「セシウム百三十三の原子の基底状態の二つの超微細準位の間の遷移に対応する放射の周期の九十一億九千二百六十三万千七百七十倍に等しい時間」というの国際度量衡局の定義を採用してます？
あなたが個人的にここ２、３日で論破されたとか友人とツイッターで喧嘩したとか増田でキチガイさんに絡まれたとかじゃなくて？
それとも、自称ネットにどっぷり漬かっていたあなたは、ほんの一週間前まで「ネットってみんな本音で勝たれる素晴らしいツールやなー」と思っていたのに
バイオの今までの数年の動向と現状、そして進路について思うことを書いてみたよ。
受験生やバイオ系の学生さんに進路を考える点でちょっとでも参考になればうれしいよ。
数年前までバイオがとても注目されて、クローン技術、移植医療、ヒトゲノム計画、遺伝子組み換え食品などが
有名になったよね。
では今はどうかと言えば、そんな言葉見る影もない・・。
あれだけ騒いでいたマスコミ連中は「これからはナノテクの時代」などと別なことをほざくようになって、
バイオなどどこ吹く風・・・。当時、理工学系の学部で最もレベルが高かったのは紛れもなく「バイオ系学科」だったのに、
いまは最もレベルが低い学科に成り下がってしまっているみたい・・・。
受験生の間では、
クローン羊ドリーの誕生によってクローン技術が世界で騒がれ、はたまた脳死患者からの日本初の臓器移植、あるいは、
世界規模で行われていたヒトゲノム計画の激化、夢のような食品を作ろうと考え出された遺伝子組み換え食品、まさに
それと同時に「バイオは倫理観が伴う非常に難しいもの」と倫理性も問われるようになったんだ。
例えば、「クローン技術や遺伝子組み換えは自然が作ってくれた生物の存在を根底から覆すものだ！」って
非難を浴びたし、「脳死患者からの移植は倫理的に問題がある」ってお偉い方は慎重だったし、
ヒトゲノム計画は、「それによって人の遺伝子が分かることでその人の人間的な価値まで判断されてしまう！」
なんて言われていたんだ。
これを読んでいるみんなもこれらのことは知っている人も結構いるだろうね。
倫理観まで問われるってことはそれだけバイオが注目されていた証拠でもあるよね。
じゃあ、あれから数年経った今はどうかって言うと、悲しいけど全く言われなくなっているよね。
それともバイオはみんなを幸せにしたからもういらなくなっちゃったってこと？
繰り返すけど、1990年後半は紛れもなくバイオブームだった。
でもこの言葉って罠がある。
あくまで1990年後半はバイオ"ブーム"ってわけで、バイオの時代が来たっていみじゃなかったんだよね。
ここに大きな問題点がある！マスコミ連中が報じる「これからは○○の時代」って言葉には注意が必要なんだ。
（２）それを大々的に報じる
（３）そして世間がそれに食いついてきたら「これからは○○の時代」って報じる
と言うやり方があるんだよね。
だから「これからは○○の時代」と言われても本当にその時代が来るかどうか誰にも分からないよね。
確かにそれを報じた時やその数年後はその○○が注目されるけど、それ以降はまた別な◎◎が注目されるようになって、
「これからは◎◎の時代」ってふうに話題がすり替わっているものなんだ。
では、この前後で科学の世界ではどういったブームがあったかを振り返ってみよう。
| 年代 | ブーム |
|---|---|
| 1985～1990 | バイオブーム（利根川先生のノーベル賞がきっかけ） |
| 1989～1994 | 地球環境ブーム（→農学部の大幅な改組） |
| 1995～1998 | 大型基礎研究施設ブーム（SPring-8、スーパーカミオカンデ、地球シミュレーター） |
| 1998～1999 | ITブーム（正確にはIT革命ブーム） |
| 1996～2000 | バイオブーム（クローン技術、移植医療、ヒトゲノム計画、遺伝子組み換え食品） |
| 2000 | ヒトゲノム計画のドラフト（概要）が完了 |
| 2000 | ITバブル崩壊（IT不況へ、しかし近年持ち直す） |
| 2001 | （このあたりからバイオが騒がれなくなる） |
| 2002～ | ナノテクブーム |
| 2003 | ヒトゲノム計画が完全終了（しかし世間はすでに見向きもしなくなっていた・・・） |
あれあれあれ？？！1985～1990年にもバイオブームがあったんだ～。
実はこれ、利根川先生がノーベル賞を取ったことを機にかなり盛り上がったみたいなんだ。
当時バブル経済まっただ中で、いろいろな企業もこぞってバイオの研究をするようになっていたんだ。
電機メーカーが線虫っていう虫の脳神経を調べたり、神経細胞が伸びていく方法を利用して半導体の
でも、バブル経済が崩壊したらそれらのメーカーもバイオの研究をやめちゃったんだ。
バイオの研究って他の分野の研究とは違ってきちっとした方法論が確立されていなくて手探りでやるから、
本業で稼ぐのが一番ってことで電機メーカーは撤退しちゃったんだ。
その次の1995～1998の大型基礎研究施設ブームっていうのは主に物理学の世界で、宇宙とか素粒子
（原子を構成しているもの）を研究するのには大型の研究施設が必要ってことで各地に建設がされたということだよ。
当時マスコミ連中が言ってた言葉は当然「これからはITの時代」。
2000年にヒトゲノム計画のドラフトが完了したことで、当時マスコミ連中はバイオの倫理について大騒ぎしたんだよね。
でも、これを境にだんだんとバイオが騒がれなくなっていったんだ・・・。
これとは対照的に2002年くらいからナノテクがだんだんと報じられるようになってくる。
2003年にヒトゲノム計画が完了したときにはもう誰も世間の人は見向きもしなくなってしまっていたんだ・・・。
何でだろうね・・！？
2つ目は同じことの繰り返しで真新しさがなくなってしまった場合。
1つ目にあたるのは、ヒトゲノム計画だね。
当時は人の遺伝子が全部分かれば、病気の原因も分かるようになるって注目されたけどそんなことは全然ないよね。
結局、遺伝子解読したから何が分かると言えば、その遺伝子の配列が分かっただけ。
それ以降には全然進まない。
だってどの遺伝子が原因は結局は実験をしてみないと分からないものだから。
ヒトゲノム計画は学問的にも産業的にも利用価値がなかったってわけ・・・。
ヒトゲノム計画の時にアメリカのある企業ががんばっていたんだけど、終了後はこの計画にあまり意味がないことに
ヒトゲノム計画はそんな程度だったみたいだね。
2つ目の理由に当たるのは、クローン技術や脳死移植、遺伝子組み換え食品だね。
その後はあまり技術的な革新はないから（クローン技術はその対象を広げたけどそれ以上はないし）、マスコミ的には
何かフタを開けてみるとあっけないよね・・・。
それにしてもいろいろなブームがあったんだよね（皮肉／苦笑）。
ブームってのは確かに山があって頂上まで行ったら後は滑り落ちるだけってのは分かる。
でも科学の世界ってそんな短期間で語れるようなブームで動いているわけ！？答えは「それは正しくない」よね。
今まで言ったように科学の世界のブームは単純にマスコミが作り出しただけで、実際の科学の研究はもっとコンスタントに
行われていて、確かにある分野が注目されるときはあるけどそのあとは見向きもされなくなるなんてことは変なことだよ。
だって見向きもされなくなるってのはその研究が価値がなかったってことが分かったってことなんだからね。
でも、世間の人はそういうたった数年のブームにのせられてしまうし、多感な受験生なんてそれだけを信じて進路を
「これからは○○の時代」ってフレーズに載せられてその○○の分野に入学しても自分がいざ研究や就職を
しようとするときには世間は完全に見放していたなんてことになったら、いったい何のためにその分野を
バイオの研究者は生物をどのように解析するか？それは文字通り「ただやみくもに」って言葉がぴったりな方法なんだ。
びっくりしたでしょ？ぼくはバイオの研究の問題点は３つあると思っているよ。
１つ目は、生物学の研究方法では他の分野（特に物理学や化学、工学）のように原理原則を見いだそうとは
されていないこと。だから生物学の研究方法はまるで『錬金術』のように「訳の分からない遺伝子をやみくもに入れてみたら
どうなる？」とか、「この薬品とこの薬品を入れてみたらどうだろう？」ってふうに原理原則を見いだそうとせずに、
結果さえよければそれでいいって感じでやっているのが現状なんだ。
錬金術ってのはみんなが小学校・中学校で習ったと思うけど、昔の人は金属ごとに違う原子でできていることを
知らなかったから、鉄やアルミニウムから金を作ろうと必死にいろいろな方法を試していたんだ。
これらの原理原則を知っている現代の人から見ればバカバカしいことだけど、残念ながら生物学の研究は現在でも
２つ目は１つ目とも関連があるんだけど、生物学の源流が『博物学』であるから、その博物主義的な発想から
抜け出せないところ。みんなも博物館に行けばいろいろな昔のものが陳列してあってどの時代にどのようなものが
あったかよく分かるよね。でもそれが分かったところで今の自分の生活には活かせないでしょ？それと同じで生物学も、
その対象が動物・植物から細胞・分子レベルにまで移ったのに、やっていることは昔の生物学者がおもしろい生物種を
追い求めて野外を駆けめぐったように、今の生物学者も同じ発想で遺伝子や細胞の中で働いているタンパク質を
発見することに全力を注いでいるよ。そしてそれに名前を付けて陳列して「どうだ！オレはこんなにたくさんのものを
発見したんだぞ」って威張っている状態なんだ。
だから、そこから一般的な原理原則を見いだすことはないし、それを何かに役立てようって雰囲気も全くないんだ・・。
表向きは生物学は理系に属しているけど、理系らしさの証でもある数学・物理学・化学を駆使して数理的に
解析するなんてことは絶対にない。
そういった解析をしている学者は生物学者ではないんだ（苦笑）。
確かに生物と言えども自然界に存在するものはすべて物理化学的法則に縛られているから、その方向からの
解析が必要になるはずだけど、生物学は博物学の流れを持っているからそのような部分には生物学者は
見向きもしないんだ。
文系でも経済学や心理学、社会学では数学を結構使うから、生物学者は文系以上に
それだったら何のために大学入試で数学や理科をやってたんだよって感じだよ。
しかも、生物学の研究には多くの機械を使うけど、生物学者は機械の原理や中身の動作については
全く分かっていないんだ。機械のボタンを押せば何か分からないけど目的の研究ができるってふうにしか
機械を捉えていないから、機械がうまく動かないときは自分で直したりせずに修理を頼むんだ。
その間はだたぼぉ～って待つだけなんだ（笑）。他の理系の研究ではまず考えられないことだよね。
大事なのは、世界のバイオ機器を支えているのは電気工学と機械工学で、この２つがなければバイオは
ダメになるということ。でもバイオの人たちは、自分の研究が電気工学と機械工学に支えられていることに
全く気づいていないんだ。それなのに自分達だけでバイオの研究をしているって勘違いしている部分がヤバいんだよね。
バイオの人間はもっと発想を変えて、理系らしくすべきだと思うけど、みんなそんな意識はなくて毎日朝から晩まで、
続きは
良くパラレルワールドと言うと、シュレディンガーの猫が
らないっていう話が有名です。
それを吸うと猫が死に、吸わないと猫が死なないとします。
迂回して、5秒遅く猫を殺す世界、4.9秒etc、4.99秒etc、4.98秒etc。
さらに、原子が1回転多かったり、少なかったり、その間に
猫の毛が1つ抜けたり、抜けなかったり、それらが組み合わ
世界が分岐しているとしたら、分岐しすぎて、成り立たない
と考えたのです。
も存在できないので、
んじゃないかと考えたのです。
か。
チューブの中を、異なる経路を通る可能性はあるが、向かう先
は一緒で、世界は同じだと考えたんです。
とか、寝ながら考えていると良く眠れます。
第1章 プログラミング概念入門 1.1 計算器 1.2 変数 1.3 関数 1.4 リスト 1.5 リストについての関数 1.6 プログラムの正しさ 1.7 計算量 1.8 遅延計算 1.9 高階プログラミング 1.10 並列性 1.11 データフロー 1.12 明示的状態 1.13 オブジェクト 1.14 クラス 1.15 非決定性と時間 1.16 原子性 1.17 ここからどこへ行くのか？ 1.18 練習問題 第1部 一般的計算モデル 第2章 宣言的計算モデル 2.1 実用的プログラミング言語の定義 2.1.1 言語の構文 2.1.2 言語の意味 2.2 単一代入格納域 2.2.1 宣言的変数 2.2.2 値格納域 2.2.3 値生成 2.2.4 変数識別子 2.2.5 識別子を使う値生成 2.2.6 部分値 2.2.7 変数の，変数への束縛 2.2.8 データフロー変数 2.3 核言語 2.3.1 構文 2.3.2 値と型 2.3.3 基本型 2.3.4 レコードと手続き 2.3.5 基本操作 2.4 核言語の意味 2.4.1 基本概念 2.4.2 抽象マシン 2.4.3 待機不能な文 2.4.4 待機可能な文 2.4.5 基本概念再訪 2.5 メモリ管理 2.5.1 末尾呼び出し最適化 2.5.2 メモリライフサイクル 2.5.3 ガーベッジコレクション 2.5.4 ガーベッジコレクションは魔術ではない 2.5.5 Mozartのガーベッジコレクタ 2.6 核言語から実用的言語へ 2.6.1 構文上の便宜 2.6.2 関数(fun文) 2.6.3 対話的インターフェース(declare文) 2.7 例外 2.7.1 動機と基本概念 2.7.2 例外を持つ宣言的モデル 2.7.3 親言語の構文 2.7.4 システム例外 2.8 進んだ話題 2.8.1 関数型プログラミング言語 2.8.2 単一化と内含(entailment) 2.8.3 動的型付けと静的型付け 2.9 練習問題 第3章 宣言的プログラミング技法 3.1 宣言的とはどういうことか？ 3.1.1 宣言的プログラムの分類 3.1.2 仕様記述言語 3.1.3 宣言的モデルにおいてコンポーネントを実装すること 3.2 反復計算 3.2.1 一般的図式 3.2.2 数についての反復 3.2.3 局所的手続きを使うこと 3.2.4 一般的図式から制御抽象へ 3.3 再帰計算 3.3.1 スタックの大きさの増加 3.3.2 代入ベースの抽象マシン 3.3.3 再帰計算を反復計算に変換すること 3.4 再帰を用いるプログラミング 3.4.1 型の記法 3.4.2 リストについてのプログラミング 3.4.3 アキュムレータ 3.4.4 差分リスト 3.4.5 キュー 3.4.6 木 3.4.7 木を描画すること 3.4.8 構文解析 3.5 時間効率と空間効率 3.5.1 実行時間 3.5.2 メモリ使用量 3.5.3 償却的計算量 3.5.4 性能についての考察 3.6 高階プログラミング 3.6.1 基本操作 3.6.2 ループ抽象 3.6.3 ループの言語的支援 3.6.4 データ駆動技法 3.6.5 明示的遅延計算 3.6.6 カリー化 3.7 抽象データ型 3.7.1 宣言的スタック 3.7.2 宣言的辞書 3.7.3 単語出現頻度アプリケーション 3.7.4 安全な抽象データ型 3.7.5 安全な型を備えた宣言的モデル 3.7.6 安全な宣言的辞書 3.7.7 資格とセキュリティ 3.8 宣言的でない必要物 3.8.1 ファイルを伴うテキスト入出力 3.8.2 グラフィカルユーザインタフェースを伴うテキスト入出力 3.8.3 ファイルとの状態なしデータI/O 3.9 小規模プログラム設計 3.9.1 設計方法 3.9.2 プログラム設計の例 3.9.3 ソフトウェアコンポーネント 3.9.4 スタンドアロンプログラムの例 3.10 練習問題 第4章 宣言的並列性 4.1 データ駆動並列モデル 4.1.1 基本概念 4.1.2 スレッドの意味 4.1.3 実行列 4.1.4 宣言的並列性とは何か？ 4.2 スレッドプログラミングの基本的技法 4.2.1 スレッドを生成すること 4.2.2 スレッドとブラウザ 4.2.3 スレッドを使うデータフロー計算 4.2.4 スレッドのスケジューリング 4.2.5 協調的並列性と競合的並列性 4.2.6 スレッド操作 4.3 ストリーム 4.3.1 基本的生産者／消費者 4.3.2 変換器とパイプライン 4.3.3 資源を管理し，処理能力を改善すること 4.3.4 ストリームオブジェクト 4.3.5 ディジタル論理のシミュレーション 4.4 宣言的並列モデルを直接使うこと 4.4.1 順序決定並列性 4.4.2 コルーチン 4.4.3 並列的合成 4.5 遅延実行 4.5.1 要求駆動並列モデル 4.5.2 宣言的計算モデル 4.5.3 遅延ストリーム 4.5.4 有界バッファ 4.5.5 ファイルを遅延的に読み込むこと 4.5.6 ハミング問題 4.5.7 遅延リスト操作 4.5.8 永続的キューとアルゴリズム設計 4.5.9 リスト内包表記 4.6 甘いリアルタイムプログラミング 4.6.1 基本操作 4.6.2 ティッキング(ticking) 4.7 Haskell言語 4.7.1 計算モデル 4.7.2 遅延計算 4.7.3 カリー化 4.7.4 多態型 4.7.5 型クラス 4.8 宣言的プログラムの限界と拡張 4.8.1 効率性 4.8.2 モジュラ性 4.8.3 非決定性 4.8.4 現実世界 4.8.5 正しいモデルを選ぶこと 4.8.6 拡張されたモデル 4.8.7 異なるモデルを一緒に使うこと 4.9 進んだ話題 4.9.1 例外を持つ宣言的並列モデル 4.9.2 さらに遅延実行について 4.9.3 通信チャンネルとしてのデータフロー変数 4.9.4 さらに同期について 4.9.5 データフロー変数の有用性 4.10 歴史に関する注記 4.11 練習問題 第5章 メッセージ伝達並列性 5.1 メッセージ伝達並列モデル 5.1.1 ポート 5.1.2 ポートの意味 5.2 ポートオブジェクト 5.2.1 NewPortObject抽象 5.2.2 例 5.2.3 ポートオブジェクトに関する議論 5.3 簡単なメッセージプロトコル 5.3.1 RMI(遠隔メソッド起動) 5.3.2 非同期RMI 5.3.3 コールバックのあるRMI(スレッド使用) 5.3.4 コールバックのあるRMI(継続のためのレコード使用) 5.3.5 コールバックのあるRMI(継続のための手続き使用) 5.3.6 エラー報告 5.3.7 コールバックのある非同期RMI 5.3.8 二重コールバック 5.4 並列性のためのプログラム設計 5.4.1 並列コンポーネントを使うプログラミング 5.4.2 設計方法 5.4.3 並列性パターンとしての機能的構成要素 5.5 リフト制御システム 5.5.1 状態遷移図 5.5.2 実装 5.5.3 リフト制御システムの改良 5.6 メソッド伝達モデルを直接使用すること 5.6.1 1つのスレッドを共有する複数のポートオブジェクト 5.6.2 ポートを使う並列キュー 5.6.3 終点検出を行うスレッド抽象 5.6.4 直列依存関係の除去 5.7 Erlang言語 5.7.1 計算モデル 5.7.2 Erlangプログラミング入門 5.7.3 receive操作 5.8 進んだ話題 5.8.1 非決定性並列モデル 5.9 練習問題 第6章 明示的状態 6.1 状態とは何か？ 6.1.1 暗黙的(宣言的)状態 6.1.2 明示的状態 6.2 状態とシステム構築 6.2.1 システムの性質 6.2.2 コンポーネントベースプログラミング 6.2.3 オブジェクト指向プログラミング 6.3 明示的状態を持つ宣言的モデル 6.3.1 セル 6.3.2 セルの意味 6.3.3 宣言的プログラミングとの関係 6.3.4 共有と同等 6.4 データ抽象 6.4.1 データ抽象を組織する8つの方法 6.4.2 スタックの変種 6.4.3 多態性 6.4.4 引数受け渡し 6.4.5 取り消し可能資格 6.5 状態ありコレクション 6.5.1 インデックス付きコレクション 6.5.2 インデックス付きコレクションを選ぶこと 6.5.3 その他のコレクション 6.6 状態に関する推論 6.6.1 不変表明 6.6.2 例 6.6.3 表明 6.6.4 証明規則 6.6.5 正常終了 6.7 大規模プログラムの設計 6.7.1 設計方法 6.7.2 階層的システム構造 6.7.3 保守性 6.7.4 将来の発展 6.7.5 さらに深く知るために 6.8 ケーススタディ 6.8.1 遷移的閉包 6.8.2 単語出現頻度(状態あり辞書を使用する) 6.8.3 乱数を生成すること 6.8.4 口コミシミュレーション 6.9 進んだ話題 6.9.1 状態ありプログラミングの限界 6.9.2 メモリ管理と外部参照 6.10 練習問題 第7章 オブジェクト指向プログラミング 7.1 継承 7.2 完全なデータ抽象としてのクラス 7.2.1 例 7.2.2 この例の意味 7.2.3 クラスとオブジェクトを定義すること 7.2.4 クラスメンバ 7.2.5 属性を初期化すること 7.2.6 第1級メッセージ 7.2.7 第1級の属性 7.2.8 プログラミング技法 7.3 漸増的データ抽象としてのクラス 7.3.1 継承グラフ 7.3.2 メソッドアクセス制御(静的束縛と動的束縛) 7.3.3 カプセル化制御 7.3.4 転嫁と委任 7.3.5 内省 7.4 継承を使うプログラミング 7.4.1 継承の正しい使い方 7.4.2 型に従って階層を構成すること 7.4.3 汎用クラス 7.4.4 多重継承 7.4.5 多重継承に関するおおざっぱな指針 7.4.6 クラス図の目的 7.4.7 デザインパターン 7.5 他の計算モデルとの関係 7.5.1 オブジェクトベースプログラミングとコンポーネントベースプログラミング 7.5.2 高階プログラミング 7.5.3 関数分解と型分解 7.5.4 すべてをオブジェクトにすべきか？ 7.6 オブジェクトシステムを実装すること 7.6.1 抽象図 7.6.2 クラスを実装すること 7.6.3 オブジェクトの実装 7.6.4 継承の実装 7.7 Java言語(直列部分) 7.7.1 計算モデル 7.7.2 Javaプログラミング入門 7.8 能動的オブジェクト 7.8.1 例 7.8.2 NewActive抽象 7.8.3 フラウィウス・ヨセフスの問題 7.8.4 その他の能動的オブジェクト抽象 7.8.5 能動的オブジェクトを使うイベントマネージャ 7.9 練習問題 第8章 状態共有並列性 8.1 状態共有並列モデル 8.2 並列性を持つプログラミング 8.2.1 さまざまな手法の概観 8.2.2 状態共有並列モデルを直接使うこと 8.2.3 原子的アクションを使うプログラミング 8.2.4 さらに読むべき本 8.3 ロック 8.3.1 状態あり並列データ抽象を構築すること 8.3.2 タプル空間(Linda) 8.3.3 ロックを実装すること 8.4 モニタ 8.4.1 定義 8.4.2 有界バッファ 8.4.3 モニタを使うプログラミング 8.4.4 モニタを実装すること 8.4.5 モニタの別の意味 8.5 トランザクション 8.5.1 並列性制御 8.5.2 簡易トランザクションマネージャ 8.5.3 セルについてのトランザクション 8.5.4 セルについてのトランザクションを実装すること 8.5.5 トランザクションについてさらに 8.6 Java言語(並列部分) 8.6.1 ロック 8.6.2 モニタ 8.7 練習問題 第9章 関係プログラミング 9.1 関係計算モデル 9.1.1 choice文とfail文 9.1.2 探索木 9.1.3 カプセル化された 9.1.4 Solve関数 9.2 別の例 9.2.1 数値例 9.2.2 パズルとnクイーン問題 9.3 論理型プログラミングとの関係 9.3.1 論理と論理型プログラミング 9.3.2 操作的意味と論理的意味 9.3.3 非決定性論理型プログラミング 9.3.4 純粋Prologとの関係 9.3.5 他のモデルにおける論理型プログラミング 9.4 自然言語構文解析 9.4.1 簡単な文法 9.4.2 この文法に従う構文解析 9.4.3 構文木を生成すること 9.4.4 限定記号を生成すること 9.4.5 パーサを走らせること 9.4.6 パーサを「逆向きに(backward)」走らせること 9.4.7 単一化文法 9.5 文法インタプリタ 9.5.1 簡単な文法 9.5.2 文法のコード化 9.5.3 文法インタプリタを走らせること 9.5.4 文法インタプリタを実装すること 9.6 データベース 9.6.1 関係を定義すること 9.6.2 関係を使って計算すること 9.6.3 関係を実装すること 9.7 Prolog言語 9.7.1 計算モデル 9.7.2 Prologプログラミング入門 9.7.3 Prologプログラムを関係プログラムに翻訳すること 9.8 練習問題 第2部 特殊化された計算モデル 第10章 グラフィカルユーザインタフェースプログラミング 10.1 宣言的／手続き的方法 10.2 宣言的／手続き的方法を使うこと 10.2.1 基本的ユーザインタフェースの要素 10.2.2 GUIを構築すること 10.2.3 宣言的座標 10.2.4 リサイズ時の宣言的振る舞い 10.2.5 ウィジェットの動的振る舞い 10.3 対話的学習ツールPrototyper 10.4 ケーススタディ 10.4.1 簡単なプログレスモニタ 10.4.2 簡単なカレンダウィジェット 10.4.3 ユーザインタフェースの動的生成 10.4.4 状況順応時計 10.5 GUIツールを実装すること 10.6 練習問題 第11章 分散プログラミング 11.1 分散システムの分類 11.2 分散モデル 11.3 宣言的データの分散 11.3.1 オープン分散と大域的ネーミング 11.3.2 宣言的データを共有すること 11.3.3 チケット配布 11.3.4 ストリーム通信 11.4 状態の分散 11.4.1 単純状態共有 11.4.2 分散字句的スコープ 11.5 ネットワークアウェアネス 11.6 共通分散プログラミングパターン 11.6.1 静的オブジェクトとモバイルオブジェクト 11.6.2 非同期的オブジェクトとデータフロー 11.6.3 サーバ 11.6.4 クローズド分散 11.7 分散プロトコル 11.7.1 言語実体 11.7.2 モバイル状態プロトコル 11.7.3 分散束縛プロトコル 11.7.4 メモリ管理 11.8 部分的失敗 11.8.1 失敗モデル 11.8.2 失敗処理の簡単な場合 11.8.3 回復可能サーバ 11.8.4 アクティブフォールトトレランス 11.9 セキュリティ 11.10 アプリケーションを構築すること 11.10.1 まずは集中，後に分散 11.10.2 部分的失敗に対処すること 11.10.3 分散コンポーネント 11.11 練習問題 第12章 制約プログラミング 12.1 伝播・探索法 12.1.1 基本的考え方 12.1.2 部分情報を使って計算すること 12.1.3 例 12.1.4 この例を実行すること 12.1.5 まとめ 12.2 プログラミング技法 12.2.1 覆面算 12.2.2 回文積再訪 12.3 制約ベース計算モデル 12.3.1 基本的制約と伝播子 12.3.2 計算空間の探索をプログラムすること 12.4 計算空間を定義し，使うこと 12.4.1 深さ優先探索エンジン 12.4.2 検索エンジンの実行例 12.4.3 計算空間の生成 12.4.4 空間の実行 12.4.5 制約の登録 12.4.6 並列的伝播 12.4.7 分配(探索準備) 12.4.8 空間の状態 12.4.9 空間のクローン 12.4.10 選択肢を先に任せること 12.4.11 空間をマージすること 12.4.12 空間失敗 12.4.13 空間に計算を注入すること 12.5 関係計算モデルを実装すること 12.5.1 choice文 12.5.2 Solve関数 12.6 練習問題 第3部 意味 第13章 言語意味 13.1 一般的計算モデル 13.1.1 格納域 13.1.2 単一代入(制約)格納域 13.1.3 抽象構文 13.1.4 構造的規則 13.1.5 直列実行と並列実行 13.1.6 抽象マシンの意味との比較 13.1.7 変数導入 13.1.8 同等性の強制(tell) 13.1.9 条件文(ask) 13.1.10 名前 13.1.11 手続き抽象 13.1.12 明示的状態 13.1.13 by-need同期 13.1.14 読み出し専用変数 13.1.15 例外処理 13.1.16 失敗値 13.1.17 変数置き換え 13.2 宣言的並列性 13.2.1 部分停止と全体停止 13.2.2 論理的同値 13.2.3 宣言的並列性の形式的定義 13.2.4 合流性 13.3 8つの計算モデル 13.4 よくある抽象の意味 13.5 歴史に関する注記 13.6 練習問題
除染に自衛隊、便利屋扱い？ 防衛省に波紋 「民間でも十分できる」
http://sankei.jp.msn.com/politics/news/111120/plc11112000420000-n1.htm
自衛隊の任務は国民の安全と財産を守るためであって、便利屋では無い。
自衛隊の特徴は、初動の「即応」と自己完結能力にあるのであって、この時期になってもはや除染に自衛隊は必要無い。
恒常的に「放射性物質」を扱っている民間企業（例：東京電力、原子燃料等）があり、常日頃から「除染」を行っているのだから、既に自己完結能力の必要の無い今は、自衛隊を出す必要は無い。
＞一川保夫防衛相は１８日の記者会見で「除染事業開始までに拠点場所（の除染）を早急にやるとすれば自衛隊の能力が期待される。民間には難しい」
一川保夫防衛相は、自ら「素人」発言をしていなかったか？ 素人なら自衛隊の活動に口出すな。
確か、同防衛相は、国賓の宮中晩餐会よりも、自分の政治資金の方を優先した人だったな。
＞「直後に（地元に説明に）行くべきだった。常に国民の目線で物事を判断したいといってきたが、防衛省にそういう観点が浸透していない感じを受けている」
とか言っていたが、その防衛省のトップはいったいどこの誰だよ、と問いたい。
もっとも、某党の元総理大臣閣下は小学校の社会科で習うはずの自分自身が自衛隊の最高指揮官である事すら知らなかった閣下もいらしたからな。
あれだ。
きっと、この某党の防衛相は、愛すべき中華人民共和国様と南朝鮮様のために、まず最初の厄介者になるであろう自衛隊を潰したいに違いない。
そして後々中華人民共和国「国民」と南朝鮮「国民」のために、日本を潰しにかかるのだろう。
NHK クローズアップ現代の『どう教える”放射線”』にて、放射線に関する出張授業を取り扱っていた。
「アルファ線がヘリウム原子核のこととは知らなかった(意訳)」とインタビューに答えていて、
「おいおい、教師が教える内容を知らなくてどうするよ！？」とツッコミをいれたくなったが、ふと考えた、
(あれ？中学の理科で原子核とか放射線って習ったっけ？もしかして、高校では？)と。
学習指導要領を見ると、案の定、中学ではあくまで「物質は原子からなる」レベルの話しかしておらず、
高校になって
理科総合A「原子力に関連して，天然放射性同位体の存在やα線，β線，γ線の性質にも触れること。」
物理II「光や電子の波動性と粒子性，原子や原子核，素粒子における現象を観察，実験などを通して探究し，量子的な考えなど基本的な概念や原理・法則を理解させる。」
と定めているに過ぎない。
いやいや、これまずくないか？
高校生が通常のカリキュラムにおいて、放射線のことを学ぶ機会は理科総合Aか物理IIしかない。
自分が高校の時、1年は総合理科B(生物・地学)が必須で、2年から文系理系に分かれ、理系科目は物理・化学・生物・地学からの選択だった。
現在の一般的な高校も同様のシステムとすると、「理科総合Aを受けさせない高校に通っている、文系高校生または物理IIを選択しない理系高校生」は放射線に関して、中学生と同程度の知識しかない(=冒頭の教師みたいに原子核云々を知らない)ということだ。
うわあ、これじゃあ放射線に関するパニックが広がっても仕方ないわ。
「放射能が染る」とか言っちゃう人が出るのも当然だわ。
