文中のプログラムは foo/1 の節が連続していないところに問題がある．処理系によっては何事もなく読み込まれるが，処理系によっては警告が出る．それでも，「警告はエラーにあらず」と言い張れば，ほとんどの処理系では実用上問題ないが，GNU Prolog だけは…

問． 以下のプログラムについて，述語 go/0 の呼び出しが次の処理系の全部で成功するように，プログラムの先頭に適切なコードを追加しなさい．なお，プログラムの読み込み時または実行時にエラーが発生しないようにすること．また，foo/1，bar/1，go/0 の定…

茨城県の女子高生らが新たな化学現象を発見し、権威のある米専門誌に論文が掲載されることが決まった。 （中略） その日、水溶液の色は想定通り赤で動かなくなった。メンバーは器具を片付けないままカラオケへ。ところが月曜日に実験室に戻ると、液は黄色く…

ラップトップから取り外された 2.5-inch HDD を接続するためにこのハードディスクケースを購入したのだが，箱に「ドライバ不要の簡単接続」と銘打たれているにもかかわらず，リンク先のページの説明にあるとおり箱にはドライバーが入っていた．確かにねじ締…

昔はずいぶんと (La)TeX に傾倒したものだが，最近はめっきりと使わなくなった．TeX（のベース）のデファクトスタンダードが TeX Live に移った後も pTeX だけは tetex に取り残され，Linux の日本語エンコーディングが EUC-JP から UTF-8 に移った後も pTeX…

http://www.forest.impress.co.jp/docs/review/20111006_481829.html

被災地へ、日本中が応援していることを伝えたい。力を貸してもらえませんか――。中学１年生の女の子が手紙にしたためた願いに、全国の知事が応えた。出来上がったのは「はがきの輪」。知事らが描いた、各自治体のキャラクターなどが手をつなぐ。 （４３知事の…

Mac mini が Core i5 + Lion になったので，これは買い時だろうとばかりに手を出してしまった．

節電のためにサーバーを止めていたが，外から自宅経由でウェブサイトにつなげる環境（要するにプロキシ）が欲しかったので，代わりに DD-WRT をインストールしたワイヤレスルーターに SSH でログインできるようにして，その手前に別のブロードバンドルーター…

このブログもずいぶんと長いこと放置してしまった．その間に US には 2 回出張し，大学の同期が結婚したので二次会に顔を出し，ついでに別の同期の結婚も知らされた．そしてブログには気がついたら雑草が生い茂って，じゃなかった，某業者の広告が表示されて…

「日本経済に金を回す」という言い訳のもと，気になっていたが，必要性を感じていなかったために買い控えていたものを，このひと月の間に一気に購入した．おかげで結構なお金を使ってしまった．

2011 年 2 月 3 日に IAEA が IPv4 アドレスの在庫枯渇を宣言したことは記憶に新しいが，後継のプロトコルとされる IPv6 への切り替えは現在でもなかなか進まないのが実情である． インターネットに関する作業部会のひとつである Eye-ETF は「IPv6 が世間に…

蓮舫担当相がセ・リーグの２９日開幕の見直しを求めたことについて、巨人の滝鼻卓雄オーナーは２２日、「開幕はお上（政府）が決めることじゃない。節電に協力しろということでしょう」と不快感を示した。 確かに政府は（本来）開幕を決めるべき立場にない．…

外国人たちが大勢、日本からの脱出を試みていますが、飛行機で米国や欧州に逃げ帰ると空気の薄い高高度の場所を飛行するため、地上にいるときよりも大量の放射線（宇宙線）を浴びます。 その強さは８０マイクロシーベルト。１０日間、現在の放射能を浴び続け…

一応は節電を意識して，（電気を食いそうな）デスクトップの代わりにラップトップを使っている．といっても，ポートリプリケータを経由してディスプレイとキーボートとマウスを接続しているので結構快適だったりする．ちなみにラップトップには Ubuntu をイ…

Ubuntu では USB 3.x を搭載したマシンがサスペンドできない（ことがある？）．10.10 ならば /etc/pm/config.d/unload_module というファイルを作成して，以下の内容を書けばとりあえず症状が消える． SUSPEND_MODULES="xhci_hcd" ソースはこちら -- XHCI (U…

経済同友会の桜井正光代表幹事は１５日の定例会見で、東日本大震災で生じた電力供給不足への対応策として、計画停電（輪番停電）に代えて、契約電力量の削減を全利用者に割り当てる「総量規制」を採用すべきだ、と提言した。 （「計画停電やめて総量規制に」…

宿毛署は２２日、万引き容疑者を見つけて激しく抵抗を受けながらも連係プレーで“現行犯逮捕”した宿毛市内の女子中学生３人に感謝状を贈った。３人はいずれも１３歳で、片島中１年の久保麻綾さんと同西森萌さん、宿毛中１年の竹村笑美さん。山下一佳署長から…

夫婦が同じ姓を名乗ることを定めた民法７５０条は、個人の尊重や男女平等を定めた憲法に違反しているとして、東京都の事実婚夫婦ら男女５人が１４日、国などを相手取り、総額６００万円の損害賠償などを求める訴えを東京地裁に起こした。原告弁護団によると…

今日，傘を車体に固定して自転車に乗っている人を見かけた．果たして道交法の観点からはどのように解釈されるのだろうか．普通の傘さし運転が法律的にまずいのは片手運転ないし手放し運転にあたるから，と理解しているが，その人は自転車を両手で運転してい…

今年もよろしくお願いします．年が変わってから既に 46 時間以上経っていますが．