圏論に最短で入門する - 俺の Colimit を越えてゆけ
はじめに 対象読者 数学以前 数学の基礎 ホモロジー代数 圏論 もっと手取り早く圏論の勉強を始めたい人へ おわりに 紹介した書籍 はじめに 私が圏論という分野を知るきっかけは、おそらくこの文章を読んでいるほとんどの人と同様に Haskell の勉強をしたことがきっかけでした。 Haskell のモナドなどを利用する上では圏論を理解する必要は全くないのですが、型システムや処理系に関して詳しく知りたくて論文を読むと圏論の言葉が普通に使われていて、理解できずに断念していました。 そこで、当時数人が集まってやっていた圏論勉強会に参加して圏論の勉強を始めました。当時読んでいた書籍は Conceptual Mathematics: A First Introduction to Categories でした。この本は圏論の初学者向けに書かれた本で、数学的な知識をほとんど仮定せずに理解できるように書かれ
2007-07-11
ref:/*コメント*/を取り除く どう書く？org こう、Haskell の練習というか HUnit の使い方確認というか。 import Test.HUnit removeComment :: String -> String removeComment = outOfComment where outOfComment ('/':'*':cs) = inComment cs outOfComment (c:cs) = c : outOfComment cs outOfComment [] = [] inComment ('*':'/':cs) = outOfComment cs inComment (c:cs) = inComment cs inComment [] = [] testData = [ t "AAA" "AAA", t "AAA/*BBB*/" "AAA", t "A
ACM Inter Collegiate Programming Contest 2007 All Problems
世界道化コンテスト (International Clown and Pierrot Competition; ICPC) は興行界で権威も人気も最高の行事である． このコンテストの特色のひとつは，採点に当たる審判員の数が多いことで，と きには百人にも上る．審判の数は競技者ごとに異なる．というのは，採点対象 の競技者と少しでも関係のある審判は，その競技者の演技の採点から一時的に 外れるからである． 基本としては，ひとりの競技者の演技についての審判の点数の平均がその競技 者の点数になる．常軌を逸した視点から採点する審判が点数に大きな影響を与 えないよう，最高点と最低点は除外する．もし最高点をつけた審判が複数いた ら，そのうちのひとつだけを無視する．最低点についても同様である．平均点 には端数があるかもしれないが，それは切り捨てて最終的な点数は整数値とす る． この行事をテレビ中継向けにスピー
http://www.tom.sfc.keio.ac.jp/~sakai/d/data/200604/JSON.hs
----------------------------------------------------------------------------- -- | -- Module : JSON -- Copyright : (c) Masahiro Sakai & Jun Mukai 2006 -- License : BSD-style -- -- Maintainer : sakai@tom.sfc.keio.ac.jp -- Stability : experimental -- Portability : portable -- ----------------------------------------------------------------------------- module JSON ( Value (..) , parse , json , stri
Write Yourself a Scheme in 48 Hours A Haskell Tutorial - Enjoy Programming
Write Yourself a Scheme in 48 Hoursを読んでみます。Parsec, 高速なコンビネータパーサも参照。 Overview First steps Parsing Writing a Simple Parser Whitespace Return Values Stringのパース Atomのパース (実はBoolも) Numberのパース 今までのパーサを組み合わせる Exercises parseNumberを書き換え 文字列内のダブルクォートをエスケープさせる 他のエスケープ文字も扱えるようにする parseNumberを異なる基数の表記に対応させる 文字の処理を付け加える 実数の処理を付け加える full numeric tower 再帰的なパーサ Exercise バッククォートのシンタックスシュガーを実装 ベクタのサポート 左くくりだしを行ってtr
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
MGS 2005: Lecture Note Index
MGS 2006: Lecture Note Index