![大学への数学 2010年 04月号 [雑誌]](http://ecx.images-amazon.com/images/I/51Zd7nqJ-UL._SL75_.jpg "大学への数学 2010年 04月号 [雑誌]")
ゆるゆると『ヴォーパルス』を攻略してみたい、その1
sinden
2012-05-26
...ドとする 4.1枚抜いたブースターをまた隣（又は対戦相手）に渡す。 > ・配置フェイズでのカード獲得方法はドラフトである。 ・5体目のユニットを配置するにはレベル2の建物が必要である。 ・兵力が同値であれば、双方が勝利したことになる。 ・2つ目以降の建物を作るには追加のコスト（2金、4金、6金）が必要である。 ・パックの引き直しが可能な選択ルール「マリガン」。 カット、という言葉があり...
ペアノの公理をAxiomで定義しようと思ったら、わからない
anta0
2012-05-24
... == m |||| forall n m: Nat, n == m -> S n == S mが必要な気がする。 だからこれを証明しようと思ったが、どうも上手くいかない。 少し調べても、独自の同値関係を使って定義しているものがあまり見られない。 もちろんEqが"="なら自明なのだが。 これはどうすればいいのかわからない。 それともペアノの公理では先の定理は証明でき...
コシヒカリのおすすめ九州産のお米
komenoblo
2012-05-24
...市なので、応援しています。お値段を考えれば、十分美味しいので、リピです。これからも必ず購入させていただきます！レビューを見て1月13日注文→1月15日到着送料込み2480円で購入☆いつもこちらと他店と同値段のものを交互に購入しています☆お米の粒は他店の同程度の値段の物に比べてこちらの方が大きく、炊いた時もこちらの方がべちょっとせず、おいしいです☆でも他店はおまけを付けてくれるのでいつもどちら...
トランザクションの代数、ちょっとだけ
m-hiyama
2012-05-23
...ように定式化できます。 Mをストレージ操作（のつもり）のモノイドとしましょう。Mの部分集合Aをアルファベットとする自由モノイドFreeMonoid(A)を作って、適当な合同関係（モノイド構造を保存する同値関係）〜 で割り算して N := FreeMonoid(A)/〜 とします。Nは、Mから作った新しいモノイドです。もとのモノイドMが状態空間Sに作用している（加群になっている）とき、Nを係数...
午前7時半 晴れ 外気温15℃
Bosque
2012-05-22
よく晴れて暑くなりそうです。バラの花が咲き始めました。昨日ガレージの中にやって来て、今度こそ居着くかに見えたつがいのツバメですが、今朝は未だ来ていません。今朝の放射線量は昨日と同値の0.09±0.02μSv/hでした。
RSpec初心者向け 手続き化されたRSpecのテストコードの書き方
den8
2012-05-22
RSpecによるユニットテストの書き方 こちらの記事が非常に参考になったので、個人的備忘録として手順をまとめて書きます。 そうやることの意味などの説明は削げ落ちていますので引用元を参照してください。 また、おそらくRSpecに慣れた人にとっては無駄なコードを書いているとしか思えないかもしれませんが、そこは初心者向けということで一つよろしくお願いします。 まず、この手法は3つのステップからなります。...
nemuzuka
プログラマの適性検査
JavaBlack
2012-05-20
「60%の人間はプログラミングの素質がない」 http://cpplover.blogspot.jp/2012/05/60.htmlhttp://www.eis.mdx.ac.uk/research/PhDArea/saeed/paper1.pdf より． 「プログラミングできる人とできない人との間の深い溝」 http://d.hatena.ne.jp/masatoi/20090707/12469...
simezi
2次元の圏における米田の補題がわからない
m-hiyama
2012-05-16
また、「よくわからんわー」という愚痴みたいなハナシ。 記号の約束 Catを、小さい圏と関手からなる圏だとします。同様に、BiCatは小さい双圏と双圏のあいだの準同型からなる圏です。Catは厳密2-圏（特別な双圏）の構造を持ち、BiCatは3-圏の構造まで持ったりするようです（3次元の圏は僕よく知りません）。 Set、Cat、BiCat などを集合として含むようなもっと大きな宇宙（universe...
秋葉原オープン2012 ルール
akihabaraop_qma
2012-05-15
...て順位点を付け、合計値の高い順番に16人が本選進出となります。 順位点は、1位：4点 2位：2点 3位：1点 4位：0点となります。 順位点が同点の場合は、「獲得した総得点順」に順位付けを行い、それも同値だった場合はエントリー順に順位付けを行ないます。 （例）予選前半戦で「2位：285.46点」後半戦で「1位：328.44点」の場合、 順位点は、「2＋4＝6点」となります。また順位点同値だっ...
数学I
yoshitake-h
2012-05-14
前回の訂正．熱方程式．双曲線関数．写像．逆写像．逆三角関数． に対し， より， ならば， とおくと， は すなわち と同値． はこれをみたす． <<
ゼロの哲学１０９＜論理４＞
azk134
2012-05-14
...研究したとしよう。 そこには6つの論理がのっていた。 それらは 1．NOT−（否定） 2．AND−（論理積） 3．OR−−（論理和） 4．XOR−（排他的論理和） 5．IMP−（包含） 6．EQV−（同値） ・・・・・
コシヒカリのおすすめ九州産のお米
komenoblo
2012-05-13
...市なので、応援しています。お値段を考えれば、十分美味しいので、リピです。これからも必ず購入させていただきます！レビューを見て1月13日注文→1月15日到着送料込み2480円で購入☆いつもこちらと他店と同値段のものを交互に購入しています☆お米の粒は他店の同程度の値段の物に比べてこちらの方が大きく、炊いた時もこちらの方がべちょっとせず、おいしいです☆でも他店はおまけを付けてくれるのでいつもどちら...
スタートAlloyに参加してきた日記
nishiohirokazu
2012-05-13
...ないのかassertを回帰テストみたいに使う。使うために残しておくこと推奨。Execute allを使うとよい自分の書いたコードが正しいかどうか不安→避けがたい。同じ事を違う書き方で書いてみて、それが同値であることを検証してちょっと安心するAlloyの公式サイトのチュートリアル用のスライドを見る: Everything's a relationVisualizerの四角はドラッグで移...
線形合同法数列が最大周期になる条件
oupo
2012-05-12
はじめに 一部界隈の皆さんはよくご存知の線形合同法数列 (は初期シード) は最大周期となることが知られています。 すなわち, , ... と進めていって で初めてと等しくなります。 なぜそんなことがいえるのでしょうか。またどういう条件のときに最大周期になるのでしょうか。 問題 線形合同法数列 が最大周期となる条件はなにか。 この記事ではが以上のの累乗のときを扱いましょう。つまりを以上の整数...
またも後出しアナライズ（備忘録）
lj1027
2012-05-11
...ください。 それを刈っていくことで、トレンドを上に走らせます♪ といっているような感じすらする。 今のレートが1.294として、1.19がターゲットなら 値幅はおよそ1000PIPS以上となるので、 同値未満でLCを置けば、 最長で、少なくとも1.394あたりまで耐えるショート筋が登場する可能性もある。 逆に言えば、そこまでの値幅までショートのLCを刈り続け トレンドを増幅させることも可能、...
コシヒカリのおすすめ九州産のお米
komenoblo
2012-05-10
...市なので、応援しています。お値段を考えれば、十分美味しいので、リピです。これからも必ず購入させていただきます！レビューを見て1月13日注文→1月15日到着送料込み2480円で購入☆いつもこちらと他店と同値段のものを交互に購入しています☆お米の粒は他店の同程度の値段の物に比べてこちらの方が大きく、炊いた時もこちらの方がべちょっとせず、おいしいです☆でも他店はおまけを付けてくれるのでいつもどちら...
\mathcode と \omathcode と \Umathcode と
zrbabbler
2012-05-09
...読み出す際には、読出時に使うプリミティブに関わらず、最後の書込時に用いた「値」が返ってくる。（\Umathcode は \Umathcodenum に準じた扱い。）従って、機能的には「同値な」設定であっても読み出した値が異なるという現象が起こる。 （luatex 対話モード）*\def\showthecode{\message{% *...
2進法の三角形と素数の分布
Hyperion64
2012-05-09
これまでの続きです。次のように自然数を積み重ねます。 これまで同様、赤字は素数。 この三角形は2進法で桁が増えるごとに下に並べているわけです。 つまりは、これと同値です。2進法表記です。 これを記号にします。素数か合成数かを識別できればokなので。 赤丸を素数にしてみましょう。 2^7=128までを積み上げると、さすがに少々見苦しくなります。 上段と下段で赤丸が接続しているように見えます...