yohhoy

#include <ostream>
#include <string>
#include <locale>

// FizzBuzz streambuf
template <class CharT, class Traits = std::char_traits<CharT> >
class basic_fizzbuzz_streambuf : public std::basic_streambuf<CharT, Traits> {
  typedef std::basic_streambuf<CharT, Traits> sbuf_type;
  typedef typename sbuf_type::traits_type traits_type;
  typedef typename sbuf_type::char_type char_type;

Gab-km

GitHub Flow

• Scott Chacon on the Interwebs(リンク切れ)
• Scott Chacon on the Interwebs
• GitHub Flow - The best way to use Git and GitHub

31 Aug 2011

git-flowの問題点 (Issues with git-flow)

dannyow

00D1E5
0111E
0115
011ED
011F1E1D
011F1E1D5
015E
01AF
01D1E

naniittenda_koitu.rb

Plugin.create :naniittenda_koitu do
  command(:naniittenda_koitu,
          name: '何言ってんだこいつ',
          condition: lambda{ |opt| opt.messages.size == 1 },
          visible: true,
          role: :timeline) do |opt|
	Service.primary.post message: "何言ってんだこいつ #{opt.messages.first.parma_link}"
  end
end

vyv03354

『キューネン 数学基礎論講義』の置換公理 のページの内容について質問があります。 「万有集合をもつモデルは基礎の公理 (A2) をみたさない」というのは本当でしょうか?

$A$の$0$を除くすべての要素は$0$を要素に持つので、

• $x=0$の場合:$∃y∈A(y∈_\mathfrak{A}x)$が成り立たないのでよい。
• $x≠0$の場合:$y$として$0$を取れば$0∈_\mathfrak{A}x∧¬∃z∈A(z∈_\mathfrak{A}x∧z∈_\mathfrak{A}0)$が成り立つのでよい。

となって、A2が$\mathfrak{A}$で成り立っているように見えます。内包公理があると万有集合から万有集合のみを要素に持つ集合が作れてしまうのでだめですが、内包公理がないので問題ないはずです。