3185pv
5
Deprecatad
@deprecatad
出自はnScript(nsciprterではない)。 主兵装はJava。 副兵装はC++からC#になりました。 でもC++とても好き。 Haskell及び圏論などの理論系に興味があります。 Vim使ってます。
-
代数的データ型はF-始代数的データ型
3185pv
5
-
ちゅーんさんがしてくれたLens型の解説
1864pv
7
1 user
-
Haskell:monad-loggerはロッギングで使うべきか？
3724pv
4
1 user
-
1つのモノイドを圏として見做すと幽霊が見えるよ
2839pv
3
-
-
アドラー心理学に、ライフスタイルを変更する手立ては載っていないか？
1809pv
1
-
{圏の圏 -> 圏の圏}というやばい函手について
2954pv
6
-
世界はHaskellプログラムが数秒前に写した説
2947pv
29
-
Palmiさんが発表者さんと漫才した結果を淡々とまとめたまとめ
3616pv
15
16
-
私は何度でも繰り返す、firefoxがダウングレードできるまで。
1578pv
2
-
円環の理におけるメタな時間軸と円環の理後の世界の時間軸の交わりについて考察
1783pv
4
1
-
本日のまとめ - SKIコンビネータはなぜチューリング完全なのか考察
3228pv
17
1 user
-
構造的だね
942pv
8
1
-
関数はファンクタであるよ、まとめ！
1242pv
7
-
配分と糖衣式(とういしき？)
779pv
3
-
まさかりの成る木
694pv
2
-
書き加え
618pv
3
-
身内の中(2人)でvimrc読書会をしてみた
1380pv
10
-
何かをつぶやいているあいや - 自己同一性 -
706pv
4
-
軍師とあいやのvimrc読書会 第2回
1439pv
8