こんにちは谷田さんです。初投稿です。見てくれてありがとう。作:こんにちは谷田さん(mylist/44164746)写真: 芽月 様(http://piapro.jp/t/3ax5)twitter→ https://twitter.com/hello_tanitasan
lambda式がconstexprでない理由、いや、より正確には、クロージャーオブジェクトの変換関数がconstexpr関数ではない理由。 もし、constexprの場合は、SFINAEの文脈で使えてしまうからだ。lambda式の本体には任意の文を書けるので、以下のような記述が可能だ。 template < typename T, void (*)() = [](){ // write whatever expressions that depends on T. // if any expression is ill-formed for T, substitution fails. } > void f( T ) ; C++11の規格策定の最終段階で、クロージャーオブジェクトの関数ポインターへの変換関数をconstexprにしようという議論がでたが、当時、筆者はこのコードを示して、SF
Abstract 論文の信頼性向上を目指し、生命科学(医学も含む)分野の電気泳動実験における「画像加工」の頻度や傾向を調査した。Nature誌、PNAS誌を対象とし、全374件の論文の画像加工を検証した。その結果、2000年~2006年のNature誌302件において、20件6.6%が画像加工の可能性が高いという結果となり、画像加工の可能性が示唆されるものも合わせると、72件23.8%もの論文が該当した。また、PNAS誌(2003年 Vol.100(1)~100(3))では日本人名が含まれる論文と含まれない論文で比較検討したところ、日本人名が含まれる論文で画像に疑義のあり調査・検証が必要と考えられる論文の率(画像加工要調査率)は42.9%となり、日本人名が含まれない論文での17.2%と比べて有意(P Author and Article Information Author infoゼネラ
I discuss Haste, which compiles Haskell code to Javascript to be run on the browser. I then cover Tagless Final Style, which is a technique for creating flexible and extensible DSLs.Read less
On a May morning in Rhode Island two years ago, a reporter for the Providence Journal stood outside the doors of 38 Studios, the video game company formed by baseball player Curt Schilling. As employees walked into work, the reporter asked if they knew why they weren't getting paid. For a few 38 staffers, this was news. They weren't getting paid? Really? Was this some sort of mistake? A clerical e
A series of conversations between Kent Beck, David Heinemeier Hansson, and myself on the topic of Test-Driven Development (TDD) and its impact upon software design. Where This Came From A provocative talk and blog posts has led to a conversation where we aim to understand each others' views and experiences more… This conversation began as a consequence to David’s RailsConf keynote where he express
数日間iOS8/Xcode6/Swiftな環境で色々試してみて、Swiftを使っていて思ったよりがっかりした点が多かったのでちょっとまとめてみようと思います。 動的な処理がSwiftだけでは一切できない [NSObject performSelector:]の類と、NSInvocationがSwiftからは一切呼び出せません。使おうとすると怒られます。objc/runtime.hは試していませんが、同様に直接Swift経由では呼び出せず間にObjective-Cをかます必要があるのではないかと思われます。 @optionalなprotocolが限定的にしか使用できない 具体的には@objc属性を付けないと使えません。しかしながらこのような後方互換性のためだけに存在する属性をいつまでもAppleがサポートするかは疑問が残るというのと、もう一つ以下の様な問題があります。 @objc属性のついた
ProductPSD Viewing & DiffingWe've supported image viewing and diffing for quite some time now, but today we're happy to announce that we're adding PSD files to the images we support for this. Any… We’ve supported image viewing and diffing for quite some time now, but today we’re happy to announce that we’re adding PSD files to the images we support for this. Any PSD assets in your repositories wil
Poll Without Pain. The performance of nonblocking I/O meets the convenience of coroutines. Packed with a bunch of useful protocols and a first-class toolkit for concurrency, diesel is the best way to write network applications in Python. Try It (requires RFC 6455 WebSockets): from diesel.web import DieselFlask from diesel.util.queue import Fanout from diesel import first app = DieselFlask(__name__
(deftable user () (name :type text :uniquep t) (age :type integer :indexp t) (company :foreign-key 'company :nullp nil)) (loop for user in (filter 'user (:< :age 25)) do (format t "Company: ~A~&" (name (deref user 'company)))) Non-opinionated Crane doesn't drink the ORM Kool Aid: You won't spend a single minute struggling with an interface that claims to be “simple” yet forces you into a limited v
AI is suddenly everywhere. Do you need to go and get a shiny machine learning degree to remain competitive? John Maeda says not to worry. He’ll show you how to cook delicious dishes into your coding repertoire with his new show - Mr. Maeda’s Cozy AI Kitchen. Find out how you can use GitHub Copilot, an add-on that is powered by AI, to get helpful suggestions when writing code or documentation. This
The IETF just published several new RFCs that update HTTP/1.1: RFC 7230: Message Syntax and Routing RFC 7231: Semantics and Content RFC 7232: Conditional Requests RFC 7233: Range Request RFC 7234: Caching RFC 7235: Authentication RFC 7236: Authentication Scheme Registrations RFC 7237: Method Registrations RFC 7238: the 308 status code RFC 7239: Forwarded HTTP extension These documents make the ori
The typeparams package provides type lenses. Let’s combine them with Functors. Because why not?! You’ll need to have at least skimmed the linked README to understand what’s going on here. First, enable some GHC magic: > {-# LANGUAGE TemplateHaskell #-} > {-# LANGUAGE ScopedTypeVariables #-} > {-# LANGUAGE KindSignatures #-} > {-# LANGUAGE TypeFamilies #-} > {-# LANGUAGE MultiParamTypeClasses #-} >
Hi, I'm Saša Jurić, a software developer with 10+ years of professional experience in programming of web and desktop applications using various languages, such as Elixir, Erlang, Ruby, JavaScript, C# and C++. I'm also the author of the Elixir in Action book. In this blog you can read about Elixir, Erlang, and other programming related topics. You can subscribe to the feed, follow me on Twitter or
Silk is a live profiling and inspection tool for the Django framework. It: Intercepts requests and responses, recording: SQL Queries Response times Headers Bodies Allows tracing of SQL queries via Python stack traces Profiles blocks of code and functions Generates code and commands for replaying requests A live demo is actively profiling this site. The github readme is currently acting as document
The most popular cryptographic software for Windows is probably TrueCrypt. In this article I will explain how TrueCrypt works and as a by-product a working Python implementation will be provided. This article is written from a programmer perspective and the math will be kept to the minimum. The emphasis is on how TrueCrypt uses cryptographic primitives such as AES and SHA-1, not how the primitives
This post is part of a 5-part series: Part I Part II Part III Part IV Part V See also Frequentism and Bayesianism: A Python-driven Primer, a peer-reviewed article partially based on this content. In a previous post I gave a brief practical introduction to frequentism and Bayesianism as they relate to the analysis of scientific data. In it, I discussed the fundamental philosophical difference betwe
オライリー・ジャパンから「word2vecによる自然言語処理」という電子書籍を出版しました。予定外のドタバタがあってブログで紹介するのが遅くなってしまいましたが、その間にオライリーのEbook Store Sales Rankingでは1位になっていました。 word2vecは2013年に論文が出たばかりの新しい技術です。色々な方がブログで取り上げていて、興味をもった方も多いと思います。知らない方のためにいくつかリンクを紹介しておきます: https://code.google.com/p/word2vec/ で少し遊んでみた。いわゆる deep learning で… Deep-learningはラテン語の動詞活用を学習できるか? Can deep-learning learn latin conjugation? - naoya_t@hatenablog 自然言語処理をなにも知らない私
by Vic Ramon on June 5, 2014 I went to see X-Men: Days of Future Past last weekend. While having a heated discussion about the logic behind the time travel in the movie with fellow Rocketeer Lucas Galego, we realized that Git provides a great analogy for time travel. So here you have it, the new X-Men movie explained in Git. SPOILER ALERT If you haven't seen the movie yet then you probably shouldn
let m = staccato (scat [c,d,e,c]|/2) |> ab |> b_ |> legato (d |> c)|*2 in stretch (1/8) m To transform music, we write a function. For example the following function halves all durations and transposes all pitches up a minor sixth: up m6 . compress 2 Applied to the above music we get: Input and output The Music Suite works well with the following input and output formats. MusicXML Lilypond ABC not
Introduction It is well known that the list comprehension notation from functional programming bares more than a passing resemblance to SQL queries: SELECT c.name, o.price FROM customer c, orders o WHERE c.pk_cust_id = o.fk_cust_id List comprehensions offer a declarative query syntax that is very SQL-like and readable, but also much more compositional than SQL, for example we can nest comprehensio
■ [types] 型推論のある言語作った まだλ計算に毛が生えたようなものなので、Hello Worldくらいしか動かないですが。 https://github.com/yhara/boom TAPLを読んだからには*1静的型付け言語の一つでも作らなければならないと思って、とりあえず動くとこまで実装した。Boomという名前は適当に付けたのであとで変えるかもしれない。 最初はTAPLのfullreconをベースにしようと思ったのだけど、動かしてみたらこいつは多相型が実装されてなくて(練習問題になってた)、pi8027さんのtypeinferをベースにすることにした。 動かし方 Ruby 2.1が必要*2。 $ git clone https://github.com/yhara/boom $ gem i bundler $ bundle install $ bundle exec rspe
Omer Iqbal geek . lisper . full-stack dev . emacs padawan . coffee addict Twitter Facebook Github So I read somewhere that one could truly understand the beauty of monads by implementing monadic parsers. Given holidays and a lazy weekend, I decided to put that idea to the test. A large section of the remainder of this post is derived and inspired from this amazing paper by Graham Hutton and Eric M
Python is one of the best programming languages out there, with an extensive coverage in scientific computing: computer vision, artificial intelligence, mathematics, astronomy to name a few. Unsurprisingly, this holds true for machine learning as well. Of course, it has some disadvantages too; one of which is that the tools and libraries for Python are scattered. If you are a unix-minded person, t
By day, I code mobile apps and design digital experiences. In my free time, I create art. I recently began exploring both at once with generative art, a sublime combination of computer programming and graphic art. Generative art, or art derived from computer code, is a relatively new format, in which the artist-programmer realizes a vision or idea by defining parameters and commands. But making ge
In 2013, I spent 6 months converting 0install's 29,215 lines of Python to OCaml (learning OCaml along the way). In this post, I'll describe the approach I took and how it went. There will be graphs. If you don't want to read the whole thing, the take-away is this: The new code is a similar length (slightly shorter), runs around 10x faster, and is statically type checked. ( This post also appeared
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く