1 of 34
Downloaded 80 times
Ad
Recommended
圏论のおはなしTakeo Imai
?
Le document traite de concepts liés aux automates et à la morphologie des objets. Il aborde des notions mathématiques et informatiques telles que les transformations de cha?nes et des fonctions associées. Plusieurs exemples sont donnés pour illustrer ces concepts complexes.圏論 3分(?) クッキング
圏論 3分(?) クッキングaiya000
?
圏論とは様々な構造を抽象的に扱い、内部の構造について言及しないことにより
「様々な構造」の共通した性質を見出すという楽しい分野です。
圏論を身につけることにより、貴方は様々な事柄について
面白い見方をすることができるようになるかもしれません。
そんな圏論の初歩的内容をスライドにしてみました。
東北ずん子ちゃんと一緒にご覧くださいっ。
この作品はマスコットアプリ文化祭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
同期回路-ステート?マシン対応の一般化
同期回路-ステート?マシン対応の一般化Shunji Nishimura
?
圏论を用いて回路の表现及びその振るまい评価を可能とする新たなモデルを构筑する．このモデルの下に，同期素子のクラス骋尝补迟肠丑を新たに定义し，任意の骋尝补迟肠丑同期回路に対して同じ振るまいを持つステートマシンを対応付られることを示す．20120519 inverse fizzbuzz を解いてみよう
20120519 inverse fizzbuzz を解いてみようHiroSuga
?
2012年5月19日に開催された、「第一回関数型言語勉強会 大阪」での発表資料です。
コードとか：
https://github.com/quassia88/InverseFizzBuzz/
まとめとか：
http://togetter.com/li/306278代数的データ型をラムダ计算の中で表现する方法
代数的データ型をラムダ计算の中で表现する方法syamino
?
このスライドはブログ記事として書き直しました。このスライドよりブログ記事の方がわかりやすいと思います。 http://d.hatena.ne.jp/syamino/20120524/p1贬补蝉办别濒濒の型安全性の力よ?参照透明性编?
贬补蝉办别濒濒の型安全性の力よ?参照透明性编?aiya000
?
Haskellが表現する、型での安全性の確保について。
IO, IORef。
某所でのLT用です。
モナドはないよ！
マスコットアプリ文化祭2016エントリー作品Storm の新機能について @HSCR #hadoopreading
Storm の新機能について @HSCR #hadoopreading驰补丑辞辞!デベロッパーネットワーク
?
2017.03.03 Hadoopソースコードリーディング 第22回
https://www.eventbrite.com/e/hadoop-22-tickets-31987821435
More Related Content
Viewers also liked (10)
20120519 inverse fizzbuzz を解いてみよう
20120519 inverse fizzbuzz を解いてみようHiroSuga
?
2012年5月19日に開催された、「第一回関数型言語勉強会 大阪」での発表資料です。
コードとか：
https://github.com/quassia88/InverseFizzBuzz/
まとめとか：
http://togetter.com/li/306278代数的データ型をラムダ计算の中で表现する方法
代数的データ型をラムダ计算の中で表现する方法syamino
?
このスライドはブログ記事として書き直しました。このスライドよりブログ記事の方がわかりやすいと思います。 http://d.hatena.ne.jp/syamino/20120524/p1贬补蝉办别濒濒の型安全性の力よ?参照透明性编?
贬补蝉办别濒濒の型安全性の力よ?参照透明性编?aiya000
?
Haskellが表現する、型での安全性の確保について。
IO, IORef。
某所でのLT用です。
モナドはないよ！
マスコットアプリ文化祭2016エントリー作品Storm の新機能について @HSCR #hadoopreading
Storm の新機能について @HSCR #hadoopreading驰补丑辞辞!デベロッパーネットワーク
?
2017.03.03 Hadoopソースコードリーディング 第22回
https://www.eventbrite.com/e/hadoop-22-tickets-31987821435