windows用バイナリの登場を待っていたが、出てこないので、この機会にwindowsにWSL2を使ってubuntuを入れて、

その上でcodonを動かしてみることにした。

WSL2のインストールはここが参考になりました。

そのあと、codonのインストール。こちらが参考になりました。

さてそれで、さっそく上のサイトに載っているコードをコンパイルしてみたところ、

/usr/bin/ld: cannot find -lz

g++がどうしたこうした

というエラーが出てコンパイルできない。昨日はg++のほうのエラーコードをぐぐって

かんばしい結果がなかったのであきらめていたが、今日、cannot find -lz　について

https://stackoverflow.com/questions/3373995/usr-bin-ld-cannot-find-lz

このサイトを見つけたので、ためしにlib32z1-dev をインストールしてみたら、動くようになりましたよ！

ためしに

https://dev.classmethod.jp/articles/python-compiler-codon-trial-use/

↑のサイトのコードを入れてみたら、pythonで20秒のところ、

codonの最適化コンパイル（codon build -release）だと0.1秒!　なんと200倍！

これ、早くwindows上で動いて、互換性も取れてくれるといいんだけどなー。

現状unicodeが使えないらしいので、だいぶ用途が限定されてしまいます。

https://www.youtube.com/watch?v=SGKfqSJbeAg&t=302s
バッハの楽曲で（あるいは、すべてのオルガンの楽曲で）最も有名なのは、トッカータとフーガ・二短調、だと思う。
しかし、これは実はバッハの作品ではないのではないかという疑念が呈されているという。

赤い線がりんかい線経由、青い線は品川の北で貨物線に入るルート。

品川の北で貨物線に入るというのは、それはそれでずいぶんな大回りですね。りんかい線経由が遠いとはいちがいにはいえなさそう。それに、品川方面から貨物線に入るためには、スイッチバック用の引き揚げ線を作るか、短絡線を作る必要があるから、それもたいへんだ。
と考えると、すでにつながっているりんかい線を使う方が現実的かもしれない。

ただ、今年度中には首都高の中央環状線が開通し、そうすると、新宿＝羽田空港はリムジンバスで25分で結べる、なんて話も出ている。この鉄道路線を使った場合は、30分を切るのは難しいだろう。料金的にもりんかい線を通るのでは価格的にもそれほどメリットを出せそうにない。まして全席指定のH’EX（羽田エクスプレス）にしたら、バスより高くなりそう。JR東はこのへんのシェア争い、どう計算しているんだろうか。

でも最近は、「よろしいでしょうか」と言われると、
なんだかぶっきらぼうだなぁ、と感じるようになってしまいました。
認めたくはないけれども、実はそんな感覚をお持ちのかた、
結構多いと思うのですが。

「だめだ、絶対おかしい！」という方に、何がおかしいか尋ねたことは
あまりありませんが、自分の気持ちを振り返ると、
「過去形」が使われていることが一番ひっかかったかな、と思います。

でもそういうことを言うなら、よろしいでしょうか、もおかしい。
でしょう、は、（自分の）推量や未来を表すときに使う言葉です。

客に向かって、「あなたの注文はこれでいいと思うんですがどうですか」
なんて言ったら失礼でしょう。「これでいいですか」と聞くのは
かまいませんが、ウエイター自身の推量が入ったらまずい。

でも、ここでは言葉がすでに本来の意味を失い、受け取る側も、
単によろしいですかを丁寧にしただけだと思っています。

そういうふうに、言葉の意味は変わるものです。

それでも、過去形は許せない、ですか？
そんなみなさまのために、過去形が出てきた理由を探ってみました。

英語でお塩をください、というときには「Pass me the salt!」ではなくて
「Will you pass me the salt?」というと、丁寧な依頼になることは
中学校で習ったと思います。
さらに「Would you pass me the salt?」にすると、もっと丁寧だ、
とも習ったと思います。

未来形を使うと丁寧になり、未来助動詞の過去形を使うともっと丁寧になるわけです。

フランス語を習った方なら、○○したい、というときに、
Je voudrais ○○ と言うのをご存知だと思います。
このvoudraisという活用形は、vouloir（英語のwant）という動詞の
「過去未来」という時制です。
本来は、過去のある時点における未来のことを示すのに使われる活用形を、
今自分がしたいことを丁寧に示すために使うのです。

考えてみるとこれは、英語の
I would like to … 　にほぼ相当します。
wouldはwillの過去形ですから、まさに「過去未来」の表現です。

さて話を戻して、「よろしかったでしょうか」はどういう構造でしょうか。
これは、「よろしいですか」という直接的な表現に対し、過去形の
「よろしかった」と未来・推量形の「でしょうか」を組み合わせたものです。
そう、やっていることは、英語やフランス語とまったく同じです。

ここには、過去形にすることで直截な感じをなくし、未来・推量形にすることで
不確定な感じにする、という、ユニバーサルな発想パターンが
あるのではないでしょうか。敬語がない言語では、これが丁寧表現の
王道なのです。
敬語が廃れつつある現代の日本語で、このような表現が生まれたのは、
必然と言えましょう。

最初に思ったのは「それ意味あるの？」ということ。というのも、CPUを64bit化することによる最大のメリットは、4GBを超えるメモリ空間を扱えること（いいかえると、4GBを超えるメモリを扱うようなアプリは大幅に高速化する）なわけですが、iPhone 5sのメインメモリは……今のところ不明なようですね。でも、iPhone 5が1GB（ストレージ容量じゃないので誤解なきよう）だそうですから、2GBとか、百歩譲って4GBはあるとしても、8GBはないでしょう。つまり、32bit CPUで十分アドレッシングできる容量なわけで、将来に備えるということでは意味はあるでしょうが、今回はとりたてて意味があるとは思えません。

と思いつつwikiを見たら、ARMの64bitアーキテクチャは、レジスタを16個から31個に増やしたほか、SIMD拡張命令も大幅に強化される、とのこと。なるほど、そうであれば、64bitコードのほうが速くなりますね。また、64bit CPUになると、命令語が長くなって、メモリ帯域をムダに圧迫して逆に遅くなるのではという不安もありましたが、命令長は32bitのままということなので、その心配もないと。

32bit命令にあった条件付き実行命令が削除されるらしいので、これは、パイプライン設計上はかなり楽になるような気がします。もっとも、32bit命令の互換機能は当分持たせないといけないと思うので、64bitのときだけ別の実行パイプラインを使える、みたいなことができないと意味はないのかな？

まぁ、メインメモリが4GBを超えるのも時間の問題でしょうから、OS含め早めに移行に着手するのは正解でしょう。

自宅のサーバは、物理的にもfragileで、特に、3歳の幼児が
いる環境では、今後、特にメールサーバとして動かすには
不安が多いため、今回、VPSに出しました。

月々の料金は840円。自宅サーバを運用していると、
サーバ用の固定IPサービスに980円かかっていたので、
むしろ割安でもあるのです。
容量を気にせずデータを置いておける、という意味では
自宅サーバにもまだ価値はあるのですが、それにしても、
出先で1GBのファイルを落とすようなことはないし、
1GBくらいならDropboxでも使ったほうが早い。

ウェブとメールと、何かのときのFTPくらいが目的なら
VPSで大丈夫な時代になったのかなと思います。

最後の書き込みから約1年ですが、1年は大きいですね。
ピークオイル、と言われても、怒涛のシェールガス・シェールオイル
ブームの今となっては、だからどうした、って感じですね。
個人的には、またこれで化石燃料何十年も燃やすのかよ、
という気持ちもありますが……

Ubuntu情報も、すっかり昔のバージョンになってしまったし、
リニューアル考えなくちゃですねー。

とりいそぎ復旧のご挨拶まで。

この本は、「サウジアラビア政府が言う石油の埋蔵量は信用できない。油田の生産能力はそろそろピークを越えつつあり、サウジには新しい油田は発見されていない」といった内容。いわゆる「ピークオイル論」（石油生産はそろそろ・もうじきピークを迎え、油田が衰えるにつれ、世界の石油生産量は減っていくぞ。備えないとまずいぞ）を唱える著名人の一人とされています。

ただ、ピークオイル論は、長らく「妄想だ、陰謀だ、環境原理主義者の煽り文句だ」とされてきました。一番よくある反論は、「掘削技術の進歩で、今までは回収できなかった油田の原油がどんどん回収できるようになり、事実上の埋蔵量がどんどん増えている。今後もどんどん増える。もうじき枯渇するなんてありえない」という話です。たとえばこんな論調。 http://cruel.org/economist/oil/lotofoil.html

ちなみに上の記事のタイトルは当初、「だから原油は枯渇しませんったら！」でした。

私はこういう論調にずっと、とても大きな違和感を抱いてきました。だって、実は今も石油は地下で毎年毎年どんどん生成されていて、それは、現在人類が消費する量に匹敵する量だ、というのであれば話は別ですが、そうではなくて、有限な資源であるなら、「いつか」石油が枯渇することはどう考えたって明らかではありませんか。

特に、石油業界に近い人ほど、ピークオイル論を、むきになったように否定することに、違和感がありました。「最新の掘削技術の進歩も知らずに適当なこと言ってんじゃないよ！」というような感情的なものかなとも思いましたが、それにしてはずいぶん強い言い方で否定する人が目立つように思います。

もうひとつ不思議なのは、世界最大の産出国、サウジアラビアは、イラク戦争とかイランへの制裁措置などで、世界の原油供給量が減って、原油価格が上がったりしそうになると、増産をして、石油価格を安定させようとすることです。

そんなことをしないでいれば、石油の値段が上がってサウジアラビアの利益になるのに、どうしてわざわざ利益を減らすようなことをするのでしょうか。世界の原油供給を仕切るフィクサーとしての体面と、国防などでアメリカに世話になっていて、アメリカが困るようなことをするわけにはいかないという事情なのかなとも思いましたが、そこもどうも腑に落ちません。

しかし、日経ビジネスのこの記事によると、どうやら昨今は、ピークオイル論に対しての合意が進みつつあるようです。この記事の結論では、ピークオイルは早ければ2014年、そうでなくても、2020年くらいには訪れそうだということです。まずいです。本当に時間がありませんよ。

この記事を見て、ふたたび、なぜピークオイル論が否定されてきたかを考えたら、ようやく腑に落ちる解釈ができました。

要するに、石油は何十年も安定して供給できますよ、と言えば、みんなは、じゃあ安心して石油を使おう、と思います。実際に産出量が減ってきて、需要が多くて、値段が上がったら上がったで、供給者側は損をしません。「埋蔵量いっぱいあるって言ったじゃないか！」なんて言ったところでどうにもなりません。「予想に反してこれだけしか生産できません」と言われれば終わり。必要ならお金を出して買うしかありません。

ピークオイル論が世間に広く同意されると、「では代替エネルギーを開発しなくちゃ」というアクションにつながります。その結果、石油への依存は多少は減るでしょう。熱心な研究開発によって、万一、比較的安価で潤沢な新しいエネルギーでも登場した日には、石油の売り手は存亡の危機に直面します。だから、声をからして「大丈夫」と言い続けているのです。

そう考えると、サウジアラビアが「うちの埋蔵量はこんなにあります！　石油価格は責任を持ってコントロールします！」というのもうなずけます。

……結果的にこの、ピークオイル論をカルトみたいにして押しやってきたことで、新エネルギーの開発はどれくらい遅れたのでしょう？　仮に2020年だとしても、生産がピークを打ったとして、世界は対応できるのでしょうか？　ピークオイル否定論者の罪がどれほど大きいかは、これから明らかになってきますね。

相対性理論によれば、超高速で動く物体においては、時間の流れがゆるやかになります。したがって、宇宙船技術が発展し、亜光速で運行できるようになったときには、人は、宇宙船に乗って宇宙を旅したのち地球に戻ってくることで、普通に地上で生きていたら見ることができない未来にたどりつくことができます。これは、遠い将来ならひょっとして実現するかも、という「未来へ向かうタイムマシン」といえます。

それに対して、過去に行くことは困難です。原理的には、光速より速く動く物体に乗り込めば、時間を逆行できるはずですが、そもそもこの世の物質を光速を超えて加速することはできないとされています。

ブラックホールのワームホールを使って云々、というワザを使えば、過去に行くことはできるようですが、そもそもブラックホールの中に生身の人間が無傷で行き来できるとは思えません。つまり、過去に向かうタイムマシンの実現可能性は、遠い将来を考えてもほぼ絶望的です。

しかし、そんなことはわかっていても、どうしても過去に戻りたい、昨日に帰りたいという人はあとを立ちません。あなたもそう思ったことがあるでしょう。

朗報です。ついに、昨日に戻る方法が、私たちの前に姿を現します。えっ、さぞかしお金がかかるのでしょうって？　いいえ。10万か20万か、それくらいです。

どうすればいいか。10月31日以降、いつでもいいです。深夜の羽田空港に向かってください。0時30分発のNH1061便に乗ったら、しばし眠りについてみましょう。目が覚めたとき、あなたは前日のお昼にたどりついています。そう、ついに時の流れを、半日ではありますが、さかのぼることができるのです！