お絵描き圏論
「誰でもわかる『コンパクト閉圏』」を目指して書き始めた記事。だが、前 書きが長くなりすぎて、本編に至ってない。結局この記事は、前置きの部分だ け。コンパクト閉圏は（図形的に見れば）、まっすぐな線分だけから交差や曲 がり（回転）も取り入れる形で“進化した圏”、と位置付けられることを示す。 関連記事：ETBダイアグラム 関連記事：コンパクト閉圏 関連記事：コンパクト閉圏を定義する 関連記事：「圏論」インデックス 1. はじめに 「コンパクト閉圏」という記事を書い たが、これは「脈絡もなく雑多なこと」を備忘目的で記したものだ。そのため、 系統的な説明にはまったくなってない。で、この記事でなにか系統的な話をす るかというと、そうではなくて:-)、もっと脈絡もなく雑多なことになる。 「コンパクト閉圏」の6節の短いノー ト「ネーミング同型のあからさまな表示」で、コンパクト閉圏は、どことなく 算数っぽい
λ計算とは コンピュータの人気・最新記事を集めました - はてな
まず無限個の変数が与えられているとする。変数は通常x, yなどど記述される。変数から出発し、次の操作を繰り返して得られるものをλ式と呼ぶ。 λ抽象 λ式Mと変数xから、式λx. Mを生成する操作。これは、変数xに引数を受け取り、値Mを返す関数を意図する。Mに含まれる変数xはこのλにより束縛されるという。ただし、すでに束縛されているものは除く。 関数適用 二つのλ式M, Nを並べて結合した式MNを作る操作。これは式Mが表す関数に引数としてNを与えることを意図する。 またλ抽象や関数適用の範囲を明確にするために括弧を用いる。 例: (λx. xx)(λx. xx),λf.(λx.(f (x x)) λx.(f (x x)))
Sebastiano Vigna
I received my Laurea in Mathematics from the University of Milano in 1991, and my Ph.D. in Computer Science from the University of Milano in 1996. Presently I am an associate professor at the Computer Science Department of the University of Milano, and a member of the LAW. You can mail me if you want. Information related to the DSI (e.g., phone numbers) can be found on my DSI web page. Current Int
はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記
全体目次： 第1歩：しりとりの圏 （このエントリー） 第2歩：行列の圏 第3歩：極端な圏達 第4歩：部分圏 第5歩：変換キューの圏 第6歩：有限変換キューと半圏 第7歩：アミダの圏 第8歩：順序集合の埋め込み表現 第9歩：基本に戻って、圏論感覚を養うハナシとか 付録／番外など： 中間付録A：絵を描いてみた 番外：同期／非同期の結合 中間付録B：アミダとブレイド 番外：米田の補題に向けてのオシャベリ 一部のプログラミング言語の背景として、圏論（カテゴリー論）が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような。でも、安直な入門的文書はあまり見かけないですね。もちろん、シッカリした教科書や論説はあるんですが、どうもシッカリし過ぎているような。例えば、圏の例として「コンパクト・ハウスドルフ空間と連続写像の圏」とか言われてもねぇ（この例はいい例なんです
なつかしさは何によって引き起こされるのかを明らかにしました — 京都大学
2010年9月24日 なつかしさは、何によって引き起こされるのか、年齢によってどのように変化するのか、なつかしさを引き起こすノスタルジア広告（レトロ・マーケティング）の効果はどのようにして起こるのかについて、楠見孝 教育学研究科教授らがまとめた調査結果が、日本心理学会の英文学術誌Japanese Psychological Research（Wiley-Blackwell社発行）に掲載されました。 この論文では、（1）なつかしさを引き起こすことがらは、過去の繰り返しの経験（反復接触）と長い空白時間（例： 昔のヒット曲、学校の場面）が重要であること、（2）なつかしさが引き起こされたり、昔をなつかしむ傾向は、男女とも加齢による上昇が見られ、男性の方がやや高いと分析しています。 論文名 Kusumi, T., Matsuda, K., & Sugimori, E. (2010). The eff
大学編入のことなら専門予備校のECC編入学院
COURSE開講コース 編入学試験は希望学部によって試験時期や科目が異なります。 ECC編入学院では文系と理系の2種類の対策コースをご用意しています。
ひろぶろ : その記事は既に無いんよ。
2011年12月01日00:00 by hineri その記事は既に無いんよ。 カテゴリ雑記 今このページを見てるって事は、君は旧ひろぶろの記事を閲覧しようとしてここへ来たんだね。 でもその記事はもう無いんだ。 詳しくはこのブログの「このサイトについて」の所に書いてあるけど、 今“この”サイトを管理している「僕」は初代管理人じゃない。 で、君がどんな記事を見ようとしたのかわからないけど、 その記事は管理人が代替わりする時に消えちゃったってわけ。 正直言って「僕」にもよく分からないんだよ。 どこまでが運命で どこからが選んだ人生なのか まさか「僕」が「ひろぶろ」の管理人になるとはね…。 フフフッ でもまあ、今は「僕」が、面白おかしくもちょっと怖い動画とかをさ、 毎日新しく頑張って更新してるから、是非このブログのＴＯＰへ行って、 最新のオモシロ動画、ネタ動画を閲覧してみてちょ。 だって君は本当
池田信夫 - Wikipedia
橋下徹が消費税の地方税化を訴えていることに関して「冗談でなければ無知としか思えない」などとする批判記事を掲載したところ、逆に橋下から「池田信夫はモノ知りレベルで官僚機構の課長レベル。この程度なら次長、部長、局長は無理で、何よりも細かな知識を述べるだけで事の本質を突いていない。これは行政をやったことがないから」と批判を受けた[8]。2012年5月、橋下が大飯原発の再稼動を容認したため、「君子豹変す」と橋下に対する評価を改め、同年12月に行われた第46回衆議院議員総選挙の投開票を目前に控えたツイートでは、独自に算定した「IQ」値による各政党トップのランク付けを発表し、橋下を第一位にした[9]。 2009年は米国が大不況（前年の2008年10月は米国の失業率は6.6%で2014年1月も同水準の6.6%である[10] が、当時は大不況で10月には10.2%という記録的な水準に達していた[11]）に
櫻井よしこ - Wikipedia
櫻井 よしこ（さくらい よしこ、1945年〈昭和20年〉10月26日 - ）は、日本のジャーナリスト。 本名は櫻井 良子（読みは同じ）。以前は本名名義で活動していたが、1994年4月に現在の表記に改めた。 来歴 生い立ち ベトナム民主共和国・ハノイの野戦病院で日本人の両親の間に生まれた。大分県中津市に住んだのち、母親（小千谷市出身）の郷里に近い新潟県長岡市に転居した[1]。県立長岡高校卒業後[2]、慶應義塾大学文学部に進学するも中退し、ハワイ大学マノア校歴史学部を卒業。 ジャーナリスト・言論活動 2015年7月10日、『櫻LIVE』の収録を前に（伊藤穰一撮影） 英字新聞クリスチャン・サイエンス・モニター東京支局などを経て、1980年5月から1996年3月まで日本テレビ『NNNきょうの出来事』のメインキャスターを務めた。1993年度の日本女性放送者懇談会賞を受賞[3]。1995年に薬害エイズ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Facebookのコンテンツをmixiのマイミクと共有