函数プログラミングの集い 2012 in Tokyo 発表スライド 継続については『簡約!? λカ娘(算)』 http://www.paraiso-lang.org/ikmsm/books/c82.html の「オール・アバウト・ケイゾク・イン・スキーム」を読むといいんじゃなイカ?Read less
![モナドをつくろう](https://cdn-ak-scissors.b.st-hatena.com/image/square/bbfc78d70ca2775ffd4ddf923b59e2a72071c140/height=288;version=1;width=512/https%3A%2F%2Fcdn.slidesharecdn.com%2Fss_thumbnails%2Ffp2012-120903004837-phpapp02-thumbnail.jpg%3Fwidth%3D640%26height%3D640%26fit%3Dbounds)
【セッション概要】データ処理を高速化する手段として、先進的デバイスの利活用が有望かつ急務であることは論を俟たない。本企画では第一線の研究者による最新成果の講演ならびに将来展望に関するパネルを行う。 本企画は2部構成である。第1部では各種の先進的デバイス(Tilera、GPGPU、FPGA)を用いたデータ処理(Stream Data Processing、MapReduce等)の加速化に関して、三好健文博士、加藤真平博士、本庄利守博士、松谷宏紀博士をお招きして最新の御研究内容を御講演頂く。第2部では高性能化技法の権威であられる天野英晴博士をお招きして御講演頂いた後、参加者により先進的デバイスによるデータ処理の未来について御議論頂く。 【略歴】1999年慶應義塾大学理工学部電気工学科卒業。2005年同大学大学院理工学研究科開放環境科学専攻後期博士課程修了。同年、慶應義塾大学理工学部助手。200
Dear OpenKnit followers, It’s been a while since my last post. But today, I’m very excited to talk to you about what I’ve been working on during the last months. When I started the OpenKnit project, more than 3 years ago, I never expected that it would gather so much interest. Although it begun as a final year project at university, I kept working on it as a hobby. After a long period developing t
I like Docker. If you don’t understand why, read the 3.5k word epic that I wrote about it at InfoQ. In this post I’ll assume you’ve read my InfoQ article, or are at least somewhat familiar with Docker and its features. Here’s two features that I care about in particular: It makes applications _portable_ to any cloud provider that supports Ubuntu 12.04+ (and in the upcoming 0.7 release CentOS too),
Supervisor: A Process Control System¶ Supervisor is a client/server system that allows its users to monitor and control a number of processes on UNIX-like operating systems. It shares some of the same goals of programs like launchd, daemontools, and runit. Unlike some of these programs, it is not meant to be run as a substitute for init as “process id 1”. Instead it is meant to be used to control
さてさて始まりましたよ、この流れが。 こちらは糸からニットの衣類を作りだすことができるオープンソースハードウェア「OpenKnit」。 3Dプリンタで作られた部品やアルミの押出パーツ、モーター、センサー、多数の編み針などによって構成されています。こんな感じでびよ〜んと編まれていきます。 完成はこちら。うん、素晴らしい。ちなみに、これくらいのセーターなら約1時間程度で編めてしまうとのこと。オープンソースということもあり、部品や組み立てマニュアルはこちらからすぐにダウンロードできます。ちなみにかかる費用は約550ユーロ(77,000円)程度らしいです。安い…。 また、編機と連携されるKniticというオープンソースソフトウェアを使って自分で衣服をデザインしていきます。 マフラーなんかもこんな感じで編まれていきます。 出来上がり。 ソフトウェアの操作イメージや編まれていく動きについては、こちらか
A nicer way to browse big profile files Published on February 25, 2014 under the tag haskell Introduction GHC comes with some amazing tools to do profiling of Haskell programs. In .prof files, you can see exactly in which function most time is spent and where most allocation is done. However, at Erudify, we have a huge amount of Haskell code – and at this point .prof files can become very unwieldy
はじめに pandoc の --filter 機能を使ってMarkdown等にプリプロセスな処理を挟んで、 Markdown上に特定の記法で書いたら自動でコードを埋め込むようにするという話です。 pandocのfilter pandocでは --filter [filter script] という感じで、フィルター処理をするスクリプトを変換時に入れることが出来ます。 詳しくは下記を参照して下さい Pandoc – Scripting with pandoc この--filter は以下のような処理のalias的な存在になってます。 変換前ファイル -> JSON -> フィルタースクリプト -> JSON -> 変換後ファイル フィルタースクリプトには変換前のファイルをJSONにしたものが渡されます。 つまり、フィルタースクリプトは文章をJSON(Pandoc AST)を処理するようなスク
プログラミングネタがメインの老舗ブログ Coding Horror が開設10周年を機にブログプラットフォームを Ghost に移したそうだ。 Coding Horror は古くから有名で、2007年にはブログを12万ドルで売却しないかと持ちかけられたこともあるという。筆者 Jeff Atwood はこの申し出を断り、のちにこのブログで築いた人脈から Stack Overflow や Discourse を創設するに至った。10年も続いたブログのプラットフォームを移行するのは並大抵の判断ではなかっただろう。 Ghost Ghost は “Just a Blogging Platform” を理念として掲げる新進のブログプラットフォームだ。 CMS として巨大化し続ける WordPress との差別化を図っている。 MIT ライセンスでソースコードが配布されていて、 Node.js をインス
先日、とある企業から依頼を受けて、「記事タイトルづくりで学ぶオモシロイ企画のつくり方」というワークショップをやってきました。 対象者は編集未経験の方たちだったので、編集やコンテンツについてのざっくりした説明をした上で、実際に「タイトルのない原稿」を見てもらい、記事タイトルをつける、ということをやってもらいました。 そこで、その際に使った資料をスライドシェアで公開してみようと思ったのですが、スライドだけだとよくわからないので、講義のエッセンスをかいつまんで書いてみようと思います(スライドのリンクは記事末にあります)。 タイトルづけの「テクニック」はほとんど役に立たない よくウェブに「クリックリしてもらえるタイトルのつけかた」というようなエントリーが上がっていますが、編集の現場ではそういったものはあまり役に立ちません。 なぜかというと、記事の面白さは本文を書いてしまった段階で9割方決まっており
adj. resembling or similar; having the same or some of the same characteristics; often used in combination; "suits of like design"; "a limited circle of like minds"; "members of the cat family have like dispositions"; "as like as two peas in a pod"; "doglike devotion"; "a dreamlike quality" adj. having the same or similar characteristics; "all politicians are alike"; "they looked utterly alike"; "
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post In this series, we will see how to write dependently-typed programs and prove their correctness within haskell. At first, let's start with the standard example of Vector to understand how to write the dependently-typed programs in Haskell. The topic of this series is already implemented in
UK、US、南米からアフリカ、インターネットまで。歴史、場所を越え、拡散するベース・ミュージック。そのサウンド+カルチャーの今をまとめたディスクガイド!踊れ、体験せよ! UK、US、南米からアフリカ、インターネットまで。歴史、場所を越え、拡散するベース・ミュージック。 そのサウンド+カルチャーの今をまとめたディスクガイド!踊れ、体験せよ! 重要作400以上掲載! Diplo、サウンドシステム eastaudio(VOID)、菊本忠男(TR-808開発者)インタビュー収録! 掲載ジャンル: TRAP / JUKE / DIRTY SOUTH / NEW ORLEANS BOUNCE / HYPHY / BALTIMORE CLUB MUSIC / JERSEY CLUB MUSIC / BROSTEP / MOOMBAHTON / MIAMI BASS / ATRANTA BASS / DE
ミシンと日本の近代―― 消費者の創出 作者: アンドルー・ゴードン,大島かおり出版社/メーカー: みすず書房発売日: 2013/07/24メディア: 単行本この商品を含むブログ (9件) を見る 読んでいる途中だが、抜群におもしれーわ、これ。ミシンの普及は掃除機や洗濯機と同じく、女は家庭で男は仕事、みたいな単純な性分業の一環として捕らえられがちだけれど、実は全然ちがっていて、ミシンによる内職を通じた女性の社会進出(自活)の一貫でもあり、またそれを使った日本の繊維産業の発達の一貫でもあった。さらにシンガーミシンのための割賦販売というのが日本における割賦販売の先駆であったんだけれど、ミシンの役割から見てこれはつまり、一種のマイクロファイナンスとしても機能していたわけだ。 さらにそれは、日本における和装洋装論争にも関連しており、いまや見る影もない婦人誌(『主婦の友』とか)も一方でミシン販売に加担
こんにちは。オガリア開発チームの粂です。 Trelloという タスク管理ツールがあります。 https://trello.com/ Trelloの導入方法や基本的な利用方法については既に各所で紹介されています。 下記の記事は2011年と少し古いですが、内容が大変わかりやすく今でも十分有用なため、Trelloについてご存知ない方はご一読をおすすめします。 http://www.tachitto.com/2011/09/trello.html 非常に便利なツールでありますが、具体的な利用方法についてはWeb上にそれほど存在していないため、 本記事では、Trello と Scrum for Trello というChromeの拡張機能を使った弊社の開発チームのタスク管理方法を紹介したいと思います。 List ※参考イメージ(Card自体は非表示にしています) Listは全部で8個作っています。それ
2014-03-04 これはヤバイ!月額500円からNatureが読める!!新しくなったiOSアプリが素晴しい 科学 ガジェット NatureJournalsNature Publishing Groupニュース無料Nature JournalsのiOSアプリが刷新されました。このアプリ、「Natureを安く読みたい非アカデミックの人」にオススメです。それについて簡単にご説明致します。 紙媒体の90%off?!Natureの個人定期購読代は、月々払いで4,650円、年間払いで53,500円です。また各号の単品購入は12,186円、論文一報の購入は3,500円です*1。個人で払うにはちょっと厳しすぎます。ところが今回のiOSアプリからアクセスすると、なんと月額500円、年額で3,600円で読むことが出来ます。え、これ本当に?! 月額500円 本当に500円でNaureが読めた!安すぎて不安
This is a quick page I've thrown together for my Coq library formalizing basic category theory. The development follows Steve Awodey's book on category theory; the files are named after chapters and subchapters of that book for easy reference. Getting It The gitweb is here. You might also want to look at the README Design Decisions One of the difficulties with putting together a formalization of c
2024年02月02日【価格改定のお知らせ】いつもハンドメイドカンパニーオンラインショップをご愛顧いただきまして、誠にありがとうございます。 この度、大変心苦しいお知らせではございますが、 2月16日(金)より、当店の一部商品の価格を改定させて頂くことになりました。 弊社でも仕入れルートの強化や製造プロセスの改善を行い、これまで価格を維持してまいりましたが、 度重なる原材料費の高騰に現状の価格維持が困難な状況となりました。 このたびの価格改定により、お客様にはご負担をおかけしてしまうこと、 心よりお詫び申し上げます。 弊社では、引き続きより良いサービスを提供できるよう努めてまいりますので、 今後とも変わらぬご愛顧を賜りますよう心よりお願い申し上げます。2023年12月21日【年末年始休暇のお知らせ】平素は格別のお引き立てを頂き厚くお礼申し上げます。 弊社では、誠に勝手ながら下記日程を年末年
ある時は会社員、ある時は研究者、ある時は映像作家。異色のクリエイターである菅俊一氏が次のキャリアに選んだのは、「教育者」の道だった。その歩みを追うことで見えてきた表現者としての思い、そして「世界との向き合い方」とは? 会社員、研究者、映像作家、そして教育者へ。 知育玩具メーカーに勤務しながら、映像作家/研究者として活動を続ける菅(すげ)俊一氏。NHK Eテレ「2355/0655」ID映像、modernfart.jpでの連載「AA’=BB’」、DOTPLACEでの連載「まなざし」、著書「差分」(共著・美術出版社)など、幅広い分野で活躍するクリエイターだ。 そんな菅氏が2014年4月より、多摩美術大学に新設される美術学部統合デザイン学科の教員に就任する。就任予定教員は他に、深澤直人氏、永井一史氏、中村勇吾氏、佐野研二郎氏など錚々たる顔ぶれだ。 会社員、研究者、映像作家といった様々な顔を持つ彼が
ちょっと前にTwitterでAPIのバージョニングをどうやるかみたいな話をしていたのですが、そのへんもやもやしているので少し整理しておきたいなと。 APIのURLを/api/v1/*とかってやるの、やめたほうがいいとおもうんだけどなぁ。いざv2を作るとなったときに、大量のコピペが発生して後悔するよ、って伝えたい。— Kenn Ejima (@kenn) February 28, 2014 さて、これについて色々と異論・反論も含めた意見が出たのですが、まずは、大昔にURL方式(=コントローラ分割)でやってきて後悔したぼくが、(5年ぐらい前から)現在はどうやってAPIのバージョンを管理しているか?について紹介します。 基本原理としては、コピペが多発する根っこで分岐(=コントローラ分割)じゃなくて、必要最小限のところで限局的に分岐するのがいい、という考え方に基づきます。 一言でいうと、「パラメー
This copy is for your personal, non-commercial use only. Distribution and use of this material are governed by our Subscriber Agreement and by copyright law. For non-personal use or to order multiple copies, please contact Dow Jones Reprints at 1-800-843-0008 or visit www.djreprints.com. http://jp.wsj.com/article/SB10001424052702304227204579408531961656484.html
The free & open source web-based font editor, made for hobbyists and typeface design beginners. Why Glyphr Studio? Professional font editing software is either expensive, complex... or both. Glyphr Studio is designed with hobbyists in mind with a low barrier of entry. If you are just starting out in typeface design, Glyphr Studio is a great option! Easily import SVG, OTF, TTF, and WOFF Familiar ve
前のポストでGADTを使って型付きの抽象構文木(AST)を表現する方法について書いたが、ここではそのASTから他の言語のコード生成する方法について調査・検討した結果を記す。@keigoiさんの記事(http://d.hatena.ne.jp/keigoi/20111206/haskell_tagless_dsl)に触発され、一部借用したものである。なお、今回のコード生成の方法論はASTの型付き・型なしの区別にかかわらず使える。 MatlabのDSL in Haskell 今回例として扱うのは、Matlab(行列計算言語・統合環境)の行列計算を表現するようなDSL。最小構成として、2次元行列の加減乗算と要素の取り出しを表現したい。(Matlabの文法の簡単な説明はこれなどを参照。 http://www.math.meiji.ac.jp/~mk/labo/text/matlab/node4.h
I receive repeated questions for how to implement a Handle-like API similar to io-streams using pipes even after I outlined how to do this about a year ago. However, I don't blame these people because that tutorial uses an out-of-date (and uglier) pipes-3.2 API and also takes an approach that I felt was a bit inconsistent and missed the mark, so this is a rewrite of the original post, both to upgr
あるとき、私は思った―― 「Getter、Setterと、状態を次に進める関数を持つ何かがほしい!そうすればゲームやユーザーインターフェイスなどがとても書きやすくなるのに……!」 私はそれをカラクリと名付けた。存在するかどうかわからない理想の構造を求めて… オブジェクトの型をKとしよう。型A, Bに対するGetterが存在するならば、以下の関数が存在することになる。 getA :: K -> A getB :: K -> B ここで積の性質を思い出そう。K -> (A, B)があればgetA、getBは自明だ。つまり、Getterは一つで十分ということになる。次に、X, YのSetterを考えよう。 setX :: X -> K -> K setY :: Y -> K -> K 和の性質により、Either X Y -> K -> Kが存在すれば、setX, setYの定義は自明になるので
Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications. March 5, 2014By Michael SnoymanView source on Github I got a request to write up some examples of using network-conduit for server and client apps. I'm going to try to cover a few of the examples requested. I'm also going to be demonstrating some usage of the new conduit-combinator
Haskeleton: a Haskell project skeleton by Taylor Fausak on March 04, 2014 I’m new to Haskell. I’ve learned enough to feel comfortable writing programs in it. I can solve code katas like exercism.io, H-99, and Project Euler. Yet I don’t feel comfortable developing software with it. Writing idiomatic, maintainable and well-tested Haskell code remains a mystery to me. Cabal, the Haskell build tool, p
Nix is a purely functional package manager. This means that it treats packages like values in purely functional programming languages such as Haskell — they are built by functions that don’t have side-effects, and they never change after they have been built. Nix stores packages in the Nix store, usually the directory /nix/store, where each package has its own unique subdirectory such as /nix/stor
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く