No Such Blog or Diary

天神のサテライトでミーティング．業務連絡から研究の話まで丸一日．資格審査に関して気が付かないうちに処理が動いててしかも他の方々と違う処理でとかなので色々と前提条件の確認に時間を食った．ここらへんが本人にはクリアになってないのはよろしくないね．

そして帰りにカホパーツセンターへ連れて行ってもらった．電子部品だけでなくタミヤの工作セットとか工具とかまで揃っているので，この店だけでひと通りの買い物が出来るという点が良いかも．あとは，回路を組んだ基盤を入れるケースの品揃えが良い気がする．

言ったとおりにやってれば一瞬で間違いが分かることなのに言ったとおりにやらずに間違えたまま持ってきてよく分かりませんってのは時間の無駄．本来必要ない時間を割いているのにそれを繰り返されると流石に頭にくる．イライラ．

閑話休題．

熱が篭るとよろしくないので放熱効果を高めるために髪を刈る．そしてタオルに引っかかって首を痛める．

ようやくTOP10まで来た（来週分の予約が）．2月中頃から全部録画しているのだけどそろそろHDDがパンクしそう．あと12話分だけど時々1話2時間になるなので溢れるかどうか微妙．

だがしかし，繰り返し録画がうまく設定できないので毎週日曜に次週の録画予約を入れるのが地味にめんどい．後一ヶ月忘れずに録画できるといいな．

だがしかし，録画したのはいつ見るんだろ．ディスカバリーの怪しい伝説もだいぶ溜まってきたし．倍速再生視聴の練習をしないとダメかもしれない．

どうも車を停めるときに無意識のうちに車の隣に停めてあるバイクを目印にしてたようで，昨日からそのバイクが車検に出てて不在なので微妙に駐車時の感覚がおかしい．この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 の逆の機能があれば楽なのだけど．