眼力 玉壱號 @objectxplosive
You'll never learn if you don't see the dark side too.
-
「Gordon Plotkin先生に学ぶAlgebraic Effect」のまとめ
2756pv 10 2 users -
CPS変換と二重否定のカリーハワード対応の話
6368pv 15 3 users -
圏論での積分(エンド)について
19689pv 43 4 users
-
高卒社会人一年生(もうすぐ二年生)に「重さ」と「面積」と「体積」とは何かを教えている。
260369pv 4223 818 users 1549 -
数学的対象を知らずに圏論を学ぶ事に関するあれこれ
5945pv 7 -
2014年末、Hakellや圏論の会話やつぶやき
1462pv 2 1 user -
プリクラ問題2
9143pv 28 2 users 2 -
随伴とカリー化とStateモナド
2873pv 6 1 user -
何回で満点とれる?【ちょまど問題に挑む人々】
115704pv 446 63 users 36