プログラマのための圏論の基礎(仮題)

2013/09/04 535 users 仮題 プログラマ Haskell 基礎 必須

この記事は、プログラマに向けた圏論の入門記事です。通常の圏論の教科書より解説を多く、プログラマにとって必要ない概念を削って書いています。圏論とは何かから始まり、アルゴリズム設計、プログラム意味論および Haskell の free-operational パッケージと圏論との関連について解説していきます。 前提知識として必須ではありませんが、何かしらの関数型言語に慣れ親しんでいると読みやすいと思い... 続きを読む

文系と呼ばれる分野に純粋培養された俺が数学に再入門するためのインターネット・リソースガイド - 蟲！虫！蟲！ - #!/usr/bin/bugrammer

2011/11/02 1102 users 微分積分 リソースガイド 殆ど スペック 群論

はじめに──自分のスペックを振り返る 高校を卒業してから十数年、高校数学に関しては殆どといっていいほど手をつけていませんでした。一応、大学の授業でも数学の授業を受けてみるものの、まったく理解ができなかった。というのも、「いったいそれがどうしてそうなるのか」というのがよくわからなかったから。恥ずかしいことに、未だに微分積分とか、あるいは群論とか、集合論とか、圏論とか、線形代数とか、そういうものがまっ... 続きを読む