reading's People
reading's Issues
Current Interests
関心のある事あるいは書籍を雑多に書き連ねていく。
Programming with Arrows
2015-02-10
2015-02-05
cont.
Monadic Parsing in Haskell
Haskell reading list
2015-02-08
Monoids: Theme and Variations (Functional Pearl)
2015-02-07
red bookを読む。
2015-02-03
cont.
A Few Useful Things to Know about Machine Learning
2015-02-21
『記号論理入門 (日評数学選書): 前原 昭二』4章まで
2015-02-01
Programming with Arrows 1. Introduction
2015-02-06
cont.
2015-02-04
cont.
2015-02-22
『記号論理入門 (日評数学選書): 前原 昭二』読み終わった。
Practical Foundations for Programming Languages
OpenGL Programming Guide
OpenGL Programming Guide : Table of Contents
- Chapter 1. Introduction to OpenGL
- Chapter 2. State Management and Drawing Geometric Objects
- Chapter 3. Viewing
- Chapter 5. Lighting
- Chapter 6. Blending, Antialiasing, Fog, and Polygon Offset
- Chapter 7. Display Lists
- Chapter 8. Drawing Pixels, Bitmaps, Fonts, and Images
- Chapter 9. Texture Mapping
- Chapter 10. The Framebuffer
- Chapter 11. Tessellators and Quadrics
- Chapter 12. Evaluators and NURBS
- Chapter 13. Selection and Feedback
- Chapter 14. Now That You Know
Category Theory for Computing Science
- 1 Preliminaries 1
- 1.1 Sets 1
- 1.2 Functions 3
- 1.3 Graphs 8
- 1.4 Homomorphisms of graphs 11
- 2 Categories 15
- 2.1 Basic deØnitions 15
- 2.2 Functional programming languages as categories 20
- 2.3 Mathematical structures as categories 23
- 2.4 Categories of sets with structure 27
- 2.5 Categories of algebraic structures 32
- 2.6 Constructions on categories 35
- 2.7 Properties of objects and arrows in a category 40
- 2.8 Monomorphisms and subobjects 47
- 2.9 Other types of arrow 53
- 2.10 Factorization systems 58
- 3 Functors 65
- 3.1 Functors 65
- 3.2 Actions 74
- 3.3 Types of functors 80
- 3.4 Equivalences 84
- 3.5 Quotient categories 88
- 4 Diagrams, naturality and sketches 93
- 4.1 Diagrams 93
- 4.2 Natural transformations 101
- 4.3 Natural transformations between functors 109
- 4.4 The Godement calculus of natural transformations 117
- 4.5 The Yoneda Lemma and universal elements 121
- 4.6 Linear sketches (graphs with diagrams) 127
- 4.7 Linear sketches with constants: initial term models 133
- 4.8 2-categories 140
- 5 Products and sums 153
- 5.1 The product of two objects in a category 153
- 5.2 Notation for and properties of products 157
- 5.3 Finite products 168
- 5.4 Sums 178
- 5.5 Natural numbers objects 182
- 5.6 Deduction systems as categories 186
- 5.7 Distributive categories 188
- 6 Cartesian closed categories 195
- 6.1 Cartesian closed categories 195
- 6.2 Properties of cartesian closed categories 202
- 6.3 Typed
- 6.4
- 6.5 Arrows vs. terms 212
- 6.6 Fixed points in cartesian closed categories 215
- 7 Finite product sketches 219
- 7.1 Finite product sketches 220
- 7.2 The sketch for semigroups 225
- 7.3 Notation for FP sketches 231
- 7.4 Arrows between models of FP sketches 234
- 7.5 The theory of an FP sketch 237
- 7.6 Initial term models for FP sketches 239
- 7.7 Signatures and FP sketches 245
- 8 Finite discrete sketches 251
- 8.1 Sketches with sums 251
- 8.2 The sketch for Øelds 254
- 8.3 Term algebras for FD sketches 257
- 9 Limits and colimits 265
- 9.1 Equalizers 265
- 9.2 The general concept of limit 268
- 9.3 Pullbacks 273
- 9.4 Coequalizers 277
- 9.5 Cocones 280
- 9.6 More about sums 285
- 9.7 UniØcation as coequalizer 289
- 9.8 Properties of factorization systems 294
- 10 More about sketches 299
- 10.1 Finite limit sketches 299
- 10.2 Initial term models of FL sketches 304
- 10.3 The theory of an FL sketch 307
- 10.4 General deØnition of sketch 309
- 11 The category of sketches 313
- 11.1 Homomorphisms of sketches 313
- 11.2 Parametrized data types as pushouts 315
- 11.3 The model category functor 320
- 12 Fibrations 327
- 12.1 Fibrations 327
- 12.2 The Grothendieck construction 332
- 12.3 An equivalence of categories 338
- 12.4 Wreath products 341
- 13 Adjoints 347
- 13.1 Free monoids 347
- 13.2 Adjoints 350
- 13.3 Further topics on adjoints 356
- 13.4 Locally cartesian closed categories 360
- 14 Algebras for endofunctors 363
- 14.1 Fixed points for a functor 363
- 14.2 Recursive categories 368
- 14.3 Triples 372
- 14.4 Factorizations of a triple 374
- 14.5 Scott domains 376
- 15 Toposes 383
- 15.1 Definition of topos 384
- 15.2 Properties of toposes 387
- 15.3 Is a two-element poset complete? 391
- 15.4 Presheaves 393
- 15.5 Sheaves 395
- 15.6 Fuzzy sets 400
- 15.7 External functors 403
- 15.8 The realizability topos 408
- 16 Categories with monoidal structure 413
- 16.1 Closed monoidal categories 413
- 16.2 Properties of A °± C
- 16.3 *-autonomous categories 422
- 16.4 The Chu construction 424
2015-02-02
Programming with Arrowsの続きを読む
Daily effort
- 何の文献を読むにせよ1日どの程度読んだか記録する
- 書いたコードもpushする
- やったことを毎日Issueとして立てる
- 1日で達成できる目安目標を事前に立てる
Write You a Haskell
Write You a Haskell ( Stephen Diehl )
- Chapter 1: Introduction
- Chapter 2: Haskell Basics
- Chapter 3: Parsing
- Chapter 4: Lambda Calculus
- Chapter 5: Type Systems
- Chapter 6: Evaluation
- Chapter 7: Hindley-Milner Inference
- Chapter 8: Design of ProtoHaskell
- Chapter 9: Extended Parser
- Chapter 10: Custom Datatypes
- Chapter 11: Renamer
- Chapter 12: Pattern Matching & Desugaring
- Chapter 13: System-F
- Chapter 14: Type Classes
- Chapter 15: Core Language
- Chapter 16: Kinds
- Chapter 17: Haskell Type Checker
- Chapter 18: Core Interpreter
- Chapter 19: Prelude
- Chapter 20: Design of Lazy Evaluation
- Chapter 21: STG
- Chapter 22: Compilation
- Chapter 23: Design of the Runtime
- Chapter 24: Imp
- Chapter 25: Code Generation ( C )
- Chapter 26: Code Generation ( LLVM )
- Chapter 27: Row Polymorphism & Effect Typing
- Chapter 28: Future Work
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.