Suche senden
Hochladen
関数型プログラミングのすゝめ
•
3 gefällt mir
•
2,301 views
Yusuke Matsushita
Folgen
関数型プログラミングをしましょう。
Weniger lesen
Mehr lesen
Technologie
Melden
Teilen
Melden
Teilen
1 von 24
Jetzt herunterladen
Downloaden Sie, um offline zu lesen
Empfohlen
OSC 2013 Hiroshima の発表者資料。 時間の都合省いた部分を含めた完全版。
広島で Ruby が流行らないのはどう考えても俺たちが悪い
広島で Ruby が流行らないのはどう考えても俺たちが悪い
Tomohiko Himura
ADVENTAR と言うサイトのアドベントカレンダーのページをスクレイピングして更新を通知する Slack Bot を作った with Haskell の話 repository: https://github.com/IGGG/adventar-bot
ADVENTAR の Bot を作る with Haskell
ADVENTAR の Bot を作る with Haskell
Nobutada Matsubara
20120527yesod
20120527yesod
Seizan Shimazaki
第2期サイボウズ・ラボユース最終成果発表会+APASECで発表した内容です。もっと話したいことはたくさんあったけど尺の都合でこうなった。また何かで発表したいかも。
人が神姫ん感(原文ママ)を感じるコンピュータ
人が神姫ん感(原文ママ)を感じるコンピュータ
haru2036
第2回関数型言語勉強会 LT 「Haskell 入門書を読んだその後は」 http://atnd.org/events/33084
第2回関数型言語勉強会 LT 「Haskell 入門書を読んだその後は」
第2回関数型言語勉強会 LT 「Haskell 入門書を読んだその後は」
Kazkuki Oakamoto
jsCafe16(2013/11/10)で話したjavascriptでの関数型プログラミング入門の話です。
関数型プログラミング in javascript
関数型プログラミング in javascript
Ryuma Tsukano
研究でMatlabを使っている大学生/大学院生/研究者向けの関数型プログラミング入門です.日々のコーディングを効率化するために有用な無名関数や高階関数の使い方について例を通して簡単に説明します.
関数型プログラミング入門 for Matlab ユーザー
関数型プログラミング入門 for Matlab ユーザー
Ichiro Maruta
DevLove甲子園 東日本大会でお話した内容です。 http://devlove.doorkeeper.jp/events/11792 ----- 優れたプログラマだけが優れたソースコードを書くことができます。 では優れたプログラマになるにはどうすれば良いでしょうか。 自分の書いたコードを、優れたプログラマに指摘してもらうことが一番の近道です。それがコードレビューです。たった一人でコードレビューも受けずに、ただ書き続けてもクソコードはクソコードのままなのです。 そこで今回は、良いコードが書けるプログラマになるための、コードレビューを上手に実践する秘訣を話します。
デキるプログラマだけが知っているコードレビュー7つの秘訣(DevLove版)
デキるプログラマだけが知っているコードレビュー7つの秘訣(DevLove版)
Masahiro Nishimi
Empfohlen
OSC 2013 Hiroshima の発表者資料。 時間の都合省いた部分を含めた完全版。
広島で Ruby が流行らないのはどう考えても俺たちが悪い
広島で Ruby が流行らないのはどう考えても俺たちが悪い
Tomohiko Himura
ADVENTAR と言うサイトのアドベントカレンダーのページをスクレイピングして更新を通知する Slack Bot を作った with Haskell の話 repository: https://github.com/IGGG/adventar-bot
ADVENTAR の Bot を作る with Haskell
ADVENTAR の Bot を作る with Haskell
Nobutada Matsubara
20120527yesod
20120527yesod
Seizan Shimazaki
第2期サイボウズ・ラボユース最終成果発表会+APASECで発表した内容です。もっと話したいことはたくさんあったけど尺の都合でこうなった。また何かで発表したいかも。
人が神姫ん感(原文ママ)を感じるコンピュータ
人が神姫ん感(原文ママ)を感じるコンピュータ
haru2036
第2回関数型言語勉強会 LT 「Haskell 入門書を読んだその後は」 http://atnd.org/events/33084
第2回関数型言語勉強会 LT 「Haskell 入門書を読んだその後は」
第2回関数型言語勉強会 LT 「Haskell 入門書を読んだその後は」
Kazkuki Oakamoto
jsCafe16(2013/11/10)で話したjavascriptでの関数型プログラミング入門の話です。
関数型プログラミング in javascript
関数型プログラミング in javascript
Ryuma Tsukano
研究でMatlabを使っている大学生/大学院生/研究者向けの関数型プログラミング入門です.日々のコーディングを効率化するために有用な無名関数や高階関数の使い方について例を通して簡単に説明します.
関数型プログラミング入門 for Matlab ユーザー
関数型プログラミング入門 for Matlab ユーザー
Ichiro Maruta
DevLove甲子園 東日本大会でお話した内容です。 http://devlove.doorkeeper.jp/events/11792 ----- 優れたプログラマだけが優れたソースコードを書くことができます。 では優れたプログラマになるにはどうすれば良いでしょうか。 自分の書いたコードを、優れたプログラマに指摘してもらうことが一番の近道です。それがコードレビューです。たった一人でコードレビューも受けずに、ただ書き続けてもクソコードはクソコードのままなのです。 そこで今回は、良いコードが書けるプログラマになるための、コードレビューを上手に実践する秘訣を話します。
デキるプログラマだけが知っているコードレビュー7つの秘訣(DevLove版)
デキるプログラマだけが知っているコードレビュー7つの秘訣(DevLove版)
Masahiro Nishimi
NPC April Fool's Contest 2014 累乗数 解説
NPC April Fool's Contest 2014 累乗数
NPC April Fool's Contest 2014 累乗数
Yusuke Matsushita
Haskell講義第2回/第3回
Haskell Lecture 2
Haskell Lecture 2
Yusuke Matsushita
Haskell講義第1回
Haskell Lecture 1
Haskell Lecture 1
Yusuke Matsushita
ドロネー三角形分割のゆるふわな説明
ドロネー三角形分割
ドロネー三角形分割
Yusuke Matsushita
型理論の啓蒙
型理論 なんて自分には関係ないと思っているあなたへ
型理論 なんて自分には関係ないと思っているあなたへ
Yusuke Matsushita
Invitation to C# for new members of NPCA.
C#への招待
C#への招待
Yusuke Matsushita
並行計算のモデルのうち、アクターモデルとプロセス計算について説明している。
Modeling Concurrent Computing
Modeling Concurrent Computing
Yusuke Matsushita
プログラマよ ウィキペディアンになれ
Programmers, be a Wikipedian
Programmers, be a Wikipedian
Yusuke Matsushita
Open MPI の入門です。
OpenMPI入門
OpenMPI入門
Yusuke Matsushita
確率解析計算
確率解析計算
Yusuke Matsushita
プログラミング・パラダイム
プログラミング・パラダイム
Yusuke Matsushita
LoRaWANスマート距離検出センサー DS20Lカタログ
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
CRI Japan, Inc.
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
CRI Japan, Inc.
2024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
2024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
Syed Talal Wasim, Muzammal Naseer, Salman Khan, Ming-Hsuan Yang, Fahad Shahbaz Khan , "Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Grounding" arXiv2024 https://arxiv.org/abs/2401.00901v2
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
Toru Tamaki
2022年10月27日に社内向けに開催した勉強会資料の社外公開版です(発表8分程度)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Hiroshi Tomioka
2024年4月に社内向けに開催した勉強会資料の社外公開版です
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
Hiroshi Tomioka
2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
Jue Wang, Wentao Zhu, Pichao Wang, Xiang Yu, Linda Liu, Mohamed Omar, Raffay Hamid, " Selective Structured State-Spaces for Long-Form Video Understanding" CVPR2023 https://openaccess.thecvf.com/content/CVPR2023/html/Wang_Selective_Structured_State-Spaces_for_Long-Form_Video_Understanding_CVPR_2023_paper.html
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
Toru Tamaki
NewSQLの可用性構成パターン (OCHaCafe Season 8 #4 発表資料) 2024年5月8日(水) NTTデータグループ 技術開発本部 小林 隆浩
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NTT DATA Technology & Innovation
This is an introduction to MAPPO's paper.
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
atsushi061452
Weitere ähnliche Inhalte
Mehr von Yusuke Matsushita
NPC April Fool's Contest 2014 累乗数 解説
NPC April Fool's Contest 2014 累乗数
NPC April Fool's Contest 2014 累乗数
Yusuke Matsushita
Haskell講義第2回/第3回
Haskell Lecture 2
Haskell Lecture 2
Yusuke Matsushita
Haskell講義第1回
Haskell Lecture 1
Haskell Lecture 1
Yusuke Matsushita
ドロネー三角形分割のゆるふわな説明
ドロネー三角形分割
ドロネー三角形分割
Yusuke Matsushita
型理論の啓蒙
型理論 なんて自分には関係ないと思っているあなたへ
型理論 なんて自分には関係ないと思っているあなたへ
Yusuke Matsushita
Invitation to C# for new members of NPCA.
C#への招待
C#への招待
Yusuke Matsushita
並行計算のモデルのうち、アクターモデルとプロセス計算について説明している。
Modeling Concurrent Computing
Modeling Concurrent Computing
Yusuke Matsushita
プログラマよ ウィキペディアンになれ
Programmers, be a Wikipedian
Programmers, be a Wikipedian
Yusuke Matsushita
Open MPI の入門です。
OpenMPI入門
OpenMPI入門
Yusuke Matsushita
確率解析計算
確率解析計算
Yusuke Matsushita
プログラミング・パラダイム
プログラミング・パラダイム
Yusuke Matsushita
Mehr von Yusuke Matsushita
(11)
NPC April Fool's Contest 2014 累乗数
NPC April Fool's Contest 2014 累乗数
Haskell Lecture 2
Haskell Lecture 2
Haskell Lecture 1
Haskell Lecture 1
ドロネー三角形分割
ドロネー三角形分割
型理論 なんて自分には関係ないと思っているあなたへ
型理論 なんて自分には関係ないと思っているあなたへ
C#への招待
C#への招待
Modeling Concurrent Computing
Modeling Concurrent Computing
Programmers, be a Wikipedian
Programmers, be a Wikipedian
OpenMPI入門
OpenMPI入門
確率解析計算
確率解析計算
プログラミング・パラダイム
プログラミング・パラダイム
Kürzlich hochgeladen
LoRaWANスマート距離検出センサー DS20Lカタログ
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
CRI Japan, Inc.
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
CRI Japan, Inc.
2024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
2024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
Syed Talal Wasim, Muzammal Naseer, Salman Khan, Ming-Hsuan Yang, Fahad Shahbaz Khan , "Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Grounding" arXiv2024 https://arxiv.org/abs/2401.00901v2
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
Toru Tamaki
2022年10月27日に社内向けに開催した勉強会資料の社外公開版です(発表8分程度)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Hiroshi Tomioka
2024年4月に社内向けに開催した勉強会資料の社外公開版です
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
Hiroshi Tomioka
2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
Jue Wang, Wentao Zhu, Pichao Wang, Xiang Yu, Linda Liu, Mohamed Omar, Raffay Hamid, " Selective Structured State-Spaces for Long-Form Video Understanding" CVPR2023 https://openaccess.thecvf.com/content/CVPR2023/html/Wang_Selective_Structured_State-Spaces_for_Long-Form_Video_Understanding_CVPR_2023_paper.html
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
Toru Tamaki
NewSQLの可用性構成パターン (OCHaCafe Season 8 #4 発表資料) 2024年5月8日(水) NTTデータグループ 技術開発本部 小林 隆浩
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NTT DATA Technology & Innovation
This is an introduction to MAPPO's paper.
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
atsushi061452
Kürzlich hochgeladen
(11)
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
関数型プログラミングのすゝめ
1.
関数型プログラミングのすゝめ kinokkory
2.
kinokkory • @shiatsumat • 情報オリンピックのファイナリスト •
HaskellとC#とC++が得意 • 「圏論によるプログラミングと論理」の 執筆者
3.
yingtai • @__int • 文学と哲学に詳しい知識人 •
Haskellが得意 • 「圏論によるプログラミングと論理」の 執筆者
4.
stibear • @stibear1996 • ちゃたいを操る仙人 •
Lispが得意 • 「マクロのおはなし」の執筆者
5.
君は
6.
関数型プログラミングを
7.
知っていますか?
8.
関数型プログラミング • 根本的にほかのものと違う • あなたの人生を変える •
美しく秩序のあるプログラミング
9.
関数型言語 • Haskell • Lisp •
F# • OCaml • Scala • Erlang • などなど
10.
Haskell • 初心者でも扱いやすい • 面白い機能の宝庫 •
「Haskellやってます」と言うだけで 凄いプログラマーに見える
11.
Haskell • 強い型付けで安全なコードが書ける • 遅延評価で高速化できる •
簡潔な記述ができる
12.
Haskell • Haskellは非常に美しい main =
print $ fibs !! 1000000 where fibs = 0 : 1 : zipWith (¥x y-> mod (x+y) 1000009) fibs (tail fibs)
13.
Haskell • C言語は美しくない #include <stdio.h> int
main() { int a=1, b=1, i, buf; for(i=3;i<=1000000;i++){ buf=(a+b)%1000009; a=b; b=buf; } printf("%d¥n",b); return 0; }
14.
Haskell • 便利な機能がたくさん – 強力な型システム –
参照透明性 – 遅延評価 – パターンマッチ – Template Haskell
15.
Haskell大好き • kinokkoryもyingtaiもHaskell大好き • poteti部長もHaskell大好き •
わあいHaskell大好きHaskell大好き
16.
Lisp • 先々代の部長はLisper • C言語より先に生まれた歴史ある言語 •
計算機科学の教授は割と使う • 詳しくはstibearに聞こう
17.
関数型プログラミング • 実は神秘の力に操られています • その神秘の力を理解すれば どんなプログラミング言語も 自由自在に操れるようになります •
その神秘の力というのが......
18.
計算機科学
19.
計算機科学 • 英語ではComputer Science •
プログラミング言語やアルゴリズムの 研究などを行っている
20.
計算機科学は楽しい • 計算機科学は奥深い • 計算機科学は美しい •
計算機科学は数学的 • 計算機科学はパズル的
21.
計算機科学の分野 • 型理論 • プログラム意味論 •
計算モデル • 計算可能性理論 • 計算複雑性理論
22.
定理証明支援系 • 計算機科学と論理学のタッグの賜物 • 型理論が深く関わっている •
CoqやAgdaなどがある • 証明をプログラムとして表して コンピューター上で定理を証明できる
23.
関数型プログラミング Haskell 計算機科学
24.
質問はありますか?
Jetzt herunterladen