https://twitter.com/kinaba のログ (twilog の方が便利です。)
| すみーさんの論文読んでる | |
| @uskz "Algebra of Programming" は自分の中で割とそういうイメージがあります＞リスト処理の数理。いや数理と言うほどでもないかな。どうだろう… | |
| Ada Hackathon はどのレベルまでマジなんだ… | |
| かなり参加したいのだけど、現実的な時間で現実的になんかできるサブセットが存在するかどうかとかすらまったくわからないレベル | |
| @uskz 普通のは絶版ですがオンデマンド印刷になって http://www.word-power.co.uk/books/algebra-of-programming-I9780135072455/ ペーパーバック版が | |
| っとすれ違い。行動早！！ | |
| @uskz さんが想定されてる方向の内容かどうかはちょっと自信がないのですが、少なくとも読んで損は無い本なのは確かだと思います。@ikegami__ さんも前にオススメしてらしたし。（いけがみさんも言っているメソッド） | |
| あったあった。圏論の話→ちょっと簡単な例で実際のプログラム組んでみる→Relationの圏を導入（Functionの圏で考えるより一般化した方がいいというのがポイント）→再帰処理とか合成とか不動点探しとか→処理関数の合成や分解を駆使していろいろアルゴリズム作ってく、という流れ | |
| 志望理由（２００字程度） | |
| うー | |
| @mzp Hello, world に ! をつける派つけない派に分かれるが如く、階乗派とフィボナッチ派の間の派閥抗争が | |
| ディアボロの大冒険げとした。あやうく徐倫に撲殺されかけたけどとりあえず1stダンジョンクリアった。結構難易度高そうだ |