• 検索結果がありません。

SQLファイルの置き場

共有ファイル  Metacon ファイル置き場

共有ファイル Metacon ファイル置き場

... YahooChat で「仮想国会」 混沌とした状態で続けている 中学生がオンラインで勉強会 オンラインで参加してもらう. 勉強会の楽しさが伝わっていない[r] ...

1

ファイル置き場  Sendai Logic Homepage

ファイル置き場 Sendai Logic Homepage

... k 頂点完全グラフを N 個と k × N 頂点完全グラフを用意する。 2k − 1 彩色方法が制限されるようにそれらを辺で結ぶ。 n が f または g 値域であるとき n 番目 k 頂点完全グラフ と k × N 頂点完全グラフを結ぶ。この際 f か g かに応じて 「ずらして」結ぶ。 ...

40

ファイル置き場  Sendai Logic Homepage

ファイル置き場 Sendai Logic Homepage

... 転させるだけでこのパズルを解くことができた。 ( なかなか時 間を要した。 ) では一般に n 頭パズルを解くには像を何回 回転させなければならないか? 定理 (Omoto-Fujiwara-Hoshino, 2011) ...

31

ファイル置き場  Sendai Logic Homepage

ファイル置き場 Sendai Logic Homepage

... random sequence can be considered to satisfy any “simple” property, like law of large number, which almost all infinite binary sequence obtained by tossing a fair coin satisfy. • On the [r] ...

16

ファイル置き場  Sendai Logic Homepage

ファイル置き場 Sendai Logic Homepage

... How can bounded arithmetic results be used in the finite model theory setting. How can locality be used to prove complexity separations?.[r] ...

40

ファイル置き場  Sendai Logic Homepage

ファイル置き場 Sendai Logic Homepage

... Picard’s theorems and Schottky’s theorem within second order arithmetic.. Yoshihiro Horihata Tohoku university.[r] ...

49

ファイル置き場  Sendai Logic Homepage

ファイル置き場 Sendai Logic Homepage

... = M ∪ {(n + 1, l)} とすればよい. そうでない場合は (2) より頂点 n + 1 を始点とする M- 付加道 をとってこれる. この道は明らかに有限道なので,有限版証明と同じ手法で {0, 1, . . . , n, n + 1} ⊂ M ′ ...

51

ファイル置き場  Sendai Logic Homepage

ファイル置き場 Sendai Logic Homepage

... 逆数学について 逆数学とは「数学諸定理証明を行うために必要十分な公理とは何か」を調 べる研究ことである . 特に定理から公理を証明するというところから「逆」 数学といわれている . ...

19

ファイル置き場  Sendai Logic Homepage

ファイル置き場 Sendai Logic Homepage

... とは一致しないことが知られている。 ・ (横山氏コメント)この問題本質的な部分は上記 “ Jordan 閉曲線定理逆 ” と同様もので ある可能性がある。 3. ペンローズ予想「マンデルブロ集合は計算不可能である」を証明または反証せよ。 ・ z ∈ C に対し ...

2

ファイル置き場  Sendai Logic Homepage ihara

ファイル置き場 Sendai Logic Homepage ihara

... (Shoenfield; 1960) The set of all complete consistent extension of an axiomatizable theory forms a Π 0 1 class. (G ¨odel’s incompleteness theorem) Elementary arithmetic has no complete c[r] ...

49

ファイル置き場  Sendai Logic Homepage abst

ファイル置き場 Sendai Logic Homepage abst

... In [1], Harvey Friedman showed the famous self-embedding theorem for PA which asserts that every countable model of PA has an initial segment which is isomorphic to itself.. This theorem[r] ...

1

ファイル置き場  Sendai Logic Homepage ihara

ファイル置き場 Sendai Logic Homepage ihara

... ただし,学習者(人,動物,機械 etc. )は有限的なので,無 限列うち有限部分しか参照することができない. 学習者とは関数:有限列 7→ 法則. 法則は何らかの言葉で記述されるとし,自然数でコードする. ...

59

ファイル置き場  Sendai Logic Homepage ihara

ファイル置き場 Sendai Logic Homepage ihara

... Before starting the construction, we take account of the fact that topologist’s sine curve is not path-connected. It means that we cannot cut-pointize infinite many risings, on one harmo[r] ...

78

ファイル置き場  カッシーラー『人間』勉強会

ファイル置き場 カッシーラー『人間』勉強会

... 神:純粋な精神働き…すべてが現実。神知性は、原型知性または根源的直観。 考えるという行為それ自身によって、事物を創造し、生成せずしては、事物を考えら れない。→現実性と可能性区別を知らない。(p.127) カントは、このような神もつ「直観的悟性」(概念によらない把握)によって人間知 性性質と限界を示そうとした。(p.128) ...

3

ファイル置き場  Sendai Logic Homepage

ファイル置き場 Sendai Logic Homepage

... by special payoff function (we may call a weighted reachability payoff function) defined on generalized reachability games.. Finally, we show that the value of B¨ uchi game can be writte[r] ...

30

ファイル置き場  Sendai Logic Homepage

ファイル置き場 Sendai Logic Homepage

... The subject of my talk is to decide unsatisfiability of first-order sentence, automatically by a computer.. I rewrite the condition that a first-order sentence ϕ is satisfiable one after[r] ...

38

共有ファイル  Metacon ファイル置き場

共有ファイル Metacon ファイル置き場

... 運営は難しくない 会場:いくつか貸してくれる会社を キープ。( 例:ミラクル・リナックス株式会社 ) 宴会:ドタキャン織り込み済みで人 数予約。ピザとビール場合、それ すら必要ない。 ...

18

ファイル置き場  勝島運河倶楽部

ファイル置き場 勝島運河倶楽部

... 貴田さんが行う予定 7月17日 シーカヤックスクール&自然観察会 現在 3名 予約 9月予定鈴小お母さん内、2名に参加いただいたらどうか? 貴田さんから連絡することとした ...

3

ファイル置き場  日本Cassandraコミュニティ

ファイル置き場 日本Cassandraコミュニティ

... ここが true になっていると起動時に同じク ラスター名クラスタからデータ同期を始 める。 ※ 最初にクラスターを作成する際に全てノード で true になっているとクラスター作成ができな い。 ...

12

ファイル置き場  日本Cassandraコミュニティ

ファイル置き場 日本Cassandraコミュニティ

... 情報交換に使用するメッセージ基本構造 各更新情報をタプルとして表現 タプルリストとしてメッセージを構成 node A key 1 value 1 version 1 node A key 2 value 2 version 1 node B key 1 value 1 version 1 ...

49

Show all 10000 documents...

関連した話題