Submit Search
Upload
20160702_圏論の基礎
•
12 likes
•
2,413 views
M
matsumoring
Follow
H28.07.02第14回数学カフェ
Read less
Read more
Science
Report
Share
Report
Share
1 of 34
Download now
Download to read offline
Recommended
圏論のおはなし
圏論のおはなし
Takeo Imai
圏論とは様々な構造を抽象的に扱い、内部の構造について言及しないことにより 「様々な構造」の共通した性質を見出すという楽しい分野です。 圏論を身につけることにより、貴方は様々な事柄について 面白い見方をすることができるようになるかもしれません。 そんな圏論の初歩的内容をスライドにしてみました。 東北ずん子ちゃんと一緒にご覧くださいっ。 この作品はマスコットアプリ文化祭2015に参加しています。 https://mascot-apps-contest.azurewebsites.net/ また、このスライドはwikipediaの下記ページを参考にしています。 https://ja.wikipedia.org/wiki/%E5%9C%8F%E8%AB%96 https://ja.wikipedia.org/wiki/%E9%96%A2%E6%89%8B
圏論 3分(?) クッキング
圏論 3分(?) クッキング
aiya000
このスライドは第6回プログラマのための数学勉強会で使用しました。
圏論とHaskellは仲良し
圏論とHaskellは仲良し
ohmori
第14回数学カフェ「圏論」のときの発表スライドです.
圏とHaskellの型
圏とHaskellの型
KinebuchiTomo
圏論を用いて回路の表現及びその振るまい評価を可能とする新たなモデルを構築する.このモデルの下に,同期素子のクラスGLatchを新たに定義し,任意のGLatch同期回路に対して同じ振るまいを持つステートマシンを対応付られることを示す.
同期回路-ステート・マシン対応の一般化
同期回路-ステート・マシン対応の一般化
Shunji Nishimura
圏論とプログラミング読書会#2 資料
圏論とプログラミング読書会#2 資料
圏論とプログラミング読書会#2 資料
53ningen
H28.03.21第8回関西すうがく徒のつどい
20160321_円と三角関数、楕円曲線と楕円関数
20160321_円と三角関数、楕円曲線と楕円関数
matsumoring
セキュリティ&プログラミングキャンプ2011で発表したもの。発表時間は2分。
シャミノ計算
シャミノ計算
syamino
Recommended
圏論のおはなし
圏論のおはなし
Takeo Imai
圏論とは様々な構造を抽象的に扱い、内部の構造について言及しないことにより 「様々な構造」の共通した性質を見出すという楽しい分野です。 圏論を身につけることにより、貴方は様々な事柄について 面白い見方をすることができるようになるかもしれません。 そんな圏論の初歩的内容をスライドにしてみました。 東北ずん子ちゃんと一緒にご覧くださいっ。 この作品はマスコットアプリ文化祭2015に参加しています。 https://mascot-apps-contest.azurewebsites.net/ また、このスライドはwikipediaの下記ページを参考にしています。 https://ja.wikipedia.org/wiki/%E5%9C%8F%E8%AB%96 https://ja.wikipedia.org/wiki/%E9%96%A2%E6%89%8B
圏論 3分(?) クッキング
圏論 3分(?) クッキング
aiya000
このスライドは第6回プログラマのための数学勉強会で使用しました。
圏論とHaskellは仲良し
圏論とHaskellは仲良し
ohmori
第14回数学カフェ「圏論」のときの発表スライドです.
圏とHaskellの型
圏とHaskellの型
KinebuchiTomo
圏論を用いて回路の表現及びその振るまい評価を可能とする新たなモデルを構築する.このモデルの下に,同期素子のクラスGLatchを新たに定義し,任意のGLatch同期回路に対して同じ振るまいを持つステートマシンを対応付られることを示す.
同期回路-ステート・マシン対応の一般化
同期回路-ステート・マシン対応の一般化
Shunji Nishimura
圏論とプログラミング読書会#2 資料
圏論とプログラミング読書会#2 資料
圏論とプログラミング読書会#2 資料
53ningen
H28.03.21第8回関西すうがく徒のつどい
20160321_円と三角関数、楕円曲線と楕円関数
20160321_円と三角関数、楕円曲線と楕円関数
matsumoring
セキュリティ&プログラミングキャンプ2011で発表したもの。発表時間は2分。
シャミノ計算
シャミノ計算
syamino
2012年5月19日に開催された、「第一回関数型言語勉強会 大阪」での発表資料です。 コードとか: https://github.com/quassia88/InverseFizzBuzz/ まとめとか: http://togetter.com/li/306278
20120519 inverse fizzbuzz を解いてみよう
20120519 inverse fizzbuzz を解いてみよう
HiroSuga
このスライドはブログ記事として書き直しました。このスライドよりブログ記事の方がわかりやすいと思います。 http://d.hatena.ne.jp/syamino/20120524/p1
代数的データ型をラムダ計算の中で表現する方法
代数的データ型をラムダ計算の中で表現する方法
syamino
H28.09.18第9回関西すうがく徒のつどい
20160918_Chern-Weil理論
20160918_Chern-Weil理論
matsumoring
Haskellが表現する、型での安全性の確保について。 IO, IORef。 某所でのLT用です。 モナドはないよ! マスコットアプリ文化祭2016エントリー作品
Haskellの型安全性の力よ〜参照透明性編〜
Haskellの型安全性の力よ〜参照透明性編〜
aiya000
:)
並行プログラミングと継続モナド
並行プログラミングと継続モナド
Kousuke Ruichi
20150314_第6回関西すうがく徒のつどい
双曲平面のモデルと初等幾何
双曲平面のモデルと初等幾何
matsumoring
20150522_第3回プログラマのための数学勉強会
20150522_つながり方・まがり方・大きさ
20150522_つながり方・まがり方・大きさ
matsumoring
Haskell Day2012 - 参照透過性とは何だったのか
Haskell Day2012 - 参照透過性とは何だったのか
Kousuke Ruichi
2017.03.03 Hadoopソースコードリーディング 第22回 https://www.eventbrite.com/e/hadoop-22-tickets-31987821435
Storm の新機能について @HSCR #hadoopreading
Storm の新機能について @HSCR #hadoopreading
Yahoo!デベロッパーネットワーク
H27.09.22第7回関西すうがく徒のつどい
20150922_楕円関数とおもしろい応用
20150922_楕円関数とおもしろい応用
matsumoring
More Related Content
Viewers also liked
2012年5月19日に開催された、「第一回関数型言語勉強会 大阪」での発表資料です。 コードとか: https://github.com/quassia88/InverseFizzBuzz/ まとめとか: http://togetter.com/li/306278
20120519 inverse fizzbuzz を解いてみよう
20120519 inverse fizzbuzz を解いてみよう
HiroSuga
このスライドはブログ記事として書き直しました。このスライドよりブログ記事の方がわかりやすいと思います。 http://d.hatena.ne.jp/syamino/20120524/p1
代数的データ型をラムダ計算の中で表現する方法
代数的データ型をラムダ計算の中で表現する方法
syamino
H28.09.18第9回関西すうがく徒のつどい
20160918_Chern-Weil理論
20160918_Chern-Weil理論
matsumoring
Haskellが表現する、型での安全性の確保について。 IO, IORef。 某所でのLT用です。 モナドはないよ! マスコットアプリ文化祭2016エントリー作品
Haskellの型安全性の力よ〜参照透明性編〜
Haskellの型安全性の力よ〜参照透明性編〜
aiya000
:)
並行プログラミングと継続モナド
並行プログラミングと継続モナド
Kousuke Ruichi
20150314_第6回関西すうがく徒のつどい
双曲平面のモデルと初等幾何
双曲平面のモデルと初等幾何
matsumoring
20150522_第3回プログラマのための数学勉強会
20150522_つながり方・まがり方・大きさ
20150522_つながり方・まがり方・大きさ
matsumoring
Haskell Day2012 - 参照透過性とは何だったのか
Haskell Day2012 - 参照透過性とは何だったのか
Kousuke Ruichi
2017.03.03 Hadoopソースコードリーディング 第22回 https://www.eventbrite.com/e/hadoop-22-tickets-31987821435
Storm の新機能について @HSCR #hadoopreading
Storm の新機能について @HSCR #hadoopreading
Yahoo!デベロッパーネットワーク
H27.09.22第7回関西すうがく徒のつどい
20150922_楕円関数とおもしろい応用
20150922_楕円関数とおもしろい応用
matsumoring
Viewers also liked
(10)
20120519 inverse fizzbuzz を解いてみよう
20120519 inverse fizzbuzz を解いてみよう
代数的データ型をラムダ計算の中で表現する方法
代数的データ型をラムダ計算の中で表現する方法
20160918_Chern-Weil理論
20160918_Chern-Weil理論
Haskellの型安全性の力よ〜参照透明性編〜
Haskellの型安全性の力よ〜参照透明性編〜
並行プログラミングと継続モナド
並行プログラミングと継続モナド
双曲平面のモデルと初等幾何
双曲平面のモデルと初等幾何
20150522_つながり方・まがり方・大きさ
20150522_つながり方・まがり方・大きさ
Haskell Day2012 - 参照透過性とは何だったのか
Haskell Day2012 - 参照透過性とは何だったのか
Storm の新機能について @HSCR #hadoopreading
Storm の新機能について @HSCR #hadoopreading
20150922_楕円関数とおもしろい応用
20150922_楕円関数とおもしろい応用
Download now