エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
ローダー数
ローダー数 (Loader's number) は、Ralph Loader が巨大数ベイクオフ大会で作成して優勝したC言語プログ... ローダー数 (Loader's number) は、Ralph Loader が巨大数ベイクオフ大会で作成して優勝したC言語プログラム loader.c によって出力される数字である。巨大数ベイクオフ大会の目的は、512文字以内のC言語プログラムで、最大の数を出力することである。 loader.c は、Thierry Coquand の calculus of constructions を対角化する。その出力は親しみを込めて ローダー数 (Loader's number) と名付けられ、D5(99) で定義される。ここで、 D(k) は calculus of constructions の表現で最初のk個の表現で表記出来るすべてのビット列の合計である。ここで、すべてを2進数に変換することとする。 David Moews は D(99) は 2↑↑30419より大きいとしており、さらに
2014/06/28 リンク