【圏論メモ】米田の補題の証明likers
- @norkron
記事に対して疑問や不明があればコメントやツイッターへお気軽にどうぞ。
- 内藤 謙一@KNaito
I love JavaScript, Html, PHP, Python, Java, Ruby, Perl, C, C++, Objective-C and Haskell. My stack overflow address is http://stackoverflow.com/users/3535002/knaito
- 岡崎 心一@johnny-shaman
稚拙ですが、関数型プログラミングをするためのライブラリを公開しています。 https://www.npmjs.com/package/cte https://www.npmjs.com/package/dsand 日曜プログラミングのお供にでもいかがですか?(笑) プログラミングカフェ 札幌 主催
- So Katagiri@KatagiriSo
iOSフリーランスエンジニア。お仕事募集してます。 数理科学とプログラミングもくもく会 http://map.connpass.com/ 技術ブログ http://rodhos.hatenadiary.jp/ 最近の興味:機械学習、量子論
- @i153
数値計算屋さん.
- 三上 遼@mikamix
def NotY[A, B](f: (A => B) => (A => B)): A => B = f(NotY(f))(_: A)