死なないために
Paul Graham / 青木靖 訳 2007年8月 (以下は私がY Combinatorで夏シーズン最後のディナーのときに行ったトークだ。いつもは最後のディナーでトークなんかやってなくて、どちらかといえばパーティに近いのだが、しかしいくつかのスタートアップを避けられる死から救えるのであれば、雰囲気を壊してもやる価値はあると思ったのだ。それで土壇場になって、このちょっと辛気臭いトークを書きあげた。これは別にエッセイのつもりで書いたものではない。ディナーまでに2時間しかなく、書いているときが一番早く考えられるので書き出したというまでだ。) 2、3日前、私はある記者に、投資した会社の1/3くらいが成功することを期待していると話した。実際にはこれは控え目に言ったものだ。私は半分くらいは成功できるのではないかと思っている。50%の成功率を達成できたら、ちょっとすごいと思わない? 言い方を変えると
HoTT のモデルに関する文献 - 論理とか計算機とか数学とか
モデルがないとよくわからない気がしたのでモデルを知りたい，ということで参考になりそうな文献を探してみました(まだ読んでない)。新しい順。 Awodey: Natural models of homotopy type theory (2014) http://arxiv.org/abs/1406.3219 van den Berg, Garner: Topological and simplicial models of identity types (2011) http://arxiv.org/abs/1007.4638 Awodey, Warren: Homotopy theoretic models of identity types (2007) http://homotopytypetheory.org/references/awodey-warren-homotopy-the
マクマーティン保育園裁判 - Wikipedia
マクマーティン保育園裁判（マクマーティンほいくえんさいばん、The McMartin Preschool Trial）、通称マクマーティン事件（McMartin case）は、1984年から1990年まで行われたアメリカ合衆国における子供の性的虐待事件に関する刑事裁判。マクマーティンは、本件で起訴された保育園の園長の姓に因む。 公判前捜査も含め1984年から6年間続いた刑事裁判の結果、証拠は存在しないことが明らかになり、1990年までに全容疑者について審議不成立（200件以上の容疑について無罪評決、残り数件について評決不能）となった。アメリカ史上最も長く、最も高価（約1500万ドル）な刑事裁判であった。 この事件に関する報道は、全米に保育園などでの性的虐待の可能性に対する社会的恐怖という一種のモラル・パニックを引き起こした。保育園関係者に対する社会からの酷い非難は、魔女狩りにも喩（たと）え
保育園などでの性的虐待の可能性に対する社会的恐怖 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "保育園などでの性的虐待の可能性に対する社会的恐怖" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2018年2月） 保育園などでの性的虐待の可能性に対する社会的恐怖（ほいくえんなどでのせいてきぎゃくたいのかのうせいにたいするしゃかいてききょうふ）とは、1980年代にアメリカをはじめとする各国で、保育園や幼稚園などの施設の経営者や職員らが子供たちに対し性的虐待を行ったとして親たちに相次ぎ告発された現象である。告発の内容は、職員らが子供たちの性器に触れた、拷問した、性的な行為を強要したなどであり、中にはエーカー託児所事件のように別室へ連れて行
simplicial model of type theory -
絵が多いので、こっち↓の方に書いた。xyjaxを使いたかっただけというわけではない http://formalgroup.tumblr.com/post/96778113120/simplicial-model-of-type-theory cubical modelのことを書こうと思ったけど、数学の世界では、simplicial setの方が、cubical setより、ずっとメジャーで勉強しやすい(教科書も多い)。基本的なところは似ているので、まずはsimplicial setから理解するのが結局近道な気がする cf.A model of type theory in cubical sets http://www.cse.chalmers.se/~coquand/mod1.pdf
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
エリィのアクション
simplicial model of type theory