Skip to content

Instantly share code, notes, and snippets.

@ken-okabe
ken-okabe / blogger-bootstrap.xml
Last active June 14, 2018 00:25
blogger-bootstrap.xml
<?xml version="1.0" encoding="UTF-8" ?>
<html xmlns='http://www.w3.org/1999/xhtml' xmlns:b='http://www.google.com/2005/gml/b' xmlns:data='http://www.google.com/2005/gml/data' xmlns:expr='http://www.google.com/2005/gml/expr'>
<head>
<meta content='IE=EmulateIE7' http-equiv='X-UA-Compatible'/>
<b:if cond='data:blog.isMobile'>
<meta content='width=device-width,initial-scale=1.0,minimum-scale=1.0,maximum-scale=1.0' name='viewport'/>
<b:else/>
<meta content='width=1100' name='viewport'/>
</b:if>
<b:include data='blog' name='all-head-content'/>
const isFunction = (m) => (typeof m === "function");
const isHigherOrder = (f) => isFunction(f("foo"));
const compose = (f, g) => (x => g(f(x)));
const isMonad = (m) => !(typeof m.val === "undefined");
const M = (m = []) => {
const f = m1 => {
const m1S = isMonad(m1) ? m1 : M(m1);
return !isFunction(m)
? M(m1S.val(m)) // a-f chain
@ken-okabe
ken-okabe / Think different スティーブ・ジョブズの人生の哲学
Last active May 11, 2016 03:11
Think different スティーブ・ジョブズの人生の哲学
#Think different スティーブ・ジョブズの人生の哲学
##2015年、新年あけましておめでとうございます。
今年もどうぞよろしくお願いいたします。
今年も新たな一年ということで、気持ちを新たにしたいと思います。
皆様はどんな新年を迎えられたでしょうか。
個人的な新年の抱負として、
(module Pin_Arrays:pin_array_2x05 (layer F.Cu) (tedit 55D82C17)
(descr "Double rangee de contacts 2 x 5 pins")
(tags CONN)
(fp_text reference P1 (at 0.635 -3.81) (layer F.SilkS)
(effects (font (size 1 1) (thickness 0.15)))
)
(fp_text value CONN_01X10 (at 0 -3.81) (layer F.SilkS) hide
(effects (font (size 1 1) (thickness 0.15)))
)
(fp_line (start -6.35 -2.54) (end 6.35 -2.54) (layer F.SilkS) (width 0.15))
貴社益々御清栄のこととお慶び申し上げます。
平素は格別の御高配を賜り誠にありがとうございます。
さて、首記の件に付きまして以下に取り纏めご報告させて頂きたくよろしくお願い申し上げます。
ほげほげふがふがふーばー
このたびは首記の件における不具合発生事故に起きまして関係者各位殿に多大なるご迷惑をお掛けした事を深くお詫び申し上げます。上記の様に取り纏め今後共ご安心して御利用頂くと共に納入済みの機器については速やかにご担当者様とお打合せさせて頂き、実施時期を決定後水平展開を行います。また、今後納入の機器については仕様書に特記事項として記載し製造・設計共に特段の注意を払い納入させて頂く所存で御座いますので何卒よろしくお願い申し上げます。
Mail:
@ken-okabe
ken-okabe / file0.txt
Last active August 29, 2015 14:13
圏論の考え方でつくられた、JavaScriptで動作する純粋関数型プログラミング言語 spinoza (スピノザ) ref: http://qiita.com/kenokabe/items/61d156005c7831c693cd
world = $('hello')(out);
@ken-okabe
ken-okabe / 事象の地平面(イベント・ホライズン) オブジェクト指向という情報のブラックホール、アンチパラダイムとしての純粋関数型HaskellモナドをUNIXの標準ストリームとconsole.logで読み解く
Last active August 29, 2015 14:13
事象の地平面(イベント・ホライズン) オブジェクト指向という情報のブラックホール、アンチパラダイムとしての純粋関数型HaskellモナドをUNIXの標準ストリームとconsole.logで読み解く
#事象の地平面(イベント・ホライズン) オブジェクト指向という情報のブラックホール、アンチパラダイムとしての純粋関数型HaskellモナドをUNIXの標準ストリームとconsole.logで読み解く
##UNIXの標準ストリーム
####物質世界(ハードウェア)と論理世界(ソフトウェア)
![enter image description here](http://upload.wikimedia.org/wikipedia/commons/thumb/7/70/Stdstreams-notitle.svg/535px-Stdstreams-notitle.svg.png)
>[標準ストリーム(英: standard streams)](http://ja.wikipedia.org/wiki/%E6%A8%99%E6%BA%96%E3%82%B9%E3%83%88%E3%83%AA%E3%83%BC%E3%83%A0)は、UNIXおよびUnix系オペレーティングシステムや一部のプログラミング言語インタフェースにおいて、プログラムとその環境(通常は端末)を実行前から接続している入出力チャネルである。現在では3つの入出力があり、標準入力 (standard input)、標準出力 (standard output)、標準エラー出力 (standard error) と呼ばれている。かつては通信回線に対応する標準補助入出力 (stdaux)、帳票印字を出力する装置に対応する標準プリンタ出力 (stdprn)も用意されていた。
>背景
@ken-okabe
ken-okabe / #'Google Drive' というディレクトリ名のスペースが多大な問題を引き起こすので何とかする@Ubuntu
Created January 11, 2015 19:51
#'Google Drive' というディレクトリ名のスペースが多大な問題を引き起こすので何とかする@Ubuntu
#'Google Drive' というディレクトリ名のスペースが多大な問題を引き起こすので何とかする@Ubuntu
GoogleDrive は容量が大きいし、インフラとしても安定しているので、クラウドストレージとして便利に使えます。
UbuntuでもGoogle非公式に利用できて、
```
sudo add-apt-repository ppa:thefanclub/grive-tools
sudo apt update
sudo apt install grive-tools
@ken-okabe
ken-okabe / #facebook-immutable で階乗計算
Last active August 29, 2015 14:13
#facebook-immutable で階乗計算
#facebook-immutable で階乗計算
facebook-immutable で階乗計算
##Range()
http://facebook.github.io/immutable-js/docs/#/Range
>Returns a IndexedSeq of numbers from `start` (inclusive) to `end` (exclusive), by `step`, where `start` defaults to 0, `step` to 1, and `end` to infinity. When `start` is equal to `end`, returns empty range.
@ken-okabe
ken-okabe / JavaScriptはオブジェクト指向だろ?wとかいう、ありがちな誤解と大嘘 関数型言語
Last active August 29, 2015 14:13
JavaScriptはオブジェクト指向だろ?wとかいう、ありがちな誤解と大嘘 関数型言語
<h1 id="javascriptはオブジェクト指向だろwとかいうありがちな誤解と大嘘-関数型言語">JavaScriptはオブジェクト指向だろ?wとかいう、ありがちな誤解と大嘘 関数型言語</h1>
<p>この記事はもともと、 <br>
てんでバラバラに語られ解説されてしまうことが非常に多い、</p>
<p>非同期、 <br>
Ajax(Asynchronous JavaScript And XML)、 <br>
イベント駆動、 <br>
宣言型プログラミング、 <br>
関数型プログラミング、 <br>