stepney141 stepney141

Generalized Algebraic Data Types in Scala

Basic GADTs

Here's an ADT which is not a GADT, in Haskell:

data Expr = IntExpr Int | BoolExpr Bool

fetch API

▼fetch API とは？

XMLHttpRequest と似たもので、より強力で柔軟な操作が可能。
まだ実験段階の機能で、複数のブラウザで開発中の状態にあります。
caniuse: http://caniuse.com/#search=fetch
Service WorkersではXMLHttpRequestは使えないため、fetch APIが使わています。
Service Workers … ブラウザが Web ページとは別にバックグラウンドで実行するスクリプト。Web Pushなど）

▼fetch API の使い方

発表資料メモ: 簡潔データ構造について

主題

数千万オーダーの文字列集合(およびマップ)を如何にサイズ効率良く表現するか、の話
- 諸事情で集合をメモリ上に保持したいことがあるが、サイズは節約したい
- 実際にはサイズのみを追求するのではなく、諸々のトレードオフを加味しつつバランスを取る
今回はそれを実現するための方法の一つである 簡潔データ構造 について説明する:

Block Elements ## Headers 見出し先頭に`#`をレベルの数だけ記述します。 ```

見出し1

見出し2

見出し3

見出し4

見出し5

見出し6

## 見出し2
### 見出し3
#### 見出し4
##### 見出し5
###### 見出し6 ## Block 段落 空白行を挟むことで段落となります。 ```
段落1
(空行)
段落2
``` 段落1 段落2 ## Br 改行 改行の前に半角スペース` `を2つ記述します。 ```
hoge
fuga(スペース2つ)
piyo
``` hoge
fuga piyo ## Blockquotes 引用 先頭に`&gt;`を記述します。ネストは`&gt;`を多重に記述します。 ```
&gt; 引用 &gt; 引用
&gt;&gt; 多重引用
``` &gt; 引用 &gt; 引用
&gt;&gt; 多重引用 ## Code コード `` `バッククオート` `` 3つ、あるいはダッシュ`~`３つで囲みます。 ```
print 'hoge'
``` ```
print 'hoge'
``` ### インラインコード `` `バッククオート` `` で単語を囲むとインラインコードになります。 ```
これは `インラインコード`です。
``` これは `インラインコード`です。 ## pre 整形済みテキスト 半角スペース4個もしくはタブで、コードブロックをpre表示できます ``` class Hoge def hoge print 'hoge' end end
``` class Hoge def hoge print 'hoge' end end ## Hr 水平線 アンダースコア`_` 、アスタリスク`*`、ハイフン`-`などを3つ以上連続して記述します。 ```
hoge
***
hoge
___
hoge
---
``` hoge
***
hoge
___
hoge
--- # Lists ## Ul 箇条書きリスト ハイフン`-`、プラス`+`、アスタリスク`*`のいずれかを先頭に記

研究者として生きていくコツ

これは卜部さんの優秀なプログラマーになるためのコツに影響されて書いたものです。

著者について

自分を構成する要素は、大きい順にシステムエンジニア、プログラマ、研究者だと思っています。でも、おそらく給料は「研究者」として払われているため、研究者として生きていくコツとしました。僕はさほど優秀とは言えませんが、とりあえずそれなりに長いことそれで食っています。大学の教授のウェブサイトに「研究者としてのコツ」みたいなことが書いてあることがありますが、これには「既に大学の教授になっている人が書いている」という強烈なバイアスがかかっています。もちろん参考になることも書いてありますが、「死ぬほど研究しろ、研究のことだけ考えろ」的な文章が多い印象です。これは普通の人にとって役に立たない助言です。これは平均的な研究者として生きていくための戯言、ポエムだと思ってください。

健康第一

無料で読めるポール・グレアムの「ハッカーと画家」+αの日本語訳のみのまとめ

	<!DOCTYPE NETSCAPE-Bookmark-file-1>
	<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8">
	<!-- This is an automatically generated file.
	It will be read and overwritten.
	Do Not Edit! -->
	<TITLE>Bookmarks</TITLE>
	<H1>Bookmarks</H1>
	<DL><p>
	<DT><A HREF="https://developer.apple.com/library/mac/releasenotes/InterapplicationCommunication/RN-JavaScriptForAutomation/index.html#//apple_ref/doc/-%20uid/TP40014508" ADD_DATE="1414706885" PRIVATE="0" TAGS="javascript,mac,osx,yosemite">JavaScript for Automation Release Notes</A>
	<DD>This article describes JavaScript for Automation, a new feature in OS X Yosemite.

	# Add plugin for your editors
	# see: http://editorconfig.org

	root = true

	[*]
	end_of_line = lf
	charset = utf-8
	tab_width = 8

	/*
	非公式 Twitter アカウント生成 API

	Twitter も廃れ始め、そろそろ潮時だと考えたため公開します。
	某氏が公開した API 1.0 の account/generate のほか、独自に発見した API 1.1 の account/create と
	認証不要の mobile_client_api/signup もまとめてあります。
	何かの役に立つかもしれません。
	mobile_client_api/signup については最近テストしていないので、使えないかもしれません。
	その場合は情報のみということで。

	// ==UserScript==
	// @name Tweetdeck MARKING Friends and Followers
	// @include https://tweetdeck.twitter.com/*
	// @version 1.1
	// @license MIT License
	// ==/UserScript==

	(function(w) {
	var TD = w.TD;