ref: http://mono.kmc.gr.jp/~yhara/d/?date=20071229#p01 C + setjmp + longjmp で amb が実装できるかという話題。CPS 変換すればできそうですけど、CPS 変換すれば setjmp + longjmp がなくてもできそう *1 で面白くないので、無理矢理以下が動くように書…

IRC の %ruby で「ゆとり」と言われました。1981 年生 26 歳のおじさん *1 だから違う、と思ったんですが、wikipedia の解説によると広義のゆとり世代みたいですね。1980 年から段階的に施行しているらしいので。狭義のゆとり世代は 1987 年以降生まれのよう…

今年のまとめ。 ウォーキングを始めた。最初に歩いたのは山手線で、その理由は「夜 7 時から渋谷で飲み会があるから、朝 7 時に行って一周しよう (?)」という話になったからです。実際には朝起きれなくて 9 時頃スタートになった上、飲み会にも 5 分ほど遅刻…

以前 left と right のどっちがどっちかわからなくなる病患者であることをカミングアウトしましたが、実はこっちの病気でもあります。この病気の原因も考えてみたのですが、これは間違いなく「みぎ」と「ひだり」との音の類似のせいに違いないです。ローマ字…

先週の土曜日はあまり天気がよくなかったので、期待度が低くて短めの地下鉄から都営浅草線を選んで歩きました。西馬込から、泉岳寺や新橋、銀座、浅草を通って押上まで。線路の距離で 18.4 km 、歩行距離で 23.3 km 。所要時間は 9 時から 17 時までの 8 時…

もう 1 週間も前の話ですが、OCaml-Nagoya の人たちや ocaml.jp の管理人などと飲み会でした。内容が秘密情報なのか公開情報なのか確認しなかったのでどこまで語って良いのかわかりませんが、とりあえず近いうちに日本の OCaml コミュニティが加速するような…

ポインタのない C 言語 *1 はチューリング完全でしょうか。昨日は酒井さんとの話で では pointer-free な C 言語はどうか、と聞いてみましたが、union でなんとかできそうとの返事。 と書きましたが、union は型変換ができるだけでポインタを取り出すことは…

酒井さんがbrainfuck を実装してくれました。ありがとうございます。では pointer-free な C 言語はどうか、と聞いてみましたが、union でなんとかできそうとの返事。そっかー。ちなみに元記事で再帰と書いた時は、「lambda 計算をエンコードできるかなー」…

FlashPlayer をスタックオーバーフローさせることができる仕様 (?) が未だに直りません。Adobe に報告してもう半年近くになります。しょうがないので 10 月末に IPA のセキュリティセンターに報告してみたのですが、1 ヶ月半待たされたあげく、「スタックオ…

ついでに、前回運休で乗れなかった上野動物園のモノレールに行きました。14 時 25 分に上野動物園西園駅を出発し、オオアリクイやエミューをみつつ、14 時 34 分に上野動物園東園駅到着。線路の距離で 331.42 m (0.3 km) 、道のりでは多分 400 m 弱だと思い…

昨日は京急本線を最後まで歩きました。京急川崎から品川、ついでに泉岳寺まで、線路の距離で 13.0 km 、歩行距離で 16.0 km 。所要時間は朝 7 時から昼 12 時までの約 5 時間。風邪の病み上がりなので少なめ。見所は大森海岸駅近くの鈴ヶ森刑場遺跡と、とこ…

今日は京急本線の続きを歩きました。金沢八景から京急川崎まで、線路の距離で 29.1 km 、歩行距離で 35.8 km 。所要時間は朝 8 時から夜 6 時までの約 10 時間。京急は駅間が短いので、今日だけで 25 駅に着きました。特に横浜より北が顕著で、徒歩 10 分か…

今日の疑問。C 言語から malloc や calloc など動的にメモリを確保する手段を省いても、チューリング完全性は保たれるのでしょうか。再帰をうまく使えばできるのかな。

順番はどう変えてもいいから、とにかく『どの要素もいつかは出てくる（有限ステップ以内には出てくる）』ように列挙したリストを返す関数を作ってみてください。 無限オブ無限 何か設問に裏の意図がありそうな気配を感じますが、あっさり釣られます。無限リ…

最近何かと話題のフィボナッチ数計算の高速化ですが、 F(n) = (fib(n+1), fib(n)) （2次元の縦ベクトルだが表記の都合で横に書く） A = ((1, 1), (1, 0)) （第1行が(1, 1)で第2行が(1, 0)の行列） すると，F(n) = A F(n-1) = A A F(n-2) = A A A F(n-3) = ..…

現在のイテレータの回数を返す組み込み変数とかの方が嬉しそうです。 を試しに実装してみました。 3.times { p $# } %w(a b c).each {|x| p [x, $#] } $ ./ruby foo.rb 0 1 2 ["a", 0] ["b", 1] ["c", 2]3.times do i = $# 3.times { p [i, $#] } end $ ./ru…

金曜日に、東京都交通局上野懸垂線を歩きに行ってきました。平たく言うと上野動物園のモノレールです。wikipedia のエントリによると、正式な鉄道らしいです。上野動物園西園駅から上野動物園東園駅まで。14 時 13 分から 14 時 18 分までの約 5 分。線路の…