Amazon 7netオムニ7 楽天Kobo ebookjapan Apple books 紀伊國屋書店 コミックシーモア スマートBookストア DMMブックス BOOK☆WALKER BookLive honto ●本書に寄せられた賛辞 「博物館侵入事件,進化論の発見,絶滅の危機に瀕した鳥たち,そして毛針作りにとりつかれた者たちが巣くう地下世界――無関係に見える話題を見事にまとめあげた犯罪実話だ」 ――マーク・アダムス(『マチュピチュ探検記』著者) 「一見すると地味で埋もれてしまいそうな事件を題材に,つぎからつぎへと繰り出される洞察と驚き.最初から最後まで魅力に満ちた一冊」 ――マイケル・フィンケル(『ある世捨て人の物語』著者) 「犯罪そのものだけでなく,文化遺産の重要性について多くのことを教えてくれる」 ――エリザベス・マーシャル・トーマス(『犬たちの隠された生活』著者) 「魅了され
The quarrel between Japan and South Korea reached a new low last week when Seoul pulled out of an intelligence-sharing agreement that had taken the United States years to broker. What’s behind this dispute? Some observers blame President Trump for neglecting these two U.S. allies. But relations between Japan and South Korea have soured numerous times over decades, long before Trump came along.
この記事はHaskell Advent Calendar 2013の3日目の記事です。 目次 どうして? ファンクタを拡張しよう おさらい 引数をふたつ取ろう 逆転の発想 共変・反変・自由変・固定変 データ型の整理 正の位置と負の位置 自由変と固定変 ファンクタ類を自動生成しよう まとめ おまけ Thornについて CPLであそぼう どうして? ファンクタはHaskellに欠かせないものですが、ファンクタを一般化して見るという見方は意外に広まっていないように感じます。分かってしまえば単純な話だけにもったいないと思ってこの記事を書くことにしました。 また、僕は最近Thornというライブラリを作りました。これは、さまざまなデータ型から関手や畳み込み・展開をTemplate Haskellを使って自動生成するライブラリです。このライブラリを作るなかで気づいたことも合わせて書いていこうと思います。
想定読者と到達目標 圏論に入門しようと定義などを眺めてみたものの それより先に進む方法が分からない人へ向けて。 具体例を通して、抽象的な定義を受け入れつつ、 自分が何を分かっていないか分かるようにする。 大学数学の知識は特に仮定していないつもりなので、 「圏論を理解できないのは○○が分からないからだ」 みたいな自分自身に対する言い訳を排除したい所存。 ひとまず細かいことは気にせず雰囲気を掴んでおいて、 必要の際1に詳細文献を読めるような下地作りが目標。 目次 圏論入門前の準備運動―集合と写像― もう諦めない圏論入門―対象と射― 具体例を通して圏の定義を受け入れる 直積と余直積に触れて圏を理解した気になる もう諦めない圏論入門―圏と関手― 具体例を通して関手の定義を受け入れる Hom 関手に触れて関手を理解した気になる もう諦めない圏論入門―関手と自然変換― 具体例を通して自然変換の定義を受
I love to cook with curl. Here are some useful curl recipes I often use. Make a POST Request (TLDR: Use -X POST argument) Add POST Data to a Request (TLDR: Use -d var=val argument) Construct a Query String (TLDR: Use -G argument) Add HTTP Headers (TLDR: Use -H 'Header: Value' argument) Change the User Agent (TLDR: Use -A 'User Agent' argument) Set Cookies (TLDR: Use -b name=value argument) Add a R
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く