圏論の勉強を進めるにつれて、単語が分からなくなってきたので、 自分の理解のために簡単な単語帳を作ります。 間違いがあるかもしれませんが、何かの参考になれば。

この記事はC++ Advent Calendar 2012の10日目の記事です。 はじめに Boost.Graphでは様々なグラフの問題を扱うことができます。 例えば、グラフの経路探索を抽象化した、幅優先探索や深さ優先探索、最短経路問題を効率よく解くためのA*アルゴリズムや、平面…

隣の人からラムダ式の定義とかモロモロについて語ってもらった。 内容のまとめなので、間違い多々ある気がする。 ラムダ式(参考：Wikipedia) 記号の加算無限集合identifier*1を定義する。 この時、次のラムダ式eは次のように定義される。 1. e∈identifier な…

隣の人(id:rf0444)と話してたらまとまったので。 0を含む自然数の集合と0を含まない自然数の集合を比較すると、 は半群*1であり、Monoid*2ではない。 は半群であり、Monoid*3である。 なんで、0を含めると自然数をより広いインタフェースで考えられるように…

暫定的に。 dotは階層表示であり、ノード位置を自動調整 neatoは全体をバネ計算アルゴリズム見たいなのを使って、程よく配置する ただし、ノード・エッジが標準ではかなり重なる。 Graphのパラメータの設定で回避可能 overlap = false; - ノードの重複を禁止…

発表とか、後のtwitterを見てて気になったことを書いておきます。 adjacency_listのコンストラクタ 発表資料では(エッジを格納したイテレータの最初、最後、頂点数)の3パラメータから成るコンストラクタを紹介しました。これは以下のコンストラクタです。 te…

昼ぐらいにtwitter上で面白いのが流れてきた。 次に挙げる条件を満たす式（文字列）で、グーグル電卓に入力したときに特定の値になるものを見つけよ。 ・1, 2, 3, 4, 5の数字を一回ずつ（順不同）含む。 ・残りの文字は全てASCII非英文字である。(1) 値が円…

数学ガール/ゲーデルの不完全性定理 (数学ガールシリーズ 3)作者: 結城浩出版社/メーカー: SBクリエイティブ発売日: 2009/10/24メディア: 単行本購入: 37人 クリック: 930回この商品を含むブログ (149件) を見る ついに第三弾が！ これは明日にでも予約しな…

ポケモンの。 帰りの電車の中で、イーブイの卵を割ってたけど、１２匹ぐらい割って全部♂。 オスとメスの比が７：１だから、全部オスの確率は(7/8)^12となる。 低いかとも思ったが、なにげに約２０％の確率。こういう確率を計算できちんと出すと楽しいのは私…

卒研発表で「分子は環を……」という内容の発表があった。 自分の頭の中 「和や積ってどうやって定義するんだろう？」 となりのrfに聞いてみたら分子環なるものがあるそうで。 これが本当の環違い。

問：DX2ndで、(n,cr)=(振るダイスの数,クリティカル値)が与えられる時、出目の期待値はいくらか。 ネット上の類題：多くの試行回数の平均を取った結果の表は存在するが、式を算出していない。式がどのようなものになるかを考えたい。ちょっと考えて見ると、…

Statistics Hacks ―統計の基本と世界を測るテクニック作者: Bruce Frey,鴨澤眞夫,西沢直木出版社/メーカー: オライリー・ジャパン発売日: 2007/12/26メディア: 単行本（ソフトカバー）購入: 2人 クリック: 135回この商品を含むブログ (46件) を見る 学校の書…

出てたのか、知らなかった…… ただ、普通に結城さんの書いた方を持ってるからなぁ。 だれか買ってくれないかな。読みたい。数学ガール 上 (MFコミックス フラッパーシリーズ)作者: 結城浩,日坂水柯出版社/メーカー: KADOKAWA(メディアファクトリー)発売日: 20…

数学ガールの最初を少し見ていたら面白いものがあったので、その類題を。問：次の数列に続くものは何か (1) : 2 7 1 8 2 8 1 8 2 8 (2) : 81 20 54 81 65 99 60 6 12 73

数学ガール/フェルマーの最終定理 (数学ガールシリーズ 2)作者: 結城浩出版社/メーカー: SBクリエイティブ発売日: 2008/07/30メディア: 単行本購入: 35人 クリック: 441回この商品を含むブログ (259件) を見る 結城浩さんの数学ガールの続編。数学ガール フ…