IIJ Research Laboratory
ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで
German tank problem - Wikipedia
During World War II, production of German tanks such as the Panther was accurately estimated by Allied intelligence using statistical methods. In the statistical theory of estimation, the German tank problem consists of estimating the maximum of a discrete uniform distribution from sampling without replacement. In simple terms, suppose there exists an unknown number of items which are sequentially
直観主義論理の「自然さ」(1) 自然演繹 - 再帰の反復blog
直観主義や直観主義論理そのものには特に思い入れはない。ブラウワーの文章を読んだ覚えはないし、ダメットの文章もほとんど読んでいない。ポアンカレの文章も。でも、もう少し日の目を浴びても良いと思う(それとも知らないだけで、けっこう浴びているのだろうか)。 直観主義論理と自然演繹 自然演繹による証明では、何かある論理式を仮定するところから証明が始まる。仮定された論理式から別の論理式を導き、新しく導かれた論理式からまた別の論理式を導いていく。証明で立てられる仮定は一つとは限らない(複数の仮定を立てないといけない場合の方がたぶん多い)。また証明の途中で、立てていた仮定が取り除かれる場合もある(そのような証明規則が用意されている)。 直観主義論理に対する自然演繹では、論理積・論理和・含意・否定・矛盾の各論理記号について、導入則と除去則と呼ばれる演繹規則を持っている(否定と矛盾についてはちょっと特殊な面が
生活や実務に役立つ高精度計算サイト
(107) 新紙幣発行の裏の狙いとは？ 2024年7月に新紙幣が発行される。一万円、五千円、千円の3券種を改刷する予定で、それぞれ渋沢栄一、津田梅子、北里柴三郎が描かれる。 新紙幣を発行する目的は何だろうか？ 新紙幣には肖像の立体画像が回転する3Dホログラム技術が採用され、偽札を困難にしたと日銀は説明している。その他に (106) 新たなSI接頭語 単位の前に付けられ、10の整数乗を表すための接頭語として、国際単位系では20個のSI接頭語が定められている。 ミリ milli（10-3）、センチ centi（10-2）、キロ kilo（103）、メ (105) インボイス制度の影響について 2023年10月から、消費税のインボイス制度が開始される。 現在、約513万と推計される免税事業者は、そのまま免税事業者でいるか、それとも課税事業者になるか、大きな選択を迫られる。それぞれどのようなメリッ
3x5=5x3 : 404 Blog Not Found
2010年11月16日06:30 カテゴリLoveMath 3x5=5x3 【ゆっくり理解】なぜ3×5で正答で、5×3が小2のテストでは誤答なのか | Kidsnote「皿が5皿ある。1つのお皿に3つずつりんごが載っている。全部でいくつか。」という問いに対して、5×3と式を立てるのは誤りか 正しい。誤りとするのが、誤り。 まず、「乗法の可換性に関してはまだ教えていないから、（かけられる数）×（かける数）でないと×(ばつ)」というものだが、twitterでも言った通り、可換性はまったく関係ない。 3x5=5x3問題、乗算の可換性は実は無関係であることは、分数を見ればわかる。2/3は「さんぶんのに」と日本語、英語ではtwo thirds (or two over three)。非可換な除算すらこう。すなわちどちらを先に書くかというのは人間の都合であって数学の都合ではない。less than a
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
