ヒビルテ(2008-09-21)
λ. Sets in types, types in sets Sets in types, types in sets by Benjamin Werner, in Proceedings of TACS'97 We present two mutual encodings, respectively of the Calculus of Inductive Constructions in Zermelo-Fraenkel set theory and the opposite way. More precisely, we actually construct two families of encodings, relating the number of universes in the type theory with the number of inaccessible ca
「クラスとは何かを集合論から考えなおす」を集合論から考えなおす - 2009-03-11 - きしだのはてな
「クラスとは何かを集合論から考えなおす」について、素朴集合論から考えると混乱するとかZFCっぽくないのは意味がないとかいう指摘を受けたので、ちゃんと考えられるように準備をしてみる。 今回は準備だけ。そして続きがあるかどうかはわからない。 さて、素朴集合論じゃなければどの集合論がいいのかといわれると、ZFCなるものがあるらしい。そして、前回の論でZFCとして致命的なのは、ZFCの公理の中で、すべての集合は要素をたどっていくと空集合にならないといけないというのがあるのだけど、これにあてはまらないということだ。ということで、今回は、集合が要素をたどると空集合になるところまでを考える。 まず、空集合をφとあらわす。空集合は、要素を含まない集合で{}のこと。そして、このφに0という数値を割り当てる。 次に、φを要素とする集合に1という数値を割り当てる。φを要素とする集合というのは{φ}のこと。展開す
引っ越しの際の覚え書き - 西尾泰和のはてなダイアリー
次に引っ越すのは2年以上後だと思うので、今回初めて洗濯機や冷蔵庫を含む引っ越しを行ったときに思った内容を記録しておこう。「□」はTODOのチェックボックスがわり。 引っ越しは可能な限り早くやった方がいい。 日にちの指定を連続する5日間の中から業者に任せるかわりに安くなるパックなどがあるけど、ギリギリになってからでは選べない。 業者によっては「この日程は引っ越しが多いので割引パックを使えません」なんてのがある。 「その日にちではもうトラックが用意できません」と言われて焦らなくていいように早めに業者に連絡する。1週間前の連絡は全然早めじゃなかった。 事実かどうかはわからないが、見積もりが12600円だったのに「昨日電話貰えれば2万でできたんですが、もう遅いので31500円です」なんて言われた。 □ 引っ越しの10日前までにはネット上の複数の引っ越し業者に一括で見積もりできるサービスなどを使って
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
