野崎昭弘 - Wikipedia
野崎 昭弘（のざき あきひろ、1936年8月31日[1] - 2025年1月15日）は、日本の数学者。大妻女子大学名誉教授。専門は、アルゴリズム理論・多値論理学。 アルゴリズムと計算量の理論研究のパイオニアとして、オートマトン理論におけるアイレンバーグ予想の解決など、世界的な優れた研究業績をあげた[2]。さらに『ゲーデル、エッシャー、バッハ』の翻訳など、情報数学の良書の刊行に積極的に取り組み、先見性と卓越した文章力を通して若手研究者の啓蒙につとめ、今日の日本の計算基礎理論の礎を築いた[2]。また、数学教育世界大会「国際円卓会議」に日本代表として参加するなど、情報数学教育および情報数学文化の発展に多大な寄与をした[2]。 名字は「野﨑」が正式であり、著者名では『高等学校の数学I』（三省堂、1982年）[3]など1982–1984年の教科書、および2003年[4]以降の多くの書籍でそう表記され
A Brief History of Random Numbers
Roman 12mm dice, The Portable Antiquities Scheme/Trustees of the British Museum (CC BY-SA 2.0) “As an instrument for selecting at random, I have found nothing superior to dice,” wrote statistician Francis Galton in an 1890 issue of Nature. “When they are shaken and tossed in a basket, they hurtle so variously against one another and against the ribs of the basket-work that they tumble wildly about
調べてもあまり説明されていないクォータニオンのアレコレ - Qiita
クォータニオンの定義や使い方については調べればいくらでも出てくるのですが、個人的には意外と重要と思っている事でもまったく説明されていないことがよくあります。これらの知識があるのとないのとではクォータニオンに対する理解度がかなり変わってくると思うため、ここにまとめておきます。 ある条件下ではクォータニオンの乗法についての交換法則が成り立つ クォータニオンは乗法についての交換法則が成り立たないため、乗算の順序を入れ替えてはいけないとよく説明されます。しかし、実はある条件下では乗法についての交換法則が成立します。 ある条件下というのは『１軸のみ回転させる場合』です。 この時、クォータニオンは『１つの実部 w』と『３つある虚部 x, y, z の内の１つ』のみを利用します。結果として２つの元しか利用しないため、二次元平面における複素数を利用した回転を行なっているのと同じ状態になります。 二次元平面
キャリー付き乗算 - Wikipedia
キャリー付き乗算 (キャリーつきじょうさん、英: multiply-with-carry, MWC) は、George Marsagliaにより開発された整数疑似乱数生成用の手法である。乱数種には2〜数千の値を必要とする。MWC の主な長所は、単純な整数演算からなっており非常に高速に動作するという点と、260 - 22000000 という非常に長周期であるという点である。 MWC 列は b を法とする剰余からなる。b = 232 とするのが普通だが、これはコンピュータで扱う整数が通常そのようになっているからである。ただ、b = 232 − 1とすることもある。これは、232 − 1 を法とする演算は 232 を法とする演算を少し変更するだけで済み、さらに、b = 232 の MWC の理論にはいくつか厄介な問題があるが、b = 232 − 1 ではそれを回避できるからである。 その最も一般
Index of /diehard
Index of /diehard NameLast modifiedSizeDescription Parent Directory - Diehard.zip2010-02-12 15:50 599K Apache/2.4.51 (Debian) Server at ani.stat.fsu.edu Port 443
Solving a math problem with planner programming
The deadline for the logic book is coming up! I'm hoping to have it ready for early access by either the end of this week or early next week. During a break on Monday I saw this interesting problem on Math Stack Exchange: Suppose that at the beginning there is a blank document, and a letter "a" is written in it. In the following steps, only the three functions of "select all", "copy" and "paste" c
Introduction
Relational algebra is a part of the relational model, a mathematical framework for data management invented in the late 1960s. All relational databases (such as PostgreSQL, MySQL, and SQLite) are based on this foundation, and much of their enduring power and popularity derive from these roots. Nevertheless, both internally and externally, relational databases as we know them deviate quite a bit fr
Programming vs. mathematical curiosity
Once we hit 6174 the sequence starts repeating, as the result of applying this “biggest digit-arrangement minus smallest digit-arrangement” operation to 6174, is 6174 itself. Or in maths parlance: 6174 is a fixed point of this operation. Now here’s the kicker: as long as the starting number is not a single repeated digit, we can start from any 4-digit number and the sequence will always reach 6174
Constructing a four-point egg – Tony Finch
For reasons beyond the scope of this entry, I have been investigating elliptical and ovoid shapes. The Wikipedia article for Moss’s egg has a link to a tutorial on Euclidean Eggs by Freyja Hreinsdóttir which (amongst other things) describes how to construct the “four point egg”. I think it is a nicer shape than Moss’s egg. Freyja’s construction uses a straight edge and compasses in classical style
Middle-square method - Wikipedia
One iteration of the middle-square method, showing a 6-digit seed, which is then squared, and the resulting value has its middle 6 digits as the output value (and also as the next seed for the sequence). Directed graph of all 100 2-digit pseudorandom numbers obtained using the middle-square method with n = 2. In mathematics and computer science, the middle-square method is a method of generating p
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
How to generate random number sequences (in your head)
Solving a math problem with planner programming | Lobsters
Relational algebra primer | Lobsters
Programming vs mathematical curiosity | Lobsters
Programming vs. Mathematical Curiosity | Hacker News
Welcome | Compendium of Predicates
Compendium of Predicates | Lobsters
Constructing a four-point egg | Lobsters
Diceware - Wikipedia
Is there a pseudo-random number generator simple enough to do in your head?