クヌース

調和数Hnにまつわる数学パズルで傑作とされるのが、毛虫の問題がある。 ゴムの左端に毛虫がいて１ｍ先の右端を目指して、秒速１cmで移動を開始する。意地悪な悪魔がいて、１秒ごとにゴムひもを１ｍ伸ばすとする。毛虫Wは大きさは無視する。毛虫は不老不死でど根性あり、ひたすら伸び続けるゴムの右端を目指して移動するとしよう。 以下、クヌースの『コンピュータの数学』からの参照だけど、Wは１秒這うと右端から９９％まで来る。つまり、伸びて２ｍとなったゴムのうち２cm進む。さらに１秒ではWは4.5cm進み、残りは295.5cmということになる。 では、何秒後に毛虫は右端に到達できるであろうか？ ちょっと意外であるけ…

アニメ『勇気爆発バーンブレイバーン』（ブレバン）第9話「イサミィ！俺たちで、世界を救うんだ！！」感想 【目次】 スミスとブレイバーン同一人物説立証 ブレイバーン誕生秘話 ブレイバーンが気持ち悪いのはクヌースの所為 ブレイバーンのモチーフは憧れのヒーロー機攻特警スパルガイザー 残る謎 勇気合体！バーンブレイバーン！！ 双炎の肖像 ルルがスペルビアに搭乗 推して参る ルルは未来からやってきて合体！？ スペルビアにどう乗るのか スミスはタイムリープで復活 ヴァニタスとペシミズムを追悼？ 小ネタ 公式イラスト スミスとブレイバーン同一人物説立証 ブレイバーン誕生秘話 1話からルイス・スミスとブレイバー…

アニメ『勇気爆発バーンブレイバーン』（ブレバン）第8話「また会おう、スミス」感想 【目次】 デスドライヴズ まとめ クーヌス ヴァニタス ペシミズム デスドライヴズの復活方法について説明 デスドライヴズと和解？ ルルはスペルビアの搭乗者となる スミスはタイムリープで復活 クーヌスもタイムリープで復活！？ スミスとブレイバーン同一人物説確定！？ 大張どないなっとんじゃい！ クピリダス追悼 小ネタ 公式イラスト デスドライヴズ まとめ 今回登場したデスドライヴズは宇宙から来訪した機械生命体（無機生命体） 目的は地球人類の抹殺。 無機物、主に金属が生命を持ち数億年かけて進化していくうちに自我を持った…

アニメ『勇気爆発バーンブレイバーン』第1話で突如イサミ・アオの前に現れた人型ロボット・ブレイバーンはルイス・スミス、つまり同一人物説の予想・考察を感想も含めながら紹介します。 結果を簡単に言うとスミスはタイムリープでやり直しをしているうちにブレイバーンになりました。たぶん。 新情報の追加や修正で更新していきます。 ルイス・スミスがブレイバーンである根拠 根拠①初対面のイサミを知っていた 根拠②キービジュアル 第1弾キービジュアル 第2弾キービジュアル 根拠③スミスの鼻歌とOPテーマ「ババーンと推参！バーンブレイバーン」 根拠④ルル ルルとスミスの出会いと行動を予想 ルルは人工生命体 OPに登場…

いわゆるドラゴン曲線です。奥村先生、クヌース先生、ありがとうございます。 github.com

2023年4月から基本情報技術者の試験制度が変更されたものの科目B（旧：午後問題）の重要さは変わりません。 出題方式は「多肢選択式」で以前と同じですが、データ構造及びアルゴリズムが8割、情報セキュリティが2割の割合で出題される点が大きく変わっています。 合格基準点は600点以上/1000点満点中、つまり6割以上取れれば合格になります。 そんな科目Bのデータ構造及びアルゴリズムについて、基本となる探索の問題について考えてみましょう。 目次 文字列探索アルゴリズムとは？？ ブルートフォース法とは？？ どんなときに使う？ ブルートフォース法の実装例（プログラム） まとめ 文字列探索アルゴリズムとは？…

WWDCだった。 見てないけど。 Vision Pro が発表された。 ちょっとほしいけど高い。 プログラマー脳 メモ 変数には種類がある。例えば、ここでは 11種類。 多くの人は最近読んだコードを挙げられないが、クヌース先生は別。 Coders at Work プログラミンが学習には計算能力よりも読解力

www.etsy.comEtsy といえば、「お母さんにも分かるWeb 2.0」などと紹介されていたのも今や昔、少し前に Netflix で『メイドの手帖』を観ていたら、Etsy の名前が当たり前のように出てきて、もうそういう存在なんだなと思った次第。その Etsy の開発ブログで、Docs-as-code の取り組みが紹介されている。正直、ワタシはこの Docs as Code という言葉すら知らなかったのだが、ソフトウェア業界における長年の問題であるドキュメンテーションについて、コーディングと同じツール、手順を採用することで開発にドキュメンテーションを統合する手段として出てきたのが、この …

私は作文というものにあまりよい思い出はありません。 子供のころから今に至るまで作文で賞をもらったことは一度もありません。 本を読むのは好きでしたが、自分で文章を書くのはものすごく苦手で、それは基本的に今でも変わりません。 さすがにこの歳になると、原稿を依頼されることもたまにあるのですが、いつも七転八倒して文章をひねり出しています。 今では名文を書くのはあきらめて、とにかく情報を正確に伝えるようにシンプルさだけを心掛けるようにしています。（カーネル本はその点においてだけはいろいろな方に認めていただいているかなとは思います） 知識も自信もないので、論文や英語に関する本はたくさん集めており、クヌース…

＃ 「Can Fortran survive another 15 years?」 ロス・アラモス研究所の Fortran 下げレポートが出て先週あたり一部で盛り上がっていました。「ま〜た始まったかw」という感じですが、コメント欄が比較的まともなのでメモっておきます。擁護派 Certik 氏の元同僚の書いたものということで背景なども少し分かります。 https://permalink.lanl.gov/object/tr?what=info:lanl-repo/lareport/LA-UR-23-23992 fortran-lang.discourse.group こっちもやや面白いです。 n…

イェール大学助教、成田悠輔が認めておすすめする本をまとめてみた。情報ソースはすべて明記しており、成田悠輔本人のおすすめコメントもできるだけ書き起こしています。 デジタル 『ゴースト・ワーク』（メアリー・Ｌ・グレイ (著)） 『デジタル空間とどう向き合うか』（鳥海不二夫・山本龍彦） 『コンピュータ科学者がめったに語らないこと』 社会 『銃・病原菌・鉄』（ジャレド・ダイアモンド） 『ウイルスの意味論』（山内一也） 『貧困の克服ーアジア発展の鍵は何か』（アマルティア・セン） 『狭山事件』 『趣都の誕生 萌える都市アキハバラ』（森川 嘉一郎） 経済・資本主義 『21世紀の資本』（トマ・ピケティ） 『暴…