O HAI THIS BLOG PURPZIEZ 2 B UZED AZ MAH PLESIOUS MEM. :)

2010/05/18

me += 2*GWL;

ライプニッツのモナドロジーと形而上学叙説を読んだ.バロックのアレなので,やっぱり所々神学の香りがするので万人におすすめとは言えんのが難しい.コイツも中公クラシックスのヤツなのだけれど,訳注や前説がなかなか良さ気でたいへんよろしい.

例によって,カッコイイ所をメモしておく.
「普遍数学」への魅惑
〔中略〕しかし,その無数の著作のどこにも絶望や断念の気分が感じられなかった.その力強いオプティミズムと理想主義は大いなる鼓舞であった.そうして,この東西古今に絶する広大な学識と無尽蔵の創見を蔵した哲学者が「主著」を成さず,最後の総括,あるいは「遺書」ともいうべき『モナドロジー』が二,三十枚の小篇であったことにも,彗星が無限の虚空の闇の中へ尾をひいて消えてゆくような感銘があった.これを書いたとき,われわれの哲学者(ライプニッツ)は,四十年間奉仕した宮廷からは見捨てられ,まったき不遇と孤独のうちにあったが,——
「善い人々とは,この偉大な国にあって,不平や不満をいだかない人である.自分の義務を果たしたうえは,神の摂理に信頼している人である.あらゆる善の創造者を,こよなく愛し,かつ模倣している人である.愛する者の幸福に喜びを感じる,あの真に純粋な愛の本性にしたがって,神のもつさまざまな完全性をうち眺め,心を楽しませている人である」
という言葉でその遺書を結んでいる.いささかの憂欝も翳りもない明朗なオプティミズムは,堂々たる哲人の風貌というほかなかった.

アカデミー建設計画
〔中略〕結局,ライプニッツの生涯をかけた雄大な諸計画は,ほとんどすべて完遂されずに終わった.しかし,それがすべて空想的な現実性のない計画であったからでなく,もっぱら時運による.あるいはあまりにも時代に先んじていたこと,あるいは一個人にあまる巨大さによる.しかし,彼のかくも巨大な文化的理念と,さらに何よりも不断ののかくも強靭な努力は,まこと天才的,英雄的というほかない.後世はライプニッツの理念と努力の成熟するのを目賭した.ライプニッツ自身は将来を確信して,自己の挫折に耐えた.彼は言う,「われわれは後世のために働かねばならぬことを告白する.人はしばしば自分の住まないであろう家を建てる,人はその果実をたのしむべくもない木を植える」.

孤独な晩年
ライプニッツの最後の歳月はまったく孤独であった.最後まで温かい理解者であり,保護者であり,友人でもあったゾフィ選挙候夫人もライプニッツに先だって死し(一七一四年),宮廷では顧みられず,もっとも偉大な学問上の競争者(ニュートン)との対立も激しさを増し,晩年をいっそう暗いものにした.ゾフィ・シャルロッテの早逝によって,ベルリンの宮廷ともつとに疎遠になっていた.生涯独身で終わり,友人もなく,まったく孤独であった.晩年は通風に病み,一七一六年十月十四日,まったき孤独のうちに世を去った.享年七十歳.
葬送には,四十年間尽瘁した宮廷から一人の参列者もなかった.僧侶や大衆は,ほとんど礼拝におもむかず,臨終にも最後の聖餐をしりぞけたライプニッツを無信仰者と見なした.プロイセン科学アカデミーもその創立者の死に対して沈黙していた.かえってパリのアカデミーでは,フォントネルが有名な頒辞を述べた––「世界に光を,ドイツに栄光をもたらした精霊」として.遺骸はノイシュタット宮廷教会に葬られた.これすら長く確実には伝えられずにいたが,二十世紀の十年代にはじめて発見された資料(彼の最後の助手フォーグラーの手記)によって明らかになった.
オレはよく思うのだが,不遇を訴えるのが当の当事者だとその訴えをどうも微妙に感じる.それは,多分,頭のどこかにこの手の楽観主義的な思考があるのだと思う.最近の暗いニュース的なモノは,この手のモノが多過ぎる.仕分け云々で予算を削られて騒ぎ出す人は研究者ばかりで,派遣切りとやらで更なる社会保障を訴える人は大抵そう言うカンジの元労働者だったり.当事者自身が現状を一番理解していて肌身で感じていると言うのは理解出来るけれど,もう一層上の印象としての不信感がオレにはある.

キケロが『宿命について』で言った怠け者の理屈と言うのがある.
病気からの回復が宿命なら,医者にかからなくても治る.回復しない事が宿命なら,医者にかかっても治らない.だからおまえは医者にかかる必要がない.
あなたの試みが成功する事が宿命ならば,あなたが何の努力もしなくてもあなたの試みは成功する.あなたの試みが失敗する事が宿命ならば,あなたがどんなに努力してもあなたの試みは失敗する.つまり,あなたが努力する必要は何処にも無く,あなたの努力は只の徒労である.この手の人たちがこう言う考えを持っているとは言わないけれど,自らの不遇を積極的に訴える輩は概ねして自らの努力を軽んじている様にオレには見えてしまう.確かに「じゃあ,どうすりゃええねん?」と言う鬼気迫った問いに「手前ぇ自身で何とかしろ」と突き放すのも微妙だが,本人自身がもう少し楽観的に構えて努力する方がカッコイイし,そっちの方がオレは助けてやりたくなる.自分の研究に予算が付くハズだと少しでも思えないのなら,その研究とやらはホンモノなんだろうか?働きたい意志を見込んで雇ってくれる人が居るハズだと少しでも思えないなら,その働きたい意志とやらはホンモノなんだろうか?

まぁ,あんまり長々と書くと根性論めいてくるし,オレ自身がそーゆー人たちに比べると多分恵まれている方なので,現状が分かっていない門外漢の戯れ言かもしれんが.

2010/05/09

MeasureSLOC(&LMS); /* 2010/04 */

4月分のdiffstat.
bench/BENCH_LMS.vhd         | 1300 ++++++++++++++++++++++++++++-----
bench/BENCH_LMS_LX.vhd      | 1696 ++++++++++++++++++++++++++++++++++----------
bench/BENCH_LVDS.vhd        |  379 +++++++++
bench/BENCH_S1p2SIC.vhd     |   17 
bench/BENCH_S4LLR.vhd       |    9 
bench/BENCH_S5LDPCD.vhd     |   11 
bench/BENCH_S7RIE.vhd       |    3 
bench/BENCH_S7SRG.vhd       |   10 
bench/METABENCH_LMS.vhd     |   10 
bench/METABENCH_LMS_LX.vhd  |   78 --
bench/METABENCH_S1p2SIC.vhd |   36 
vhdl/BS4LLR.vhd             |  239 ++++++
vhdl/CALCULATE_SNR.vhd      |  146 +++
vhdl/CLTUNE.vhd             |   24 
vhdl/EXCHANGE_LX1_F4J2.vhd  |   33 
vhdl/EXCHANGE_LX2_F4J1.vhd  |   33 
vhdl/IEXPORT_LX4.vhd        |  470 ++++++++++++
vhdl/IIMPORT_LX1.vhd        |  504 +++++++++++++
vhdl/IMPORT_LVDS.vhd        |    9 
vhdl/IMPORT_LX1_F1J6.vhd    |   99 ++
vhdl/IMPORT_LX1_F2J4.vhd    |   99 ++
vhdl/IWSRFA.vhd             |   16 
vhdl/LMS_FORMER.vhd         |  297 +++++++
vhdl/LMS_LATTER.vhd         |  107 ++
vhdl/LMS_LX1_FPGA1.vhd      |  624 +++++++++++-----
vhdl/LMS_LX1_FPGA2.vhd      |  385 ++++++---
vhdl/LMS_LX1_FPGA3.vhd      |   70 +
vhdl/LMS_LX1_FPGA4.vhd      |  150 +++
vhdl/LMS_LX2_FPGA1.vhd      |   65 +
vhdl/LMS_LX2_FPGA2.vhd      |   87 ++
vhdl/LMS_LX2_FPGA3.vhd      |   71 +
vhdl/LMS_LX2_FPGA4.vhd      |   88 ++
vhdl/LMS_LX3_FPGA2.vhd      |   38 
vhdl/LMS_LX_FEBE.vhd        |  169 +++-
vhdl/OBSERVE_VT.vhd         |  153 +++
vhdl/PP2SRG.vhd             |   49 +
vhdl/REFXE.vhd              |  114 +-
vhdl/S0SNR.vhd              |   11 
vhdl/S1p2SIC.vhd            |   42 -
vhdl/S3SINR.vhd             |    9 
vhdl/S4LLR.vhd              |  708 ++++++++++++++++++
vhdl/S5LDPCD.vhd            |  952 ++++++++++++++++++++++++
vhdl/S7RIE.vhd              |   22 
vhdl/S7SRG.vhd              |   30 
vhdl/SCB.vhd                |    4 
vhdl/WS4LLR.vhd             |  158 ++++
46 files changed, 8440 insertions(+), 1184 deletions(-)
注目は,S4LLRとS5LDPCだな.ISE 11.5のbugでシミュレーション通りにブツが動かない問題を回避する為*だけ*に2kLOC近くうんこコードを追加した.Xilinxは腹を斬って死ぬべきである.Xilinxはただ死んで終わるものではない.Xilinxは地獄の火の中に投げ込まねばならぬ.マジ,ARMコアぶっ込んだだの寝言抜かす前に,手前ぇのうんこソフトウェアをまともに使えるレベルにしろよ,このアンポンタン. :DDD

2010/05/07

me += 2*RD;

GW中,食っちゃ寝しながら中公クラシックスのデカルト関連の本を二冊.モノにもよるけど,件のシリーズは一冊に訳者の前説と訳が二三個まとめて入っていてお得なモノがあってなかなか良い.本体は,方法序説,哲学の原理,世界論,省察,情念論.

で,中身は各所でなかなかカトリックな香りがする.宗教アレルギー体質な人にはあんまおすすめできんね,残念ながら.大約すんのもタルいので,ネタだけ.
方法序説 第六部
今から三年前,これらすべてを述べた論文を書きあげて,出版者の手に渡すために見直しをはじめていたときであったが,私がうやうやしく従い,私自身の理性が私の思想に対してもつ権威に劣らぬ権威を私の行動に対してもつ人々(ローマ法王庁の人々)が,少し前にある人(ガリレイ)によって発表された自然学上の一意見を非としたことを知った.ところで,私自身その意見をとっているとはいうつもりはないが,こうはいっておきたい,彼らの検閲の前には,その意見中に,宗教にも国家にも有害であると私に思えるような点は認められなかった,したがってかりに理性がその意見を私にとらせたとするなら,私にそれの発表を思いとどまらせたであろうような点は何一つ認められなかった,と.そして私は今まで,きわめて確実な論証なしにはいかなる新たな意見をも私の信念のうちにとり入れまい,だれかの不利になりそうな意見については何も書くまい,とたいへん注意をはらってきたものの,うえのようなことがあってみると,私の意見の中には誤っているものもやはりあるかもしれぬとおそれた,と.さてこのことは,私をして,私の意見を発表しようとする決心を変えしめるに十分であった.というのは,私が前にその決心をした理由はたいへん有力なものではあったが,本を作る職業をいつも嫌っていた私のもちまえの傾向は,その決心を捨てる口実となるような他の理由の数々を,私にただちに見つけさせたからである.そういうあれやこれやの理由を私はここで述べてみたい気がするが,私ばかりでなく世間の人々もまた,それを知りたいと思われるかもしれない.
〔中略〕
こうした考えがすべていっしょになって私を動かした結果,三年前には,私の手元にあった論文を世に示すまいと思い,さらに,生きている間は,この様に全般的な,また私の自然学の基礎を人々にわからせるような,いかなる他の論文も,けっして発表すまいと決心した.しかしその後また二つの別の理由が現われ,ここに若干の特殊な試論(屈折光学,気象学,幾何学の三試論)を書き,私の行動と計画についていくらかの説明(方法序説)を公にせねばならなくなった.

世界論 目次
第一章 我々の諸感覚とその諸感覚を生みだす事物との差異について
第二章 火の熱と光はなんであるか
第三章 堅さおよび流動性について
第四章 空虚について.また,われわれの感覚がある物体を知覚しないのはどうしてか
第五章 元素の数とその性質について
第六章 新しい世界の記述.その世界を構成する物質の諸性質について
第七章 この新しい世界の自然法則について
第八章 この新しい世界の太陽と星の形成
第九章 遊星と彗星の起源とコースの一般論.特に彗星について
第十章 遊星一般について.特に地球と月について
第十一章 重さについて
第十二章 海の干潮と満潮について
第十三章 光について
第十四章 光の諸性質について
第十五章 新しい世界の天空の様相は,そこの住人にとっては,われわれの世界の天空の様相と同じように見えるはずであること

件のガリレイの件は,カトリックをdisるネタによくされるみたいだけど,多分,その辺りの事をまともに把握している人ってあんまり多くないと思うんよね.ポパーせんせーはその辺りちゃんと把握している様ですごいと思うよ,毎度の事だけど.
推測と反駁
推測
第三章 知識に関する三つの見解
第一節 ガリレイの科学とそれに対する新しい裏切り

昔,ガリレオ・ガリレイという名の有名な科学者がいた.かれは,「検邪聖省」で裁かれ,自説を取り消すように強制された.このことは大変な騒ぎをひき起し,二五〇年以上もの間––世論が勝利をかち取り,教会が科学に寛容になった後にも,長らく––義憤や興奮をひき起し続けた.
しかし,今ではこれは極めて古い話になり,人々の関心を失ってしまったのではないかと思われる.というのは,ガリレイの科学にとって,敵は残っていないし,その生命は将来も安全に思われるからである.ずっと前にかち取った勝利が最終的なものだったのであり,その前線では全てが平穏である.したがって,現在のわれわれはその事件に対して,とらわれない見解をもっており,結局それを歴史上の出来事として考え,紛争の当事者たちの双方を理解するようになっている.だから,昔の怨恨を忘れることができないひとの,うんざりする話には誰も耳を傾けようとはしない.
しかし,結局のところ,この昔の事件は何に関するものだったのだろうか.それはコペルニクスの「世界体系」の身分に関するものであった.この「体系」によると,とくに,太陽の日周運動は単に見かけ上のものとされ,地球の回転によって生じるものとして説明されていた.教会は,この新しい体系が古い体系よりも単純であり,天文学上の計算や予測にとって便利な道具であることを,すすんで認めようとした.しかも,法王グレゴリウスの暦法改革には,この新体系が実際に十分利用されていたのである.したがって,ガリレイが次のこと明瞭に述べるかぎり,かれがその数学的な理論を教えることには,何の反対もなかったのである.かれが述べなければならなかったことというのは,その理論の価値が道具としての価値にすぎないこと,つまり,枢機卿ベラルミノが言ったように,その理論が「仮定」に他ならないこと,あるいは,「数学的な仮説」––「計算を簡略化し容易にするために発明され.仮定される」一種の数学的な手段––に他ならないこと,であった.言いかえると,アンドレアス・オシアンデルはコペルニクスの『天体の回転について』への序文で,「これらの仮説が真理である必要はないし,また,真理らしいものである必要もまったくない.むしろ,これらの仮説にとっては一つの事––観察と一致する計算が導きだせるということ––で十分なのである」と述べたが,このオシアンデルに賛同する気がガリレイにあるかぎり,かれがその理論を教えることには何の反対もなかったのである.
もちろん,ガリレイ自身には,コペルニクスの体系が計算の道具としてすぐれていることを強調する気持は十分にあった.しかし同時に.かれが推測し信じてもいたことは,その理論が世界の真なる記述であるということ,であった.そしてこのことが,かれにとって(同じく教会にとっても)事柄の最も重要な側面なのであった.実際,かれには,その理論の真理性を信じるのに十分な理由がいくつかあったのである.かれは,望遠鏡をのぞき,木星とその衛星がコペルニクスの太陽系(そこでは惑星が太陽の衛星になる)の小型のモデルを形づくっていることを,すでに見ていた.さらに,コペルニクスが正しければ,内惑星は(そして内惑星のみが),地球から観察すると,月のような満ち欠けを示すはずであったし,ガリレイは望遠鏡で金星の満ち欠けをすでに見ていたのである.
教会には,「世界の新体系」の真理性について考察してみるという気持がなかった.この「新体系」は,旧約聖書の一説と矛盾するように思われたのである.しかし,このことが教会の主たる理由だったとはいえない.より深い理由は,約一〇〇年のちに,バークリー僧正がニュートン批判のなかで明瞭に述べている.

いわゆる素朴実在論と道具主義的見解,それに続く反証可能性に基づく科学哲学の話なのだけれど,フツーの人は知らんだろ,こんなん.あんま知ったかして信仰心熱烈な人をdisると彼らの永劫の地獄の業火から人びとを救おうとする正真正銘の親切心で生きながら火あぶりされるかもしれないので十分気をつけましょう.

ブラックジョークはさておいても,昨今のエロ本規制とかちょっと似た様な面があるのかなぁ,と思うのであった. :D

修正:若干のtypo.