ある種の質問にはお答えいたしかねます - 村上さんのところ／村上春樹 期間限定公式サイト
期間限定サイト「村上さんのところ」をご覧いただきまして、誠にありがとうございます。 連日たくさんのアクセスをいただきました当サイトですが、2015年5月13日をもって、公開を終了させていただきました。当主の村上春樹さんは、しばしの休憩をとったあと、本来の小説のお仕事に戻っていらっしゃいます（当主からの最後の挨拶はこちら）。 1月15日のオープン以来、119日間という限られた期間でしたが、読者のみなさまと村上さんとの交流はたいへん面白く、そして意義深いものとなりました。3万7465通のメールをお寄せいただいたみなさん、そして、最後までご愛読いただいたみなさんに、あらためて感謝を申し上げます。 なお、当サイト上での質問者のみなさまと村上さんとのやりとりは、編集の上、新潮社より出版されます。くわしくはこちらをご覧ください。 新潮社 チーム縁の下
連載: IBM Watson Workspace #鬼わか アプリケーション開発: 第 7 回: IBM Watson Workspace で AI を利用したアプリ連携の実現 #鬼わか 解説（前編）
Clojureをつくったわけ
The original document appears at http://clojure.org/rationale. The translation is based on November 27, 2009 version of the page. 読みにくくて申し訳ないです。数多くの間違いがあると思いますので、ご指摘ください。 顧客や出資家は、業界標準のプラットフォームであるJava仮想マシン (Java Virtual Machine; JVM) に相当な投資をしており、そのパフォーマンス、セキュリティ、安定性などに満足している。Java開発者は、動的言語の簡潔さ、柔軟さ、生産性をうらやましく思うものの、顧客の環境で動かせるかどうか、既存のコードやライブラリが使えるかどうか、そして動作速度などについて心配するかもしれない。また、ネイティブ・スレッドやロッキングによる並行処理に
Python でパターンマッチング - プログラマのネタ帳
inforno :: Python: パターンマッチしてみる にインスパイアされて作ってみた。 再実装してみたのと、 dict とのパターンマッチがあれば最高!と思ったので追加してみた。 object とのパターンマッチは dict とのパターンマッチに一本化してしまった。 そんなに困らないだろうし、まあいいんじゃないかな。 ※複数回マッチができなかったのを修正 ソースコード #-*- coding:utf-8 -*- import itertools class MatchProxy(object): def __init__(self, obj, name): self.name = name self.obj = obj def setvalue(self, value): self.obj._matchResult[self.name] = value def check(typ,
「The Healthy Programmer」を読んで自宅を快適なプログラミング環境にする - 八発白中
柄にもなく健康の話をします。 去年の今頃は京都から東京に引っ越してきたところでした。まだはてなで働いていましたが、勤務形態は自宅からのリモートが主になっていました。週に6日は家から出ずに家でコードを書いていました。昼から早朝まで書いて昼からまた早朝までコードを書くような、ある意味規則的な生活です*1。 この間、生産性はかなり上がっていて、起きているときはもちろん、寝ている間も脳が活動を続け、睡眠中に考えたアイデアを唐突に起き上がってホワイトボードに書き込むみたいな状態でした。 しかし、1ヶ月くらいすると体調が悪くなってきます。なんか左脳の後ろ側が死んでるみたいな。 なんか脳が欠けてる感じがする— fukamachi (@nitro_idiot) January 12, 2014 あと心臓が異常にバクバクする。座るのもきつくなってくるのでだいたいダメ人間ソファに沈んでHHKB叩いてるみたいな
jq
jq is a lightweight and flexible command-line JSON processor. jq is like sed for JSON data - you can use it to slice and filter and map and transform structured data with the same ease that sed, awk, grep and friends let you play with text. jq is written in portable C, and it has zero runtime dependencies. You can download a single binary, scp it to a far away machine of the same type, and expect
Haskell 代数的データ型 超入門 - Qiita
代数的データ型の基本的な使い方を説明します。 シリーズの記事です。 Haskell 超入門 Haskell 代数的データ型 超入門 ← この記事 Haskell アクション 超入門 Haskell ラムダ 超入門 Haskell アクションとラムダ 超入門 Haskell IOモナド 超入門 Haskell リストモナド 超入門 Haskell Maybeモナド 超入門 Haskell 状態系モナド 超入門 Haskell モナド変換子 超入門 Haskell 例外処理 超入門 Haskell 構文解析 超入門 【予定】Haskell 継続モナド 超入門 【予定】Haskell 型クラス 超入門 【予定】Haskell モナドとゆかいな仲間たち 【予定】Haskell Freeモナド 超入門 【予定】Haskell Operationalモナド 超入門 【予定】Haskell Effモナド
代数データ型とラムダ式 - あどけない話
代数データ型(バリアント)をラムダ式で表現する方法の備忘録。ラムダ式を表現するのに、実行可能な Haskell の無名関数を使う。間違いの指摘を歓迎します。 こんな感じ： \x y z ... f g h ... -> 引数をうまく組み合わせる x y z ... の部分が、直積を表す f g h ... の部分が、構成子で直和を表す Unit コンストラクタが1つ。 data Unit = Unit unit = \u -> u Bool(直和) 一般的な Bool のラムダ式表現に合わせて、True を先に書いておく。 data Bool = True | False true = \t f -> t false = \t f -> f 組(直積) data Pair x y = Pair x y pair = \x y p -> p x y fst = \c -> c true sn
The Algebra of Data, and the Calculus of Mutation » Lab49 Blog
With the spreading popularity of languages like F# and Haskell, many people are encountering the concept of an algebraic data type for the first time. When that term is produced without explanation, it almost invariably becomes a source of confusion. In what sense are data types algebraic? Is there a one-to-one correspondence between the structures of high-school algebra and the data types of H
Effective Scala
Effective Scala Marius Eriksen, Twitter Inc. marius@twitter.com (@marius) [translated by Yuta Okamoto (@okapies) and Satoshi Kobayashi (@scova0731)] Table of Contents 序章 書式: ホワイトスペース, 命名, インポート, 中カッコ, パターンマッチ, コメント 型とジェネリクス: 戻り型アノテーション, 変位, 型エイリアス, 暗黙 コレクション: 階層, 使う, スタイル, 性能, Java コレクション 並行性: Future, コレクション 制御構造: 再帰, Return, forループと内包, require と assert 関数型プログラミング: 代数的データ型としてのケースクラス, Option, パターンマ
San Franciscoでパスポートとか盗まれちゃったのよ事件 - YAMAGUCHI::weblog
はじめに こんにちは、Go界のクリント・イーストウッドです。5月7日から1ヶ月アメリカのオフィスに来て仕事をしているのですが、帰国を目前にした現地時間6月5日に車上荒らしに遭って、めちゃくちゃ面倒くさかったので、万が一誰かがSan Francisco（ベイエリア含む）で同様の事件に巻き込まれてしまった場合のために、記録を残しておこうと思います。 経緯 長期出張も終わりに近づいたということで、同じチームの同僚に送別会を開いてもらうことになりました。お店はSan Francisco市内のメキシカン料理屋。お目当てのお店のそばにDMV（免許センターとか陸運局みたいなとこ）の公共駐車場があったのでそこに駐車しました。その時にカバンをトランクの中に投げ込んでおけば良かったのですが、お店が混んでいたので、順番だけ先に取ろうとお店に行き名前を書くことだけして、別のお店を探し始めました。で、3ブロック離れ
Nimの紹介 − Python風静的型付言語 〜コンパイラと型推論を添えて〜 - Blank File
はじめに Nim (旧称: Nimrod) というVimに似た名称のPython風構文な静的型付言語があります。 先日Twitterで存在を知り、少し触ってみました *1。 書きやすい上に実行速度がとても速く（単純な処理でgo, rustより早くC並）、非常に気に入ったので簡単にインストール方法などを紹介したいと思います。 注意 筆者はPythonくらいしかよくわからないのでPython (version >= 3.0) 基準です 試した環境はUbuntu 14.04 (64bit)です Nimの特徴 主に公式ページの記述から、主観で特徴を列挙します。 言語の特徴 静的型付 型推論あり インデント構文、行末セミコロンなし ガベージコレクタあり（高速らしい） Low level処理も記述可能（メモリ操作可能） 高度な型システム（インターフェイス、ジェネリクスなど） ユーザ定義演算子、演算子オ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「ITアーキテクトの役割と責任」デブサミ2015 20-C-1
GitHub - benanhalt/PyAlgebraicDataTypes
ADTs for Python
What Are The Uses of Algebraic Data Types?