Computer Laboratory: Ohad's Research - Agda Course 2013
The Logic, Semantics, and Programming Languages Group at the University of Cambridge presents: Dependently typed metaprogramming (in Agda) Conor McBride MSP, University of Strathclyde Dependently typed functional programming languages such as Agda are capable of expressing very precise types for data. When those data themselves encode types, we gain a powerful mechanism for abstracting generic ope
C++14とC++1yの新しいペーパーがさらに公開された - Faith and Brave - C++で遊ぼう
New paper: N3744, Proposing pure—Walter Brown 関数が外部の変数を変更しない「純粋関数(pure function)」であることをコンパイラに伝える、pure属性を入れよう、という提案。 関数が引数のみに依存して結果を生成するようになると、状態変化によるバグの混入が起こらなくなるので、これはぜひほしいですね。 GCCにはだいぶ前から、__pure__属性があります。それとD言語にも。 標準ライブラリで純粋関数にならない例としては、以下のようなものがあります： printf : I/Oは副作用である tan : グローバル変数であるerrnoを更新する longjmp : 関数のreturnに失敗する mersenne_twister_engine<>::operator() : メンバ変数として持っている状態を更新する New paper: N3
1億5千万年のサカナの進化を一枚の図で理解する | 5号館を出て
PNASの7月30日号（July 30, 2013 vol. 110 no. 31）に眺めているだけでも楽しくなるサカナの進化系統図が出ています。 オープンアクセスになっていますので、誰でも全文を読めますし、ｐｄｆでダウンロードすることもできます。下のタイトルをクリックするとPNASの全文表示ページが開きます。 サカナの進化といってもサカナすべてというわけではないのですが、サカナの主要なグループである硬骨魚類の中でも主要なグループである英語では spiny-rayed fish と呼ばれるグループの進化の全貌です。日本語では棘鰭上目（きょくきじょうもく）と呼ばれるグループのお話です。ウィキペディアによれば、この仲間には「スズキ目やカサゴ目など13目267科2,422属が所属し、魚類全体の約半数にあたる14,797種が含まれる」のだそうです。この種数の多さはなんと現存の脊椎動物の3分の1を占
Reddit - Dive into anything
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
We’re on the cusp of deep learning for the masses. You can thank Google later – Old GigaOm
Google (s goog) silently did something revolutionary on Thursday. It open sourced a tool called word2vec, prepackaged deep-learning software designed to understand the relationships between words with no human guidance. Just input a textual data set and let underlying predictive models get to work learning. “This is a really, really, really big deal,” said Jeremy Howard, president and chief scient
分別のあるRubyモンキーパッチャーになるために
Rubyのクラスはオープンです。つまりRubyのユーザが既存のクラスを開いて自由に実装を弄ることができるのです。組み込みクラスとてその例外ではありません。 既存のクラスを開いてメソッドを追加したり再定義したりすることを、業界用語で「モンキーパッチ」といいます。モンキーパッチという語には明らかに批判的・軽蔑的ニュアンスが含まれていますが、多くのRubyistはそれにひるむこと無く良くモンキーパッチします。何しろドアはいつも開いてるんですからねぇ。 るびおのモンキーパッチ モンキーパッチャー「るびお」は、製作中のライブラリで多次元配列の要素に頻繁にアクセスする必要が生じました。これには通常、Array#[]または#atを使って次のようにアクセスします。 irb> arr = [[1, 2, 3], [4, 5, 6], [7, 8, 9]] irb> arr[1][2] => 6 irb> a
made by loren.
Short version: I'm building Penflip, a collaborative writing platform. It's similar to GitHub, but designed for writing instead of coding. Longer version: For the past three years, I've used GitHub for hosting code projects, discovering bleeding edge tech, and collaborating with an engineering team. And it has been simply wonderful. In fact, it's hard to imagine coding without GitHub. I rely on Gi
Learn to Build Modern Web Apps with MEAN - Thinkster
The goal of this tutorial is to guide you through the creation of a Reddit/Hacker News clone using the MEAN stack. By completing this tutorial, you will gain a basic understanding of the MEAN stack including building a REST interface with Express.js on top of Node.js and using that interface to perform CRUD operations on a database via an AngularJS frontend. Why MEAN Stack? The acronym "MEAN" stan
Chromatic Leaves | Making Code Reasonable
Written by Eric Rasmussen on August 28, 2013. By day I spend most of my time working with object oriented languages such as Python and Javascript, and I have identified two boundless sources of frustration: It’s very difficult to reason about the code Test suites are insufficient for building code confidence To the first point, I think Joel Spolsky puts it best: “It’s harder to read code than to w
デコイを使うエボラウイルスvs人類 - 蝉コロン
2013-08-29 デコイを使うエボラウイルスvs人類 研究 先日エボラウイルス治療のニュースがありました。 エボラ出血熱、発症後の霊長類の回復に成功 米研究 国際ニュース : AFPBB News 論文はこちらになります：Therapeutic Intervention of Ebola Virus Infection in Rhesus Macaques with the MB-003 Monoclonal Antibody Cocktail エボラウイルスはだいたいご存知だと思いますが、僕もだいたいしかご存知じゃないですが、 世界保健機関（World Health Organization、WHO）によると、エボラ出血熱に対する治療法はまだ確立されておらず、ワクチンも存在しない。ウイルス型にもよるが、発症患者の25～90％が死亡するという。 エボラ出血熱、発症後の霊長類の回復
Search
Releases, Offers & More Be the first to hear about our newest content, best promotions and upcoming events. Plus get 25% off your next purchase. Newsletter Sign Up Download Accounts Your email address is your account identifier. You can create a password, or just download from the links sent via email. My Orders (Resend order emails) How We're Different Hands-on instructions Solutions to real-worl
なごやまつりでF# Type Providerについて(?)話してきた - ぐるぐる～
してきました。 あれだけの人数が集まって、F# 知らない人が全然いないとかすごい勉強会でしたね。 現実(えくせる)と戦う話 from bleis tift Excel方眼紙、どうにかしたいものですね。 今回作った(作りかけ)コードは、GitHubに置いてあります。 ExcelHouganshi.TypeProvider 現実と戦うためのRealWorldsというorganizationを作ったので、「これも入れて！」というのがあれば考えます。 今のところ、みずぴーさんの作ったblockdiagcontrib-excelshapeもRealWorldsでホストしています。 飛ばしたところをちょっと補足つけて説明します。 TypeProviderのつくりかた 37枚目です。 TypeProviderは、 チュートリアル : 型プロバイダーの作成 (F#) をやれば作れるようになります。 このな
Reversing Sinclair's amazing 1974 calculator hack - half the ROM of the HP-35
How to use this unusual calculator The Sinclair Scientific calculator uses reverse Polish notation (RPN) and scientific notation, so the key sequences are totally different from regular calculators. Numbers automatically have a decimal point inserted; use E to set the exponent. Operations are entered after the number and there is no equals key. Use the up and down arrows to select scientific funct
Understanding the FFT Algorithm | Pythonic Perambulations
The Fast Fourier Transform (FFT) is one of the most important algorithms in signal processing and data analysis. I've used it for years, but having no formal computer science background, It occurred to me this week that I've never thought to ask how the FFT computes the discrete Fourier transform so quickly. I dusted off an old algorithms book and looked into it, and enjoyed reading about the dece
作者が教える！ lightline.vimの導入・設定方法！ 〜 初級編 - インストールしよう - プログラムモグモグ
この記事では、lightline.vimの導入・設定に戸惑っている皆さんのために、コピペで使える設定を教えます. 特に、lightline.vimのGitHubページが英語でよく分からないよ、という方を想定しています. GitHubページ或いはヘルプファイルを読んで分かる方は、この記事は読まなくても構いません.もし既に設定している方でも、LightlineFilenameにおかしいところがあると思いますので、必ずこのエントリーの関数を用いて下さい. (ドキュメントも私の.vimrcもexpandの引数を間違っていました) ステップ1: インストール lightlineは現在、GitHubからのみ入手できます。 itchyny/lightline.vim - GitHub インストール方法は、あなたが他のプラグインをどのようにインストールしているかによって異なります。 NeoBundle N
Reflecting values to types and back - School of Haskell | School of Haskell
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post This week, on /r/haskell: "I still want a reflection tutorial!" - Oliver Charles The configurations problemSeveral years ago, Oleg Kiselyov and Chung-chieh Shan wrote a paper entitled "Functional Pearl: Implicit configurations". It's actually a very fascinating paper and it's very readable
Lens/Aeson Traversals/Prisms - School of Haskell | School of Haskell
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post In the first Haskell Cast podcast Rein Henrichs and Chris Forno interviewed Edward Kmett in part about lens and it was suggested that Prisms don't have the same kind of introductory tutorial treatment. That's a shame, though. Prisms arise naturally all the time when using sum types. You co
Lenses from Scratch - School of Haskell | School of Haskell
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post Lens gets a lot of flack for having crazy type signatures. This is a whirlwind derivation of the craziest of signatures from the ground up. It might be useful as a starting point for exploring more of the lens code and seeing "through" the sophisticated types. Getting and SettingAt the sim
Crystal - Ruby風文法を持ったコンパイル型言語
Erlang トレーニング 2013に申し込みを行った。Erlangは全く詳しくないので、トレーニングが非常に楽しみだ。新しいプログラミング言語や、新しいプログラミングパラダイムを学ぶことは楽しい。 さて、プログラミング言語にとって、ぱっと見の見た目は結構重要である。C言語系の見た目であるC++/Java/PHPなどは、C言語を知っていれば違和感を覚えにくい。 今回紹介するプログラミング言語の名前は、Crystalである。Ruby風の文法を持つプログラミング言語だ。つか、ほとんどRuby。アルゼンチンの会社であるmanasの支援を受けて開発されている。 Hello, world!はこちら。 puts "Hello, world!" どうみてもRubyです（略）。ところが、以下のスクリプトはエラーが出る。 puts 'Hello, world!' あくまで文法はRuby風、というわけ。 Cr
Dismissed site: www.nada.kth.se
NADA upphörde organisatoriskt 2005. Enheter och avdelningar relaterade till dess verksamhet ingår i Skolan för elektroteknik och datavetenskap vid KTH. Läs om skolan på KTH:s webbplats: https://www.kth.se/eecs NADA has not existed since 2005. Units and divisions related to NADA are a part of the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology. Read about
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
イプシロンロケット試験機打上げ中止の原因究明状況について
Mathematics and Computation | The elements of an inductive type
http://whmscripts.net/misc/2013/apache-symlink-security-issue-fixpatch/
Posts
Ferret
Introducing Wire Protocol Buffers
Ohad Kammar
Functional Infrastructures: It's All Fn until You Hit Production
Reactive Programming as an Emerging Trend
Google Code Archive - Long-term storage for Google Code Project Hosting.
Java Drag Race Tuning
Understanding Steering Behaviors: Leader Following | Envato Tuts+
Design, Composition and Performance
Hello, World
The first interactive application
Course Description
Names and values: making a game board
CoqDevelopment
Books by Michael and Melody Covington