はてなブックマーク

コラッツ予想について コラッツ予想についていじりまわした結果を記録します。 Wikipedia コラッツの問題 TL;DR コラッツ予想は、 ビット列で見ると、一定のルールで下位ビットを消し続けて1にしているように見える。 式を色々整理するとディオファントス方程式の形になり、その解があるかどうかの問題になる。 ディオファントス方程式の可解性を証明するのはやばそう……。しかも初期値によって項の数とか色々変化する……。 New! フィールズ賞を持つ天才テレンス・タオが、2019年に、ほとんどすべての整数について1となることを証明したとの論文を発表しました。 基本的なこと コラッツ予想とは コラッツ予想とは、任意の自然数(0を除く)について、 偶数なら、2で割る。 奇数なら、3倍して1を足す。 上記を繰り返すと、必ずいつかは 1→4→2→1→4→2→1→4→2→1…… のループに入る、という予想

今回のソース はじめに D言語のver. 2.076から、-betterCオプションが追加されました。 言語仕様 本家Blog D as a Better C このオプションを使用すると、druntimeやPhobosはコンパイル時に参照されなくなり、ランタイムライブラリを使用するような機能は使えなくなります。 その代わり、コンパイル時のみで解決できるような機能は制限されません。 つまり、PhobosやC言語の標準ライブラリに依存していないD言語のサブセットを、コンパイラのチェックのもと使うことができます。 これを嬉しく思える人はたぶんごく一部ですが、以下のような場合に該当すると思われます。 OSやドライバなど、ランタイムライブラリを気軽に使用できない部分の実装 マイコンなどの組み込み機器向けのプログラミング リアルタイム性の高い箇所で、GCなどのオーバーヘッドのある言語機能を排除したい場

はじめに 前回までのあらすじ もうすぐクリスマスですね。 さて、前回まででPEGパーサー・コンビネーターを組み合わせ、解析結果に応じてアクションを実行するところまで辿り着きました。 今回は、解析結果をプログラムが処理しやすい抽象構文木(Abstract Syntax Tree = AST)を構築し、さらにはPEGによるPEG自身の構文解析まで行ってしまいます。 もくじ D言語で構文解析器をつくる(1) パーサー・コンビネーター編 D言語で構文解析器をつくる(2) セマンティック・アクション編 D言語で構文解析器をつくる(3) アブストラクト・シンタックス・クリスマスツリー編 (本記事) 今回つくるもの PEG文法の文字列からPEGパーサー・コンビネーターを生成できるようにします。 以下は、PEGのPEG文法文字列からPEGのPEGパーサーを生成するPEGのPEGデモでPEG。 import

はじめに 前回までのあらすじ 禁じられた現代魔術言語「D」の封印を解き、簡単なパーサー・コンビネーターを作りあげたカラス。 それを手にいにしえの極悪大魔導士「EBNF」に挑みかかる！　しかし、そこには巧妙な罠が張られていた……。 「うわわわわわー！！！」 EBNFが発生させた時空断層に引きずり込まれ、カラスは為す術もない。悲鳴だけを後に残して、スキマ次元の闇の中へ消えていく……。 ……そして、目を覚ますと、そこは何と１週間前の世界だった！ もくじ D言語で構文解析器をつくる(1) パーサー・コンビネーター編 D言語で構文解析器をつくる(2) セマンティック・アクション編 (本記事) D言語で構文解析器をつくる(3) アブストラクト・シンタックス・クリスマスツリー編 今回つくるもの とりあえず今回でできるもののデモです。 wcコマンドの実装です。 import std.array; impo

unittest { // 1以上の数字 alias rng!('1', '9') n1; // 0以上の数字 alias rng!('0', '9') n0; // カンマ区切り数字の先頭。最初の1桁は[1, 9]で、カンマの出てこない最初の3桁まで alias seq!(n1, opt!n0, opt!n0) digitsHead; // 数字のカンマで区切られている末尾部分。 alias seq!(ch!',', n0, n0, n0) digitsTail; // ゼロの場合 alias seq!(ch!'0', end) zero; // 数字。ゼロまたは数字列 alias sel!(zero, seq!(digitsHead, more0!digitsTail, end)) digits; // 以下は成功するソース foreach(s; [ "0", "1", "12", "

module dshida.main; import std.c.string; import std.exception; import std.random; import std.stdio; import std.string; import derelict.sdl2.sdl; /// ウィンドウの幅 enum WIDTH = 640; /// ウィンドウの高さ enum HEIGHT = 640; /// ウィンドウタイトル immutable TITLE = "D Shida"; /// 再帰レベル enum N = 20; /// 背景色 enum BackColor : Uint8 { R = Uint8.max, G = Uint8.max, B = Uint8.max, A = Uint8.max, } /// 描画色 enum PlotColor : Uint8 {