読者です 読者をやめる 読者になる 読者になる

VOCALOID・アンダーグラウンド・カタログ

紹介されてる曲のほとんどはここから アングラカタログがアングラってどういうことなの・・・

二コ二コフィーチャー Part19 danierukunP

ニコニコフィーチャー Part18 らいふ

コラッツ予想 Part3

の母関数 を考えます。 以下の議論は、私の無知により多少不正確です。(つまり、母関数を扱ったことはありません) と分けると、 また、 になります。Q1を無視すれば、 単純に、と思いましたが、 になり、私には力不足のようです。

BAZIQ!やってみた Part4

なんとか山と城をクリアして、一周しました。 山はそれとなくクリアしましたが、城はやはり強固でした。いたるところに神風うさぎが飛んでいて、横から戦車が遠慮なく射撃してきます。ボスはお約束のような感じでしたが、焦るとすぐ落ちて死にます。 そして…

スリープ復帰時にフリーズ(2013/11/03更新)

私のパソコンで前から起こっているバグを紹介します。 パソコンの仕様 OS:Windows 7 Home Premium 64bit CPU:Intel Core i3-2100 3.10GHz GPU:GeForce GT 430 メモリ:4GB ドスパラで買った安いやつです。 いつもは、ハイブリットスリープを行ってます。 ACPI…

BAZIQ!やってみた Part3

雪山、ドヤ村を攻略して、ダークマウンテンまで来ました。 雪山のボスはほぼ運でクリアして、テクニックというより、指の痛みとの戦いでした。 ドヤ村に最初着いた時は、動いてる敵がすごい速い蝶だと思ってましたが、よく見たら爆走してるドヤ族でした。ど…

コラッツ予想 Part2

以下、 を で表します。 回目の偶奇を とおき、 を とおけば、 となります。 この論理積が有限の時は、(私のやり方で)一意にまとめられて、j番目までまとめると、 j 0 1 2 3 4 5 となっています。 一般化はできていませんが、合同式を無視してj=2,4の右辺…

ニコニコフィーチャー Part18 おがちょこ

BAZIQ!やってみた Part2

あれから何日か経って、やっとサソリクリアできました! それから4面に進みましたが、見かけによらずアイスが強い(T_T) そして、何とかボスにたどり着きましたが、あえなく撃沈・・・ さらに、その後中ボスのドラゴンをクリアした時にフリーズしてしまいま…

ニコニコフィーチャー Part17 KEI

レーブの定理

「スマリヤンの決定不能の論理パズル(白揚社 2008年)」という本にレーブの定理がわかりやすく紹介されていたので、それを紹介したいと思います。 レーブの定理 任意の命題について、もし4型の推論者がとを信じるならば、を信じる。 ここで、というのは、「…

ニコニコフィーチャー Part16 KTG

火の無い所に

「火の無い所に煙は立たない」と人は言う。 「煙立たない所に火は無い」と数学者は言う。 「任意の場所は、煙が立っているか、火が無い」と論理学者は言う。 「火は付くけど煙は出ないよ」と木炭は言う。

ニコニコフィーチャー Part15 すえ

数学タグおすすめ

「アインシュタインの脳パズル」の答え合わせ

数学に興味を持った私が最初の頃に買った本がこれです。 「アインシュタインの脳パズル」ジェレミー・スタンルーム著 池上裕二監訳 三笠書房出版 答えのない問題や直感と合わないものがあって、大いに楽しんで読みました。パズル本でありながら、紹介されて…

自民党 憲法改正草案修正 公理化か

自民党は7月12日に、憲法改正草案の大幅な訂正を行った。 特に大きな変更点となっているのは憲法の公理化で、これにより条文は全て数式になるとみられている。中身では、基本的な論理、集合などの公理から始まり、「髪の毛が20本以下の人はハゲ」、「満7歳以…

C言語初心者にありがちなミス

以下、私のやったミス 配列の数 配列を定義するときは1,2,3・・・ 配列を使うときは0,1,2・・・ 数学を勉強している私でも間違える 型と計算とdefine 1/2 == 0 だけど 1/2.0 == 0.5 #define HALF 1/2.0 のとき 1/(HALF) == 2.0 だけど 1/HALF == 0.5 アドレ…

ニコニコフィーチャー Part14 緑色円形物

ゲームを作る part2

基本的な当たり判定を付けようと思って、リファレンスを見ていたら、マスクなるものがあるそうです。どうやら、画面のビットの数だけ0か1のメモリを作って、描画に利用できるらしいです。 しかし、マスクのビットのメモリを知る関数がわからなかったので、今…

ゲームを作る part1

子供の頃からの夢の一つを今やっています。ゲーム開発です。 しかし、プログラミングについては超初心者なので、満足行くまで半年か一年以上かかるかもしれません。 環境はVisualC++でDXライブラリを使っています。 タイトルは「星のアドレーヌ」になると思…

BAZIQ!やってみた Part1

旧ラwiki BAZIQ! http://www47.atwiki.jp/ranamoneud/pages/143.html BGMが良いのは言わずもがな、キャラが一癖二癖あってとてもかわいいです。 今はステージ3のBOSSのサソリが倒せず、そこで止まっています。 特に好きなキャラは女子高ですね。なぜ女子高…

ライフゲームの世界

ライフゲームとは何かについての動画です 編集も選曲も素晴らしい 私は詳しく知りません

ニコニコフィーチャー Part13 aaplus

ニコニコフィーチャー Part12 よんぱち

ニコニコフィーチャー Part11 lumo

ニコニコフィーチャー Part10 competor

ニコニコフィーチャー Part9 ワン太

ニコニコフィーチャー Part8 akuty

ニコニコフィーチャー Part7 ルノレ

ニコニコフィーチャー Part6 こだまちゃん

ニコニコフィーチャー Part5 はどはど

ニコニコフィーチャー Part4 KTKT

ニコニコフィーチャー Part3 idada

ニコニコフィーチャー Part2 aa

ニコニコフィーチャー Part1 CASE