untitled
( ) 19 5 12 1 2 1 1 2 1 2 [1, 2, 3, 4] 3 4 5 3 4 5 2 ' & ( $ % : 6 [1] =⇒ : = + = − = 6 3 =⇒ : n n n − 2 = (n − 2)× n × n =( + = (n − 2)× × 7 : 7 4 “ ” 3 5 8 9 [5] 8 9 6 ( ) 4 x = (x1, x2) 0 dE(x, 0) = � x2 1 + x2 2 7 x = (x1, x2) ( 0 dP (x, 0) = 2 � x2 1 + x2 2 1 − x2 1 − x2 2 x = (x1, x2) dP (x, 0) 10 11 ( ) ( ) ( ) 12 10 11 8 13 : 12 (horo) 13 9 ⇒ ⇒ 10 14 ( = − × 15 14 15 ( 11 5 (1) (2) (3) 16
『数学』を数学的に考える
terui�kurims.kyoto-u.a .jp 1 Tarski, Chur h, G� odel [6, 11, 12℄ 2 0;1;2;::: N 1 ( ) 1. x;y;z;::: 0 2. t;u S(t);t + u;t �u 0;S(0);SS(0);SSS(0);::: n n 2 ( ) 1. t;u t = u 1 ～ 2. A;B :A;A^B;8xA x senten e A(x) ! _, 9 : ^ 8 t � u � 9x(t + x = u) 8x � t:A � 8x(x � t ! A) 9x � t:A � 9x(x � t ^A) x t;u A 0 1 d e A dAe 2 N A � 1 8x:0 = x d8x:0 = xe \ " 3 ( ) t t 1. 0 0 2. t n S(t) n + 1 3. t;u n;m t + u
CodeIQについてのお知らせ
2018年4月25日をもちまして、 『CodeIQ』のプログラミング腕試しサービス、年収確約スカウトサービスは、 ITエンジニアのための年収確約スカウトサービス『moffers by CodeIQ』https://moffers.jp/ へ一本化いたしました。 これまで多くのITエンジニアの方に『CodeIQ』をご利用いただきまして、 改めて心より深く御礼申し上げます。 また、エンジニアのためのWebマガジン「CodeIQ MAGAZINE」は、 リクナビNEXTジャーナル( https://next.rikunabi.com/journal/ )に一部の記事の移行を予定しております。 今後は『moffers by CodeIQ』にて、 ITエンジニアの皆様のより良い転職をサポートするために、より一層努めてまいりますので、 引き続きご愛顧のほど何卒よろしくお願い申し上げます。 また、Cod
最小完全ハッシュ関数の作り方
■順列型の最小完全ハッシュ関数 ０から４までの５個の数字が下のように並んでいる場合を例にして説明します。 ５個の数字の並べ方は５！通りありますので５！(=120)通りの並べ方の総てに対して0から119までの数値を一意に割り付けることが目的となります。 ３４１０２ ここでは左側から順に数字を見ていくことにします。最初の数字は３で残りの数字の個数は４個ですね。 この残れさた数字の個数分の総順列数は４！ですが、この数量を基数と言います。 つまり左端の数字が何であるかを完全に識別する為に最低限必要な基本となる重みのことです。 従って先ず最初の数字３に基数である４！を掛け算してはじき出します。 [３]４１０２ → ３＊４！ 次に左から２番目の数字ですが、ここから先はとても注意が必要です。 ２番目の数字は４で残りの数字の個数は３個です。残りの数字の個数が３個なので基数は３！になります。つまり基数が変化
Microsoft PowerPoint - ad11-09.pptx
無向グラフ G=(V, E) 頂点集合 V 頂点の対を表す枝の集合 E e=(u,v) 頂点 u, v は枝 e の端点 無向グラフと有向グラフ 2 3 0 1 4 a c f e d b 2 3 0 1 4 a c f e d b 有向グラフ G=(V, E) 頂点集合 V 頂点の順序対を表す枝の集合 E e=(u,v)頂点uは枝eの始点 頂点vは枝eの終点 グラフ G=(V, E) を表現するデータ構造 接続行列 --- 領域計算量 O(mn) 隣接行列--- 領域計算量 O(n2) 2次元配列を使う 実現は簡単 疎なグラフに対して無駄が多い 隣接リスト--- 領域計算量 O(m+n) 複数の連結リストを使う 実現は少し複雑 どのグラフに対しても無駄がない グラフのデータ構造 m: 枝の数 n: 頂点の数
ラグランジュの定理（群論） - ペケンペイのブログ
この記事では群論の重要定理であるラグランジュの定理の簡単な説明と、 群論を用いたCodeforces 334 (Div. 1) B. Moodular Arithmeticの解法について説明する。 この記事は 群の定義 部分群の定義 群の位数の定義 既約剰余類群 を知っている人を対象として書いた。 さて、ラグランジュの定理とは次の定理のことである。 有限群\(G\)の部分群\(H\)がある。このとき\(|H|\)は\(|G|\)の約数である。 この定理の証明方法と、応用方法を順に説明する。 ラグランジュの定理 ラグランジュの定理を導くのに必要な2つの定理を紹介する。 1つ目の定理は次のようなもの。 定理1：有限群\(G\)の部分集合\(A=\{g_1,g_2,\ldots,g_n\}\)の各元に\(g\in G\)を掛けた集合を \(gA=\{gg_1, gg_2,\ldots,gg_n\
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.cs.tsukuba.ac.jp/~kam/complogic/2.pdf
数理解析研究所講究録 第1941巻
http://kussharo.complex.eng.hokudai.ac.jp/~kurihara/classes/Program/trs.pdf
http://web.tuat.ac.jp/~s-hotta/info/slide2.pdf
https://fuchino.ddo.jp/misc/kobe10-05-15-pf.pdf
https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1676-12.pdf
(PDF) Modularity of Level-Confuence for Conditional Term Rewriting Systems
https://www.cs.gunma-u.ac.jp/~hamana/Papers/ppltut.pdf
Chez Lüth
数理論理学入門(Introduction to Mathematical Logic) 高崎金久（京都大学） 〜京都大学での全学共通科目講義に基づく〜
（跡地）【備忘録】数理論理学・数学基礎論の本 - Sokratesさんの備忘録ないし雑記帳
自由確率論での無限分解可能性
競技プログラミングで使えるグラフ理論の基本
http://tgt.ynu.ac.jp/kika2text2014.pdf