システム・エンジニアの基礎知識静岡理工科大学情報学部コンピュータシステム学科菅沼研究室のページです．主として，プログラミング言語（ HTML，C/C++, Java, JavaScript, PHP, HTML，VB，C# ），及び，システムエンジニアとしての基礎知識（数学，オペレーションズ・リサーチやシステム工学関連の手法）を扱っています．
平方根を使わずに高速で２点間の距離を近似する - きしだのHatena
２点間の距離の計算では平方根が必要になりますが、平方根は少し重い計算です。ということで、平方根を使わず、掛け算・割り算・足し算と絶対値・最大・最小だけで距離を近似する方法についての記事を翻訳してみました。 flipcode - Fast Approximate Distance Functions (12:02 補足：おそらく今の標準的なCPUでやる意味はほとんどないと思います。近似のアプローチとして面白いというくらいの話。Z80でやりましょう) 距離関数高速近似 by Rafael Baptista (27 June 2003) ２点間のユークリッド距離を求める計算式は次のようになる。 二次元では次のようになる。 この関数の計算には、平方根が必要になる。これは最近のコンピュータでも高価な計算である。平方根は逐次近似によって求められる。つまり、コンピュータは平方根近似のループを行って、与え
論理かるた - 言語ゲーム
今日は証明するカードについて書きます。証明というとなんだか人間にも難しく、機械にやらすには高度な人工知能が必要だと思うでしょう。しかしコンピュータも電気も不要です。なんとこのカードは並べるだけで証明ができてしまうのです！とりあえずどんなのか見てみましょう。 自分でやりたい人は logiccard.pdf と logiccard2.pdf をダウンロードして名刺用紙に印刷してください。用紙のサイズが合わない時は logiccard.svg と logiccard2.svg をイラストレータや Inkscape で編集するといいと思います。 このように印刷して、灰色の部分をポンチで穴を開けます。ホッチキス式のポンチではカード中ほどの穴に届かないので、その場合は手芸用のポンチを使うと良いです。 するとこのような謎めいたカードが出来上がります。 それぞれのカードはベン図になっています。穴の開いてい
数学についてのwebノート トップページ
算術 論理 / 集合 集合と数のあいだ [順序集合/代数系] / 数 解析学 ― 位相・距離、関数 ― 極限 [数列点列/関数]/連続 ― 微分 [ 1変数関数の微分 / 2変数関数の微分 / 多変数関数の微分 / 1変数ベクトル値関数の微分 / 多変数ベクトル値関数の微分 ] ― 積分 線形代数 索引 / 更新履歴 / 文献 算術上の知識 階乗/順列/組み合せ/二項定理/多項定理 Σの定義 Σの計算公式 ： Σの結合則/ Σの分配則/ よく使われるΣの値の公式 二重和ΣΣの計算公式 Σの行列表現： 和の行列表現/ 平均の行列表現/ 2重和の行列表現 二次形式の行列表現/ 積和の行列表現/ 双一次形式の行列表現/ 偏差2乗和の行列表現/ 偏差積和の行列表現 累乗と指数法則 ： べき・累乗の定義(自然数指数)/べき・累乗の定義(整数指数)/べき・累乗の定義(有理数指数)/べき・累乗の定義
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
大学入試数学史上最大の難問『98年東大後期』 : ２のまとめＲ
2010年03月23日 ➥ 大学入試数学史上最大の難問『98年東大後期』 80 comments ツイート 219：シール(関西地方) []：2010/03/21(日) 22:48:01.30 ID:38Ln8AxR 灘の数学の問題何て演繹的に全てできる。 てか中高の入試問題はどんなに難しくても演繹的。 大学受験界で唯一高校数学の概念を超越していて、かつ 大学数学かというとどのジャンルかは不明な超難問が 東大１９９８年後期の３の(2)らしい。 この３の(2)は噂では合格者の内わずか２人だけ完解して 後期受験者数百人唯一後期数学満点だったと聞いた。 233：漁網(神奈川県) [sage]：2010/03/21(日) 22:51:08.27 ID:OhtZuCs3 >>219 エリートニュー速民ならとけるかな http://kaisoku.kawai-juku.ac.jp/nyushi/hon
クラスタリングの定番アルゴリズム「K-means法」をビジュアライズしてみた - てっく煮ブログ
集合知プログラミング を読んでいたら、K-means 法（K平均法）の説明が出てきました。K-means 法はクラスタリングを行うための定番のアルゴリズムらしいです。存在は知っていたんだけどいまいちピンときていなかったので、動作を理解するためにサンプルを作ってみました。クリックすると１ステップずつ動かすことができます。クラスタの数や点の数を変更して、RESET を押すと好きなパラメータで試すことができます。こうやって１ステップずつ確認しながら動かしてみると、意外に単純な仕組みなのが実感できました。K-means 法とはK平均法 - Wikipedia に詳しく書いてあるけど、もうすこしザックリと書くとこんなイメージになります。各点にランダムにクラスタを割り当てるクラスタの重心を計算する。点のクラスタを、一番近い重心のクラスタに変更する変化がなければ終了。変化がある限りは 2. に戻る。これ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
虚数とオイラーの等式