萎草の茂るブログ

鵺帝国の飛び地。暇人も多忙の方も。

広告

※このエリアは、60日間投稿が無い場合に表示されます。記事を投稿すると、表示されなくなります。

Mersenne Twister in OCaml

2011年07月22日 | Computer
Object Caml (OCaml) 用の Mersenne Twister ライブラリを公開しました!
http://nue2004.info/program/mt_ocaml/index.htm


Mersenne Twister(メルセンヌ・ツイスタ)とは、松本眞先生(東京大学大学院数理科学研究科教授)と西村拓士先生(山形大学理学部数理科学科准教授)が開発なさった優れた擬似乱数生成アルゴリズムです。
これは 219937 - 1 という十分に長い周期を持っており、また従来の線形合同法等と比べ分布の均等性が極めて高いなどという特長があります。
詳しくは考案者の公式サイトをご覧ください。

今回、これを OCaml から呼び出せるライブラリにしました。
OCaml は関数型プログラミング言語の一種で、型理論に基づき信頼性の高い(少なくともコンパイルが通れば未定義の動作は起こさない)プログラムが開発できることが特長です。
ライブラリの実装自体は、C言語で行っています。


ダウンロードはこちらからどうぞ。
コメント

130円 関東一周の旅

2011年07月16日 | 日記
房総半島一周の旅に引き続き、大回り乗車の旅第2弾!
先週8日、130円で関東1都6県一周の旅してきました!
(正しく言うと「北関東を中心とした関東平野一周」ですけどね)



【概要】
東京近郊区間(大都市近郊区間)の鉄道の運賃は、大雑把に言って、最短経路で計算できます。
同じ駅を通らず、途中下車さえしなければどんなに遠回りしても大丈夫です。
(ここでは具体的な規則については割愛します)
これを利用して、130円(東京電車特定区間の初乗り運賃)で関東を一周してしまおう! という話です。


【乗車経路】




上野→友部→小山→高崎→八王子→東神奈川→川崎→立川→神田→御徒町
 464.1 km(運賃計算キロ 473.3 km)
 7,350円相当


【運賃計算上の経路】
上野→御徒町
 0.6 km
 130円


【詳細】
1. 常磐線快速 上野10:55(時刻表上は10:22)→取手11:32(同11:06)

出発!
と思ったらいきなり線路内人立入の影響で常磐線大幅遅れ。
先行き不安……orz





2. 常磐線 取手11:40(時刻表上は11:02)→友部12:47(同12:06)

ダイヤがズレ込んでズレ込んで、どうなることかと思いました。
土浦より先まで行く列車は少ないですからね。
幸いにしてすぐに勝田行きが来てくれました。


↑取手まで乗ってきた近距離快速(左)と中距離列車(右)


3. 水戸線 友部12:49→小山13:54

乗換時間が危うかったのですが、素晴らしいことに友部駅での乗換はホームの反対側に移るだけでした。
水戸線を端から端まで一気に走破。


4. 両毛線 小山13:57→新前橋15:35(時刻表上は15:30)

両毛線も端から端まで一気に走破。
本当は高崎まで乗って行きたかったのだが、なんとまたもや遅延。
これでは八高線に間に合わないではないか!


5. 上越線 新前橋15:36(時刻表上は15:27)→高崎15:45(同15:36)

仕方がないので上越線に乗換。やっぱり混んでました。
ドアが(ボタン式ですらなく)手動開閉だったΣ
ちょっと吃驚。

高崎で「だるま弁当」を購入。


↑高崎駅の駅弁屋


6. 八高北線 高崎15:55→高麗川17:22

関東では珍しい非電化区間。
切欠ホームから発車するのが特徴的。


↑高崎駅と言えば八高線の切欠ホーム(3番線)


↑それと、上信電鉄の0番線


7. 八高南線 高麗川17:34→八王子18:17

この辺は箱根旅行の時と一緒。


8. 横浜線 八王子18:22→東神奈川19:18

のどかなローカル線ばかりに乗って来たので、横浜線は乗客が多くて疲れます。
普段の通学に比べたら全然大したことないんですけどね。




9. 京浜東北線 東神奈川19:24→川崎19:34

意外とガラ空きだった京浜東北線。


10. 南武線 川崎19:43→立川20:42

東京→千葉→茨城→栃木→群馬→埼玉→東京→神奈川→東京→神奈川と来て、最後の東京。
あとは出発点に帰るだけ!

日が暮れちゃって外の景色はさっぱりわかりませんでした。
いつか乗り直そう。鶴見線に乗る時にでも。


11. 中央線快速 立川20:45→神田21:40(時刻表上は21:34)

線路内人立入で遅延……
流石は中央線。


12. 山手線 神田21:45→御徒町21:50(正規のダイヤ不詳)

そして最後は山手線。
上野の手前、御徒町でゴール!



……と思ったら、自動改札通れませんでした。
入場から11時間も経ってますからね。
駅員に事情を説明して出して貰ったのですが、ボソボソ言ってて何言ってるかよく聞き取れませんでした(´・ω・`)



という訳で、関東一周の旅、完了!
次はどこへ行こう?
コメント

早いもので

2011年07月06日 | 日記
♪あなたに「さようなら」って言えるのはきょうだけ……

朝から「22才の別れ」が脳内でリピートしてます。
別れる相手なんていないのにね。


という訳で昨日、20回目の3歳の誕生日を迎えました!(ぇ
祝ってくれた皆様、ありがとうございます!

大学も(順当に行けば)今年度一杯で卒業。
早いものです。
院試と卒論を前に押し潰されそうになり乍らも、頑張って生きてます。


そんな訳で、生存報告でした。


------
しっかし「22才の別れ」って酷い歌だよなあ。
コメント