算数、数学の宿題を爆速で終わらせる「Microsoft Mathematics」を紹介する - しがない学生の雑記
こんばんは。艦これのメンテが伸びてしまったのでTwitterをダラダラ見ていたら、こんなソフトが紹介されていました。 Download Microsoft Mathematics 4.0 (英語) from Official Microsoft Download Center （英語）とか書かれていますけど、ページに行けば普通に日本語版がダウンロードできます。 試しに起動してみたんですが、こいつが相当にすごい。数学のソフトで無料のものと言ったら、自分が知ってるものではscilabとかfunctionViewとかぐらいしかなかったんですが、このMicrosoft Mathematicsは数学の宿題を消すために生まれてきたかのようなソフトです。 たとえば、とても簡単な例として、ｘを０～１で定積分を求めると、 こんな感じで回答が出るんですが、注目すべきはこの中央の「解法」ってところです。試しに押
平方数かどうかを高速に判定する方法 - hnwの日記
平方数とは、ある整数の平方（＝二乗）であるような整数のことを言います。つまり、0,1,4,9,16,...が平方数ということになります。 ところで、与えられた整数が平方数かどうかを判定するにはどうすれば良いでしょうか。与えられた整数の平方根の小数点以下を切り捨て、それを二乗して元の数になるかどうか、というのがすぐ思いつく実装です。 <?php function is_square($n) { $sqrt = floor(sqrt($n)); return ($sqrt*$sqrt == $n); } しかし、平方根の計算は比較的重い処理です。もっと高速化する方法は無いのでしょうか。 多倍長整数演算ライブラリGNU MPには平方数かどうかを判定するmpz_perfect_square_p関数が存在します（PHPでもgmp_perfect_square関数として利用できます）。本稿ではこの実装
Mathematicaで任意画像の輪郭を数式に変換する - チューリング不完全
330個の1000次方程式によるまどかマギカ pic.twitter.com/QnuOhXQfiT— りんご (@aomoriringo) November 27, 2013 上記のような、任意の画像の輪郭を数式に変換するプログラムを紹介します。 発端 Wolfram|Alphaには「Person Curve」と呼ばれる類の検索結果が存在し、「Barack Obama Curve」「Hatsune Miku like curve」とか検索すると、その人物・キャラを表したパラメトリック方程式とそのプロット結果が表示されます。 これについては以下に示すようにたくさんの記事があり、存在自体は早くから知っていました。 数式が解明されてしまった初音ミク。その他キャラクターを色々試してみました | 猫と杓子 http://nlab.itmedia.co.jp/nl/articles/1305/02/
違法素数 - Wikipedia
違法素数（いほうそすう/英: illegal prime）とは、素数のうち、違法となるような情報やコンピュータプログラムを含む数字。違法数（英語版）の一種である。 2001年、違法素数の1つが発見された。この数はある規則に従って変換すると、DVDのデジタル著作権管理を回避するコンピュータプログラムとして実行可能であり、そのプログラムはアメリカ合衆国のデジタルミレニアム著作権法で違法とされている[1]。 DVDのコピーガードを破るコンピュータプログラムDeCSSのソースコード 1999年、ヨン・レック・ヨハンセンはDVDのコピーガード (Content Scramble System; CSS)を破るコンピュータプログラム「DeCSS」を発表した。ところが2001年5月30日、アメリカ合衆国の裁判所は、このプログラムの使用を違法としただけではなく、ソースコードの公表も違法であると判断した[2
スパコンで力任せに数独の難しい問題を作<del>る</del>ったつもりが簡単な問題だった件
どうやら人間の手で解いたら、簡単に解けてしまうようです。 ここでの難易度の定義に含めていない解法(n国同盟など)を使うと、難しくない問題になっているのかもしれません。 その後調べたところ、基本テクニックだけで解けてしまうことがわかりました。 Pencil Marksが唯一残ったものしか確定しない、というDeterministic Solverを使っていたのが原因で、 難しくない問題を「難しい」と誤判定してしまったようです。 3月13日版よりだいぶ難易度があがったはずです。 概要 スパコンを使って力任せに数独の難しい問題を作ってみたところ、 2013年3月現在、おそらく世界で一番難しい問題を作ることに成功した失敗した。 上図がスパコンを用いて作られた、おそらく世界で一番難しい問題(2013年3月現在)。 後述する難易度の定義では、深さが10、通常幅が183530、平均幅が約100571である
組み合わせ爆発のはなし - 大人になってからの再学習
YouTube 上に公開された 「『フカシギの数え方』 おねえさんといっしょ！ みんなで数えてみよう！」 という動画が話題になっている。 http://youtube.com/watch?v=Q4gTV4r0zRs 下の図のようなNxNの格子を用意して、左上のスタート地点から、右下のゴール地点にたどり着くルートの数を数えてみよう、というもの。 この例は3x3の格子。 さて、何通りあるか？ ルートは最短ルートである必要はなくて、下から上に向かっても構わない。ただし、ルートは自分自身に交わってはいけない。 3x3の格子の例では、答えは184通りある。 意外とたくさんあることに驚かされる。 では、4x4の場合は？ 動画の中では「おねえさん」が手で数えているけど、答えは8,512通り。 5x5の場合は、もはや手で数えるわけにはいかなくなる。動画の中のコンピュータを使って求めた答えは1,262,81
六万五千五百三十七角形 - Wikipedia
正65537角形を描くSVGの出力結果。ほとんど円と見分けがつかない。 六万五千五百三十七角形（ろくまんごせんごひゃくさんじゅうしちかくけい、ろくまんごせんごひゃくさんじゅうななかっけい）は、65537本の辺と65537個の頂点を持つ多角形である。内角の和は11796300°、対角線の本数は2147450879本である。 正65537角形は、定規とコンパスで作図できる。作図可能な正多角形は無数に存在するが、正多角形の作図法は正素数角形の場合に帰着されるのであり、正65537角形は作図可能な正素数角形のうちで辺の個数が最大であると予想されている正多角形である。以下、正65537角形について記述する。
数学のエキスパートが3ヶ月かけて作成した「世界一難しい数独」
数独というのは一般的に、初めから埋められている数字が少ないほど難しく、上級者は一目見ただけで大体その問題の難易度がわかるそうです。しかし、「これは手応えがありそうだ」と感じた数独に、「勘」を使わないと「論理」だけでは解けない部分があったり、解が複数存在すると判明したときには、がっかりするのではないでしょうか。そういった数独は、数独として正しくありません。 フィンランド人の科学者が、解が一つだけ存在し「当てずっぽう」ではなく「論理」のみですべてのマスを埋めることができる「正しい数独」の中で限りなく難しい、「世界一難しい数独」を作り出すことに成功したそうです。 詳細は以下から。9 by 9 Sudoku Solver こちらがその「世界一難しい数独」。ω-3脂肪酸のサプリメントを販売するEfamol社の依頼で、科学と応用数学の博士号を持つフィンランド人の環境科学者Arto Inkala博士が手
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
素因数分解ダイアグラム表示したるで――――――――――