クヌース

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

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

Pythonでのクヌース・モリス・プラット法の実装クヌース・モリス・プラット法 (Knuth-Morris-Pratt algorithm) は、部分文字列検索において、与えられた文字列の中に特定のパターンが現れるかどうかを効率的に調べるアルゴリズムです。このアルゴリズムは、O(n + m) の時間計算量を持ち、n は検索対象の文字列の長さ、m は検索するパターンの長さです。ここでは、Pythonを用いてクヌース・モリス・プラット法を実装する方法について説明します。 クヌース・モリス・プラット法とは まず、クヌース・モリス・プラット法の概要を説明します。このアルゴリズムは、検索するパターンのプ…

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

下のグループのリンク1つでも押してくれるとしらすごはんが喜びます。 ランキング参加中数学・科学・工学 ランキング参加中知識 前回の記事 shirasu-gohan0141.hatenablog.com こんにちは！ やあ 更新頑張れば全然できるじゃん 確かにな はい、今日も巨大数について話していきたいと思います。 もう頭が痛くなってきた 数は無限に大きくすることができる コンウェイのチェーン表記 コンウェイのテトラトリ 「自作」拡張コンウェイのチェーン表記・クヌースの矢印表記 ふぃっしゅ数 ほんとにグラハム数より大きい数があるの？ 数は無限に大きくすることができる グラハム数より大きい数がある…

下のグループのリンク1つでも押してくれるとしらすごはんが喜びます。 ランキング参加中数学・科学・工学 ランキング参加中知識 こんにちは！ やあ っつか、更新遅すぎだろ。 そーだそーだ ソーダソーダ すいません、更新めちゃくちゃ遅くなりました。 で、今回の話は？ｗｗｗ はい、今回の話はですね、 「巨大数」 について研究した結果を発表しようかと思っています。 巨大数とは 無量大数の途方もない先 不可説不可説転のさらに先、グーゴルプレックス、グラハム数 グーゴルプレックス グラハム数 そもそもクヌースの矢印表記 数学の関数とは グラハム数の構成 G'(y)とは 無量大数って10⁶⁸でしょ。1の後に0…

「数学とソフトウェアのページ」の「群の完備化」自体の説明を詳しく書いていなかったのでここに書いておきます。「群の完備化」はスマートフォンで使いやすいように「Word Problem」から説明等を省略してコンパクトにしたものです。説明は「Word Problem」の方を見てください。「【電子復刻版】bit 1988年04月号(通巻230号)」の記事「新しいプログラミング・パラダイム⑥ 項書換えシステムと完備化手続き」では群の公理を表す等式の集合から書き換え規則の集合を求める方法について書かれています。等式を書き換え規則とみなすときの変換の方向(等式の左辺から右辺に変換するか、右辺から左辺に変換す…

- 10. JANUARY * Donald Ervin Knuth * 010日目 あと355日 TOKYO_SUNRISE-06:51 SUNSET-16:46 MOON-17.7 DAYS _ Expedition Cruises https://www.nationalgeographic.com/expeditions/trip-types/ocean/ 110番の日, 明太子の日, 交通安全の日, 十日ゑびす, かんぴょうの日, さんま寿司の日, 初金比羅, ＬＰガス消費者保安デー, 植物油の日, 1938年 ドナルド・クヌース、数学者、コンピュータ科学者 * Donald Erv…

shuntaendo.hatenablog.com Making Better Blueprints - より良いブループリントを書こう 脱スパゲッティ化 Tickを正しく使う Soft References Blueprint Debugger BP Header Tool Construction Script Editor Utility Geometry Script クラスの継承 Data Table Blueprint Function / Macro Library Event Dispatcher Interfaces Tag Tracing Making Chorus Sin…

皆さんは巨大数を知っていますか? 名前の通りでかすぎる数です。 まずは、ギガバイトとか、あるじゃないですか。 それで、ギガバイトのギガは、SI接頭辞と呼ばれています。 大きさは、 K=1000倍 M=1000000倍 G=1000000000倍 となっております。 次は、 T,P,E,Z,Y になります。 でも巨大数では少ないぃ～って感じです。 で、クヌースの矢印表記というのがあります。 って感じです。 いやーやばいですね。 3↑↑↑3がやばいですよ。 あと巨大数で有名なグラハム数も、 3→3→3→3＞＞3→3→65→2＞グラハム数 って感じで、グラハム数が、3→3→65→2っていうコンウェイ…

読みやすいコードのガイドライン -持続可能なソフトウェア開発のために作者:石川 宗寿技術評論社Amazon を、読んでいたら、可読性を高めるために役立つプログラミングの原則を紹介されていました。 ボーイスカウトルール YAGNI KISS 単一責務の原則 早計な最適化は諸悪の根源 オレオレ版を書いたら面白いかな？と考えました。 和田卓人「コードコメントには Why not」 コードには Howテストコードには Whatコミットログには Whyコードコメントには Why notを書こうという話をした— Takuto Wada (@t_wada) September 5, 2017 「設計の段階で…

ベルヌーイ数を再び、故あって考察する。ベルヌーイ数の具体例は下表だ。 なぜかというと、重要な数なのに出現パターンが読めない不思議な種族だからだとしておく。 ｎが奇数では０となる。これも変だが、n=1は例外だ。 ｎが大きくなると仮分数になってくる。これが気に入らんところ。だが、そこは数学者、彼らもそこんとこを追求したらしいのである。そのパターンについて以下の主張が知られている。 von-Staudtの定理だ。 Bn=a -∑1/p ここでaは整数で、pはn≡0 (mod p-1)なる全ての素数である。 偶数番号のベルヌーイ数について、そうした素数の逆数リストを計算したのが下表だ。 そこで、次に気…