Taskです。今年もよろしくお願いします。(今更!)僕の歌です。曲 Task mylist/25882253(@taskmusics)絵 きゃらあい mylist/21045906(@kyaraai )この絵を描いてくださったきゃらあいさんの個展が3/1まで新宿でやってます。スロースターターの絵もあります。是非!http://www.gallerycomplex.com/schedule/ACT153/kyaraai.htmlニューアルバム→ sm28257378
This time I’d like to think about three different approaches to ‘defining equality’, or more generally, introducing equality in formal systems of mathematics. These will be taken from old-fashioned logic — before computer science, category theory or homotopy theory started exerting their influence. Eventually I want to compare these to more modern treatments. If you know other interesting ‘old-fas
The links below are to a selection of freely (and legitimately!) available online resources for those interested in category theory at an elementary/intermediate level. Three excellent introductionsAnother gentle introduction?Selected lecture notesSelected books and hand-book articlesA more comprehensive list of online lecture notes and books.A few videosIntroductory readings for philosophersThree
Understanding .NET 2015 02/25/2015 10 minutes to read Last year after BUILD I posted Exciting Times for .NET and since then I have had the pleasure of working much closer with the .NET team, which includes the runtime, framework, languages & compilers. Although my focus has been a lot more on internal community in the last year, such as helping run internal conferences for our field employees, I’v
Summary: Currently you have to call withSocketsDo before using the Haskell network library. In the next version you won't have to. The Haskell network library has always had a weird and unpleasant invariant. Under Windows, you must call withSocketsDo before calling any other functions. If you forget, the error message isn't particularly illuminating (e.g. getAddrInfo, does not exist, error 10093).
A blog about graphics, demoscene, functional programming languages and some other IT materials. The smoother the better! It’s been a while I haven’t written anything on my blog. A bit of refreshment doesn’t hurt much, what do you think? As a demoscener, I attend demoparties, and there will be a very important and fun one in about a month. I’m rushing on my 3D application so that I can finish somet
2015-02-25 Exploring Go's Runtime - How a Process Bootstraps Itself - Part I I’ve spent a considerable portion of my professional life dealing with Java's HotSpot virtual machine and decided after acquiring a strong affinity for Go that I should attempt to build as deep of an understanding of the Go runtime as well. Much to my surprise, there is little formal documentation—outside of the source, s
はじめに こんにちは、pixiv でアルバイトをしていた arayuji です。 今回はこれまでやってきたことのまとめとして、漫画やイラストに対する画像処理についてご紹介します。 一口に画像処理といっても様々なものがありますが、ここでは漫画のコマや白黒のイラストを簡単に領域分割する手法についてお話しします。 基本的な画像処理から高度な最適化処理まで、すべての処理をブラウザ上で 実現しました。 実際のコードも、pixiv/manga-segment · GitHubにあるので、興味がある方は見てみてください。 デモ トップに載せた画像が動作イメージなのですが、わかりにくいと思うのでデモを用意しました。(Chrome 40 / Firefox 35 / IE 11 で動作確認しましたが、IE では非常に遅いので注意してください) 右側のパレットで色をひとつ選んで、左側の画像の上にマウスで線を描
We introduce Adam, an algorithm for first-order gradient-based optimization of stochastic objective functions, based on adaptive estimates of lower-order moments. The method is straightforward to implement, is computationally efficient, has little memory requirements, is invariant to diagonal rescaling of the gradients, and is well suited for problems that are large in terms of data and/or paramet
Introduction Parsing expression grammars (PEGs) are an alternative to context free grammars for formally specifying syntax, and packrat parsers are parsers for PEGs that operate in guaranteed linear time through the use of memoization. For a brief technical summary see the Wikipedia entry on PEGs. For more in-depth descriptions see the original PEG paper and packrat parsing paper, and related pape
Feb 27 2015 Lately, I’ve been giving a lot of thought to first impressions of Rust. On May 15, we’re going to have a lot of them. And you only get one chance at a first impression. So I’ve been wondering if our Intro and Basics are putting our best foot forward. At first I thought yes, but a few days ago, I had an idea, and it’s making me doubt it, maybe. So instead of re-writing all of our introd
Warning This documentation is for an old version of IPython. You can find docs for newer versions here. IPython 3.2.1¶ IPython 3.2.1 is a small bugfix release, primarily for cross-site security fixes in the notebook. Users are strongly encouraged to upgrade immediately. There are also a few small unicode and nbconvert-related fixes. See Issues closed in the 3.x development cycle for details. IPyth
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post IntroCompensations are a general mechanism for restoring state that permits to undo even IO actions. I present two primitives for transient: onUndo that "annotates" undo actions attached to the monadic statements in a monadic sequence. These statements are executed in reverse order when un
Introduction¶ This document contains the release notes for the LLVM Compiler Infrastructure, release 3.6. Here we describe the status of LLVM, including major improvements from the previous release, improvements in various subprojects of LLVM, and some of the current users of the code. All LLVM releases may be downloaded from the LLVM releases web site. For more information about LLVM, including i
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く