ふみ (DJ Monad) @fumieval
Pythonista,Haskeller,鳥好き,0は自然数 ■□□□ ■□■□ □■□□ □□■■
-
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
20829pv 151 73 users 10 -
小学校時代には天才的に成績がいいけれど、そのためにかえって中学二年くらいからつらくなるパターン
135078pv 1862 542 users 665 -
Operational Monad
5665pv 15 17 users
-
「ちょっとこれみてくれない」とurlを送るスパムDMの解析と解説
93985pv 1355 210 users 151 -
【またかよ】「Haskellでクイックソート」問題【何度目だ】
35793pv 86 31 users 7 -
小学校には9÷0=0というオレルールがあるらしい。
400941pv 5052 497 users 1728 -
GHC 以外の処理系での IO 型/IO モナドの実装
5359pv 23 7 users 1 -
Monad クラスと Functor クラスや Applicative クラスの間に階層関係がないのは、本当に「歴史..
5626pv 24 3 users -
WhiteHaskellerZにもできる超初心者向けHaskell講座(3)
3016pv 22 3 users -
WhiteHaskellerZにもできる超初心者向けHaskell講座
8137pv 56 13 users -
プログラミングと数学のお話
3880pv 6 1 user -
プログラミングと現実世界と哲学の話
12113pv 49 2 users -
りんくす炎上
6323pv 66 -
#DTMあるある ハッシュタグまとめ2012/08/03観測分
4722pv 5 -
弾幕ゲームと数学
24382pv 121 19 users 7 -
#リから始まる数学用語
9720pv 16 1 user -
はちま起稿はこうして捏造する
102163pv 1292 337 users 13 -
大学生がよくカルト系団体にひっかかるパターン
36379pv 236 45 users 106 -
可愛ずアイコン
2516pv 18 -
「国民の基本的人権は国家が自由に剥奪できます」という自民党改憲案のトンデモ内容まとめ
434701pv 15283 693 users 1397 -
#0は自然数 にしたい理由
8814pv 47 2 users 1 -
へろいやさん^^
7007pv 41 1 user -
どうして紙にプリントアウトした方が圧倒的に間違いに気付きやすいのか
390149pv 4747 1256 users 685 -
IbNCT教員迷言集
6036pv 43 3 users -
#超越論的であり人間の理性限界を超えた存在でありこの世界平面の全体において部分である私たちの完全統括者であり完全的決..
9669pv 91 1 user 2