増田検索 - 順序集合

ヤフー経由で「はてな匿名ダイアリー」(通称:増田)を検索します。
オフィシャルの検索機能がなんだか使いづらいので作ってみました。

Related Words : 順序集合論

Search Result from 1.

2008年1月29日 ... 順序集合の概念よりも、集合論の公理は根源的だから、まだ遡り方が足りない。 集合論 の上でいろいろやって順序集合が定義されるんだろう。 http://anond.hatelabo.jp/ 20090330142757. 児童がより先に習得するのは量数ではなく序数だっ ...
http://anond.hatelabo.jp/20080129122104
2009年3月30日 ... Set Theory(集合論)ではないなぁ。半順序集合は色々あるけど、基礎的なのは束論( Lattice Theory)かな。代数でやったし、代数絡んでくると思われ。 http://anond. hatelabo.jp/20090330183554. ■理論的 先人の偉大な理論があれば別 ...
http://anond.hatelabo.jp/20090330183554
2008年1月27日 ... 順序集合の概念よりも、集合論の公理は根源的だから、まだ遡り方が足りない。 集合論 の上でいろいろやって順序集合が定義されるんだろう。 http://anond.hatelabo.jp/ 20090330142757. 児童がより先に習得するのは量数ではなく序数だっ ...
http://anond.hatelabo.jp/20080127172430
2011年9月15日 ... 論理的,集合論的,順序論的記法 3. プログラミング言語の構文論と意味論 3.1 構文論 3.2 操作的意味論 3.3 関係的意味論 4. 命令の部分正当性 5. Floyd-Naurの部分正当 性証明手法とその同値な変形 5.1 Floyd-Naurの手法による部分 ...
http://anond.hatelabo.jp/20110915234214
2009年3月31日 ... Set Theory(集合論)ではないなぁ。半順序集合は色々あるけど、基礎的なのは束論( Lattice Theory)かな。代数でやったし、代数絡んでくると思われ。 http://anond. hatelabo.jp/20090330183554. ■理論的 先人の偉大な理論があれば別 ...
http://anond.hatelabo.jp/20090331034126
2010年6月27日 ... 集合は一次試験と同じく8:30から。前回の反省を ... 大体30分くらいブレインストーミング して論点と記述順序を整理し、30分弱で実際に書き起こすというのを2問。 採点について ... 集合時刻より10-20分くらい早く到着しておくべきだと思われる。
http://anond.hatelabo.jp/20100627045914
2008年11月9日 ... 元々は別の後輩と3人で行こう、という話だったが、そいつは集合ギリギリで来れなくなっ た。 とりあえず二人で集合したのだが、女の子 .... なんかこう順序だてて結論出されると そうなのかも、とか思ってしまう。 意見ありがとう。 >武運を祈る。
http://anond.hatelabo.jp/20081109233842
2010年11月20日... この意味で「\」を使うことはありません。差集合の意味で使うのが普通です。 ... やつ をよくやってしまうんだよな人間って… 件の問題も5(皿) x 3(個) / 1(皿)、あるいは積の 順序を入れ替えて3(個) x 5(皿) / 1(皿) なのだが、暗黙のうちに1(皿).
http://anond.hatelabo.jp/20101120074634
2012年1月19日 ... 俺はlist comprehensionのほうが集合表記そのもの=whatを表現していて好きだな ... pythonのリスト内包の表記順序は、英語の頭で考えるか数学の頭で考えるかすれば 自然だけどなあ。 rubyは知らないけど、見る限りrubyの方が日本語的 ...
http://anond.hatelabo.jp/20120119194946
2010年11月16日 ... 純粋に数学だと言うなら整数集合上の積演算は公理からa×b=b×aでそれ以上の構造... 6皿に、「2皿につき3個ずつ」でも同じ議論 ... 不自然な3x5という順序で記すならば、 それは{1(皿)x3(個/皿)}x5(無次元)を少し... http://anond.hatelabo.jp/ ...
http://anond.hatelabo.jp/20101116123705
1 2 >>
SaaGaas / Web Service by Yahoo! JAPAN