『Upload, Share, and Discover Content on SlideShare』 人気 新着 すべて
『Upload, Share, and Discover Content on SlideShare』 人気 新着 すべて
Docswellに移行しました。最新情報はこちらをご覧ください。 https://www.docswell.com/user/ydnjp yjtc yahoo yahoo! japan hadoop devsumi agile scrum kafka ヤフー名古屋 devsumia developers summit java ambari javascript cassandra api android presto wsdm mysql solr ux ios 機械学習 yjmu design nosql stream ui react php kubernetes デザイン デザイナー golang paas database bigdata spark hdfs cx customer_experience user_experience ux_design accessibili
This document discusses the Coq proof assistant. It provides examples of defining concepts like booleans, natural numbers, and functions in Coq. It demonstrates tactics for proving properties like De Morgan's laws. It also shows how to define recursive functions over natural numbers like addition and equality testing. The document aims to introduce basic concepts and usage of the Coq system throug
This chapter discusses working with text and numbers in PHP. It covers defining and manipulating strings, including validating, formatting, and changing case. Functions for selecting, replacing, and exploding parts of strings are described. Working with numbers, math operators, variables, and number formatting functions are also summarized. Key string functions include substr(), str_replace(), pri
1. 函数プログラミングの集い2011 チュートリゕル 「モナドについて」 株式会社 Preffered Infrastructure 田中 英行 tanaka.hideyuki@gmail.com 2. 自己紹介 • 田中英行 (@tanakh, id:tanakh) • 株式会社 Preferred Infrastructure (PFI) 勤務 – 検索エンジンのゕルゴリズムとか作ってます • Haskell (2004~) • C++ (1998~) • BASIC (1992~) • プログラミングコンテスト愛好家 – ICPC, ICFPC, CodeJam, TopCoder, …
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く