2001年10月の日記

2001年10月1日 (月)

●10月1日
　きょうから10月。
　衣替え。
　10月1日は都民の日なので都内の公立学校はお休み。
　赤い羽根共同募金は10月1日から12月31日まで。

●メルセンヌ素数
　www.mersenne.org（英文）によると、9月25日までにM(8000000)＝2^8000000-1以下のすべてのメルセンヌ数の素数判定が少なくとも1回完了したそうです。現在までに発見されているメルセンヌ素数は38個で、38番目のメルセンヌ素数はM(6972593)=2^6972593-1と思われます。この素数は10進数で表記すると2098960桁の数であり、現在までに知られている最大の素数です。

●おはスタ・スーパーライブ
　本日の出演…おはガール・グレープ＋トワール☆サユリーナ＋KANA＋山ちゃん。全部で何人カナ？
　トイザらストイフェスタ2001 in としまえんのページをチェキ。

●Sircamウイルス
　Sircamウイルス（トロイの木馬型ワーム）の英語版によって発信されたと思われるメールが1通届きました。発信源は新潟にある国立病院のようです。該当しそうな人は今すぐウイルスチェックを。心配な方はメールアドレスを照合しますのでメールください。

●「.info」ドメイン
　「.info」ドメインの先着順の登録受付がきょうの23時から始まるそうです。
　　お名前.com

●訃報
　落語家の古今亭志ん朝さんが死去（asahi.com）。

●ジブリ美術館が開館
　三鷹の森ジブリ美術館がきょう開館し、宮崎駿監督が入館者をひとりひとり握手で迎えたそうです。チケットはローソンチケットのみの完全予約制。

●ラバボー
　コメットさん☆日記、更新！

●@niftyが障害で接続できなかった分の接続料金を返金
　@niftyが、eAccess経由のADSL接続サービスで5月～7月にかけて断続的に続いた通信障害について、接続できなかった時間の接続料金を返金するという形で補償する（した）そうです。5月～7月の間に障害のために接続できなかった時間の合計はおよそ44.7時間で、これを単純に課金された2208時間で割って8月分の請求金額から差し引くという方法で返金されます。
　8月分の接続料金は先月請求されており、確認したところ確かに差し引かれた後の金額になっていました。メールで知らせてくるのが遅いと思います。また、障害で接続できなかったと発表された時間よりも、復旧後の混雑で実際にユーザが接続できるようになるまでにかかった時間のほうがずっと長かったと思うのですが、そのあたりは考慮されないのでしょうか。

●17万ビジット御礼
　STUDIO KAMADAのビジット数は、きょうの午後6時前に17万を越えました。1日あたりの平均ビジット数は700台後半を推移しています。いつもたくさんのアクセスをありがとうございます。今後もよろしくお願いいたします。

●10月の宇宙関連テレビ番組
　アストロアーツの10月の宇宙関連テレビ番組表（内容順）。

▲

2001年10月2日 (火)

●ケビン君を助けるゲーム
　寂丸さんにSpaced Penguin!というSHOCKWAVEのゲームを教えていただいてハマってしまいました。周囲の星の引力を考えながら方向と初速だけを与えて宇宙空間に取り残されたケビン君を宇宙船まで誘導するという古典的なゲームですが、バランスとセンスのよさが感じられます。1日目の自己ベストはわずか1401639点でした。

●Out Of Orderが一時閉鎖
　morさんのサイト「Out Of Order」が閉鎖されました。閉鎖の主な理由はYahoo! JAPAN - サービス利用規約の第7項のようです。確かにGPLと相性の悪そうな規約ですね。他の場所で復活されることを期待しています。

●Spaced Penguin!
　Spaced Penguin!の自己ベストが3295778点になった。せめて1000万点は越えたいなぁ。

●ちっちゃな雪使いシュガー
　きょうからちっちゃな雪使いシュガーが始まります。TBSで、きょうは26時50分から。来週以降は26時20分から。

●天気
　きょうは雲ひとつない秋晴れ。風も爽やかで、絶好の運動会、遠足日和。

●山陽放送で『デ・ジ・キャラットサマースペシャル2000』が放映されます
　TBSで昨年の夏に放映された『デ・ジ・キャラットサマースペシャル2000』が山陽放送(RSK)で放映されます。
　　山陽放送(RSK)
　　　　10月 6日(土) 06:00～06:30 『デ・ジ・キャラットサマースペシャル2000』第1話/第2話
　　　　10月13日(土) 06:00～06:30 『デ・ジ・キャラットサマースペシャル2000』第3話/第4話

▲

2001年10月3日 (水)

●スタジオジブリ関連のDVD
　『ルパン三世／カリオストロの城』『魔女の宅急便』『となりのトトロ』は発売中。『パンダコパンダ』『パンダコパンダ／雨降りサーカスの巻』は10月17日発売。『もののけ姫』は11月、『劇場版　名探偵ホームズ』は12月、『紅の豚』『耳をすませば』『天空の城ラピュタ』『海がきこえる』『おもひでぽろぽろ』『平成狸合戦ぽんぽこ』『風の谷のナウシカ』『柳川堀割物語』は来年以降（スタジオジブリ）。
　個人的には『天空の城ラピュタ』を早く出して欲しい。

●水泳アクションゲーム
　SIMPLE1500シリーズの「THE 水泳」。説明を読んで笑ってしまいました。公募で選ばれた企画だそうですが、アナログコントローラで“泳ぐ”とは…。思わず想像しちゃいました。「THE ドッヂボール」と共に10月25日発売。
　泳ぐ場所はプールだけなのかな。海で波に押し戻されながら泳ぐゲームも面白いかも。

●ちっちゃな雪使いシュガー
　ちっちゃな雪使いシュガーのページがリニューアルしました。

●ちっちゃな雪使いシュガー（ネタバレあり）
　＃１『サガ、シュガーと出会う』。《シュガーはちっちゃくてよく喋ってよく動くぅー。かぁいいー。サガは何でも計画を立てて実行しようとするしっかりモノ。グレタさんはメテオさん状態でいい味出してる。何でも計画を立てて実行するしっかりモノのサガと、ワガママで自己主張の強いシュガー。この2人が同居したらどうなるか、来週が楽しみ。ところで、真田アサミさんは男の子の声もいけますね。》

●ゴミメール？
　@niftyのADSL接続トラブルに便乗してか、NTTの代理店らしいところからフレッツADSLへの乗換えを促すメールが送られてきました。しかし、何をどう間違えたのか、Fromに相手のアドレスが入っていて送信者のアドレスが見えない、非常に気持ちの悪いメールでした。本文には住所・電話番号・メールアドレス・URLが書いてあるので、故意に送信者のアドレスを隠したのではなくて操作を間違えたのだと思いますが、こういう失敗はかえって印象を悪くしてしまうと思います。

●やりますわねっ！
　舩本さんのページのトップ画像。

●磁石で手術
　岐阜県にある鷲見（すみ）病院で、磁石を使った吻合手術が行われたそうです。磁石はこういう使い方もできるのですね。

●リアルなルービックキューブのアプレット
　本家Rubik's OnlineのOnline Cube。マウスで操作できることはもちろん、自動で解かせることもできます。キューブをドラッグすると特定の列を回転。キューブの外をドラッグすると全体を回転。Javaで書いてあるようです。ソースを見てみたいかも。

▲

2001年10月4日 (木)

●いわしの日
　10月4日は「いわしの日」だそうです。「104」で「いわし」ね。

●春菜姫と愉快な仲間たち
　声優グランプリWEBの「春菜姫と愉快な仲間たち」が最終回。池澤春菜さんと氷上恭子さんは親しいお友達ということで……「ゾウの水浴び」には笑ってしまいました。

●ちっちゃな雪使いシュガー
　ちっちゃな雪使いシュガーのページが更新されました。第2話の紹介と、DVD・ビデオ情報。

●ADSLトラブル
　@niftyはADSLのトラブルが解消済みであることをきのうのニュースで強調したばかりだというのに、なんかきょうは調子悪いぞ。サーバの応答がなくなって10分以上再接続できなくなる症状がきょう3回目。

●NECのスーパーコンピュータ「SX-6シリーズ」
　NECがきのう発表したスーパーコンピュータ「SX-6」シリーズは、商用（大量生産型？）としては世界最高速のベクトル型スーパーコンピュータ。1ノードあたり最大8 CPU、64ギガフロップス、64ギガバイト。最大128ノード構成でピーク性能は8テラフロップス、8テラバイト。
　　NECのプレスリリース

●ω星団（おめがせいだん）
　ハッブル宇宙望遠鏡によって撮影されたω星団の写真。ω星団はケンタウルス座にあり、見かけの大きさが満月よりも大きいという全天で最大の球状星団です。地球からの距離はおよそ17000光年。恒星と間違えられて「ω」という文字が割り当てられてしまったそうです。

●ゴミメール
　掲示板にも書きましたが、きのう書いたゴミメールはm_kamada@nifty.com宛で届いているので@niftyのIDを生成することで無作為にばらまかれたものではありません。

●ThroughClock Ver1.70β
　ハマたろうさん作のWindowsのデスクトップ用のアナログ時計ThroughClockのVer1.70βが公開されました。

▲

2001年10月5日 (金)

●ラジオドラマ『ちっちゃな雪使いシュガー』
　『ちっちゃな雪使いシュガー』のラジオドラマの情報はこちら。うちは文化放送なので今夜からスタート。TBSテレビが映らなくてもラジオドラマが聴ける地域があります。

●三鷹
　用事があって三鷹まで行ってきました。駅前にジブリ美術館の送迎バスが止まっていたので思わず乗りそうになってしまいました。三鷹駅の本屋さんにはジブリ作品に関係した書籍が山のように積み上げてありました。さすが三鷹だと思いました。まる。（お腹が空きすぎて文章が小学生並だ）

●いわしの開き
　というわけで、太りすぎて開かれてしまったいわしの丸干しを焼いて食す。んまいんまい。

▲

2001年10月6日 (土)

●X68000ソフトウェアライブラリ新着情報
　X68000ソフトウェアライブラリに以下のソフトウェアを収録しました。
[102] 2HDboot.x v0.21 … 2HDフロッピーディスクのイメージファイルからブートする

●こんにゃくゼリー
　アメリカ食品医薬品局（FDA）が、窒息する危険があるという理由でこんにゃくゼリーの輸入中止を勧告したそうです（asahi.com、FDAのプレスリリース（英文））。こんにゃくゼリーというと日本では蒟蒻畑が有名ですが、上記の記事は蒟蒻畑を名指ししたものではありません。蒟蒻畑は誤って飲み込めないように初期の製品よりもわざと大きくしたと記憶しています。大きすぎれば間違って吸い込んでも喉まで入らず、噛む癖がつくはずです。ただ、その大きさはおそらく日本人の喉の大きさに合わせてあるでしょうから、日本語の注意書きを読めない外国の人（特に蒟蒻を食べ慣れていない人）に勧めるときは注意を促してあげたほうがよいと思います。食べ物はよく噛んで食べましょう。

●星のカービィ
　“吸い込む”で思い出したのですが、きょうから始まったアニメ『星のカービィ』では、番組の最後で子供がカービィの真似をして危険なものを口に入れないように注意を促すために時間を割いていました。カービィがスプーンなどを吸い込んでしまうシーンが出てくるので、小さな子供がいる家庭では子供がカービィの真似をしないように特に注意してあげてほしいものです。

●X68000ソフトウェアライブラリ新着情報
　X68000ソフトウェアライブラリに以下のソフトウェアを収録しました。
[103] float2p.x/float3p.x … FLOAT2.XとFLOAT3.Xの高速版
[104] bgdrv v2.00 … バックグラウンドドライバ
[105] bgdrv030 … bgdrv v2.00のX68030対応版
[106] bgd_pat … bgdrv v2.00の各種Human対応化パッチ

●『残された人びと』が復刊、予約受付中
　アニメ『未来少年コナン』の原作『残された人びと』（『The Incredible Tide』の邦訳）が復刊されたそうです。現在予約受付中で、発送は10月下旬とのこと。初版（1974年）の第3刷（1978年）を持っているのですが、表紙の絵が違うようなので1冊注文してしまいました。アニメでは大幅に脚色されていますが、宮崎駿監督と『未来少年コナン』のファンならば必読の1冊だと思います。
　ZooMarkさんの日記から復刊ドットコムへ辿って発見しました。ありがとうございます。

▲

2001年10月7日 (日)

●morさんのページ
　morさんのページ「Out Of Order」が引っ越しました。

●おでかけ
　みかぜさんに誘われておでかけ。井の頭公園の野外ステージでキャラワンコンテストの前座（？）のポアロのライブを見て、そのあと吉祥寺バウスシアターでアリーテ姫を観てきました。コンテスト自体は見ませんでしたが、参加するらしい人々がゾロゾロと……ほぇ～、知世ちゃん生で見たの初めてだよぅ。アリーテ姫を観たのは私は実は3回目だったりするのですが、東京都写真美術館では品切れで入手できなかったパンフレットを手に入れることができました。

▲

2001年10月8日 (月)

●アメリカ軍がアフガニスタンへの攻撃を開始
　アメリカ軍がアフガニスタンのカブール市内への攻撃を開始（CNN、テレビ報道）。

●コメットさん☆
　アニメ『コメットさん☆』のオープニングとエンディングが今週から新しくなりました。新しいエンディング曲「星のパレード☆」を歌うのは、「トワール☆サユリーナ」こと田中小百合さん（バーディ企画、自由が丘バトンクラブ）。エンディングの実写でトワールも以前よりアップになり、サユリーナファンとしては嬉しい限りです。はい。

●『残された人びと』
　復刊ドットコムの『残された人びと』のページなどで、本のタイトルが『残された人々』と書かれているところがあって気持ち悪かったので、指摘して修正していただきました。初版年と本の内容の紹介も間違っているのですが、これらは正しい情報の確認＆文章の準備中とのことです。初版は1974年のはずです。本の内容の紹介は大幅に脚色されたアニメ版のストーリーの紹介になってしまっています。

●しっぱい
　ウェブ上で違法行為を助長するような発言をしないように指摘してあげたのに、あなたも過去にこんなことをやっていましたよねーみたいな嫌味たらしい言いがかりをつけられてへこむ。精神的なストレスでくたばりそう。こんな人にわざわざ指摘してあげるんじゃなかった。

▲

2001年10月9日 (火)

●X68000ソフトウェアライブラリ新着情報
　X68000ソフトウェアライブラリに以下のソフトウェアを収録しました。
[107] GNU Make 3.79 human68k-1.2 … GNU Make 3.79（Human68k版）

●メテオさん発見
　YouCさんのページ。トップページのメテオさんがいい感じです。イラストのコーナーには懐かしい画像もありますね。

●「Nereid」進捗状況報告ページ
　XPSさんにX680x0用のLAN + MEMORY + USBボード「Nereid」の進捗状況を知らせるページ「Nereid（ネレイド）プロジェクトは今ど～なってるの！？ (current)」ができました。巡回リストに加えてチェキ。

●lumps Ver.0.21
　TAUさんのページでX68000用のパズルゲームlumpsのVer.0.21が公開されました。

●コメットさん☆
　コメットさん☆日記、更新！

▲

2001年10月10日 (水)

●宙返りしてからジャンプ！
　『ちっちゃな雪使いシュガー』の第2話。第1話に続いて気合い入ってますね。30分がとても短く感じられます。ずっとこの勢いで続いてゆくのでしょうか。
　今回から登場したおっとりメガネっ娘の風使い、ペッパーもかわいいです。ペッパー役の水橋かおりさんは今週の土曜日から始まるアニメ『カスミン』で主役の春野カスミ役を演じられるそうです。

●アニメ『カスミン』
　アニメ『カスミン』はNHK教育テレビで毎週土曜日18:30～18:55（先週までコレクター・ユイをやっていた枠）で今週からスタート。コメディータッチの妖怪モノ。監督：本郷みつる。歌：由紀さおり、安田祥子。

●天気
　きょうは雨。ずっと雨。それも大雨。雷ゴロゴロ。
　19時21分、東京23区と多摩東部に大雨洪水警報発令。千葉県（全域）、茨城県（全域）、福島県（会津を除く全域）にも大雨洪水警報発令中。

●Yahoo!ジオシティーズにおける著作権について
　「Yahoo! JAPAN - サービス利用規約」の第7項が酷いという話が広まったため、「Yahoo!ジオシティーズガイドライン」の一番下に「Yahoo!ジオシティーズに関する著作権の取り扱いについての考え方」というページができました（impress INTERNET Watch）。しかし、「考え方」が「規約」の適用範囲を制限できるとは思えないのですが…。

●ねこー
　ESRMさん、1ヶ月ぶりの更新。

▲

2001年10月11日 (木)

●X68000ソフトウェアライブラリ新着情報
　X68000ソフトウェアライブラリに以下のソフトウェアを収録しました。
[108] cat.x 1.5 … ファイルを連結して出力する
[109] chmod.x 1.4 … ファイルやディレクトリの属性を変更する
[110] colrm.x 1.0 … 入力の各行から指定カラムを削除して出力する
[111] comm.x 1.0 … ソート済みの2つのファイルを行毎に比較・マージする
[112] cp.x 2.8 … ファイルやディレクトリをコピーする
[113] cut.x 1.0 … ファイルの各行から指定フィールドを切り出す
[114] date.x 1.1 … システムの日付と時刻を表示／設定する
[115] du.x 1.2 … ディレクトリやファイル毎のディスク使用状況を出力する
[116] expand.x 1.0 … 水平タブをスペースに置き換える
[117] fish.x 0.8.1 … 高機能シェル
[118] fold.x 1.0 … 行を有限の桁幅内に折りたたむ
[119] head.x 1.5 … ファイルの先頭部分を出力する
[120] join.x 1.0 … 2つのファイルの行を合併する
[121] ln.x 1.2 … シンボリック・リンクを作成する
[122] login.x / forever.x 0.6 … Human68kへのログイン／コマンドを永久に繰り返す
[123] ls.x 1.5 … ファイルやディレクトリの情報を出力する
[124] mkdir.x 1.4 … ディレクトリを作成する

●天気
　大雨で気温も低かったきのうとはうってかわって、きょうは爽やかな秋晴れ（雲もあったけどね）。きのう部屋を閉めきっていた時間が長かったので、きょうは窓を開けて換気していました。天気が良くなったり悪くなったりしながら少しずつ秋が深まってゆくのは、季節使いさんのおかげ？

●ちっちゃな雪使いシュガー
　ちっちゃな雪使いシュガーのページが更新されました。来週のおはなしの紹介など。

▲

2001年10月12日 (金)

●火星
　ハッブル宇宙望遠鏡で撮影された火星の写真。左側は2001年6月26日、右側は2001年9月4日に撮影されたもの。2ヶ月の間に嵐で巻き上げられた埃が火星全体を覆い、地表が見えなくなってしまいました。

●『ココロ図書館』
　アニメ『ココロ図書館』。いい感じかも。アタマにでっかいリボンつけてるし。沢城みゆきさん出演。
　　テレビ東京
　　KoKoSho Style

●X68000ソフトウェアライブラリ新着情報
　X68000ソフトウェアライブラリに以下のソフトウェアを収録しました。
[125] PersonalWS.x 0.11 … BGプロセスで動作するウェブサーバ

　XPSさんによるX680x0用のLAN + MEMORY + USBボード「Nereid」の関連ツールのリクエストを優先して収録することにしました。ご了承ください。

●アクセスの社長さん
　Mainichi INTERACTIVEにアクセス（ACCESS）の社長さんのインタビュー記事が載っていました。「OSから始まって、機械を構成するのに必要なソフトを全部提供できる会社は、うちとマイクロソフトの2社しかないと思っています」という言葉がとても印象的。
　ACCESSのホームページの歴史のところには、しっかりX68000のASKのことも書いてありますね。

●祝
　Sharlさんがご結婚の運びとのこと。おめでとうございます。

●ぴーえすつー
　SCEIがPS2の累計出荷2000万台記念として本体のカラーバリエーションを5色取り揃えた特別限定モデルを発売するそうです（impress GAME Watch）。1台5万円。5色セットで25万円だそうですけど、同じゲーム機を5台も買ってどうするのかという気が…。それから、各色2000台限定で国内・北米・欧州でそれぞれ各色666台ずつということですが、残り2台の行方が気になるのは私だけでしょうか。

▲

2001年10月13日 (土)

●箱ティッシュ
　最近の箱ティッシュ、異様に平べったくありません？　思わず定規で測っちゃいましたよ。厚さ5cm。以前のは6.5cmだったので、一気に1.5cmも薄くなりました。これで中身は200組400枚で同じ。かさばらないのはいいけど、カバーやケースのサイズが合わなくて詰め物が欲しくなる人もいるかも。

●スタジオジブリ関連テレビ番組
　ジブリ関連情報より、スタジオジブリ関連テレビ番組の情報。
　　10月21日(日) 09:00～09:30 『題名のない音楽会』（テレビ朝日系列）『宮崎駿　映画音楽SP（仮）』出演：木村弓、井上あずみ、高嶋ちさ子ほか
　　10月21日(日) 19:58～20:54 『特命リサーチ200X!』（日本テレビ系列）宮崎アニメの秘密
　　11月11日(日) 18:56～19:56 『ほんパラ痛快ゼミナール』（テレビ朝日系列）保田道世さんを取り上げた「アニメーションの色職人」

●火星
　きのう、火星の地表が嵐で見えなくなってしまったという話を書きましたが、その様子はNASAの火星探査機マーズグローバルサーベイヤーも撮影していました。Mars Global Surveyor MOC2-290 Release（英文）に写真が掲載されています。

●LiveUpdate
　SymantecのNorton AntiVirusのLiveUpdateのバージョン1.4にセキュリティホールがあるとのこと（impress INTERNET Watch）。手元のLiveUpdateのバージョンは1.5でしたが、とりあえずLiveUpdateのページから最新のlusetup.exeをダウンロードしてきてLiveUpdate 1.6.3.12をインストールしました。LiveUpdateだけ英語版になってしまった。
　PCに付属していたNorton AntiVirusを使っている人は、Norton AntiVirus 旧製品サポート終了のお知らせもチェックしておきましょう。

▲

2001年10月14日 (日)

●10月14日
　10月14日は鉄道の日。鉄道関係のイベントが多数開催されるようです。

●18万ビジット御礼
　STUDIO KAMADAのビジット数が昨夜18万を越えました。いつもたくさんのアクセスをありがとうございます。これからもよろしくお願いいたします。

●666
　666という数字は黙示録でいうところの獣（けもの、BEAST）の数……といっても宗教的な意味はよく知りませんが。ローマ数字で書くとDCLXVI。関係ないけど日本の現行の硬貨を全種類1枚ずつ集めると500円＋100円＋50円＋10円＋5円＋1円＝666円。数学的には1＋2＋3＋…＋34＋35＋36＝36×37÷2＝666だから666は36番目の3角数。ついでに3辺の長さがそれぞれ693、1924、2045のピタゴラス三角形の面積は693×1924÷2＝666666。それからえーっと…。

▲

2001年10月15日 (月)

●わりとてきとうな問題
　3^n+5（3のn乗たす5）が2^1000（2の1000乗）で割り切れるような最小の自然数nを求めてください。どのような方法を使っても構いません。なお、この問題は今思いついたばかりなので、私もまだ解いていません。

●メテオさん
　コメットさん☆日記。

●xyzzy version 0.2.2.213
　xyzzy version 0.2.2.213が公開されました。

●えひめ丸、浅瀬に移動完了
　今年2月にアメリカの原子力潜水艦「グリーンビル」に衝突されて深さ620メートルの海底に沈んでいた愛媛県立宇和島水産高校の実習船「えひめ丸」が引き揚げられ、深さ34.5メートルの浅瀬へ移動が完了したそうです（CNN）。
　　CINCPACFLT :: Ehime Maru Recovery ::（米海軍のえひめ丸引き揚げ公式サイト、英文）

●ぴぎゃ
　Mad-Pさん、リアクションめちゃ早いっす。ちなみに500乗の場合の結果は合っています。
　はぐれこかとりすさんも、がんばれー。

●というわけで
　けさ出題したわりとてきとうな問題の答えの準備ができました。本当はもっとのんびり解こうと思ってたんだけどなぁ。

▲

2001年10月16日 (火)

●わりとてきとうな証明（その1）…「3^(2k)+1＝2(2j+1)」
　次の式を見てください。
　　3^0+1＝2＝2×1
　　3^2+1＝10＝2×5
　　3^4+1＝82＝2×41
　　3^6+1＝730＝2×365
　　　　：

　kが0以上の整数のとき「3^(2k)+1＝2×奇数」と書けることを帰納法で証明します。
　　k＝0のとき、
　　　　3^0+1＝2＝2×1
　　なので成立している。
　　kのとき成立していると仮定すると、jを整数として、
　　　　3^(2k)+1＝2(2j+1)
　　と書ける。
　　kのところにk+1を代入すると、
　　　　3^(2(k+1))+1
　　　　＝9×3^(2k)+1
　　　　＝9(3^(2k)+1)-8
　　　　＝9×2(2j+1)-8
　　　　＝2(2(9j+2)+1)
　　となって、k+1のときにも成立する。
　　したがって、kが0以上のすべての整数のとき、jを整数として、
　　　　3^(2k)+1＝2(2j+1)
　　と書くことができる。

●わりとてきとうな証明（その2）…「3^(2^k)-1＝2^(k+2)×(2h+1)」
　次の式を見てください。
　　3^2-1＝8＝8×1
　　3^4-1＝80＝16×5
　　3^8-1＝6560＝32×205
　　3^16-1＝43046720＝64×672605
　　　　：

　kが1以上の整数のとき「3^(2^k)-1＝2^(k+2)×奇数」と書けることを帰納法で証明します。
　　k＝1のとき、
　　　　3^(2^1)-1＝3^2-1＝8＝2^(1+2)×1
　　なので成立している。
　　kのとき成立していると仮定すると、hを整数として、
　　　　3^(2^k)-1＝2^(k+2)×(2h+1)
　　と書ける。
　　kのところにk+1を代入すると、
　　　　3^(2^(k+1))-1
　　　　＝(3^(2^k))^2-1
　　　　＝(3^(2^k)-1)×(3^(2^k)+1)
　　　　＝2^(k+2)×(2h+1)×2(2j+1)
　　　　＝2^((k+1)+2)×(2(2jh+j+h)+1)
　　となって、k+1のときにも成立する。
　　したがって、kが1以上のすべての整数のとき、hを整数として、
　　　　3^(2^k)-1＝2^(k+2)×(2h+1)
　　と書くことができる。

　この証明は、きのうの問題を解くときに使います。

●きのうの問題の答え
　Mad-Pさんのお答えが正解です。
　3^n+5が2^1000で割り切れるような最小の自然数nは、10進数で書くと301桁の数です。

n = 2_6577119241_6914279143_3244789222_4911436149_4312738595
     _8513862637_2126402928_9608709373_3720617238_4812088454
     _2292041439_9173958261_3467898227_3250448372_6342938016
     _4361797263_8554136462_4706148751_3712626641_9438637694
     _3755635666_1572379770_9471881689_2192168332_6589638786
     _4177046676_5730273339_9617602351_3822423645_6997043467

●きのうの問題を解くプログラム
　以下は、私が書いたプログラムの全ソースリスト（笑）です。

   10   input M
   20   N=1
   30   for K=4 to M
   40   if modpow(3,N,2^K)+5<>2^K then N+=2^(K-3)
   50   next
   60   print N

　使用言語はUBASIC。こういう問題を解かせると絶大な威力を発揮するインタプリタ型の言語です。
　3のべき乗を毎回計算しているなど非常に無駄の多いプログラムですが、M=1000のときの所要時間はPentiumIII(700MHz)＋Windows98SE＋DOS窓の環境で12秒ちょっとでした。if文の条件式から3のべき乗を排除するだけでももっと速くできます。

　上記のプログラムで最小解が求まることを証明できますが、答えを一発で出す方法は今のところ思いつきません。エレガントな解法を見つけたかたは是非ご連絡を。

●M.Suzukiさんのページ
　Yahoo!JAPAN利用規約の第7項の影響で、M.Suzukiさんのページは移転先が決まるまで一時的に閉鎖されることになりました。STUDIO KAMADAのリンク集からリンクさせていただいているページの中では、morさんに続いて2例目となります。都合のいい解釈ではなく、規約そのものを修正しなければ、Yahoo!JAPANは自らの首を締め続けることになるのではないでしょうか。

●『残された人びと』
　『残された人びと』について。この本は、コナンやラナたちが持っている“文明の利器よりも大切なもの”を描いた物語です。「ダイスが持ち込んだ文明の利器をラナが羨ましがるステッキーな物語」という説明は誤解を招くのではないでしょうか。以前、「宮崎駿監督と『未来少年コナン』のファンならば必読の1冊だと思います」と書きましたが、『未来少年コナン』の原作としてだけでなく私が子供の頃に影響を受けた1つの大切な物語としてもお勧めしたい1冊です。アニメでは大幅に脚色されていたので、先入観を捨てて読んだほうがよいかも知れません。
　私は『残された人びと』を最初に読んだとき難しくてよくわからず、毎晩読み返していました。読んだ回数は数え切れません。中学生の頃に英語の原文を読みたくなって岩崎書店の人にお世話になったり（当時既に絶版だったので原本は入手できませんでした）、後にX68000のED.Xで1冊丸ごと打ち込んだりしました。そのくらい思い入れのある本です。

●何を議論してんだか…
　「発射後に人などが誘導するミサイルの場合、発射行為そのものは戦闘行為ではない」（by 防衛庁長官）。日本の政治家さんの最近のお仕事は、もっぱら法の抜け道を探すこと。

▲

2001年10月17日 (水)

●『残された人びと』
　『残された人びと』について。「あの本を＜『未来少年コナン』の原作だから＞、という理由で読もうという方にはお勧めしない」とのこと。それはその通りなのですが、そもそも何か理由があって文学作品を読むということ自体が間違っているような気がします。ある作品を初めて読むときに必要なことは、その作品を読む理由ではなくて、その作品に興味を持つことになるきっかけだけではないでしょうか。何か理由があるから読むのではなく、何かきっかけがあって読みたくなったから読むのだと思います。私は、『残された人びと』という作品に興味を持つことになるきっかけが「『未来少年コナン』の原作だから」であっても構わないと思います。
　映像になった作品が原作と大きく異なることはよくあることですし、特にこの物語は一般の児童文学作品ですからアニメの設定資料などとは違います。「これはあのアニメの原作だ」と構えて読むのではなく、ひとつの作品として自然体で読むとよいと思います。好き嫌いは人それぞれですから、この本を読んでみて好きになれない人もいるかも知れません。ただ、不幸にも「原作だと聞いたから読んだのに期待と違っていた」などという見当違いな感想を抱いてしまった人は、アニメのほうを忘れてしまうくらい、何度も読み返してみてください。

●漢字の間違い
　誤変換でありがちな書き方
　　　　×内臓ハードディスク → ○内蔵ハードディスク
　　　　　　ときどき掲示板などで間違えている人がいるが、気持ち悪いから気をつけてほしい。

　間違えやすい読み方
　　　　茨城 … ×いばらぎ → ○いばらき
　　　　　　茨城弁では濁音（≠鼻濁音）に変化して「いばらぎ」になるそうです。

　間違えると恥ずかしい読み方
　　　　萌芽 … ×もえめ → ○ほうが
　　　　　　間違えないだろ、普通。（←間違えたことがあるらしい）

●WinX68k高速版v0.30
　tamuさんによるWinX68k高速版v0.30が公開されました。

●おとといの問題
　かいざーさんも挑戦されたとのこと。ありがとうございます。私も錆びついた頭の回転をよくするべくときどき問題を考えたりしていますので、嘆かずこれからも私の日記にお付き合いください。
　「3^n+5＝2^m×奇数」と書いたときのnとmの関係は頭で考えただけではわかりにくいので、こういうときはとりあえず電卓を片手に大きな表を作って、nに応じてmがどのように変化するかを見るのがよいと思います。表を作ると周期性などの性質が見えてきます。最小の解を求める手順は帰納法で証明できます。プログラムを書く前に「3^n+5が2^mで割り切れる」を「3^n+5が2^mを法として0と合同（3^n+5≡0 (mod 2^m)）」と解釈できれば速く計算できるのですが、合同式を学校で習わなかった人も多いかも知れません。

●ウケた
　cdbiff: メールの到着を CD-ROMドライブがお知らせ（by 高林哲さん）。面白すぎ。
　　cdbiff

▲

2001年10月18日 (木)

●著作者人格権とYahoo!JAPANの利用規約とフリーソフトウェアについて
　以下は私の見解です。まとまりのない文章になってしまって申し訳ないです。私は法律の専門家ではないので間違っているところがあるかも知れません。間違いのご指摘は私に直接かつ穏便にお願いいたします。

・著作者人格権について
　日本の現行の著作権法では、著作者人格権（著作権法第17～20条）には公表権、氏名表示権、同一性保持権の3つが含まれています。とても大雑把に言えば、作者は、未発表の作品を公表する権利、作品に作者の氏名を表示する（または表示しない）権利、作品を改変されない権利を持っているというものです。著作者人格権の一身専属性（著作権法第59条）により、著作者人格権は他人に譲渡することができません。他人の未発表の作品を勝手に公開したり、他人の作品から勝手に作者の氏名の表記を削ったり（または書き加えたり）、あるいは他人の作品を勝手に改変することはできません。

・Yahoo!JAPANの利用規約について
　Yahoo!JAPANサービス利用規約の第7項にはユーザがアップロードしたコンテンツについて「ユーザーは著作者人格権を行使しないものとします」と書かれており、ユーザの著作権の一部を剥奪する内容になっています。ユーザが著作者人格権を行使できないということは、例えばYahoo!ジオシティーズでユーザが発表したコンテンツをユーザの望まない形にYahoo!JAPANが改変して公表したとしてもユーザは文句を言えないということになると思います。
　「Yahoo!ジオシティーズに関する著作権の取り扱いについての考え方」のA8に「（Yahoo!JAPANが）内容を改変することはない」と書かれていますが、それならば規約のほうに「ユーザは同一性保持権を行使してよい」と（あるいは行使できる範囲を）明記するべきではないでしょうか。以前にも書きましたが、「考え方」が「規約」を制限できるはずがありませんから、「考え方」のほうを鵜呑みにしてよいものかどうか疑問です。

・フリーソフトウェアについて
　フリーソフトウェアという言葉の定義はGNUのものが一般的ですが、必ずしも一意に定められていると認められているものではないと思います。しかし、少なくとも（使用と）コピーと配布が自由であるという意味は含まれているでしょう。したがって、フリーソフトウェアとは少なくとも複製権や公衆送信権などを作者が独占しないことを宣言しているソフトウェアであると解釈してよいと思います。複製権や公衆送信権は著作権の一部ですが著作者人格権には含まれていないので、作者が著作者人格権を行使できない環境（Yahoo!ジオシティーズなど）でも作者は自分が作ったフリーソフトウェアを自由に配布することができるはずです。
　改変も自由であると宣言されているフリーソフトウェアについては、そのソフトウェアの内容（ソフトウェアの本体に限らず、添付ドキュメント一式も含む）の中で作者が許諾した部分について、作者が同一性保持権を行使しないことを宣言しているソフトウェアであると解釈してよいと思います（なお、同一性保持権と氏名表示権は別の権利ですから、「改変自由」というだけで他人が勝手に作者の名前を削ることはできないと思います）。
　フリーソフトウェアがGPLのような改変や削除ができないライセンス文書を含む場合は、作者はその文書について（いざというときに）同一性保持権を行使しなければなりません。したがって、作者が著作者人格権を行使できない環境にGPLのような改変や削除ができないライセンス文書含むフリーソフトウェアを持ち込むことはできないと考えざるをえません。GPLのライセンス文書に限らず、改変や削除を作者が許諾していない部分が少しでも含まれているフリーソフトウェアについて同じことが言えると思います。
　「著作権は放棄しません」と書かれているフリーソフトウェアは、たとえ改変が自由であっても氏名表示権が残っていると考えられますから、作者が著作者人格権を行使できない環境には持ち込むべきでないと思います。改変が自由でないものは作者が同一性保持権を主張しているということになるので当然不可です。
　「これはフリーソフトウェアです」と表記すること自体が著作者人格権を行使する行為かどうかは微妙だと思います。

●フリーソフトウェアについて
　これは読むべし
　　　　米田聡さん　「フリーソフトウェア作家の気持ち？」

　こっちは読まなくていい
　　　　社団法人　著作権情報センター　「フリーウェアは著作権を放棄したものと考えてよいのでしょうか」
　　　　（注意：フリーソフトウェアの作者の気持ちを理解せず、著しい偏見を流布し続けている）

●RELICS
　Bothtecの「RELICS」。X68000版もあります。
　　R E L I C S

●ちっちゃな雪使いシュガー
　ちっちゃな雪使いシュガーのページが更新されました。サブタイトル一覧とか、コゲどんぼ先生からのメッセージとか、いろいろ。

●『牧場の少女カトリ』
　『牧場の少女カトリ』（アウニ・エリザベト・ヌオリワーラ著、森本ヤス子訳）
　私はよく覚えていないのですが、「世界名作劇場」で1984年の1月から12月まで放映されていた同名のアニメの原作なのだそうです。

▲

2001年10月19日 (金)

●3^n+5が2^1000で割り切れるような最小の自然数nを求める方法の大雑把な証明

　15日の問題を解くためのプログラムで3^n+5が2^1000で割り切れる最小の自然数nが求まることを大雑把に証明します。わかればよいという程度に書きますので、証明問題の解答の書き方の手本にはしないほうがよいと思います。

　変数はすべて整数とします。「2k」は偶数、「2k+1」は奇数です。

　「3^n+5＝2^m×奇数」のnとmの関係を知るために表を作ってみます。
　　3^0+5＝6＝2^1×3
　　3^1+5＝8＝2^3×1
　　3^2+5＝14＝2^1×7
　　3^3+5＝32＝2^5×1
　　3^4+5＝86＝2^1×43
　　3^5+5＝248＝2^3×31
　　3^6+5＝734＝2^1×367
　　　　：

　nが偶数のときmはすべて1になっているように見えます。最初にこれを証明して、nが偶数の場合を排除します。

　　「3^(2k)+1＝2(2j+1)（k≧0）」は証明済みなので、
　　　　3^(2k)+1＝2(2j+1)
　　　　3^(2k)+5＝2(2j+1)+4
　　　　3^(2k)+5＝2(2(j+1)+1)
　　したがって、kが0以上のすべての整数のとき、gを整数として、
　　　　3^(2k)+5＝2^1×(2g+1)
　　と書くことができる。

　nが奇数の場合の表を作ってみます。
　　3^1+5＝8＝2^3×1
　　3^3+5＝32＝2^5×1
　　3^5+5＝248＝2^3×31
　　3^7+5＝2192＝2^4×137
　　3^9+5＝19688＝2^3×2461
　　3^11+5＝177152＝2^10×173
　　3^13+5＝1594328＝2^3×199291
　　3^15+5＝14348912＝2^4×896807
　　3^17+5＝129140168＝2^3×16142521
　　3^19+5＝1162261472＝2^5×36320671
　　3^21+5＝10460353208＝2^3×1307544151
　　3^23+5＝94143178832＝2^4×5883948677
　　3^25+5＝847288609448＝2^3×105911076181
　　3^27+5＝7625597484992＝2^6×119149960703
　　　　：

　ちょっとわかりにくいかも知れませんが、mが3,4,5の場合に注目してみてください。

　　3^1+5＝8＝2^3×1
　　3^5+5＝248＝2^3×31
　　3^9+5＝19688＝2^3×2461
　　3^13+5＝1594328＝2^3×199291
　　　　：

　　3^7+5＝2192＝2^4×137
　　3^15+5＝14348912＝2^4×896807
　　3^23+5＝94143178832＝2^4×5883948677
　　　　：

　　3^3+5＝32＝2^5×1
　　3^19+5＝1162261472＝2^5×36320671
　　　　：

　mが3,4,5…と増えてゆくにつれて、mがその値になるnの間隔が4,8,16…と増えているように見えます。そこで、「3^n+5＝2^m×奇数（m≧3）」ならば「3^(n+2^(m-1)×k)+5＝2^m×奇数（k≧0）」となることを帰納法で証明します。

　　k＝0のとき、
　　　　3^(n+2^(m-1)×0)+5＝3^n+5＝2^m×奇数
　　なので成立している。
　　kのとき成立していると仮定すると、jを整数として、
　　　　3^(n+2^(m-1)×k)+5＝2^m×(2j+1)
　　と書ける。
　　kのところにk+1を代入すると、
　　　　3^(n+2^(m-1)×(k+1))+5
　　　　＝3^(n+2^(m-1)×k+2^(m-1))+5
　　　　＝3^(n+2^(m-1)×k)×3^(2^(m-1))+5
　　　　＝(3^(n+2^(m-1)×k)+5)×3^(2^(m-1))-5×3^(2^(m-1))+5
　　　　＝(2^m×(2j+1))×3^(2^(m-1))-5(3^(2^(m-1))-1)
　　ここでm-1≧1であり、「3^(2^k)-1＝2^(k+2)×(2h+1)（k≧1）」は証明済みなので、
　　　　＝(2^m×(2j+1))×3^(2^(m-1))-5(2^(m+1)×(2h+1))
　　　　＝2^m×(2j+1)×3^(2^(m-1))-5×2^(m+1)×(2h+1)
　　　　＝2^m×((2j+1)×3^(2^(m-1))-5×2(2h+1))
　　(2j+1)×3^(2^(m-1))は奇数×奇数なので奇数、5×2(2h+1)は奇数×偶数×奇数なので偶数、奇数-偶数は奇数なので、
　　　　＝2^m×奇数
　　となって、k+1のときにも成立する。
　　したがって、kが0以上のすべての整数のとき、jを整数として、
　　　　3^(n+2^(m-1)×k)+5＝2^m×(2j+1)
　　と書くことができる。

　最後に、「3^n+5＝2^m×奇数（m≧3）」のとき「3^(n+2^(m-2))+5＝2^(m+p)×奇数」「3^(n+2^(m-2)+2^(m-1))+5＝2^(m+q)×奇数」とすると「(p＝1かつq＞1)または(p＞1かつq＝1)」となることを証明します。

　　仮定より、
　　　　3^n+5＝2^m×(2j+1)
　　と書ける。
　　最初にp≧1を証明する。
　　　　3^(n+2^(m-2))+5
　　　　＝3^n×3^(2^(m-2))+5
　　　　＝(3^n+5)×3^(2^(m-2))-5×3^(2^(m-2))+5
　　　　＝(2^m×(2j+1))×3^(2^(m-2))-5(3^(2^(m-2))-1)
　　ここでm-2≧1であり、「3^(2^k)-1＝2^(k+2)×(2h+1)（k≧1）」は証明済みなので、
　　　　＝(2^m×(2j+1))×3^(2^(m-2))-5(2^m×(2h+1))
　　　　＝2^m×(2j+1)×3^(2^(m-2))-5×2^m×(2h+1)
　　　　＝2^m×((2j+1)×3^(2^(m-2))-5(2h+1))
　　(2j+1)×3^(2^(m-2))は奇数×奇数なので奇数、5(2h+1)は奇数×奇数なので奇数、奇数-奇数は偶数なので、(2j+1)×3^(2^(m-2))-5(2h+1)＝2gとおいて、
　　　　＝2^m×(2g)
　　　　＝2^(m+1)×g
　　となる。これでp≧1が証明された。
　　次にq≧1を証明する。
　　　　3^(n+2^(m-2)+2^(m-1))+5
　　　　＝3^(n+2^(m-2))×3^(2^(m-1))+5
　　　　＝(3^(n+2^(m-2))+5)×3^(2^(m-1))-5×3^(2^(m-1))+5
　　　　＝(2^(m+1)×g)×3^(2^(m-1))-5(3^(2^(m-1))-1)
　　ここでm-1≧1であり、「3^(2^k)-1＝2^(k+2)×(2h+1)（k≧1）」は証明済みなので、
　　　　＝(2^(m+1)×g)×3^(2^(m-1))-5(2^(m+1)×(2h'+1))
　　　　＝2^(m+1)×g×3^(2^(m-1))-5×2^(m+1)×(2h'+1)
　　　　＝2^(m+1)×(g×3^(2^(m-1))-5(2h'+1))
　　となる。これでq≧1も証明された。
　　さらに、
　　　　g'＝g×3^(2^(m-1))-5(2h'+1)
　　とおくと、
　　　　gが偶数（p＞1）のとき、偶数×奇数-奇数×奇数は奇数なので、g'は奇数（q＝1）
　　　　gが奇数（p＝1）のとき、奇数×奇数-奇数×奇数は偶数なので、g'は偶数（q＞1）
　　以上より、(p＝1かつq＞1)または(p＞1かつq＝1)。

　m≧3のすべてのmについて「3^n+5＝2^m×奇数」となるnが必ず存在することを帰納法で証明します。

　　m＝3のとき、
　　　　3^1+5＝8＝2^3×1
　　なのでnが存在する。
　　mのとき成立していると仮定すると、
　　　　「3^n+5＝2^m×奇数」
　　と書ける。
　　「3^n+5＝2^m×奇数（m≧3）」のとき「3^(n+2^(m-2))+5＝2^(m+p)×奇数」「3^(n+2^(m-2)+2^(m-1))+5＝2^(m+q)×奇数」とするとpまたはqのどちらか一方が1であることは証明済みなので、m+1のときにもnが存在する。
　　したがって、m≧3のすべてのmについて、
　　　　「3^n+5＝2^m×奇数」
　　となるnが存在する

　m≧3のすべてのmについて「3^n+5＝2^m×奇数（m≧3）」となる2^(m-1)間隔のnの系列がただ1つだけ存在することを背理法で証明します。

　　先に「3^n+5＝2^m×奇数（m≧3）」となるnは2^(m-1)間隔で出現することを証明したので、それぞれの系列に含まれるnの集合は1以上の奇数全体の集合の1/2^(m-2)を占める。m≧3のすべてのmについて「3^n+5＝2^m×奇数」となるnが必ず存在するので、mごとのnの系列が1以上の奇数全体の集合に占める割合を合計すると、
　　　　lim 1/2+1/4+1/8+1/16+…+1/2^(k-2)+…＝1
　　　　k→∞
　　となる。これは、m≧3のすべてのmについて「3^n+5＝2^m×奇数（m≧3）」となる2^(m-1)間隔のnの系列が1つずつあるだけで奇数全体の集合を埋め尽くすことを意味している。
　　2^(m-1)間隔のnの系列が2つあるようなmが1つでも存在すると仮定すると、
　　　　(lim 1/2+1/4+1/8+1/16+…+1/2^(k-2)+…)+1/2^(m-2)＝1+1/2^(m-2)＞1
　　　　k→∞
　　となってしまい、奇数全体の集合に入りきらない。
　　したがって、m≧3のすべてのmについて「3^n+5＝2^m×奇数（m≧3）」となる2^(m-1)間隔のnの系列はただ1つだけ存在する。

　あるmについて2^(m-1)間隔のnの系列が1つしかないということは、1≦n≦2^(m-1)-1の範囲に「3^n+5＝2^m×奇数」となるnは（多くても）ただ1つだけしか存在しないことを意味しています。

　16日のプログラムは、pまたはqの大きいほう（p≧2またはq≧2）を選び、対応するn+2^(m-2)またはn+2^(m-2)+2^(m-1)を次のnとすることで、3^n+5が2^k（k＝m+pまたはk＝m+q）で割り切れるnを次々と求めてゆきます。このとき、nは1≦n≦2^(k-1)-1の範囲を越えないので、3^n+5が2^kで割り切れる最小のnを辿ることになります。k=1000まで計算すれば、3^n+5が2^1000で割り切れる最小の自然数nが求まるというわけです。なお、k=1000のときは無条件にpのほうを選択する必要があるので、ループ回数を1回減らしてあります。3^n+5はとてつもない大きさの数になってしまいますが、2^kで割り切れるかどうかを調べるだけなので2^kを法として計算しています。多倍長整数演算ルーチンを自前で用意する場合は、多倍長整数の内部表記を2進数にしておくと2^kを法とする演算を効率よくおこなうことができます。

●Transitive社の「Dynamite」
　ZDNNより。Transitive Technologies社がx86チップ上で仮想的にPowerPCチップを実現するソフトウェアを18ヶ月以内に実現すると発表したそうです。しかも1.4GHzのAthlonチップ上におよそ1GHzのPowerPCチップを構築するのだとか。さらにフロントエンドとバックエンドをほとんどのCPUのアーキテクチャに対応させるのだそうです。性能（速度）には自信があるようですが、互換性の問題をどこまでクリアできるのか気になります。CPUのアーキテクチャだけ別のCPUのものに入れ替えてできるものは、多くの場合、CPUとその周辺の組み合わせが現実に存在しないマシンであるはずです。専用にカスタマイズされたOSを用意するか、CPU以外の部分も偽装しなければ、十分な互換性を得ることはできないように思えます。それとも何か巧妙なトリックを思いついたのでしょうか。

●X68000ソフトウェアライブラリ新着情報
　X68000ソフトウェアライブラリに以下のソフトウェアを収録しました。
[126] mv.x 1.7 … ファイルやディレクトリを移動（パス名を変更）する
[127] passwd.x 0.3 … パスワードの変更
[128] paste.x 1.0 … ファイルを行単位で並列に連結して出力する
[129] rev.x / revr 1.0 … 行を反転する／行を反転し、括弧や罫線などを補正する
[130] rm.x 1.4 … ファイルやディレクトリを削除する
[131] rmdir.x 1.4 … ディレクトリを削除する
[132] split.x 1.1 … ファイルを分割する
[133] strings.x 1.2 … ファイルから文字列を抽出する
[134] strip.x 1.3 … Xファイルから付加情報を取り除く
[135] tail.x 1.3 … ファイルの末尾部分を出力する
[136] tee.x 1.0 … パイプのT字形ジョイント
[137] touch.x 1.5 … ファイルやディレクトリのタイムスタンプを変更する
[138] tr.x 1.2 … 文字を変換する
[139] unexpand.x 1.0 … スペースの連続を水平タブに置き換える
[140] uniq.x 1.0 … 反復している行を抽出する
[141] wc.x 1.1 … ファイルの行数、単語数、文字数を表示する

▲

2001年10月20日 (土)

●10月20日
　最近話題になっていた声優の富沢美智恵さんの誕生日。dreamとZ-1とモーニング娘。にもきょうが誕生日のメンバーがいますね。

●X68000ソフトウェアライブラリ新着情報
　X68000ソフトウェアライブラリに収録した以下のソフトウェアのバージョンが古かったので更新しました。
(2001-10-20) cut.x 1.0 → 1.1
(2001-10-20) mv.x 1.7 → 1.9
(2001-10-20) tail.x 1.3 → 1.4

▲

2001年10月21日 (日)

●『となりのトトロ』
　昨夜、アニメ映画『となりのトトロ』を初めてDVDで観ました。昔はVHSテープで画質がかなり劣化するまで何度も観たものです。久しぶりに観たら、背景画が子供の頃に実際に見た風景に本当によく似ていることを強烈に感じました。地元なので映画に出てきた景色に近い様子の場所は実際に多々見てきたのですが、今では地元でも少なくなってしまった景色ばかりです。『となりのトトロ』には好きな場面がたくさん出てくるのですが、中でも、迷子になったメイをトトロに探してもらうことをサツキが決意する場面（サツキが振り返って、立ち上がって、走り出すところ）が昔からとても印象に残っています。バス停ではしゃぐトトロや猫バスを見送るトトロもいいですね。

●はうぅ
　なんだか体調が悪いです。計ってみたけど熱はないみたい。
　@niftyのメールサーバの調子が悪いらしく、昼間からメールの着信監視が頻繁にエラーになってしまいます。

▲

2001年10月22日 (月)

●数列の一般項？
数列の一般項の式

　　F(N)=((1+SQRT(5))^N-(1-SQRT(5))^N)/(2^N*SQRT(5))
　　X(N)=((17+12*SQRT(2))^N+(17-12*SQRT(2))^N-2)/32

　　F(N)とX(N)はそれぞれどのような数列でしょうか。

●xyzzy version 0.2.2.214
　xyzzy version 0.2.2.214が公開されました。

●15日の問題の補足（Mad-Pさんの予想Cの証明）
　15日の問題について、Mad-Pさんも証明を書いてくださいました。その最後の予想C「k≧3かつ1≦j＜2**(k-2)ならばnot 3**j ≡ 1 (modulo 2**k)」の証明を（例によって大雑把に）書きます。

　予想Cの証明を書く前に、その直前の式変形が気になったので補足しておきます。
　　　　>　　3**n ≡ -5 (modulo 2**k)
　　　　>　　3**m ≡ -5 (modulo 2**k)
　　　　>各辺はどれも0ではないので辺々割って、
　　　　>　　3**(m-n) ≡ 1 (modulo 2**k)
この式変形は要注意です。「各辺はどれも0ではない」というだけで割ると、合同式が成立しなくなることがあります。例えば、
　　　　9≡15 (mod 6)
　　　　3≡3 (mod 6)
　　　　各辺はどれも0ではないので辺々割って、
　　　　3≡5 (mod 6)
というわけにはいきません。

　さて、予想C「k≧3かつ1≦j＜2**(k-2)ならばnot 3**j ≡ 1 (modulo 2**k)」を証明するためには、「3^奇数-1＝2×奇数」と「3^(2^k×奇数)-1＝2^(k+2)×奇数（k≧1）」の2つを証明すれば十分です。

　「3^奇数-1＝2×奇数」の証明。
　　kが0以上のすべての整数のとき、jを整数として「3^(2k+1)-1＝2(2j+1)」と書けることを帰納法で証明します。
　　k＝0のとき、
　　　　3^(2×0+1)-1＝2＝2×(2×0+1)
　　なので成立している。
　　kのとき成立していると仮定すると、jを整数として、
　　　　3^(2k+1)-1＝2(2j+1)
　　と書ける。
　　kのところにk+1を代入すると、
　　　　3^(2(k+1)+1)-1
　　　　＝9×3^(2k+1)-1
　　　　＝9(3^(2k+1)-1)+9-1
　　　　＝9×2(2j+1)+8
　　　　＝2(2(9j+6)+1)
　　となって、k+1のときにも成立する。
　　したがって、kが0以上のすべての整数のとき、jを整数として、
　　　　3^(2k+1)-1＝2(2j+1)
　　と書くことができる。

　「3^(2^k×奇数)-1＝2^(k+2)×奇数（k≧1）」の証明。
　　kが1以上のすべての整数、jが0以上のすべての整数のとき、hを整数として「3^(2^k×(2j+1))-1＝2^(k+2)×(2h+1)」と書けることを帰納法で証明します。
　　k＝1のとき、
　　　　jが0以上のすべての整数のとき、hを整数として「3^(2(2j+1))-1＝8(2h+1)」と書けることを帰納法で証明します。
　　　　j＝0のとき、
　　　　　　3^(2(2×0+1))-1＝3^2-1＝8＝8(2×0+1)
　　　　なので成立している。
　　　　jのとき成立していると仮定すると、hを整数として、
　　　　　　3^(2(2j+1))-1＝8(2h+1)
　　　　と書ける。
　　　　jのところにj+1を代入すると、
　　　　　　3^(2(2(j+1)+1))-1
　　　　　　＝81×3^(2(2j+1))-1
　　　　　　＝81×(3^(2(2j+1))-1)+81-1
　　　　　　＝81×8(2h+1)+80
　　　　　　＝8(81(2h+1)+10)
　　　　　　＝8(2(81h+45)+1)
　　　　となって、j+1のときにも成立する。
　　　　したがって、jが0以上のすべての整数のとき、hを整数として、
　　　　　　3^(2(2j+1))-1＝8(2h+1)
　　　　と書くことができる。
　　以上によりk＝1のとき成立している。
　　kのとき成立していると仮定すると、jを0以上のすべての整数、hを整数として、
　　　　3^(2^k×(2j+1))-1＝2^(k+2)×(2h+1)
　　と書ける。
　　kのところにk+1を代入すると、
　　　　3^(2^(k+1)×(2j+1))-1
　　　　＝(3^(2^k×(2j+1)))^2-1
　　　　＝(3^(2^k×(2j+1))-1)×(3^(2^k×(2j+1))+1)
　　　　＝2^(k+2)×(2h+1)×(3^(2^k×(2j+1))+1)
　　ここでk≧1であり、「3^(2k)+1＝2×奇数（k≧0）」と書けることは証明済みなので、
　　　　＝2^(k+2)×(2h+1)×2(2g+1)
　　　　＝2^((k+1)+2)×(2(2hg+h+g)+1)
　　となって、k+1のときにも成立する。
　　したがって、kが1以上のすべての整数、jが0以上のすべての整数のとき、hを整数として、
　　　　3^(2^k×(2j+1))-1＝2^(k+2)×(2h+1)
　　と書くことができる。

　以上で「3^奇数-1＝2×奇数」と「3^(2^k×奇数)-1＝2^(k+2)×奇数（k≧1）」が証明されました。k≧3かつ1≦j＜2^(k-2)ならば、jは2^(k-2)で割りきれないので、3^j-1は2^kで割りきれません。したがって、予想Cも証明されました。

▲

2001年10月23日 (火)

●X68000エミュレータ XM6 version 0.41
　PI.さんによるWindows用のX68000エミュレータXM6のversion 0.41が公開されました。

●FMW所属のハヤブサ選手が重傷
　プロレス中継はほとんど見ないのですが、ハヤブサ選手は知っていたので、外傷性頚椎損傷で重傷というニュースは気になりました。回復されることを期待したいです。

●オンライン辞書
　世界中の言語のオンライン辞書を集めたリンク集
　　　　yourDictionary.com - Language Dictionaries（英文）
　KlingonとかRomulanとかVulcanまで入っていたりするところがなんとも。

●「ポンキッキ」の語源
　『「ポンキ」はサンスクリット語（梵語）でゴマ（胡麻）を意味し、「ッキ」は強調で、「ひらけポンキッキ」は「ひらけゴマ」だ』というもっともらしい説が流れているようです。しかし、梵英辞典によると、ゴマ（Sesamum indicum）はサンスクリット語で「tila」です。「ポンキ」とは読めないと思うのですが…。

●合同式
　そうそう、そんな感じでした。昔、教科書に「合同式の四則」と書いてあるページがあったのですが、そのページには加減乗算の3つしか書かれておらず、「これじゃ三則じゃないかー！」とツッコミをいれたものです。（笑）

●数列の問題
　きのうの数列の問題ですが、Mad-Pさん、はぐれこかとりすさんとも、Fnのほうは簡単過ぎましたね。
　X-BASICにはべき乗の演算子がありません。その代わり、pow()関数が使えます。ZooMarkさんのページにX-BASICのマニュアルがあるので、使い方などを確認してみてください。
　なお、この問題のような式を計算するときは、あらかじめ二項定理で展開して根号が付いている部分を分離したほうが正確に計算できます。

●わっほー
　きょうは火曜日だからわっほーの日。わっほーから最近ニュースになっているものを連想してしまい、ちょっぴりユーウツ。

●アニマージュ
　アニメヒーリングシリーズ animage[アニマージュ] ～NEW ANIMATION SONGS～。なんというか、ごちゃまぜですなぁ。曲名を見ただけで思い出せる曲は半分くらいかな。

▲

2001年10月24日 (水)

●動物声優？
　みかぜさん、安心してください。『ちっちゃな雪使いシュガー』で立木文彦さんにはちゃんと重要な役どころがあって、本格的に出てくるのは来週からです。それにしても、“鳴き声だけで立木文彦さんとわかるカラス”は、ある意味すごく新鮮でした。

●「○○ミン」
　「カスミン」と「ピクミン」が一瞬ごっちゃになってしまいました。ぜんぜん違うんですけど。
　そういえば、「テルミン」という電子楽器がありますね。アンテナがついていて、手を近づけるとフヨフヨいうの。

●『アリーテ姫』の上映スケジュール
　『アリーテ姫』の上映スケジュール。
　　高崎シティギャラリー … 11/10(土)
　　名古屋ピカデリー3 … 12/15(土)～12/28(金)
　　札幌シアターキノ … 12/22(土)～1/4(金)
　　大分シネフォーラム … 12/22(土)～1/11(金)

●コメットさん☆
　コメットさん☆日記、更新。

●2001マーズ・オデッセイ
　日本時間のきょうの午前11時26分、NASAの火星探査機「2001 Mars Odyssey（英文）」はメインエンジンに点火し、火星周回軌道に乗ることに成功したそうです（アストロアーツ）。

●X68000ソフトウェアライブラリ新着情報
　X68000ソフトウェアライブラリに以下のソフトウェアを収録しました。
[142] 超連射68K Ver1.01 … 縦スクロールシューティングゲーム

▲

2001年10月25日 (木)

●数列の問題のFnの答え
　22日の数列の問題のFnの答えは「フィボナッチ数列」です。漸化式で書くと次のようになります。
　　　　F(0)＝0　　F(1)＝1　　F(n+2)＝F(n+1)＋F(n)　（n≧0）

　フィボナッチ数列の一般項は次のようにして求めます。

　　まず最初に、次の等式を満たす定数P,Qを1組用意します。
　　　　F(n+2)－P×F(n+1)＝Q×(F(n+1)－P×F(n))
　　　　　　式を整理すると、
　　　　　　　　F(n+2)＝(P＋Q)×F(n+1)－P×Q×F(n)
　　　　　　ですから、
　　　　　　　　P＋Q＝1　　P×Q＝－1
　　　　　　となります。
　　　　　　Q＝1－Pを使ってP×Q＝－1からQを除去すると、Pに関する二次方程式ができます。
　　　　　　　　P^2－P－1＝0
　　　　　　これを解いてP,Qを1組決定します。
　　　　　　　　P＝(1＋√5)／2
　　　　　　　　Q＝(1－√5)／2
　　F(n+1)－P×F(n)は初項がF(1)－P×F(0)＝1で公比がQの等比数列になっているので、
　　　　F(n+1)－P×F(n)＝Q^n
　　となります。
　　ここでPとQは条件がまったく同じなので、入れ換えても等式が成立します。
　　　　F(n+1)－Q×F(n)＝P^n
　　辺々引くと、
　　　　(P－Q)×F(n)＝P^n－Q^n
　　すなわち、
　　　　F(n)＝(P^n－Q^n)／(P－Q)
　　先に求めた定数をP,Qに代入すると、
　　　　F(n)＝((1＋√5)^n－(1－√5)^n)／(2^n×√5)

　これで、問題の数式の一般項のFnのほうはフィボナッチ数列であることが証明できました。

●数列の問題のXnのヒント
　22日の数列の問題のXnのほうは難しすぎたかも知れません。ですので、答えのヒントを出します。

　　　　Xnは「□□□かつ△△△である整数からなる数列」です。

　数列の最初のほうを計算すると、以下のようになります。

　　　　X(1)＝1
　　　　X(2)＝36
　　　　X(3)＝1225
　　　　X(4)＝41616
　　　　X(5)＝1413721
　　　　X(6)＝48024900
　　　　X(7)＝1631432881
　　　　X(8)＝55420693056
　　　　X(9)＝1882672131025
　　　　X(10)＝63955431761796
　　　　　：

　この数列から「□□□かつ△△△」という2つの条件を探してください。「□□□」と「△△△」に入る言葉または説明がわかれば正解とします。腕に覚えのある方は一般項の式の証明に挑戦してみてください。

　私が知る限りでは、Xnには「フィボナッチ数列」のような特別な名前は付けられていないようです。「X」の文字は「謎の数列」という意味で私が選びました。

●ミニモニ。映画情報
　12月15日公開の『劇場版とっとこハム太郎　ハムハムランド大冒険』にミニモニ。の4人が声優として出演する。演じるのはハムハムランドの超人気ユニット「ミニハムず」。4人の役名は、ぐっちゃん、ミリカちゃん、のんのちゃん、あい～んちゃん。どれが誰の役かは役名からわかるとおり。いずれも身長6.8センチ（以上、きょうの『おはスタ』より）。なお、ミニモニ。は『おはスタ』内で放映されているアニメ『ミニモニ。やるのだぴょん』でそれぞれ本人のキャラクターに声をあてている。

●数列の問題
　Mad-Pさんの解答。
　フィボナッチ数列についてはMad-Pさんが過去の日記で解説済みでした。そちらも参照されたし。
　Xnのほうは……もうひと押し！

●ふじてれびぃ
　月曜日に移ったはずのスタートレックDS9が、なぜか木曜日であるきょうの深夜に組まれていて、それがヤクルトの優勝決定にともなう野球中継の延長で休止になったらしい。ややこしいのぉ。

▲

2001年10月26日 (金)

●数列の問題のXnのヒントの補足

　　　　Xnは「“□□□かつ△△△である整数”からなる数列」です。

　「□□□」と「△△△」には整数の特徴や属性を示す言葉（偶数、奇数、素数、etc.）が入ります。

●おでかけ
　きょうはお仕事の打ち合わせでおでかけしていました。日中は上着を着ていると暑いくらいの日だまりもありましたが、やはり夕方になると気温がぐんぐん下がります。もうすぐ11月。秋も深まってきた感じです。

▲

2001年10月27日 (土)

●X68K用内蔵強化電源
　X68系同人サークルX-PowerStationの「Nereid」に続くプロジェクト第2弾が『X68K用内蔵強化電源』に正式決定したそうです。電源は本体の中では最初に壊れやすく素人は手を出しにくい（間違えて被害を拡大したくないと思う）箇所なので期待大です。まだ使いたいのに壊れてしまったという人も、近い将来に壊れてしまったときに備えたいという人も、要チェックです。

●ヤクルト・石井一久投手
　日本一になったヤクルトの石井一久投手が、来シーズンから大リーグへ移籍することを断念したとのこと。理由はやはりテロへの不安（asahi.com）。木佐彩子アナウンサー（フジテレビ）は8月から産休中。
　テレビ番組で石井一久投手を見かけると、いつもすずきさんを思い出してしまいます。なんとなく雰囲気が似ているような気がするの。

●カラオケ
　中村さんと寂丸さんとみかぜさんと4人でめっちゃ久しぶりのカラオケ。声がある程度出るようになるのに1時間以上かかったかも。声が出ても歌う曲はアニソンばかりでしかもへたっぴだけどね。4時間のつもりでいたら店の手違い（？）で3時間で追い出されてしまい、歌いたかった曲を歌いそびれてちょっと消化不良。でも楽しかったです。

●『アルプスの少女ハイジ』
　WOWOWが『アルプスの少女ハイジ』を放映するのだとか（MZ NEWS）。『アルプスの少女ハイジ』ならきのう地上波で見掛けたばかりなのにぃと思ったら、東京ローカルの東京MXテレビでした。
　で、ハイジが乗っているブランコはどこから下がっているの？　やっぱり静止軌道？

▲

2001年10月28日 (日)

●ThroughClock Ver1.70β2
　ハマたろうさん作のWindowsのデスクトップ用のアナログ時計ThroughClockのVer1.70β2が公開されました。タイマー機能が追加されたそうです。

●アクセス御礼
　この日記のカウンタが1年と2週間で10万ビジットを数えました。いつもたくさんのアクセスをありがとうございます。
　X68000 LIBRARYは10ヶ月弱で4万ビジットを越えました。予想していたよりもアクセスが多く、更新のペースを上げなければと思っています。X68000ソフトウェアライブラリの収録予定リストのほうもよろしくお願いいたします。

▲

2001年10月29日 (月)

●うーん
　金曜土曜と続けて出掛けて疲れたからか、きのうから体調が悪いの。ときどきあたまくらくら。風邪かなぁ。喉も痛いの……それはたくさん歌ったからか。

●『コメットさん☆』のDVD
　『コメットさん☆』のDVD BOX 1（第1話～第23話＋特典映像）は2002年2月21日発売だそうです（BRAINSTORMさん）。

●Googleの日本語対応
　画像検索のGoogle イメージ検索（BETA）が日本語の検索キーで検索できるようになりました（さらしるさん、impress INTERNET Watch）。
　　　　「マンデルブロ集合」を検索してみる
　　　　「ねるじぇら」を検索してみる

　ニュースグループ検索のGoogleグループ（BETA）も日本語の本文を文字化けせずに表示できるようになったようですね。
　　　　fj.sys.x68000

●はうっ
　土曜日のカラオケで歌われた曲のリスト（by 寂丸さん）。改めて見るとスゴイことになってますなぁ。

●ミルクバナナ粥？
　コメットさん☆日記（TOHO-AMUSEMENT-PARK）。

●xyzzy version 0.2.2.215
　xyzzy version 0.2.2.215が公開されました。

●X68000ソフトウェアライブラリ新着情報
　X68000ソフトウェアライブラリに以下のソフトウェアを収録しました。
[143] refreshg.x V1.25 … ディスク内のクラスタ配置を最適化する

　それから、直接要望があったわけではないのですが、収録予定リストに「てぺ」（T2PE）を入れておきました。

▲

2001年10月30日 (火)

●X68000ソフトウェアライブラリ新着情報
　X68000ソフトウェアライブラリに以下のソフトウェアを収録しました。
[144] oar.x 1.0.4 … hupair対応オブジェクトアーカイバ
[145] STF 2.03 … 高機能ファイラSuperTF

●§※？！∞☆
　「位相次元が3次元でハウスドルフ次元が4次元のフラクタル」を想像しようとして崩壊。

●SNK FOR EVER
　　　　SNK FOR EVER（非常に混雑している模様）

●大浦拓哉氏の円周率計算プログラムが更新されました
　大浦拓哉氏のページ「Ooura's Mathematical Software Packages」が更新されました。非常に速い円周率計算プログラム「FFT と AGM による円周率計算プログラム」も更新されています。

●『残された人びと』の復刊本が届きました
　アニメ『未来少年コナン』の原作『残された人びと』（『The Incredible Tide』の邦訳）が復刊ドットコムによって復刊され、きょう届きました。真新しいカバーに包まれているところがとても新鮮で、でも中を見ると懐かしくて、不思議な感じです。昔何十回も読みましたが、また読もうと思います。

●「Nereid」進捗状況
　X680x0用のLAN + MEMORY + USBボード「Nereid」のDRAM16版のパターンが完成したそうです（今ど～）。「余ったメモリの活用についても考慮しました」とのこと。どう活用するのか気になるにょ～。

●何に似てる？
　Sun Microsystemsのロボット軍団。（ZDNN）

▲

2001年10月31日 (水)

●そろそろ…
　数列の問題のXnのほうの答えを書こうかなぁ…なんて思っています。いい？

●ペイントされた飛行機
　JAL DREAM EXPRESS 21の6号機「ドリームストーリー号」の塗装の様子をきのうテレビで見ました。塗装が薄すぎると腐食してしまい厚すぎると機体が重くなってしまうので、飛行機の塗装は熟練者でなければできないそうです。納得。

●ペイントされたスーパーコンピュータ
　ちょっと古いけど、Super Computer Painting。ペイントといっても直接塗ったのではなくて絵を描いた紙を貼り付けたみたい。スーパーコンピュータはボディがでかいからラクガキしたくなるよねー。でも勝手にラクガキしちゃダメですよ。

●ペイントされたバス？
　Google イメージ検索で「ラッピングバス」を検索するといろいろ出てきますね。ラッピングバスは機械で印刷したシールを車体に貼り付けてあるだけなので、いわゆるアートトラック（トラックアート）などと違って直接塗ってあるわけではありません。

●火事に注意
　先週ちゃぷにさんの家のすぐ近くで火事があったとのこと。ちゃぷにさんの家まで被害が及ばなかったことは不幸中の幸い。これから火災が多くなる季節です。火の後始末をしっかりして火元にならないことはもちろん、近所で火災があったときにすぐに行動できるようにしておかなければと思います。消防車が到着するまで初期消火を手伝うか、あるいは手がつけられる状態でなければ逃げましょう。

●Netscape 6.2

　Netscape 6.2が公開されたのでインストールしてみました。右のイメージはNetscape 6.2でSTUDIO KAMADAのトップページの下のほうを表示したときのスクリーンショットの一部です。いつもこうなるわけではなくて、何度も再読み込みを繰り返しているとたまにこうなるらしいです。2つの画像を異なるサーバから読み込んでいるのでタイミングなどが関係しているのかも知れません。それにしても、イメージの位置だけでなく重なり方もおかしいような気が…。うちの環境だけかも知れませんけどね。

▲