No Such Blog or Diary

どうも車を停めるときに無意識のうちに車の隣に停めてあるバイクを目印にしてたようで，昨日からそのバイクが車検に出てて不在なので微妙に駐車時の感覚がおかしい．この2年間，車の駐車時にバイクがなかったことがないので気づかんかった．

閑話休題．

最近バイクの走行距離が全然延びでない．車と違って乗るまでの準備が多いので面倒になるのが原因．もう少し準備が楽にならないものかね．あとはエアコンの効いた車と違って気温の変化への対処に根性がいるのも原因か．冷暖房完備のジャケットが欲しいかも．

リストの長さを意味する述語 p を作ろうかと思った人が次のコードを書いた．空リストの長さはゼロという意味で．

p([],O).

そして p([],N). とやって，N = 0 と返ってくることを期待してみると……

?- p([],N).
true.

期待と違う答えが返ってくる．何故だ……

ということで，このコードのデバッグに結構時間を食った．実際には元のプログラムはもう少し大きかったのだけど，本質的には上のコードのバグ探し．

んで，デバッグ後のコードは次のとおり．

p([],0).

つまり，大文字の O（オー）と 0（ゼロ）を間違えて書かれていたことに気が付かなかったというオチ．本人が最終的に気づいたので解決したけれど，本人がその場に居なかったら誰も気づかずにさらなる時間を無駄にしたに違いない．

まあ，紛らわしいフォントを使うのが悪い．プログラミングに使うって分かってんだから .emacs のひな形にプログラミングしやすいフォントを指定するよう書いておけばいいのに（学生が演習で使う端末室の計算機なのだから）．

閑話休題．

O と 0 を書き間違えても正しいコードになるってのは高級言語ならではの面倒さかね．C言語やJavaではコンパイルエラー一発でしょう．

ネットワークの実験のためにちょっと悪戯をするルータを組もうかと思い，iptables を復習．とりあえずテーブルとチェインとターゲットが何だったか思い出す．

目的のためには nat テーブルの PREROUTING チェインで DNAT ターゲットへ飛ばせば良いっぽい．なんとなく MASQUERADE の逆の機能があれば楽なのだけど．

とりあえず，素通しでフォワーディングする状態にして nuttcp で測定してみたら，930～940Mbps という速度になった．まあ，問題ないでしょう．

さて，あとは quagga でも入れて RIP を使えるようにしたらとりあえずのルータ完成かな．でもテストするにはルータ二台以上ないと無理だな……　もう一個買うか．

閑話休題．

Wikipedia をみると quagga って動物は絶滅種らしい．ソフトウェアの方はいつまで生き残るんだろう？

ひと通り巡回すると30分～1時間かかる．これが長いのか短いのか．テレビでニュース見たり新聞読んだりする時間と大して変わらない気もするので普通かね．

豚肉のモモと肩ってどっちが値段高いんだっけ？　ふと聞かれると分からない質問．

まあ，脂身好きではないのでいつもモモ買うんだけど（赤身の割合が高い）．