Math - 01者で読んでいないと恥ずかしい必読論文 : 404 Blog Not Found
2010年09月30日03:30 カテゴリMath Math - 01者で読んでいないと恥ずかしい必読論文 これは恥ずかしい。 10代で読んでいないと恥ずかしい必読書 - その1 - PictorialConnect 何が恥ずかしいって、なんといってもその分量。 必読っていうなら、なるべく短くなくちゃ。 Binary Lambda Calculus and Combinatory Logic 読むべきなのは、こちら。 John's Combinatory Logic Playground http://homepages.cwi.nl/~tromp/cl/LC.pdf わずか20ページのこの論文は、著者が見いだした Binary lambda calculus (以下BLC)と Binary combinatory logic (以下BCL)の簡潔な説明であると同時に、Binary抜きの
「2010」を使った数学の問題 - math, programming, and little something to laugh
毎年数学オリンピックなんかでは、その年の数字を使った問題が出題されたりします。 Twitterでのwand125さんのPostがすべての発端でした。 この元凶Postにいろいろと反応があったようなので、少しまとめて紹介しようと思います。 Q1 @wand125 軽いジャブ。以下のような変形で解くことができます。 答え : 2010桁目→0, 2011桁目→1 Q2 @aomoriringo 完全に何桁か確定させるのは至難だと思います。 一番基本的なアプローチはlogで上限と下限をある程度決定する方法ですね。 log10_67が非常に曲者で、ここは何らかの近似を用いる必要があるでしょう。 また、logによる分解でない近似を使った、以下のような方法もあります。 これにより、少なくとも6633桁はあることがわかります。いろんなアプローチがあるのでやってみてください。 ぶっちゃけやるのが面倒。でき
自己出力プログラムと自己参照プログラム
自分自身を出力するプログラムを書いてみる事にする。 あたりまえだけど、プログラム全体を文字列とかリストにして、 プログラム中に埋め込むわけにはいかない。 でも全体は無理でも、 プログラム内の一部分だけなら文字列やリストにして利用することはできる。 そこで、プログラムを、 Aパート ... プログラムの一部分を、単に文字列とかリストにしたもの。 Bパート ... プログラム全体を出力する部分。 の2つに分けて考える。 Aパートは、Bパート(または、その一部分)をリテラルとして保持して、 Bパートがそれを利用して全体を出力するという役割分担になる。 Schemeの場合 簡単のために Schemeで考える(Lispでも動く)。 プログラムの構成は、大まかには、 (<Bパート> <Aパート>) みたいになる。 とりあえず、AパートはBパートそのものをリストにしていると考える。 するとAパート
やねうらお―よっちゃんイカを買いに行ったついでに家を買う男 - グラフ理論ならこれを読め！
うちの会社では「グラフ理論を小学校のうちに学んでおかないから、そういうことになるんジャイ！(｀ω´)」とか冗談とも本気とも取れないような会話が平気で行き交う。それほどグラフ理論は大切な分野なのにプログラマには見過ごされがちだ。ただ、グラフ理論にはいい本が少ない。そこで、グラフ理論ならこれを読め！という本を紹介する。まずは、入門書としては、左の本がお勧め。 大学の教科書としてよく採用されているのが左の「最適化とグラフ理論 技術者のための高等数学」値段も手ごろだし、高校卒業程度の知識でも読めると思う。 「そんな入門書ではなくて、もっと詳しい本は無いか？」とid:Ozyさんに聞かれて私が勧めたのは、シュプリンガー・フェアラーク東京シリーズの「グラフ理論」 このシリーズは黄色い表紙とお馬さんのマークが目印だ。 これより詳しい本となると日本語で読めるものは発売されていないと思う。「グラフ同型判定問題
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
