Suche senden
Hochladen
FsCheckコトハジメ
•
2 gefällt mir
•
946 views
Kazuhiro Matsushima
Folgen
Technologie
Melden
Teilen
Melden
Teilen
1 von 16
Jetzt herunterladen
Downloaden Sie, um offline zu lesen
Empfohlen
みんなのPython勉強会#17でのLT資料です。 エスケープシーケンス制御文字を使って画像をターミナルに出力するコードについて解説しています。 Githubは整理してからこちらに追加したいと思います。
Pythonでターミナルに画像表示
Pythonでターミナルに画像表示
Masato Fujitake
みんなのpython勉強会#22で発表しました。
Seq2Seqでボットづくり
Seq2Seqでボットづくり
Masato Fujitake
2013/05/18に「Gunma.web #13」でプレゼンするはずだった資料 ソースはこちら https://github.com/parrot-studio/gunmaweb13-functional-language-retry
「もうなにもこわくない」関数型言語 〜ふつうのプログラマが関数型言語を知るべき理由・reload〜
「もうなにもこわくない」関数型言語 〜ふつうのプログラマが関数型言語を知るべき理由・reload〜
parrotstudio
2010/09/18 @LDD'10/Fall in KUSHIRO Hokkaido.pm#2の宣伝をしました。
テーマ「Hokkaido.pmからのお知らせ」
テーマ「Hokkaido.pmからのお知らせ」
technocat
Lightning talk at PyLadies Tokyo #2
初心者が Python で戸惑ったところ
初心者が Python で戸惑ったところ
Emma Haruka Iwao
Unity-Fukuoka勉強会のLT資料だったものです。後日これの完全版を上げます。
Unity3dにおけるus c# boo比較
Unity3dにおけるus c# boo比較
Nobukazu Hanada
OSC2014広島でのLT駆動開発でのLTの資料です。 http://www.ospn.jp/osc2014-hiroshima/
原典にあたったら英語も勉強できた話 〜 Git編 〜
原典にあたったら英語も勉強できた話 〜 Git編 〜
Yukinori KITADAI
20111206 GLT vol.40
20111206 GLT vol.40
kashew_nuts
Empfohlen
みんなのPython勉強会#17でのLT資料です。 エスケープシーケンス制御文字を使って画像をターミナルに出力するコードについて解説しています。 Githubは整理してからこちらに追加したいと思います。
Pythonでターミナルに画像表示
Pythonでターミナルに画像表示
Masato Fujitake
みんなのpython勉強会#22で発表しました。
Seq2Seqでボットづくり
Seq2Seqでボットづくり
Masato Fujitake
2013/05/18に「Gunma.web #13」でプレゼンするはずだった資料 ソースはこちら https://github.com/parrot-studio/gunmaweb13-functional-language-retry
「もうなにもこわくない」関数型言語 〜ふつうのプログラマが関数型言語を知るべき理由・reload〜
「もうなにもこわくない」関数型言語 〜ふつうのプログラマが関数型言語を知るべき理由・reload〜
parrotstudio
2010/09/18 @LDD'10/Fall in KUSHIRO Hokkaido.pm#2の宣伝をしました。
テーマ「Hokkaido.pmからのお知らせ」
テーマ「Hokkaido.pmからのお知らせ」
technocat
Lightning talk at PyLadies Tokyo #2
初心者が Python で戸惑ったところ
初心者が Python で戸惑ったところ
Emma Haruka Iwao
Unity-Fukuoka勉強会のLT資料だったものです。後日これの完全版を上げます。
Unity3dにおけるus c# boo比較
Unity3dにおけるus c# boo比較
Nobukazu Hanada
OSC2014広島でのLT駆動開発でのLTの資料です。 http://www.ospn.jp/osc2014-hiroshima/
原典にあたったら英語も勉強できた話 〜 Git編 〜
原典にあたったら英語も勉強できた話 〜 Git編 〜
Yukinori KITADAI
20111206 GLT vol.40
20111206 GLT vol.40
kashew_nuts
Tokyo.R 39
お前の逐モン、GETだぜ!
お前の逐モン、GETだぜ!
Nagi Teramo
2015/09/12に開催された第9回G-Studyの発表資料です。
2015/09/12 第9回G-Study発表資料-XdebugでPHP ScriptのProfileしてみる
2015/09/12 第9回G-Study発表資料-XdebugでPHP ScriptのProfileしてみる
Yuta Hayakawa
Alfredとdashで超高速リファレンス
Alfredとdashで超高速リファレンス
Takuma Morikawa
tokyor 61
Rでを作る
Rでを作る
Nagi Teramo
2015年8月8日に開催された第8回G-Studyの発表資料です。
2015/08/08 第8回G-Study発表資料-部屋と自宅サーバと私
2015/08/08 第8回G-Study発表資料-部屋と自宅サーバと私
Yuta Hayakawa
言語処理するのに Python でいいの? #PyDataTokyo
言語処理するのに Python でいいの? #PyDataTokyo
Shuyo Nakatani
第50回R勉強会@東京
機械の体を手に入れるのよ、鉄郎!!!
機械の体を手に入れるのよ、鉄郎!!!
Nagi Teramo
技術ドキュメント読んでいて、難しい英文に出会ったら、楽しい時間の始まりです!
技術ドキュメントで難しい英文に出会ったら
技術ドキュメントで難しい英文に出会ったら
Wataru Terada
#東海道らぐ でのLT資料
LTネタが完成しなくてごめんなさい
LTネタが完成しなくてごめんなさい
Kento Kawakami
2015年4月11日に開催された第4回G-Studyの発表資料です。
2015/04/11 第4回G-Study発表資料 Risoluto開発に見る車輪の再発明
2015/04/11 第4回G-Study発表資料 Risoluto開発に見る車輪の再発明
Yuta Hayakawa
20110205.conference
20110205.conference
YAMANE Toshiaki
Blenderで和柄をつくるお話です(Talk about how to make japanese traditional cloth pattern as procedural texture with blender 2.81)
Blenderで和柄をつくるお話
Blenderで和柄をつくるお話
Tetsuo Mitsuda
第1回東海アンカンファレンスで使った資料
TwitterのStreaming ApiをPhpから使う
TwitterのStreaming ApiをPhpから使う
Hidenori Goto
SecHack Returns 2020 で開いた F*言語ワークショップのスライドです. F*言語によるセキュアな配列スライス関数 https://github.com/TakuKitamura/fstar-slice
F*言語ワークショップ
F*言語ワークショップ
TakuKitamura1
学内LT(https://hojiro-lt.connpass.com/event/45743/ )で話したやつ. Unityが5.5になったのにnullがnullじゃないせいもあって現代のC#が書けなかった話. もちろんこれだけが理由ではないでしょうが.
性懲りもなくUnityの闇と戯れる
性懲りもなくUnityの闇と戯れる
twinkfrag
PyLadies Tokyo Meetup #3 (Python for Beginners) での発表資料
Pyladies tokyo 20150123
Pyladies tokyo 20150123
Ai Makabi
アーティスト向けにOOPのエッセンスについてお話します。 オブジェクト指向が解決するすべての視点を説明するにはとても時間が足りないので、その中でも重要なひとつの考え方をご紹介します。
こわくないPython その2- ファイナルファンタジーとグレンラガンで学ぶOOP
こわくないPython その2- ファイナルファンタジーとグレンラガンで学ぶOOP
Katsuya Arai
第8回 3DCG Meetup登壇資料
こわくないPython
こわくないPython
Katsuya Arai
Bug撲滅作戦
Bug撲滅作戦
hayabusa333
This paper is for the event and in Japanese. https://wiki.ubuntulinux.jp/Events/OfflineTokyo201606
LTSの準備をチョットやってみた。lxcチョット触ってみた
LTSの準備をチョットやってみた。lxcチョット触ってみた
Naoki Matsumoto
Gunma.web #7の発表 一部内輪向けのスライド削除 詳しくは以下で http://d.hatena.ne.jp/parrot_studio/20111220/1324391867
プログラマになれないあなたのための言語戦略 (Gunma.web #7 2011/12/17)
プログラマになれないあなたのための言語戦略 (Gunma.web #7 2011/12/17)
parrotstudio
プログラミング言語基礎勉強会での発表資料です。
F#の基礎(?)
F#の基礎(?)
bleis tift
Weitere ähnliche Inhalte
Was ist angesagt?
Tokyo.R 39
お前の逐モン、GETだぜ!
お前の逐モン、GETだぜ!
Nagi Teramo
2015/09/12に開催された第9回G-Studyの発表資料です。
2015/09/12 第9回G-Study発表資料-XdebugでPHP ScriptのProfileしてみる
2015/09/12 第9回G-Study発表資料-XdebugでPHP ScriptのProfileしてみる
Yuta Hayakawa
Alfredとdashで超高速リファレンス
Alfredとdashで超高速リファレンス
Takuma Morikawa
tokyor 61
Rでを作る
Rでを作る
Nagi Teramo
2015年8月8日に開催された第8回G-Studyの発表資料です。
2015/08/08 第8回G-Study発表資料-部屋と自宅サーバと私
2015/08/08 第8回G-Study発表資料-部屋と自宅サーバと私
Yuta Hayakawa
言語処理するのに Python でいいの? #PyDataTokyo
言語処理するのに Python でいいの? #PyDataTokyo
Shuyo Nakatani
第50回R勉強会@東京
機械の体を手に入れるのよ、鉄郎!!!
機械の体を手に入れるのよ、鉄郎!!!
Nagi Teramo
技術ドキュメント読んでいて、難しい英文に出会ったら、楽しい時間の始まりです!
技術ドキュメントで難しい英文に出会ったら
技術ドキュメントで難しい英文に出会ったら
Wataru Terada
#東海道らぐ でのLT資料
LTネタが完成しなくてごめんなさい
LTネタが完成しなくてごめんなさい
Kento Kawakami
2015年4月11日に開催された第4回G-Studyの発表資料です。
2015/04/11 第4回G-Study発表資料 Risoluto開発に見る車輪の再発明
2015/04/11 第4回G-Study発表資料 Risoluto開発に見る車輪の再発明
Yuta Hayakawa
20110205.conference
20110205.conference
YAMANE Toshiaki
Blenderで和柄をつくるお話です(Talk about how to make japanese traditional cloth pattern as procedural texture with blender 2.81)
Blenderで和柄をつくるお話
Blenderで和柄をつくるお話
Tetsuo Mitsuda
第1回東海アンカンファレンスで使った資料
TwitterのStreaming ApiをPhpから使う
TwitterのStreaming ApiをPhpから使う
Hidenori Goto
SecHack Returns 2020 で開いた F*言語ワークショップのスライドです. F*言語によるセキュアな配列スライス関数 https://github.com/TakuKitamura/fstar-slice
F*言語ワークショップ
F*言語ワークショップ
TakuKitamura1
学内LT(https://hojiro-lt.connpass.com/event/45743/ )で話したやつ. Unityが5.5になったのにnullがnullじゃないせいもあって現代のC#が書けなかった話. もちろんこれだけが理由ではないでしょうが.
性懲りもなくUnityの闇と戯れる
性懲りもなくUnityの闇と戯れる
twinkfrag
PyLadies Tokyo Meetup #3 (Python for Beginners) での発表資料
Pyladies tokyo 20150123
Pyladies tokyo 20150123
Ai Makabi
アーティスト向けにOOPのエッセンスについてお話します。 オブジェクト指向が解決するすべての視点を説明するにはとても時間が足りないので、その中でも重要なひとつの考え方をご紹介します。
こわくないPython その2- ファイナルファンタジーとグレンラガンで学ぶOOP
こわくないPython その2- ファイナルファンタジーとグレンラガンで学ぶOOP
Katsuya Arai
第8回 3DCG Meetup登壇資料
こわくないPython
こわくないPython
Katsuya Arai
Bug撲滅作戦
Bug撲滅作戦
hayabusa333
This paper is for the event and in Japanese. https://wiki.ubuntulinux.jp/Events/OfflineTokyo201606
LTSの準備をチョットやってみた。lxcチョット触ってみた
LTSの準備をチョットやってみた。lxcチョット触ってみた
Naoki Matsumoto
Was ist angesagt?
(20)
お前の逐モン、GETだぜ!
お前の逐モン、GETだぜ!
2015/09/12 第9回G-Study発表資料-XdebugでPHP ScriptのProfileしてみる
2015/09/12 第9回G-Study発表資料-XdebugでPHP ScriptのProfileしてみる
Alfredとdashで超高速リファレンス
Alfredとdashで超高速リファレンス
Rでを作る
Rでを作る
2015/08/08 第8回G-Study発表資料-部屋と自宅サーバと私
2015/08/08 第8回G-Study発表資料-部屋と自宅サーバと私
言語処理するのに Python でいいの? #PyDataTokyo
言語処理するのに Python でいいの? #PyDataTokyo
機械の体を手に入れるのよ、鉄郎!!!
機械の体を手に入れるのよ、鉄郎!!!
技術ドキュメントで難しい英文に出会ったら
技術ドキュメントで難しい英文に出会ったら
LTネタが完成しなくてごめんなさい
LTネタが完成しなくてごめんなさい
2015/04/11 第4回G-Study発表資料 Risoluto開発に見る車輪の再発明
2015/04/11 第4回G-Study発表資料 Risoluto開発に見る車輪の再発明
20110205.conference
20110205.conference
Blenderで和柄をつくるお話
Blenderで和柄をつくるお話
TwitterのStreaming ApiをPhpから使う
TwitterのStreaming ApiをPhpから使う
F*言語ワークショップ
F*言語ワークショップ
性懲りもなくUnityの闇と戯れる
性懲りもなくUnityの闇と戯れる
Pyladies tokyo 20150123
Pyladies tokyo 20150123
こわくないPython その2- ファイナルファンタジーとグレンラガンで学ぶOOP
こわくないPython その2- ファイナルファンタジーとグレンラガンで学ぶOOP
こわくないPython
こわくないPython
Bug撲滅作戦
Bug撲滅作戦
LTSの準備をチョットやってみた。lxcチョット触ってみた
LTSの準備をチョットやってみた。lxcチョット触ってみた
Ähnlich wie FsCheckコトハジメ
Gunma.web #7の発表 一部内輪向けのスライド削除 詳しくは以下で http://d.hatena.ne.jp/parrot_studio/20111220/1324391867
プログラマになれないあなたのための言語戦略 (Gunma.web #7 2011/12/17)
プログラマになれないあなたのための言語戦略 (Gunma.web #7 2011/12/17)
parrotstudio
プログラミング言語基礎勉強会での発表資料です。
F#の基礎(?)
F#の基礎(?)
bleis tift
2019/2/2のprocessing community day tokyo 2019の発表資料です。 p5jsを拡張機能に召喚する方法のスライドになります!
chrome拡張機能で ブラウザにp5jsを召喚!
chrome拡張機能で ブラウザにp5jsを召喚!
takaguru
from OCaml Meeting 2010 in Nagoya
Fluent Feature in F#
Fluent Feature in F#
igeta
関東Firefox OS勉強会 2nd
TypeScriptで作る型安全FirefoxOSアプリ
TypeScriptで作る型安全FirefoxOSアプリ
progre
ODF PlugFestという活動の紹介と、ちょっとそれっぽいことをやって遊んでみようよ!という呼びかけです。
ODF PlugFestを味見しよう/Tasting Odf plug fest
ODF PlugFestを味見しよう/Tasting Odf plug fest
Naruhiko Ogasawara
Ähnlich wie FsCheckコトハジメ
(6)
プログラマになれないあなたのための言語戦略 (Gunma.web #7 2011/12/17)
プログラマになれないあなたのための言語戦略 (Gunma.web #7 2011/12/17)
F#の基礎(?)
F#の基礎(?)
chrome拡張機能で ブラウザにp5jsを召喚!
chrome拡張機能で ブラウザにp5jsを召喚!
Fluent Feature in F#
Fluent Feature in F#
TypeScriptで作る型安全FirefoxOSアプリ
TypeScriptで作る型安全FirefoxOSアプリ
ODF PlugFestを味見しよう/Tasting Odf plug fest
ODF PlugFestを味見しよう/Tasting Odf plug fest
Kürzlich hochgeladen
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
LoRaWANスマート距離検出センサー DS20Lカタログ
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
CRI Japan, Inc.
2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
Key topics covered: - Understanding Ballerina's role in integrations: features and advantages - Designing and implementing REST APIs for integration - Designing and implementing GraphQL services with Ballerina - Monitoring and observing applications - Introduction to data integration
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
WSO2
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
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
CRI Japan, Inc.
2024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
2024年5月8日 Power Platform 勉強会 #1 LT資料
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
sn679259
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
2024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
Kürzlich hochgeladen
(10)
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
FsCheckコトハジメ
1.
FsCheck コトハジメ 2013/7/28 F#
談話室 (7)
2.
お前だれよ ・ F# 好きのしがないリーマンエンジニア ・
Python や D 言語も好き ・ Twitter で変なことばっかりしてます (@gab_km)
3.
皆さん、テストしてますか?
4.
F# で使えるテストツール ・ FsUnit ・
NUnit ・ NaturalSpec … BDD スタイル ・ Foq … Mock フレームワーク など 用途によっていろいろあります。
5.
でも、テストケースは自分で 考えないといけない。 もっと楽してバグの可能性を 減らしたい。
6.
一方、他の言語では… Haskell の場合
7.
一方、他の言語では… Erlang の場合
8.
今 QuickCheck がアツい!
9.
QuickCheck とは 引用:いたわさににほんしゅ「 QuickCheck
勉強してみよう 最初の一歩の前段階」 http://d.hatena.ne.jp/ita-wasa/20101212/1292157408
10.
F# でもあったらなぁ…。
11.
あるんです!
12.
FsCheck を使ってみよう。 デモ
13.
ところで…。 現在 FsCheck/Docs/Documentation.md の 翻訳を行なっています。
14.
・翻訳のお手伝いをしてくださる方 ・翻訳物のレビューをしてくださる方 をお待ちしております!
15.
まとめ ・ QC がテストツールの一つとして利用されてきている ・
F# 製 QC ツールとして FsCheck がある ・日本でも FsCheck を広めたい。
16.
まとめ ・ QC がテストツールの一つとして利用されてきている ・
F# 製 QC ツールとして FsCheck がある ・日本でも FsCheck を広めたい。 その前に F# を広めましょう
Jetzt herunterladen