Drkcore

26012013 life Haskell

「数学的推論が世界を変える」がおもしろい

Haskellなんかの型推論とか量子論をかじっているヒトが読むとかなり面白いと思う。述語理論、ゲーム理論、ゲーデルの不完全性定理なんかを説明して最後に確率的クリピキモデルに至るという内容。事例で金融の話が度々登場する。

僕はチューリングの定理（対角論法は知ってたけど）を理解できたのと、金融で不確定性原理が出てくるのが「原子の観測はミクロなのにマクロな市場でも表れるのか！」と驚いたが、結局介入しないと観測できないということから来てるんだろうなぁと解釈した。

数学的推論が世界を変える―金融・ゲーム・コンピューター (NHK出版新書 394)
小島寛之
NHK出版 / 819円 ( 2012-12-06 )

相互推論は様相論理の一つとみなすことができる
チューリングの定理が成り立つポイントはチューリングマシンを自然数で表すことができることである
ソロスの「再帰性」は「何の影響も与えることなく、外側から世界を理解することができない」ことを意味している
確率的クリピキモデル

他にはボトムの意味をもうちょっと深く理解したのが、意外な収穫。

関数プログラミング入門 ―Haskellで学ぶ原理と技法―
Richard Bird
オーム社 / 3990円 ( 2012-10-26 )

ゲーデルの不完全性定理を知るには数学ガールが良いとおもう。

数学ガールゲーデルの不完全性定理 (数学ガールシリーズ 3)
結城浩
ソフトバンククリエイティブ / 1890円 ( 2009-10-27 )

26012013 life

小さな会社のFacebookページ制作・運用ガイド

Facebookはローカルな関係をネットに投影しているだけなのであまり面白さを感じないんだけど、店舗持っているヒトには良いツールなのかもしれないなぁと思ったので読んでみた。というより佳肴　季凛さんのFacebookの使い方上手だなぁと思ったので、Facebookも面白そうだなと思ったという。

要するに美味しいものが好きなだけなんですが、、、

オンラインからオフラインに導く施策をO2Oっていうらしい（知らんかった）。

小さな会社のFacebookページ制作・運用ガイド (Small Business Support)
深谷歩
翔泳社 / 2520円 ( 2012-07-10 )

本書は入門者向けの構成かな、インサイトの見方くらいしか見るとこなかった。もう少し、ソーシャルな方向から考えてる本のほうが良かったかな。

25012013 Stylus

ズルデザStylusでモック体質の愛され★ウェブサイトみたいな

Rubyのヒトは迷わずSass+Compass使うのかもしれないけど、僕は見た目がすっきりしているStylusのほうが好きです。

Stylusのよいところ

Pythonっぽくかける
coffescriptっぽくもある
{}を極力使わなくていいので右手の小指に負担がかからない(Emacsユーザーは酷使するのは左手小指で十分)
Jadeを使えば全てインデントで統一できる
nibがある

Stylusのよくないところ

LESS2Stylusがない(twitter-bootstrap困る)

Sass関係ないですね。

ズルいStylus

ズルいデザインが良かったので、自分のためにStylus+nibで関数(mixin)にしておくことにした。CSSプリプロセッサのメリットはこういったデザイナーさんの知恵というかプロセスに名前を付けて単なる関数に落とし込めることだと思うんだけど、そういうライブラリはまだあんまないよなと思う。

こういう考え方はwebよりもPixateみたいなスマホとかそっち方面のほうが効果的なのかなぁ。

stylusにtext-shadowがなかったのでズルい線とズルいグラデーションしかやってない。ボックスとかは書くの飽きた。

最近プログラマー(僕はプログラマーじゃないんだけど)向けのデザインのスライドが増えてきて嬉しいですね。

もちろん予約した

スマートフォンデザインでラクするために
石嶋未来
技術評論社 / 2499円 ( 2013-01-29 )

24012013 life

ジブリの森に行ってきた

先週ちょっと行ってきた。中は写真撮影禁止だが、外はOKなので少しだけ。

屋上にラピュタロボがおった。

1358941978

トトロもおった。

1358941977

正直あまり期待してなかったがいい意味で裏切られた。

ワイド版風の谷のナウシカ7巻セット「トルメキア戦役バージョン」 (アニメージュ・コミックス・ワイド版)
宮崎駿
徳間書店 / 2987円 ( 2003-10-31 )

23012013 life

自分のアタマで考える

今さら読んだが、基本的なことが書いてあったので、知らない人が読むと目から鱗なのかもしれない。

結局フレームワークにあてはめるのは単なる技術だからなぁ。フレームワークを駆使するのは「未来に通用する論理の到達点」の入り口に立つためであってという感じかなぁ。立たないってのはそれ以前の問題なので。結局その先が難しいんですよね。

知識とは「過去の事実の積み重ね」であり、思考とは「未来に通用する論理の到達点」です。

自分のアタマで考えよう
ちきりん
ダイヤモンド社 / 1470円 ( 2011-10-28 )

ブレークスルーってのは論理の積み重ねとかフレームワークからは見いだせないと思う。フレームワークで過去の事実の積み重ねから枠を作っておいて、その枠を如何にに破壊するかというか、そんな感じだからなぁ。

「自分のアタマで考える」ってことはそういうことかなと思う。

22012013 chemoinformatics

化合物の入力にjava製のプラグインはもう流行んないだろうなぁと思った

NARのDatabase IssueにMMPのサービスが載るんだとか思いつつ、SwissBioisostereにアクセスしたら、構造描画にjava製のプラグインを要求するので使うのをやめた。

なんかが良いかなと思うが。chemdoodleのチュートリアルは結構面白いしbackbone.jsなんかと組み合わせられるんじゃないかなぁ。

あとで試す。

21012013 life

ビジネスの成功はデザイン

後半の湯山玲子さんの話が面白かった。

デザインとは、そこからあることを読み取って、その発見をもとにビジュアル化し、社会と共有、共感していく行為なのです。

ビジネスの成功はデザインだ
神田昌典
マガジンハウス / 1470円 ( 2010-07-08 )

薦められていたので、今度読んでみようっと。

デュシャンは語る (ちくま学芸文庫)
マルセルデュシャン
筑摩書房 / 998円 ( 1999-05 )

芸術起業論
村上隆
幻冬舎 / 1680円 ( 2006-06 )

20012013 work life

イノベーションを生みだすために必要なこと

リーン・スタートアップを読んだ。

リーン・スタートアップとは、スタートアップの成功確率を高める方策を集めたものである。

アイデアよりも実行すべきかどうか

「この製品を作れるか」と自問したのでは駄目。いまは、人間が思いつける製品ならまず間違いなく作れる時代だ。問うべきなのは「この製品は作るべきか」

リーン・スタートアップ ―ムダのない起業プロセスでイノベーションを生みだす
エリック・リース
日経BP社 / 1890円 ( 2012-04-12 )

検証できない仮説は意味ないですね。ただモチベーションを上げる手段としての仮説はアレだよなぁと。

ユーザーストーリーは検証による学びが得られてはじめて完結だと考えること

創薬プロセスももうちょっとこういったことを意識しないと駄目だろうなぁと思うが。

リーンスタートアップにおける製品開発プロセスでは「行わなければならない実験をプル信号としてそれに反応する」と考えるべきだ

ピボットのタイプに種類があることを知った。

ズームイン型
ズームアウト型
顧客セグメント型

19012013 javascript Backbone.js

npm startのデフォルトはnode server.js

リンク切れてるっていう連絡をもらったので更新しておきました(2018/01/30)。

モデルにgoogle tasksのapiを使ってbackbone.jsでアプリをつくるチュートリアルを読んだ。

package.jsonのscriptsのセクションにstartがないのにnpm startでサーバーが立ち上がるのはなんでじゃろかー？って不思議だったので、ぐぐってみた。

npm startのデフォルトはnode server.jsらしい。

btask

Backbone.sync

RESTfulなAPIじゃない場合とか他のライブラリを使いまわす場合どうするのかなと思って調べてみたらBackbone.syncを上書きすればいいらしい。modelのほうはいじらないでsyncでよろしくやればいいみたい。

Backbone.sync = function(method, model, options) {
  var requestContent = {};
  options || (options = {});

  switch (model.url) {
    case 'tasks':
      requestContent.task = model.get('id');
    break;

    case 'tasklists':
      requestContent.tasklist = model.get('id');
    break;
  }

  switch (method) {
    case 'create':
      requestContent['resource'] = model.toJSON();
      request = gapi.client.tasks[model.url].insert(requestContent);
      Backbone.gapiRequest(request, method, model, options);
    break;

    case 'update':
      requestContent['resource'] = model.toJSON();
      request = gapi.client.tasks[model.url].update(requestContent);
      Backbone.gapiRequest(request, method, model, options);
    break;

    case 'delete':
      requestContent['resource'] = model.toJSON();
      request = gapi.client.tasks[model.url].delete(requestContent);
      Backbone.gapiRequest(request, method, model, options);
    break;

    case 'read':
      request = gapi.client.tasks[model.url].list(options.data);
      Backbone.gapiRequest(request, method, model, options);
    break;
  }
};