AKSアルゴリズムと PRIMES is in Pに関する解説のページです 以下の説明は、元論文を参照しながらお読みください。 元論分のサイト:Manindra Agrawal, Neeraj Kayal and Nitin Saxena, PRIMES is in P, the original version of the paper. アルゴリズムの基本となるアイデア アルゴリズムの概要 AKS アルゴリズム 使用する用語と記号 アルゴリズムの動作概要 アルゴリズムの正当性の証明概要 アルゴリズムの正当性の証明の蛇足説明 アルゴリズムの正当性の証明詳細のための準備 PRIMES is in P セクション3の解説 Lemma 3.1. Lemma 3.1.(fact 1) Lemma 3.1.(fact 2) Lemma 3.1.(fact 3) Lemma 3.1.(fact 4
日頃より楽天のサービスをご利用いただきましてありがとうございます。 サービスをご利用いただいておりますところ大変申し訳ございませんが、現在、緊急メンテナンスを行わせていただいております。 お客様には、緊急のメンテナンスにより、ご迷惑をおかけしており、誠に申し訳ございません。 メンテナンスが終了次第、サービスを復旧いたしますので、 今しばらくお待ちいただけますよう、お願い申し上げます。
MacPortsを用いてLaTeX環境を整備した. はじめにpTeXをインストールする.(variantsはお好みで) $ sudo port install pTeX +hiragino +otf +utf8 +motif +macosx TeXファイルの編集には、Carbon Emacs+AUCTeXを用いる. CarbonEmacsのダウンロードは以下のURLから. http://homepage.mac.com/zenitani/emacs-j.html .emacsの設定は以下のように行う. (require 'tex-site) (setq TeX-default-mode ‘japanese-latex-mode) (setq japanese-TeX-command-default “pTeX”) (setq japanese-LaTeX-command-de
1 名前:以下、名無しにかわりましてVIPがお送りします[] 投稿日:2008/10/03(金) 10:31:08.57 ID:x8xsUBjlO 犯罪「責任…とってよね////////」 4 名前:以下、名無しにかわりましてVIPがお送りします[] 投稿日:2008/10/03(金) 10:32:27.89 ID:ltWDsBTmO 刑務所「いやぁぁぁ//////入って来ないでぇぇ/////」 6 名前:以下、名無しにかわりましてVIPがお送りします[sage] 投稿日:2008/10/03(金) 10:32:49.51 ID:seWF6WAjO 違反「破っちゃらめぇ!!」 9 名前:以下、名無しにかわりましてVIPがお送りします[] 投稿日:2008/10/03(金) 10:33:36.77 ID:XIrIOxlB0 手錠「かけて!いっぱいかけて!!」 10 名前:以下、名無しにかわり
っていうけども 寧ろ私は 男は別に結婚したくないと思えば結婚せず独身で生きていけるからいいよな と思う。 男より女の方が、「え、独身なの…」「かわいそう」「まだ結婚しないの」という世間の目の問題があるってのもそうだがそれ以上に経済的になぁ。といって経済的な問題の為に結婚なんてできやしねぇ(色んな意味で)。といってこのまま独身じゃやっていけるのか。っていうと考えたくもねー! 女に生まれたかったという男の人と代わりたいくらいやぜ…… 女はこうだから馬鹿だの何だのと言いますが私からすれば「だから君達はそう思うなら普通に結婚したり恋人作ったりしなきゃいいだけの話じゃん?」と思うんだがねぇ……女が結婚したり恋人作ったりするのって、結局経済的に頼らざるを得ないとか、ボディーガード的役割を求めてるとかそういうとこ大きいんじゃないのかな(全部それが理由ってのは少ないと思うが、逆にそれがゼロって人も少ないん
研究室の雰囲気になじめていて指導教員ともそれなりにうまくやれているにもかかわらず精神を病んだ大学院生が書いてみる。現在修士二年。たぶん卒業は出来ると思うが、授業の単位をあと四単位残している。修論はこのまま行けば一応通るだろう。学会経験あり、査読も通った。同期に比べれば少ないし、海外学会に行ったことはないけれど。 卒研と修士の研究室をかえる人が多い環境の中で、一応同じ研究室でずっときている。なんだかんだと授業も含めて三年生のときからお世話になっているので、研究室メンバーの中でも長くいる方だ。卒論のときはテーマと自分自身の歯車がちょうどよくかみ合って進捗具合は結構よかった。上についていた博士課程の人ともうまくやれていた。そのときの指導教員は助教授で、修士に上がってからは教授にかわった。 一年生のときはよかった。何を聞いても興味深かったし、学部のころの授業でやったことが少しずつ自分の中でネットワ
In graph theory, an n-dimensional De Bruijn graph of m symbols is a directed graph representing overlaps between sequences of symbols. It has mn vertices, consisting of all possible length-n sequences of the given symbols; the same symbol may appear multiple times in a sequence. For a set of m symbols S = {s1, …, sm}, the set of vertices is: If one of the vertices can be expressed as another verte
The de Bruijn sequence for alphabet size k = 2 and substring length n = 2. In general there are many sequences for a particular n and k but in this example it is unique, up to cycling. In combinatorial mathematics, a de Bruijn sequence of order n on a size-k alphabet A is a cyclic sequence in which every possible length-n string on A occurs exactly once as a substring (i.e., as a contiguous subseq
福本伸行「カイジ」「アカギ」他 甲斐谷忍「LIAR GAME」「ONE OUTS」 青山広美「バード 砂漠の勝負師」 といった、シチュエーションの設定と、 虚々実々の駆け引きを主眼にしたマンガが大好きなのですが、 そのようなマンガでお勧めを教えていただけないでしょうか? できれば新しいゲームか、珍しいゲームか、 非常に奇妙なルールであるとベターです。 さらに駆け引きの天才が出てくれば言うことありません。 なお麻雀系マンガは、おそらく大部分を読んでいますので、 紹介していただく必要はありません。 また勝負の描き方のうまさというよりは、 「なるほど、これはすごい!」というトリックのすごさとか(バード)、 「よくこんなシチュエーション思いつきやがったな」(カイジ)とか、 「なるほど自分でも欺されるだろうなあ」(LIAR GAME)とか、 「こんな大言壮語して大丈夫? うわ、なんとかしやがった!」
-Recent entry- 2008/09/24 宝くじが当たったー\(^o^)/ → 友だちがいなくなった(´・ω・`) 2008/09/22 J( 'ー`)し ('A`) カーチャン イママデ アリガトウ 2008/09/22 最近のweb漫画面白いの多いな 2008/09/21 レシピ検索サイト等総合スレ 2008/09/19 日本一紅葉の美しい場所は? 2008/09/19 上京しない理由 2008/09/18 レアなデート方法を惜しみなくご紹介するスレpart4 2008/09/18 都内で人に勧めたくなるほどすばらしい公園 2008/09/18 超気まずい瞬間 2008/09/17 明日から更新再開 2008/09/08 しばらく更新お休み 2008/09/01 こち亀名台詞スレ 2008/09/01 最近の若者は服に金をかけないらしい 2
このGW中、ずっと計算機プログラムの構造と解釈(通称SICP)を読みふけっておりました。 この本はいわゆる計算機科学の入門書で、本の中に出てくるプログラムはLISPの方言であるschemeで書かれており、 慣れないと少し取っ付きづらい本です。 この本の2章に「図形言語」という節では、schemeを使って図形描画を行ってみるという部分があります。 私は普段Macbookにgaucheというschemeの処理系をインストールしてプログラムを書いています。 この「図形言語」のプログラムをgaucheで書くにはOpen GL拡張であるgl-gaucheをインストールする必要があります。 id:higeponさんのこのエントリーを参考にしながらやってみたところ、 インストールはうまく行きました。しかし、起動するとX関係のエラーが出て動きませんでした。 問題を解くためだけに環境をあれこれいじるのも不毛
こんにちは。 今回はFPSで主流の(主流だった?)ネットコード(client side predictionとrewind and replay)を実装してみました。Processingシリーズ第2弾です。 本題の前に応答性と一貫性に言及しておきたいと思います。ふつうネットワークアプリケーションは遅延があることで、先のふたつのバランスをとるという問題に直面します。 AさんとBさんが遅延のあるネットワークを介して撃ち合うFPSを例にとります。 応答性は、キーを押せばキャラクターがすぐに移動を始めるとか、トリガーを引くと弾が発射され命中したかすぐに判明するとか、そうしたキー入力から画面表示までの経過時間と考えてください。 一貫性とはAさんとBさんが常に同じ状態を見ているということです。遅延がとても小さければ、これは簡単に実現できます。では遅延が大きい環境で、Aさん がBさんを撃ち、Bさんはそれ
「もっとえぐいトリックはないものか?」の要点は、「Cから、特定コードのアドレスをどうやって知るか?」てことです。 名前が付いた関数の入り口は &func で取れる。 gccなら &&label としてラベルのアドレスが取れる。 スタックフレームの構造が分かっていれば、戻り番地を取れる。 いつでも使えるのは(1)だけ、(2)はコンパイラ依存だけどハードウェアには依存しないでしょう。(3)は環境ごとに変わってしまいますし、いつでも可能である保証もありません*1。 僕が、他に「ないものか?」と思ったのは、コードのアドレスを知る第四の方法のことです。インラインアセンブラは反則。大域ジャンプはsetjmp/longjmpでも出来るけど、これはトリックじゃないしね。知ってもそれを使う予定は何もないし、知っていいことも別にありませんけどね(苦笑)。 *1:例えば、MIPS風Jump and Link命令
文字コード、標準化について 文字コードについての実用的な説明です。 文字コード表 JIS X 0201、JIS X 0208、JIS X 0213のJIS、EUC-JP、Shift_JIS、Unicodeの文字コード表と、JIS X 0221のUnicodeの文字コード表です。 JIS X 0211 の制御コード表(JIS制御コード) JIS X 0201 の文字コード表(JISローマ字:ASCII、JISカナ) JIS X 0201 の文字コード一覧(Unicode対応) JIS X 0208 の文字コード表(JIS漢字:第1・第2水準) JIS X 0208 の文字コード一覧(Unicode対応) JIS X 0213 の文字コード表(JIS漢字:第1・第2・第3・第4水準) [UTF-8テキスト版] Unicode、常用漢字、人名漢字対応 JIS X 0213 の文字コード一覧 [U
「ふつうのHaskellプログラミング」や 「構文解析結合子」の元ネタは、どうやら「Monadic parsing in Haskell」のようです。(さらに元ネタは Parsec ですかね。) このオリジナルは、MonadPlus の部分などが古くさいのですが、分りやすいです。というわけで、例題を Parsec 風にアレンジしつつ、勉強してみました。 四則演算式のパーサーを実現することを目標にします。 おまじない 最終的に以下のモジュールが必要になるので、import しておきます。 import Monad import Data.Char Parser の定義 Parser 型の定義はこうなります。 data Parser a = Parser (String -> [(a,String)]) 状態を表すために関数を使っている 関数を使うと状態が表現できることが分らない人は、先に「状
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く