ぎるばーとのノート

もっともっと遠くへ行きたい 空が広く見える場所まで

2015年カレンダー

 今年もカレンダー完成しました!
 2015年は平年(閏年ではない)で、干支は乙未(きのとひつじ)。

カレンダー配布

 今日は暦の話でもちょっと。

 一年の中で、「太陽の見え方に基づく一日」の長さは実は一定ではないのです。
 太陽が南中してから次に南中するまでの時間は、季節によって微妙に長くなったり短くなったりします。
 3月や9月が短くて、6月や12月では長い。といっても一番長い日と一番短い日で50秒ほどの差ですが。

 なぜこんな変化が起こるかの説明は難しいので、国立天文台サイト内のページに丸投げします……。
 「一日」が長いとだんだん南中時刻は遅れていって、短いとその逆になります。(時刻って何だ、と思った人は鋭い! とりあえず、「時計が刻む時刻」と素朴に考えて読み進めてください。)

 正確な時計がない時代には、「太陽の見え方」と「時計が刻む時刻」の齟齬というのは気にしようがないです。
 ところが、時計を作る技術が発達すると、「時計の進み方は何に合わせればいいだろう?」という問題が浮上してきます。
 太陽に合わせる? そうしたら季節によって時計の進み方を変えないといけない……。技術的に難しいし、仮にできたとして本当にそれがいいでしょうか?

 そこで、天球上を一定の速さで動く仮想の太陽=平均太陽を考えます。
 平均太陽(実在しないので見えない)の動きをもとにして決められる時刻が平均太陽時です。平均太陽時は一定の進み方をします。

 この発明はすごい!!
 つまり安定した時刻を人工的に作り出したわけですよ。まさに人類の英知!
 (逆に太陰太陽暦の定気法は、学者が余計なことをやった感じが……。)

google-code-prettify

 サイト構築作業再開中です! 今日から何回かにわたって、今時なサイト制作技術について紹介したいと思います。(周回遅れなのもあるかも

 まず第1回は、google-code-prettifyの紹介〜。
 これは、プログラムのソースコードなどを文法に基づいて見やすくハイライト(色づけ)してくれるものです。
 見本はこんな感じになります。

 配布元(公式サイト)はこちら。
google-code-prettify
 ダウンロードせずにCDNから直接読み込んで使うこともできます。自分でスタイルシートをいじったりしない場合に簡単。
 ダウンロードして使う場合は、Downloadsページから。

CDNから使う場合

 HTMLのhead内でrun_prettify.jsを読み込みます。

<script
    type="text/javascript"
    src="https://google-code-prettify.googlecode.com/svn/loader/run_prettify.js">
</script>

 オプションで拡張言語とスキンを設定できます。
 拡張言語はCSSSQLLispScheme)などに対応するもので、run_prettify.jsの後ろに「?lang=css」のように書き足します。拡張言語の一覧はtrunk/src
 スキンはtrunk/stylesにあるスタイル(見本ページ)を、「?skin=sunburst」のように指定します。何も指定しないとDefaultになります。
 両方とも設定する場合は、「?lang=css&skin=sunburst」のように。

ダウンロードして使う場合

 HTMLのhead内でprettify.cssとprettify.js、必要に応じて拡張言語用のスクリプトを読み込みます。

<link rel="stylesheet" type="text/css" href="js/prettify.css">
<script type="text/javascript" src="js/prettify.js"></script>
<script type="text/javascript" src="js/lang-css.js"></script>

 さらに、bodyの読み込み完了のタイミングでprettyPrint()を呼び出し。

<body onload="prettyPrint()">

 と、読み込みはこれにて完了!

マークアップ

 HTML内でハイライトしたいpreブロックに「prettyprint」クラスを指定します。

<pre class="prettyprint">
source code here
</pre>

 pre内の「<」「>」は、「&lt;」「&gt;」に直しておいてください。
 言語は自動で判別されますが、念のため手動で指定した方が紛れがなくて安心です。(CSSなどの拡張言語では必須!)

<pre class="prettyprint lang-css"></pre>

 lang-xxxのxxx部分は、Cならc、C++ならcpp、 C#ならcs、 JavaならjavaJavaScriptならjs、Rubyならrb、HTMLならhtml、XMLならxmlなど。拡張言語は各スクリプトファイルを参照。

 さらに、「linenums」クラスを追加して行番号をつけることができます。先頭行の番号を1以外から始めるオプションもあります。

<pre class="prettyprint linenums"></pre>
<pre class="prettyprint linenums:10"></pre>
付け足し

 下のリンクのサイトから専用のスタイルシートがダウンロードできます。
Color themes for Google Code Prettify

7月!

 何というか、もっとシンプルに生きたいんだよなあ……。
 物事や状況を客観的・合理的に見て、「認知の歪み」を正していくことが今の自分に必要なのだと思います。
 体調の悪い日でも必要以上に不安が出ないようにしたいです。閉所とか渋滞とか……。
 大丈夫な日や時間には何ともないのだから、不安・恐怖は「無意識的な勘違い」をしていると思うのです。
 その日の体調によって行動が一貫しない現状をどうにかしたいなあ。

 まあ、毎日がトイレ地獄の時期なら考えられなかった悩みなので、よい方向に向かっていると信じよう……。

  • 明日は今日より元気に!
  • 日々前進、万事大丈夫

 上二つは最近のスローガン兼「安心の呪文」です。

どっこい生きてる

 そして、辛うじて(?)元気です。
 いや、ようやく元気の兆しが見えてきた、と言うべきか……。

 人生始まって以来のまったりした日々を過ごしています。
 その原因はいわゆる心身症です。わりと長期戦で、かれこれ2年になります。
 汚い話で申し訳ないのですが、症状は便通異常(便秘、下痢、軟便のループ)と吐き気で、病名は過敏性腸症候群と診断されました。(知人からは「あー、今流行りの〜」などと言われる。あまり慰めにならない……。)

 それで、年末から年明けにかけて徐々に悪化。強い吐き気とめまい、さらには電車・渋滞不安の精神症状まで発症。(最初出先で電車に乗れなくなってしまい、帰宅するのに一苦労!)
 どうしようもないので、内科(消化器科)と精神クリニック(心療内科)を二股しながら、現在も療養中というわけなのです。

 まあ、気持ちに焦りがないと言ったら嘘になります。
 まずはお腹の調子がマシな間に、乗り物への不安を克服したいと思いつつ。。

無限の猿

 無限の猿定理。数多ある「〜定理」の中でも、名前のインパクトでは一二を争うのではと思われます。
 なぜにして猿。しかも無限。つまり、インフィニット・モンキー。(←同じ

 一匹の猿をタイプライターの前に座らせて、キーをひたすらランダムに打たせます。
 無限の時間があるとすれば、どんな文章もいつかは完成する、という定理です。

 そんなわけない? いや、無限の時間というのは地球や宇宙の年齢が問題にならないくらいの果てしない時間(!)なのです。その間に打ち出されるランダムなアルファベット文の中には、シェイクスピアの全集も含まれているはず!

 ああ、無限は恐ろしい……。似たような話で「バベルの図書館」も。
 ほかに「円周率は違法」とか。円周率を無限小数で表すと、どんな数字の並びも登場すると信じられていて、数字をアルファベットに対応させると違法な情報(特許侵害、ウイルスのコード、etc.)を含んでいるとかなんとか。

 それにしても、猿とタイプライターの組み合わせは不思議な魅力があると思うのです。さながらシュールレアリスムの世界?