久我山菜々+
- いいね数 883,988/891,403
- フォロー 5,000 フォロワー 3,071 ツイート 428,718
- 現在地 50.4509531, 30.52263736
- Web https://scrapbox.io/rebuild-kitashirakawa/
- 自己紹介 臼NG http://keybase.io/nona 本アカウントでの発言は所属する惑星の見解を代表するものです。★☆ サクラハッピーイノベーションを人々の生活にお届けします。
2013年09月21日(土)
非公開
タグ：
posted at xx:xx:xx
０は自然数の人による「圏論における再帰的函数」 #kansaimath303 #kansaimath
posted at 16:01:40
今日話すのは圏論と再帰的函数との関連とか #kansaimath303 #kansaimath
posted at 16:02:38
圏論というと代数めいていると思うが計算機でも出てくる，その一例として #kansaimath303 #kansaimath
posted at 16:02:53
圏論の基本的な言葉については仮定する #kansaimath303 #kansaimath
posted at 16:03:11
図式は矢印でのお絵かき．解からない人は「矢印いっぱいあってたのしい！」と思えば良い #kansaimath303 #kansaimath
posted at 16:03:35
部屋番号間違えてました．すみませんでした． #kansaimath307 #kansaimath
posted at 16:04:21
mono射の定義ァ！ #kansaimath307 #kansaimath
posted at 16:05:01
ものもるふぃずむ／もにっく #kansaimath307 #kansaimath
posted at 16:05:41
残りアップグレード
* ハートモチーフの英国紅茶ビスケット
* ハートモチーフの英国紅茶ビスケット・チョコレートつき
* マドレーヌ
* パルミエ
* パレット
* サブレ
* 仔猫監督官
タグ：
posted at 16:06:04
圏の言葉は射が主役／集合の言葉は元（空間の点）が主役 #kansaimath307 #kansaimath
posted at 16:07:33
それぞれponitrree(点を考えない，矢印を考える).pointwise(点を考える)と言う感じ #kansaimath307 #kansaimath
posted at 16:08:36
ここで再帰関数に考える．みんな大好きフィボナッチ． #kansaimath307 #kansaimath
posted at 16:09:05
イエドエスト
Ｔ ←（\alpha） ←FT
↓ ↓
∃！ Ｆｈ
ｈ ↓
↓
Ａ←（ a ）←ＦＡ #kansaimath307 #kansaimath
posted at 16:27:09
バナナ！ #kansaimath307 #kansaimath
posted at 16:27:39
今からﾊﾞﾅﾅな具体例を述べる． #kansaimath307 #kansaimath
posted at 16:29:31
