Lensだけで作るニューラルネットワーク

2021/12/15 12 users LENS ニューラルネットワーク 微分可能プログラミング

これは、FOLIO Advent calendar 2021 の15日目の記事です。 圏論を機械学習に応用する話題の一つとしてLensで微分可能プログラミングを実装する話を紹介したいと思います。とはいえ圏論など気にせずLensを使ったニューラルネットワークを実装していきます。学習モデル、誤差関数、学習係数などの基本的な構成要素が全てL... 続きを読む

新卒2年目のエンジニアがモノイドの数学的な定義について調べてScalaで実装してみた - MicroAd Developers Blog

2020/05/19 14 users Scala 整数 飛田 おわり マイクロアド

はじめに モノイド 代数学 圏論 Scalaでモノイドを実装する 代数学的な定義に従った整数を加算するモノイドの実装 圏論的な定義に従った整数を加算するモノイドの実装 モノイドの合成 Catsによるモノイドの利用例 おわりに はじめに こんにちは。マイクロアドでソフトウェアエンジニアをしている飛田と申します。私は主... 続きを読む

圏論とプログラミング / Category Theory and Programming - Speaker Deck

2020/01/25 205 users Speaker Deck プログラミング

All slide content and descriptions are owned by their creators. 続きを読む

「関数型言語をもっと使いこなしたい！」マイクロアドの新卒エンジニアがデータサイエンティストの先輩に圏論の初歩を指導してもらった話 - MicroAd Developers Blog

2019/09/06 84 users 初歩 マイクロアド データサイエンティスト 新卒エンジニア

はじめに こんにちは、19新卒バックエンドエンジニアの飛田です。 弊社では、プロダクトの一部にCatsという関数型プログラミングを行うためのライブラリを導入しており、今後、Catsをより多くのプロダクトに使用していく予定です。 Catsにはモナドやファンクタという概念が登場しますが、これらの概念は圏論に由来してい... 続きを読む

圏論とSwiftへの応用 / iOSDC Japan 2018 - Speaker Deck

2018/09/02 26 users Swift Speaker Deck 応用

All slide content and descriptions are owned by their creators. 続きを読む

プログラマーのための圏論（上） - bitterharvest’s diary

2017/03/09 416 users プログラマー プログラマ PDFファイル 参考

『プログラマのための圏論』はこれまでの分をまとめてPDFファイルにしました。参考にしてください。 続きを読む

難しいのは見た目だけ！？Haskellのモナドの「たった2つのルール」を簡単に理解する！ - Qiita

2015/12/24 41 users モナド Haskell Qiita Introduction

この記事は Wantedly Advent Calendar 25日目の記事です。 最終日です！気合いが入りますね！！ Introduction 今回は Haskell のモナドの話をしたいと思います。 Haskell を学び始めた時、誰もが一度は経験するのが「モナドって何だ？」という疑問です。「Haskell モナド」で検索してみても、圏論を絡めた小難しい説明ばかりが出てきて、よく分からない事が... 続きを読む

モナドって結局何なのよ? — join to Monad v0.1.3 documentation

2015/08/14 202 users モナド Haskell 数学 関係

モナドって結局何なのよ?¶ Haskell を勉強しようとすると必ず「モナド」ってのが出てきます。困ったものです。数学とか圏論とか関係があるらしくって、何が書いてあるんだか分からなくって嫌になってしまいます。でもね、Haskell って凄いらしいじゃないですか、格好良いらしいじゃないですか。ここはちょっとがんばって色々考えてみましょう。 そもそも Haskell って何なのよ?¶ 何なんでしょうね... 続きを読む

圏論の歩き方｜日本評論社

2015/08/12 83 users 日本評論社 歩き方 モナド 矢印 集会

第1章　[座談会] 圏論と異分野協働──今出川不純集会 第2章　圏の定義──矢印でいろいろ書いてみる ◎蓮尾一郎 第3章　タングルの圏 ◎鈴木咲衣＋葉廣和夫 第4章　プログラム意味論と圏論──計算の「不変量」を圏論で捉える ◎長谷川真人 第5章　モナドと計算効果 ◎勝股審也 第6章　モナドのクライスリ圏──圏論による一般化とは？ ◎蓮尾一郎 第7章　表現を〈表現〉する話──ミクロ・マクロ双対性(1... 続きを読む

モナド則だけ見つめていたい - LT駆動開発14 | そんなこと覚えてない

2015/05/03 26 users モナド Haskell Qiita Wikibooks ポッ

LT駆動開発14に参加した。 ゼノブレイドクロス発売記念でモナドの話をしといた。 Stateモナドを簡約して、Stateモナドを説明しようとおもったけどうまくいかなくてボツになりました。 Haskell - Stateモナドを手で簡約してみたりしていた - Qiita そんなわけでHaskell/圏論 - Wikibooksを元ネタにモナド則を辿ってみました。 a -> M bって型の関数を並べる... 続きを読む

プログラマであるあなたが圏論を学んで得られる事、得られない事 - Creatable a => a -> IO b

2015/01/21 226 users プログラマ Creatable a Haskell IO b

2015-01-22 プログラマであるあなたが圏論を学んで得られる事、得られない事 「Haskellと数学とちょびっと音楽」なんていうシャレオツなサブタイをブログに付けてるのは誰ですか？ 俺だよー！ 大体、Haskell関連のコミュニティに顔を出していると、 数学科出ましたーとか、物理専攻ですー、とか、そーいう人がわりと多いのですが、 僕は「勉強なんて出来ないんジャー・レッド」だったので、ブログに... 続きを読む

圏論とプログラミング読書会#2 資料

2014/12/08 25 users 資料

Transcript 1. けんろんどくしょかい #2 (2014/12/11) 直和集合について / ラムダ計算のさわり / 型なしラムダ計算 数学的厳密性は放棄します @gomi_ningen 2. #2-1 前回躓いた直和集合について ちゃんと定義に向き合うのが結局一番はやい気がした 3. #2-1 前回躓いた直和集合について 直和集合(direct sum) 集合A, Bに属さない 要素 ... 続きを読む

1. 圏論とプログラミング、プロダクト

2013/09/04 115 users プログラミング プロダクト プログラマ 記憶 字面

プログラマのための圏論の基礎 - Categories for the Working Programmer - 池渕未来 作成 2013/09/03 章内目次 : はじめに プロダクト Haskell から はじめに 圏論とは何でしょうか。私が初めて「圏論」という言葉を見たときは、字面からその意味が想像しづらく、「圏」という言葉に少し近寄りがたい雰囲気を感じた記憶があります。その後インターネット... 続きを読む

プログラマのための圏論の基礎(仮題)

2013/09/04 535 users 仮題 プログラマ Haskell 基礎 必須

この記事は、プログラマに向けた圏論の入門記事です。通常の圏論の教科書より解説を多く、プログラマにとって必要ない概念を削って書いています。圏論とは何かから始まり、アルゴリズム設計、プログラム意味論および Haskell の free-operational パッケージと圏論との関連について解説していきます。 前提知識として必須ではありませんが、何かしらの関数型言語に慣れ親しんでいると読みやすいと思い... 続きを読む

Agda による圏論入門

2013/08/22 68 users Agda Record Reasoning level 要約

Menu Agda で証明しながら圏論を学ぶという予定です。あまり入門ではないかも。 Higher-Order Categorical Logic の 0章に相等する内容です。 Agda の入門の要約 Agda の入門　 Agda の集合の Level　 Agda の record 　 Agda のReasoning 　 Caategory module と圏の入門 自然変換 IdentityFu... 続きを読む

関数を扱えることはどのようにプログラミング言語の能力をあげるか - きしだのはてな

2013/08/07 97 users 関数 関数呼び出し はてな 側面 プログラミング言語

Java8で関数が値として扱えるようになりました。このことが、「関数が渡せると便利だよね」という観点ではなく、プログラミング言語としての能力をどのようにあげるか考えてみます。 圏論からのテクニックが使いやすくなる集合論はどちらかというと値にたいする理論でしたが、圏論は関数呼び出しに関する理論です。プログラムには、関数呼び出しを連結させて値を変換していくという側面があります。そのような関数呼び出しの... 続きを読む

圏論とかモナドなんて簡単だからscalaを使って説明してみた - だらだらしてたいなぁ

2013/03/31 236 users モナド Scala 順序 関数型 2013-03-31

2013-03-31 圏論とかモナドなんて簡単だからscalaを使って説明してみた scala 圏論 はじめに 関数型といえばモナド、モナドといえば難しいという事が巷で言われていますが、いきなりモナドを理解しようとするから難しく思えるだけで、圏論から順序を追って理解していけば全然難しく無いんだよって事を分かって貰えればいいなぁと思い書いて見ることにしました。ただ、圏論といっても適用範囲がとっても広... 続きを読む

スピヴァックの圏論教科書 Category theory for scientists - 檜山正幸のキマイラ飼育記

2013/03/04 34 users 備忘 title デイヴィッド・スピヴァック 檜山正幸 講義

雑記／備忘 | 18:20 | 関手データモデルのデイヴィッド・スピヴァックが、圏論の教科書を書いたようです。商業出版ではなくて、Web上にPDFが公開されています。スピヴァックの大学での講義のテキストとして書かれたようです。 Title: Category theory for scientists Author: David I. Spivak Submitted: 27 Feb 2013 U... 続きを読む

衝撃的なデータベース理論・関手的データモデル 入門 - 檜山正幸のキマイラ飼育記

2013/02/11 474 users キマイラ飼育記 檜山正幸 入門 備忘 データモデル

雑記／備忘 | 19:04 | デイヴィッド・スピヴァックによる衝撃的なデータベース理論である関手的データモデル。どうしたらうまく説明できるか？ と色々と悩んでしまいますが、まー、書けるところから書き始めてしまいましょう。さー、いらっしゃい、いらっしゃい。関手的データモデルの世界へようこそ。圏論の言葉は出てきますが、圏論の予備知識はほぼゼロでOKですよ。内容： はじめに 本の購入のサンプルスキーマ... 続きを読む

Scala で圏論入門 - GitHub

2012/01/18 149 users GitHub Scala モナド 未知 圏論入門

https://hseeberger.wordpress.com/2010/11/25/introduction-to-category-theory-in-scala/ もし君が僕みたいに、以前はJavaディベロッパーで、Scalaのファンになったばかりなら、君は多分遅かれ早かれ、モナドやら関手やらの、圏論の分野からやってきた謎に遭遇するだろう。そういった未知の概念は、君を、自分が恐ろしくまぬけ... 続きを読む

文系と呼ばれる分野に純粋培養された俺が数学に再入門するためのインターネット・リソースガイド - 蟲！虫！蟲！ - #!/usr/bin/bugrammer

2011/11/02 1102 users 微分積分 リソースガイド 殆ど スペック 集合論

はじめに──自分のスペックを振り返る 高校を卒業してから十数年、高校数学に関しては殆どといっていいほど手をつけていませんでした。一応、大学の授業でも数学の授業を受けてみるものの、まったく理解ができなかった。というのも、「いったいそれがどうしてそうなるのか」というのがよくわからなかったから。恥ずかしいことに、未だに微分積分とか、あるいは群論とか、集合論とか、圏論とか、線形代数とか、そういうものがまっ... 続きを読む