Powerpoint 用 LaTeX-add on

これまでは、Open Office に OOolatex を入れてスライドを作ってきたが、更新が完全に止まっている上、いい加減 OOo の重たさに飽きてきたので、観念してマイクロソフトに媚び諂うことにする。

だが、数式はやっぱりTeX入力したいので、ここで色々と物色してみた。
たくさんありすぎてわからないから、Google先生にご意見を伺った。

候補に感じたのは次の４つ。
pptTeX　(　Google　で上位に来ていたから。かつ出力がベクトル画像)
IguanaTeX　( 64 bit Windows 7 に対応しているから)
TeXPoint 無償版 ( 有償版が、比較的普及しているから )
Equation Magic 無償版( 入力に制限あり )

結局、
日本にローカライズしていないこと ( freeware を使ってきた人なら気持ちを分かってくれるはず )
使う PC が Windows 7 64 bit であること

の二点と、心無いつぶやきによって IguanaTeX にすることにした。

したがって本稿は、 Microsoft の陰謀に負けた筆者が、
IguanaTeX を使って、PowerPoint で数式を打ち込んで感動するまでの物語である。




IguanaTeX の使い方は Add-ins/New LaTeX equation でウインドウを開き、入力
編集したい場合は、ダブルクリックでもう一度、入力ウインドウを開くことができる。

IguanaTeX は、ドキュメントクラスから入力することができて、
（少々面倒ではあるが、拡張性の犠牲と言うべきであろう）
したがって、フォントやパッケージもインストールしてさえいれば自由に選ぶことができる。

怠惰な筆者は、奥村本の最新刊に入っているローカライズした
(したがってファイアーウォールで止まったりしない)
W32TeX をインストールして喜んでいるが、
IguanaTeX の作者は、Windows への LaTeX のインストールソフトの例として、
MiKTeX を例示しているので、ちょっと日本人の空気読めよ的な気持ちになっている。

MiKTeX は TeXLive 同様 TeX のインストールに関する煩雑な処理を一括して受け止めてくれる頼れるやつである。

ただ、Ubuntu での過去の苦い経験から
（つまり、TeXLive は諸事情により日本語対応していない！！）
（現在は Ubuntu Japanese Team の尽力により、日本語対応した TeX インストーラーが Synaptic にある。　ありがとう！！愛しているよ！）

ちょっとこの手のインストーラーには抵抗がある。
（所詮、使うのは数式だけだから関係ないが。。）

ぶつぶつ言いながら、ファーストトライは標準的なインストールをするため、

MiKTeX インストーラをダウンロードする。

64bit 版はまだ experimental らしいが、使ってみる。

実行ファイル版と、ネット経由で取得する版があるので、

とりあえず両方落として、ネット系経由を試してみる。

落としてきたファイルを実行するには、管理者権限が必要なので

左クリックをして、管理者権限で実行をする。

ということで、この先は、また明日することにする。

ジャンケンポン
うふふ

夢からさめて

昨日の忘年会は愉しかった。同窓からの電話も嬉しかった。お陰で幸せな夢を見た。小学校の時、友達の家で遊んでいるような感覚だ。彼の家族と、ふざけて笑い合っていた。目が覚めてきて、彼らが長屋暮らしだった事に気づく。そういえば、その事を気に止めて遊んだことがなかた。

実際に、高校時代、まともにバイトをしてなかったし、むしろその事が、手持ちの金を彼等より少なくさせていた。今思うと、彼らは今僕がしてるように、大学にきて大学院に通うなど、簡単にできる境遇ではなかった。高校まで付き合ってきた友人のほとんどがだ。夢見心地がだんだん覚めてきた。

両親は、地方公務員で、共働きである分いささか豊かであったかもしれないが、父が貯蓄に当てていたため、日常がそれほど豊かであったわけではなかった。お陰で誰かの病で家が傾いたりもなかった。僕の貧乏性はここから来ている。

明らかに、出自のお陰で今がある。一方、その事をほとんど意識せず、暮らしてきたことに驚く。そう接してくれた彼ら親友たちにも。それが日本という国なんだろう。

僕は今、自らの出自を当てにすることでしか、僕自身、簡単には到達し得なかったであろうところまで来ている。田原総一郎が「日本の大学生はエリート意識が無さすぎる」といったとき、そんな自負がなんの役に立つのかと思ったが、そういった事でなかったことに、気づかされた朝だった。

もちろん出自だけで大学院生までになって研究を等という甘い世界ではない。だが、引きこもりや、2年の浪人は経験したが、境遇には幸い恵まれていたと思う。今日も美味しい珈琲を淹れることが出来た。幸せな一日を始めよう。

module文中で module文を呼び出せないのかなぁ

module文中で
module文を呼び出せないのかなぁ

反省

今日は、ある種の「お叱り」を得た。

ある避けては通れない課題を、
数値計算を優先して、先送りしていた
（この優先順位自体に問題はない）
のだが、

その計算が一段落し始めたころに、
喉の奥に引っかかっていた事を、
共同研究者と議論していて、
すぐに出来そうな話があったので、
面白くなって、その話を、一通りやり尽くしたのだが、

他の共同研究者に、
あの（先送りしていた）課題はどうなったのだと
聞かれたときに、
ここ数日、面白い話があったので、
そちらをやっていたと、内容を大まかに説明したら、

その話は、いまやっている話と一緒にすると、
まとめようとしている論文が、
複数の話で構成されてしまう
と、指摘された。

確かに、これまでやってきた課題と、
目標は同じだけれども、
ストーリーとして、
直接つなげるのは、少し難しい。

今の課題が、
時限付きであることを考えると、
「落としどころ」が、はっきりとしていない課題を、
新たに始めることに問題があるのは確か。

「複数の論文を書く、だけの度量はあるか」

と聞かれたが、確かにちゃんと答えられなかった。

研究なので、
新たな知見が得られたりする過程で、
知的興奮をえるのは間違いないし、
それが、あまり時間のかからないことならなおさらだ。

一方で、
論文を出してゆくという課題に対して、
その「楽しさ」をコントロールして行かないと
いけない部分もある。

その意味では少し反省。

ただ、もしかしたら
別論文に出来る内容かもしれないので、

一応、「ミーティングにかけてみる」
と言って、了承を得た。

時限があるんだから、
面白いでやってはいけないと痛感した。

非と否

象形。羽が左と右とにそむいた様を描いたもの。左右に払いのけるという拒否の意味を表す。
(5)[助]反対の意や否定の意を表す接頭辞。「非凡」「非常」「非民主的」
（学研 漢字源より）

浪人時代に、非と否の違いについて、習ったことが有る。

英訳するとわかりやすい。

否 = not
非 = no = not any thing

そもそも、文法的に使う場面が違うのだが、

否が動詞の指定している先だけを否定しているのに対して、
非は修飾されている名詞や形容詞の対称を含まない集合全体を表している。

僕はある意味好き好んで、
非平衡の世界に飛び込んだ。

非平衡とは、上記に示したとおり、
平衡でない世界全般を示している。

僕の対称としている研究には、
非定常、非一様性がからんでくる。

簡単に言えば、非が付く名詞と言うのは、
分類分けが不十分なためそうした名称になっている。

エルゴード性や、等重率の原理といった仮定を
第一原理に課すことによって得られる熱平衡
ではない世界が非平衡

時間平均を無限の時間に対して行い、
その統計平均が収束するといった仮定を
しないのが非定常

大自由度系において、物理で言えば分子といった、
ある（自由度の組）単位における挙動の（状態）空間平均が収束するといった仮定を
しないのが非一様

仮定をしない事によって、
第一原理に基づいた結論を得ることにはなるが、
一方で、「XXしがち」といった、
実際に観測された現象に基づいた仮説から逸脱した結論にも到達し得て、

つまり、観測されることによって、研究者間で課題となっている問題を解くというより、
与えられた物理法則の数学的性質の追求に邁進することとなる。

しかし、こういった点に関して
安易な指摘が多々ある。

物理に非ず

という指摘だ。

残念ながら、これは正確ではなくて
本当は、

物理的に否ず

とすべきだろう。

物理の目的は、観測された現象の解釈と、
そこから連想される現象の予言にあると言ってもいいとおもう。

時に物理学者の研究は、現象を背景に、
大鉈をふるって結論を引き出す。

そこで、切れ味のいいナイフを振り回すとどうなるのだろうか。

fortran:trim(text)

fortran:trim(text)
text の後半にある空白文字を消去する

write() text <-- 後半に空白文字
write() trim(text) <-- 前半に空白文字

Fortran runtime error: File already opened in another unit

Fortran runtime error: File already opened in another unit

do n=1,100
open(n,file=file_name)
end do

で、file_nameの値が、ループ内で変わっていないと出るエラー

理論化学研究会の反対声明に対する反論と反対声明原文

理由

事業仕分け内で批判された点に対する明確な答えになっていない。




論点

・仕訳人は意義については賛成である点（引用１）
仕訳人の側が総論賛成であるのにも関わらず、
事業意義を主張していること

・事業計画の妥当性と、仕様変更後の見直しの妥当性（引用２）
計画変更をせざるをえなくなった事業計画は妥当であったのか
大きな仕様変更にも関わらず、どのような点で事業継続に妥当性があるか、明確でない

・科学技術開発と人材育成（引用３）
見直すことが本当に技術開発や人材育成に大きな影響をもたらすのか

・利用者にとっての事業の意義（引用４，５）
見直す事の利用する川にとっての影響
利用審査組織の妥当性
他の開発と比べて１０ペタマシン一台を作る意義はどこにあるのか

・緊急性（引用６）
今、急いで開発する意義についての妥当性はどれほどあるのか


理論化学研究会の方々が主張されているのは
利用者にとっての事業の意義についてかと思われますが
批判された点について全く答えられておられません。

報道されている部分的な事実を、
拾い集めて批判されているようにしか見えません。

主張が少し短絡的に思えますので署名はいたしません。


以下引用
いずれも、事業仕分けを文字に起こしたものから

引用元サイト
http://mercury.dbcls.jp/w/index.php?%A1%CA%C6%C8%A1%CB%CD%FD%B2%BD%B3%D8%B8%A6%B5%E6%BD%EA%AD%A1%A1%CA%BC%A1%C0%A4%C2%E5%A5%B9%A1%BC%A5%D1%A1%BC%A5%B3%A5%F3%A5%D4%A5%E5%A1%BC%A5%C6%A5%A3%A5%F3%A5%B0%B5%BB%BD%D1%A4%CE%BF%E4%BF%CA%A1%CB%A5%C6%A5%AD%A5%B9%A5%C8

引用１=================================================
理研？）私、科学者といいますか、研究者でございますので、研究者としての立場から発言をさせていただきたいと思っております。
　先ほどから例えば費用対効果の話が出ておりますけれども、サイエンスには、費用対効果というのが馴染まないものというのももちろんございます。もちろん、経済効果とかそういうことも必要でございますけども、そういう部分もございます。例えば、基礎科学の分野でいいますと、宇宙のビッグバンは一体どうやって始まったのかとか、鉄以上の元素はどうやってできたのかとか、あるいは星の誕生というものはどういうものかとか。これは、実はこれができるのはシミュレーションだけなんですね。こうした大型…スパコンを使ったシミュレーションだけです。それから、地震のシミュレーションにしてもですね、…

進行役）あのー、その一般論はみなさん共通の認識ですございますので…

理研？）はい。ですからその、そういう…

進行役）これだけのお金をかけて、これを、来年度やる必要性について具体的にお答え下さい。

理研？）ですからこうした、国民に夢を与える、あるいは世界一を取ることによって夢を与えることが、実は非常に大きな、これは、このプロジェクトのひとつの目的でもあり…

48:00

）あの、思いもすごくよく分かるし、国民に夢を与えるものは私たち全員否定しているものでは全然ないんですね




引用２=================================================
）あのですね、平成１７年の１１月に事前評価があって、プロジェクトの実施が妥当とされたと。そして１９年９月に評価があって、複合システムとすることを決定したと。一方で、これまでの今日の話をおうかがいをしていますと、ちょっと、およそ責任が感じられないんですね。
　例えば複合型からスカラー型にうつることについて、ベクトルの影響は限定的であると、最初からそういうことをおっしゃられているわけですね。これは、果たしてほんとうにベクトル型を一緒に含めた複合型でやる必要があったのかと。科学技術会議の判断が間違っていたのか、みなさんのミスリードだったのか、それとも不確定要因があったのか、これははっきりさせていただかなきゃいけないということと、さらに今、競争関係にあるとおっしゃいましたね。これ、当時の科学技術会議の中でも指摘があったと思うんですが、そもそも競争関係にあって、別な企業同士やってることを、無理に複合型でやったこと自体に問題がなかったのかどうなのかと。
　だってもう世の中の大勢はスカラー型で行こうとしている中で、あえて複合型でやって、まあベクトル型は確かに日本のリードしていた分野であったかもしれませんけども、しかし今になって結局複合型が分かれてしまったということについての責任は果たしてこれ、どこにあるのかと。これだけ国費を投入してきて、設計がほとんど終わって今からというときに仕様が変更されるということについて、これは非常に疑問を感じざるを得ないと、いう意味では、やはり計画、やっぱりもういっぺんこの総合科学技術会議に戻すなり、内部の評価委員会ではなくて、戻すなりしてもう一回再検討するのが、私はやっぱりこれ、筋ではないかと思うのですが。
　今のいくつかの疑問にお答えをいただいて、また最後の要望というか提案に対してどうお感じになられるかということをお願いいたします。




引用３=================================================
）えっと、見直し…立ち止まって見直しをした方がいいと思います。当初の目的をどれほど達成しているのかどうか、NECが途中で抜けたことも含めて、無理がなかったのかどうか、等々いっぱいあると思いますよ。
　人材育成というのはみなさんは、利用者だけのことじゃなくて、作る人の人材育成、ある種の継承性もあるわけです、そこも含めて何ら考えていないような気がする。要するに、１社だけ残ったところで、残りの２社は全然コントリビューションしてないわけでしょ。その観点からいうと非常に大きな問題だと私は思う。ですから私が思うのは、一度立ち止まって、一年ほどかけて見直しをやるということが必要じゃないかと思いますね。一番効率的…これは（…）と違って、止めたからといって、技術は残りますから、それを使って、性能は落ちるにしろ、作って、使ってもらう。
　例えばベクトル機は排除ということになりましたけど、たとえばIPCCでコントリビューションあったからって３年後やるために、やっぱり今、プログラムが書けないと大変ですよ。書き直した結果が正しいかどうかという検証も含めなきゃダメだから、そう簡単にはいかないんですよ。だから同じ機械があって、使ってやった方がよっぽど楽ですよ。そうやってトータルとして研究者の時間の価値を考えると、できるだけ少量の、効果的な方法とマシンを入れてやるってのはありますからね。そこを含めてちゃんと見直した方がいいかと思いますが。というのが私の意見です。




引用４=================================================
）だから研究の場合には、これがないからって日本の研究が全部ダメになるわけじゃないわけでしょう。IPCCのなんとかで日本のコントリビューションがなくなるわけじゃないし、たとえばここに書いてるような、自動車の衝突実験やるときに、このコンピュータ使わなくたって、今までのやつである程度はできるわけだし。もうあらゆることがね、これができなけりゃ全てダメになるって話じゃないわけですよ。だからその、科学としてここまでやるから、これがないとダメなんだという言い方はおかしいでしょうと言ってるわけね。で、今あなたがおっしゃったように、まさにそうなんだから、別にこのプロジェクトを一回立ち止まって見直したって、日本の国益にとってなんのマイナスにもならないでしょうということです。



引用５=================================================
　で、それとまず使わせ方について。一般利用者集めると、課題選定組織みたいなのを作って、そこに選定させようとしてますけどね、それはまず、課題審査をやるときに、審査員の方々やられますね。その方がたとえノーベル賞を取られた方としても、なるほどその分野についてはよくご存知かも分かんないけども、研究というのはなにが化けるか分からないんですよね。だから学識経験者が正当に判断できるかどうか疑わしいところがあるわけですよ。その点大型センターがうまくいったっていうのは、ただお金があれば、交通整理的な利用料金しか取ってませんから、非常に少額ですよ。だから、民間の企業だと１０倍とか１００倍ぐらいかかるんで、ほんとうに少ない金額です。ほんとうにやりたいという意欲があれば、意欲ですね、ないとだめですよ、あれば、できる状況にあるんですね。
　で、ペタみたいな１個だけ。あ、もうひとつ、複数のセンター作る部分の問題は、デバッグやるときに、やっぱりフルコースで使わざるをえんわけですよ。その間、本来の計算が止まるんですよね。そういうことがあって、複数個があってやると、実際使うときに１０ペタあったとしてもですね、そんなん使うことまずない。１ペタを１０台に分けてやった方がよっぽど（お金？）、みなさん助かるということにはなるんだと思いますよ。
　それで、見ててですね、現場というか、こうやれば日本のインフラ整備、あるいは外国に互して、競争できるような人材を輩出するような形のね、構図になってないような気がするんですよね。それが私の感じるところ。それでいずれにしろ、その…
（東大　金田康正教授）



引用６=================================================
）あのー、ひとつだけ。これは国民目線から見た場合非常に分かりにくい議論になると思うんですが、これを基礎研究とした場合に、このスパコンを作るというのはかなり労働集約型の気がするんです。すいません、私素人だから間違っているかもしれません。普通のノーベル賞だとか、画期的な技術開発っていうならまだ分かるんですが、これはかなり労働集約型、それで金田先生がおっしゃったように、一定のところで蓄積があるならば、それは別に死なないと。
　それから、世界一を取らなきゃいけないというけれど、日米の競争があるっていったら、じゃあドイツだとかフランスだとか、その他のヨーロッパ諸国はどうなんだろうかっていうと、そこの企業も全部潰れちゃうのかっていうと、そんなのはないだろう。ということは、日本の全ての企業が大ダメージを受けるということでもなさそうだ。というようなことだと、やはり積み上げ型で、どうしてもこの時期にやらなきゃいけないというのがやっぱり見えないんですね。もう少し遅くたって積み上げ型だったらできるんじゃないか。
　そのときで、もし…いや、お金があれば今やるべきだと思います。ただ、お金がないときだからこそ、ちょっとそのスピードを遅らせるのか、あるいはいったん見直しながらもっと効果的なものをやるのか、あるいはアメリカの開発を一番を取らなくてもいいからその一番を見ながらその次のステップを考えるのか、やっぱり一回見直すべきじゃないかなというのが、こう、まあ素人的に見てですね。特にこれは労働集約型だなあと思うので、そう思うんですが、そのへんはいかがでしょう。


> ----------------------------------------------------
> 文部科学省
> 副大臣　中川正春　様
> 政務官　後藤　斎　様
>
> われわれは「次世代スパコン開発計画の凍結」に反対いたします。
>
> スパコンは科学技術の要の一つであり、国民の生活に直結する最先端科学技術
> に欠くことのできないものであります。米国は長年にわたりスパコン開発に積極
> 的な投資を行ってきましたが、我が国においても、国の支援と産業界の努力に
> より、米国と並ぶ世界最先端の技術を維持すると共に、大学研究機関に最先端の
> スパコンを配備して優れた成果を上げてきました。現在、最先端技術は厳しい
> グローバルな競争にさらされておりますが、その維持・開発を一度中断すること
> は中止・撤退に等しい影響があります。
>
> また、日本の理論化学・計算化学の研究は、伝統的に世界的レベルにあります。
> それは、1981年の福井の「フロンティア電子理論」に対するノーベル化学賞受賞
> や、昨年の諸熊の「分子の構造・機能・反応設計に関する理論的研究」に対する
> 恩賜賞受賞を頂点とする卓越した業績からも窺い知ることができます。理論化学
> 研究会は、こうした研究成果を引継いで、現実の化学物質や化学反応を理論計算
> に基づき研究する研究者の団体です。実験化学の技術的な進展とともに、理論化
> 学
> ・計算化学においてもその研究対象はますます複雑になり、大規模なものとなっ
> て
> います。これまでの世界レベルで最先端の研究力を維持しつつ、一層の展開を
> していく上で、高性能スパコンは最大の武器となります。
>
> こうした学術的な背景からも、次世代スパコン開発計画は、平成17年度より総
> 合
> 科学技術会議をはじめとする政府の様々の委員会、審議会において、多くの専門
> 家
> と一般委員を交えて審議・検討が行われ、国の基幹技術として推進が定められた
> ものです。今回の事業仕分けでは、そのような議論の積み重ねと推進理由が考慮
> されず、費用対効果や「世界一である必要はないのではないか」といった極めて
> 表層的な、しかもわずか一時間の議論により結論が出されています。我が国の国
> 家
> 水準および学術・科学レベルのこれ以上の低下を喰い止めるためにも、また未来
> に
> おいて大きな禍根を残さないためにも、賢明で的確な判断が求められます。政府
> は、
> 本計画の重要性を再認識し、参加企業の一部撤退を乗り越えて世界最高性能の
> スパコンの開発・整備を推進するため、より一層強力に本計画の推進を図るべき
> だと考えます。
>
> 理論化学研究会　第三期世話人
>
> 北海道大学・　　教授・　武次徹也
> 東北大学・　　　教授・　河野裕彦
> 早稲田大学・　　教授・　中井浩巳
> 名古屋大学・　　教授・　長岡正隆
> 分子科学研究所・准教授・信定克幸
> 京都大学・　　　准教授・佐藤啓文
> 大阪大学・　　　教授・　中野雅由
> 岡山大学・　　　教授・　田中秀樹
> 九州大学・　　　教授・　中野晴之

事業仕分けの録音

文科省の科学技術政策に対する事業仕分けの結果です。

予算削減が多いので、批判が増えているようですが
そう単純な問題ではないかと思います。

文部科学省の事業仕分け結果に対する意見公募

事業仕分けの資料、結果と評価コメント

科学技術政策に関する事業仕分けの総合wiki

（独）理化学研究所(1)（次世代スーパーコンピューティング技術の推進）（文部科学省）


評価結果pdf


（独）理化学研究所(2)（大型放射光施設(SPring-8)、植物科学研究事業、バイオリソース事業）（文部科学省）


評価結果pdf


（独）海洋研究開発機構 （深海地球ドリリング計画推進、地球内部ダイナミクス研究）（文部科学省）


評価結果pdf


競争的資金（先端研究）（文部科学省）





評価結果pdf


競争的資金（若手研究育成）（文部科学省）


評価結果pdf


競争的資金（外国人研究者招へい）（文部科学省）


評価結果pdf


地域科学技術振興・産学官連携（文部科学省）


評価結果pdf


（独）科学技術振興機構（理科支援員等配置事業、日本科学未来館）（文部科学省）


評価結果pdf


(独)宇宙航空研究開発機構(1)(GXロケット)


評価結果pdf


(独)宇宙航空研究開発機構(2)(宇宙ステーション補給機(HTV)等)


評価結果pdf


競争的資金(その他分野特定型(原子力システム研究開発事業、先端計測分析技術・機器開発事業))


評価結果pdf


競争的資金(ライフサイエンス分野)


評価結果pdf


競争的資金（女性研究者支援）


評価結果pdf


研究環境国際化の手法開発


評価結果pdf

確率論

確率の収束が難しいなぁ
概収束と確立収束の違いがいまいちはっきりしない。。。

断熱不変量

成立する条件とは何なんだろうか

パラメータλがゆっくり変化する時とか、
何処で使っているのか分からないような
|Tdλ/dt| << |λ|
等という条件がでてくる。
いったいどこで使っているというんだ。。


どの教科書も、導出が怪しい。

山本義隆　⇒　全微分がいつの間にか偏微分に変わっている
ランダウ　　⇒　急に作用の平均を導入していて、飛躍がある。そもそもpのqで微分した項がないのに○∫pdq=dIとしていいのか？
アーノルド　⇒　そもそも導出していない。断熱不変量を定義して作用は断熱不変量となる証明がある
伊藤秀一　⇒　書いていない。しかも「断熱不変量の問題」と言っていて、未解決であることをにおわせている
ゴールドシュタイン　⇒　これにはちゃんと書いていそうだ。時間を作って読もう


いずれにせよ、間に合いそうにない。
従来使ってたもので間に合わせるか。
あのばあい、同じ書き方をしている本が無いので、あっているかは不安だが。。

気性

僕の気性は、親が言うように一生懸命だと思う。

良くも悪くも一生懸命で、手が抜けない。
逆にいえば不器用で、

何か課題が与えられた時に、
根本的な問題を見つけてしまい、
なかなか先に進めなくなる。

グループワークなどをすると、
よく鬱陶しがられる。
あまり実務的な人間ではない。

よく、研究者に向いている
なんて、気軽に言う人もいるが、

僕にはそんな風にはとても思えない。


勉強をしているとき、
細かいところによく足を取られ、
大枠を捉え切れないことがよくある。

教科書を勉強していて、
疑問が噴出し（読めば読むほど増えていくので、この表現は適切）
その問題を考えたりしていると、
勉強をしているのか、研究をしているのかよくわからなくなる。

単なる知識不足で、他の本を読まなくてはいけないのか、
僕の理解不足で、勘違いをしているのか、
筆者が勘違いした表現をしているのか
誰も知らないことを見つけているのか

修士の人間にこんなことが分かるはずもなく、

精神衛生の観点から
よく物理の学部生向けに書いてあるような、
テキトーな表現の教科書は、避けるようにしている。

ただ、数学の教科書の場合は、
苦労して証明を終わらせても、
ちゃんと実際の現象と対比させる「解釈」が残っているので、
その分苦労する。

どこかに「いい」教科書はないだろうか・・・

古いが、ランダウやらを当たるしかないのだろうか。。


そういえば、小樽で解析力学の事を合間にディスカッションしているとき
T先生が、「僕の知っている人で、大学院５年間、勉強した人がいる」
と言っていた。

重い言葉だと思う。
気をつけて、そうなることだけは避けなければ。。

ただ、僕みたいな「気性」の人間に
そんな器用なまねは出来るのだろうか。。

自然は常に

自然は常に自然法則をシミュレートしている

科学において重要なのは、
我々の脳が、汎用的な知識体系を求めているところにあり
結局のところ、
その汎用的な知識を、論理を用いて探り当てることにある

見学者

数学専攻の３回生が、研究室配属を決めるために、うちの研究室に遊びにきた。

僕自身は、数学に所属しているが、それほど数学が得意というわけではない。

もともと物理だから物理が（得意かはわからないが）好きだ。


しかし、数学をメインに勉強してきた彼からすると、
うちの研究室は、かなり異質に感じたことだろう。

山のようにある数学的な課題と、
必要とされる膨大な知識。

数学、物理、化学、生命科学、情報科学、数値計算

あらゆる知識を要求する上に、
セミナーが英語で行われているという
とてつもない負荷だ。

僕は、所属していた学部が物理学科で、
その下に物理専攻、数学専攻とあったので、
数学については、単位制限をオーバーしながらチョクチョク受けていた。

理科系の他の科目については、
教職免許の理科と、数学を取る時に、勉強する機会があった。

おかげで、いまは研究室になじめている。

４年生から、配属しようとして来れる学部は、
生命科学と、数学。

はたして、彼らに
ウチの研究室に入ってこれるだけの度量があるんだろうか。

もし入ってこれる生徒がいたなら、
彼は、きっと素晴らしい能力の持ち主だろう。

そんなときに、僕はうまくやっていけるだろうか。
恥ずかしくない知識を持ち合わせているだろうか。

研究室には、分子化学夏の学校の
かつてのトップ２とも言える人がいる。

そんな中で、自分のポジションを得ていかなければならない。

今甘えても、
いずれ、今よりもスケールの大きいところで、
ポジションを得る必要に迫られる。


恥ずかしくない人間にならなくては。

女性研究者

今日は研究室に、素敵な女性ヴィジター
（３，4日泊まって研究交流する、研究室のボス（研究を直接はせず、研究員や学生にテーマを配分し、他の研究室との交流や、予算、授業などをしながら、研究室の舵を取る人））
がいらっしゃいました。

女性だから云々とは言いたくないのですが、
はじめての女性ビジターで、とても研究の質が高い
ということをうれしく思いました。

理系白書（毎日新聞社編）で述べられているとおり、
日本の女性研究者は、妊娠・出産をディスアドバンテージにされて
なかなかポジションを得ることができません。

それどころか、学部、修士、博士、ポスドク、研究員、助教、準教授、教授
とポストが上がるにつれて、「比率が」下がってゆくのです。

なぜ彼女らの才能を生かすシステムを作らないのでしょうか
本当に心から憤りを感じます。


外国人研究者の件もそうですがね。


しかし、彼女の研究内容は、とても高度で
何より驚いたのは、彼女が物理的な分野にいる事でした。

しかも理論家として。

これは、僕の偏見（といいうより感想）ですが、
女性の研究者や学生は、特に物理の理論分野は苦手だということを感じていたのです。

数学や、化学、生命科学、計算物理などの分野は、存分に女性の力が発揮できる
と感じていたのですがね。

だったのでとても驚きです。


明日、インフォーマルディスカッションがあるので
とっても楽しみです。

ロシヤ出身だそうなので、
ランダウの話が聞けるといいですが。。

解析力学

最近気になっていた、言葉

ダランベールの原理
仮想仕事の原理

最小作用の原理

ほんとに原理なんだろうか
って調べてみたら、原理でもなんでもない。


ニュートンの原理が成立していれば、
これら三つは、特になくても
ラグランジアンを構成できるし、
ハミルトニアンも作れる。

原理と置く事で、逆にたとえば
一般化座標に対する条件が捕らえにくくなっている気がする。

The establishment of the "Law of Newton"

◆座標系と実験系【数理科学】〈数学＋初期物理〉
幾何公理・幾何学
鉛直・水平座標系
→直交（デカルト）座標系、ベクトル座標系

◆質量・重力と運動【物理科学】
幾何天秤実験　→　同じ・違う（重い・軽い）
落体実験　…　質量によらない運動
滑車と重りによる水平運動実験　…　質量（重力）による運動　→　重力仮説

◆運動の恒量と慣性系、散逸構造の近似的扱いの可能性【物理科学】
振り子、レール実験　…　質量によらない運動　→　運動の恒量仮説、摩擦仮説
非対称レール実験　…　等速直線運動仮説、摩擦仮説
船（動体）上実験　…　慣性系仮説

→速度変化率（加速度）と力仮説【物理科学】

→微積分学【数理科学】・古典力学【物理科学】

科学と研究

＊＊以前 Life of Study で書いたものを少し改良＊＊

◆はじめに
前回は「科学とは」という問いに対して「思考様式である」という結論を導いました。
詳しくは前回「科学とは」を参照を参照してください。

今回の話は、前回の続きで、その研究手法についての話です。
科学は、現象に依拠した原理を立てることによって、合理的に説明すること
と話しましたが、今回は

「現象」とは何なのか、
「原理を立てる」とは何なのか、
「合理的に説明」とは何なのか、という話です。

ここでのキーワードは帰納法と演繹法です。

◆準備
帰納法と演繹法を理解するうえで重要なキーワードは「必要十分条件」の理解です。
必要十分条件とは、必要条件が成り立ち、なおかつ、十分条件が成り立つ条件のことです。


では必要条件とは何だったのだのでしょうか。

必要条件とは、

任意の（ありとあらゆる）集合Ａにおいて、
（ある〔集合である〕事象（評価する対称）Ｂが存在して、その）
事象Ｂが、集合Ａを含む時、
事象Ｂに対して、集合Ａが必要条件であるという。


十分条件とは何だったのでしょうか。

十分条件とは、

任意の（ありとあらゆる）集合Cにおいて、
（ある〔集合である〕事象（評価する対称）Bが存在して〈ここまでは同じ〉その）
集合Cが、事象Bを含む時、(逆になってることに注意）
事象Bに対して、集合Cが十分条件であるという。


簡単に言ったら、集合の元（要素）の数は
A＜B＜C
（等号を含む）になっています。（お分かりいただけたでしょうか…）


◆歴史的背景
近代科学が生まれたのは、間違いなくヨーロッパです。
そのヨーロッパにおいて、大きな派閥が存在しました。
イギリスとフランスにおいてのことです。
彼らは、帰納法と演繹法という二つの手法のどちらが、
科学をするうえで正しいのかという点で、争っていました。

帰納法とは、様々な情報や経験を元に
自然法則を見つけようという視点です。

演繹法とは、様々な仮説を元に、
自然法則を説明しようという視点です。

この争いは、実は両方を用いることが正しいという決着を得ました。
すなわち
帰納法とは実験であり観測あり、
演繹法とは理論であり仮説であります。

ここに近代科学の基礎ができたといっていいと思います。

◆科学の中の必要十分

この争いは、実は両方を用いることが正しいという決着を得ました。
すなわち
帰納法とは実験であり観測あり、
演繹法とは理論であり仮説であります。

と申し上げました。
では具体的な、研究過程とはどのようなものなのでしょうか。

帰納的な研究、つまり実験や観測によっては、正確に現象を捉えることができても
その背後にある、要素にまで迫れません。

演繹的な研究、つまり理論や仮説を立てることによっては、現象を説明することができても
机上の空論、つまり、実際にそうであるかという部分が欠けています。

ここで持ち出したいのは、
冒頭で述べた、必要と十分です。

実験や観測によって、現象に迫る手法は、
観測結果が、ある現象を「含んでいる」ことはわかっても、
その現象だけであるとはいえません。

例えば、時間と位置と温度を測定したとしても、
実際に、現象に関わるものがそのうち二つしかない(実際にはそれすらわからない）と
情報過多になり、何が本質かを見極めなければなりません。

ほかにも、観測したい粒子の位置情報を得るときに、
できれば一つの粒子の情報をずっと追い続けたい
けれども、観測する為には、沢山のほかの粒子も観測しなければ測定できないことがあります。
これはつまり、統計的な観測しか出来ない状況で同じく情報過多ですね。

つまり、現象よりも大きな事象を観測したことになるのです。
これは必要十分における、
事象に対しての十分条件に他ならないといえます。

理論や仮定によって、現象に迫る手法は、
それらの仮説によって成立した事柄から、ある現象の「要素（らしきもの）を特定できた」といえても、全ての要素が捕らえれたわけではありません。

もしそうならば、この世の中の根源的な物理法則を見つけたことになります。

つまり、実際の現象よりも小さな事象を説明したことになるのです。
これは必要十分における、
事象に対しての必要条件に他ならないといえます。

簡単に言ったら、集合の元（要素）の数は
A＜B＜C

といいましたが、
研究において、
（理論）＜（現象）＜（実験）

であり、より現象に迫った理論や実験をすることによって
真理に迫ろうというのが科学的研究手法です。

◆科学と必要十分から何が言えるのか。

この研究手法は、もちろん科学的です。
つまり、原理原則を、現象に依拠することによって
覆す可能性があるのです。

しかし、実際には覆すという言い方は正しくないかもしれません。
前回も、特解であると言いましたが、

ある仮説が、ある事象を説明できたと言うことは
（仮説で立てた）要素自体は含んでいたことになります。

したがって、それまで立てられた理論を、
もう一度、新たな要素を含む（またはより根源的な要素を仮定する）ことによって
理論を立て直す必要が生まれます。
これによって、それまでの視点が覆る（新たな要素を入れる必要がある）
可能性があるということなのです。

少し首尾一貫していませんが、
仮説から理論を導くので、
仮説が十分現象を捉えきれていなければ、
理論が間違っているということがあるということに、
注意してください。

科学は厳密に現象を捉えることは可能ですが、
理論から生まれた、科学的知識が、普遍性があるとは限りません。
むしろ、正確な議論ほど、
「～である可能性が高い」「～と考えられる」といった、
現象に対する謙虚さが必要になります。

それは、あくまで我々が「説明している」現象は、
仮説をもって「説明している」のであって、説明し切れているとはいえません。
ただ言える事は、ある程度の「確からしさ」をもって「説明している」出来ている
ということでしょう。

「買ってはいけない」と断言することは言語道断ですし、
「買ってはいけないは買ってはいけない」と言うことも言語道断です。
そもそも、断言できるほどの知識など、人間は持ち合わせていません。
あくまで、可能性があると言うのが正確な議論になります。

この点を勘違いされている方が多いと感じています。
ご注意ください。

◆おまけ

ちなみに、こうやって議論をすること（論を述べること）は
一般に、必要条件を繰り返し用いています。

つまり、Ａが成り立てば、Ｂが成り立たなければならない
という話の仕方をしています。

皆さんが、あっ！そうだなと感じた時に、
つまり、経験と照らし合わせて、それに合致したときに、
必要十分に近づきます。

しかし、人間の現象を捉える「感度」は、
変化に対して敏感なのは確かめられているようですが、
それが、正確に現象を捉えることに繋がらない（基準がそのつど変わる）
ので、必要の部分がいくら正確であっても、
十分性を人間の感覚に頼るのは危険です。
ご注意ください。

（と言ってしまうと、この議論すら無意味意なるのですが…）

＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
この内容の論理記号を用いた具体的な標記が存在します
何分、論理記号を用いている為、掲載できません。
読みたい方はご一報ください。
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊

京都に出張

今度の木曜から3日間京都に出張します。

僕の研究テーマが
研究室の李さん（僕の指導教官）がプリゴジンスクールでしていたD論
の続きに決まったので、
その分野（統計力学）の先生方のサマースクールみたいなもの？
があるので、そこでその分野の先生方を僕に紹介したいそうです。

まだ少し早いですよねｗ

生物物理分野の研究室にいるので、
手元の手法が理論物理でも、
聞く話が生命現象ばかりなので、
物理の話にどれくらい付いていけるかは少し不安です。

勉強してるのも、力学系とリー正準変換っていう数学的なゴリゴリの古典力学ですから。。

ちなみに、大阪に寄れるかどうかはわかりません。
たぶん晩は飲み会でしょうし、
奥さんとお子さんも連れて行かれるようですから、
観光も付き合うことになるでしょう。

それより僕は、吉光先生（関学での指導教官）を
晩の飲み会に誘っていいのか気になっているのですがｗ

流声群

・吉光先生の言葉

　先生の指導教官、松原先生がどんな小さな計算でも、書いたメモは残しておいた方が言いとおっしゃっていたらしい。
日々の勉強の中で、痛感させられる。

　三種類の学者。腕力型、総合型、発想型。


・Tomio Petrosky先生の言葉

ルールや社会通念は、人々から無駄な思考を省いてくれる。
コミュニケーションの一つのあり方として考えさせられる。


・読む

精読、粗読


・Professional

刺激を受けなくなってきた。
彼らの思考に慣れてきたのだろうか、それとも制作側の癖を読み取ったんだろうか。


・週に15単語

Noteに書く、これで充分。


・タイピング

川島隆太先生が単純計算を頭のウォーミングアップとして薦めていた。
朝一番にするといいかも知れない。