Twitterのログ保存サービス「ツイセーブ」ツイートやお気に入り、アイコン履歴を自動で記録するサービスです。 記録した過去ログを検索したり、日付ごとにまとめることができます。

国民的アイドルオーディションゲーム　データカードダス アイカツ！の公式サイトです。

まず、下記の10行程度のScalaコードをご覧ください sealed abstract class Foo[A, B] final case class X[A]() extends Foo[A, A] final case class Y[A, B](a: A, b: B) extends Foo[A, B] object Main { def hoge[F[_, _], A, B, C](foo: Foo[A, B], bar: F[A, C]): F[B, C] = foo match { case X() => bar case Y(a, b) => ??? // Yの場合のコードはどうでもいいので } } これは、コンパイルエラーになります(Scala2.11.1)。しかし、HaskellでGADTs使って同様のコード書くと、コンパイル通るらしいです。これの話をします。*1 Sc

GADTについて、この解説が分かりやすい（英語）。 http://en.wikibooks.org/wiki/Haskell/GADT 背景 Haskell（というか関数型言語一般）の素晴らしい機能の一つ、代数的データ型を使うと、抽象構文木(AST)をHaskellの枠組みの中で表現できる。 例えば、整数の足し算・引き算ならば、 data Exp = Const Int | Add Exp Exp | Subtract Exp Exp さらにこのASTを数値一般に使いたいので型パラメータrをつけて多相にしてみる。 data Exp r = Const r | Add (Exp r) (Exp r) | Subtract (Exp r) (Exp r) これを使えば、例えば(3 + 4) - 2という数式は、Subtract (Add (Const 3) (Const 4)) (Const

このエントリは、Haskell Advent Calendar 2011の参加記事です。 今回は、HaskellのGHC拡張であるGADTs(Generalized Algebraic Data Types : 一般化代数データ型)を調べて使ってみたという内容を書いてみました。 最初に、GADTsはGHC拡張なので、使用するには以下のようにして拡張を有効にする必要があります： {-#LANGUAGE GADTs #-} まずは構文的な違いを、Maybeを例にして見てみましょう。 通常の代数データ型では、Maybeは以下のように書きます： data Maybe a = Nothing | Just a GADTsでは以下のように書きます： data Maybe a where Nothing :: Maybe a Just :: a -> Maybe a 通常の代数データ型では、データコンス

ホモソーシャルの有名な話として、薩摩藩士の「郷」制度とかがありますね。 10代前半のうちに男性だけの密な関係（男色も含む）を伴った集団を形成し、婚姻相手の女性も「郷」の年長者に選定される。 徹底的な男性至上主義/女性蔑視から生まれ、男性のみの強固な連帯＝武力の向上、と捉えられていたそうですね。 （個人的にはこれを、原始的になカニバリズムにも通じるものと思っています。） 「郷」があった当時、男色が禁忌のようにはされていなかったこともあり、薩摩藩士の多くは今日で言う同性愛者とは言えず、異性愛者でした。 ただ、ミソジニー（女性嫌悪）が根幹にあるがゆえに男色なども伴う「郷」は、ホモソーシャルに近い形があると思います。 しかし、ホモソーシャルを日本での文化的な背景のみから考えるのは難しいかもしれません。 個人的な見解ですが、ホモソーシャルの概念に影響を与えているのは、アメリカの学校社会

悔しいわ。なんでこんな死にたいとか逃げ出したいとかいう感情が出てくるんだ。なんでこんなにメンタル弱いんだ。クッソ。欠陥的な遺伝子を持って生まれてきたせいで、なんでこんな苦しまなきゃいけないんだ。 俺は向上心も意欲もある人間なんだ。人一倍やる気だってある。この定期的にやってくる、鬱、無気力、不安感、これさえなけりゃいいパフォーマンスしてるのに。なんでこんなクソみたいな感情の波に翻弄されなきゃいけないんだ。 こんなんで30年も生きてきたら大体わかってきたわ。こんなの過ぎ去ってさえしまえば、別になんだってない。なんでこんな悩んでたんだって自分でもわからないようなことなのに。今はこの苦痛が全て。自暴自棄で今まで積み上げてきたものとかどうでもよくなる。こんな意味わからない、双極性障害のせいで俺は人生台無しだ。 精神科も心療内科も何件も回ったわ。一時期通ってたけど、気休めにしかならなかった。もうあきら

問題 gitでは空気を吸うようにブランチを作り空気を吐くようにマージを行います。 gitでマージ作業を中止して元の状態に戻すではマージに際してよくある問題の対処方法について紹介しました。 運用をきちんとしていればトピックブランチのマージでコンフリクトが発生することは稀です。 しかし稀とはいえコンフリクトが発生するときは発生します。 例えば新機能Xの実装を始めるとしましょう: $ git checkout -b topic-x master $ $EDITOR $ git commit -am 'Fix outdated comments' $ $EDITOR $ git commit -am 'Revise existing API' $ $EDITOR $ git commit -am 'Implement X' o---o---o <- topic-x / o---o---o <- m

v1.8.3からgit submodule deinitが追加され、わずらわしかったサブモジュールの削除がほんの少しだけ楽になりました。 $ git submodule deinit path/to/submodule $ git rm path/to/submodule $ git config -f .gitmodules --remove-section submodule.path/to/submodule

第一回 GitHub Kaigi で発表した資料です。

6. 執筆陣は一流のエンジニア @naoyaさん ：雑誌、書籍（ 3冊！）、ムック @hirocasterさん：雑誌、書籍、ムック @amatsudaさん ：雑誌、ムック @miyagawaさん ：雑誌（ Vol.2から！）、ムック @kenchanさん ：雑誌、ムック @yandodさん ：雑誌、書籍（ 2冊！） ! ※本日の登壇者・運営チームより（登場順。漏れがあったらすみません） ※会場にはもっとたくさん！

This is the talk I gave at GitHub Kaigi (http://githubkaigi.org/), in Shibuya, Tokyo, in June of 2014.

GitHub User Group主催のGitHub Kaigiが6月1日、都内で開催されました。GitHubを利用した開発は、スタートアップやオンラインサービス系の企業などを中心に広まりつつあり、いままさに数多くのノウハウの交換が求められているツールでもあります。 本記事ではGitHub Kaigiの最初のセッションとなった大塚弘記氏の「GitHub実践入門 ─ Pull Requestによる開発の変革」の内容をダイジェストで紹介します。 GitHub実践入門 ─ Pull Requestによる開発の変革 大塚弘記といいます。会社でもリアルでもほとんど@hirocasterと呼ばれています。 今日はメッセージを3つ持ってきました。まず、GitHubを使っている世界と使っていない世界についての話を少し。次に、GitHubを使っているけれど、十分に使っているかどうか、という話をして、最後に本

はてなブログさんの開発フローのお話 少し前の話になるんですが、GitHubKaigiで はてなブログさんの開発フローについて発表がありました。 その中で 当初はGitHubとRedmineを併用していたが、 両ツールの連携がイマイチだったので Redmineを止めてホワイトボードでタスク管理するようにしたという内容がありました。 https://speakerdeck.com/shibayu36/hatenaburogutimufalsekai-fa-hurotogithub 「ふむふむ、なるほどなぁ」という感じで非常に勉強になったのですが、 もしかしたら 「"GitLab＋Redmine" ならツール自体が連携機能を持っている」 のでもう少しマシになるのかも？とも思いました。 そこで、GitLabとRedmineを使うと 一体どういうことが出来る様になるのか？といったところを紹介してみま

6/1 github kaigi

※2014/07/02　T2インスタンスタイプとの比較 を追記しました。 ※2014/03/13　他インスタンスタイプとの比較／m3.mediumの検証 を追記しました。 こちらの記事の二番煎じです。 cgroupで、お手軽CPU使用率制限 なるほど。 リソースにLimitかけるとstealを防げるためパフォーマンスも上がるというわけですね。 どのくらい変わるのか実験してみました。 cgroup前準備 sudo yum install libcgroup sudo chkconfig cgconfig on sudo service cgconfig start cgroup設定 上記参考URLとほぼ同じ設定です。 実行時はcpu.cfs_quota_usを変動させて比較してみました。 sudo vi /etc/cgconfig.conf # 以下を追加 group limittest {

先日、新インスタンスタイプとなるT2インスタンスがリリースされましたね！ 【AWS発表】バースト可能な性能を持つ新しい低コストEC2インスタンス いままで特にお世話になっていた t1.micro/m1.small の 後継というべきインスタンスでしょうか。 しかし実際に使ってみると、T2インスタンスならではの特徴がいくつかあるようです。 これから一番お世話になりそうなT2インスタンスですし もう少し詳細に調査し、その結果をまとめてみました。 ベースライン／クレジット／バーストという概念 CPUの性能に関する概念です。 t1.microにもバーストという機能はありましたが T2では実装が大きく異なるようです。 要約すると という感じでしょうか。 また、 １クレジット＝１分間バースト可能 と覚えておくとよいでしょう。 10クレ持っていれば、10分間バーストし続けられる、ということです。 インス

UNIXの代表的なダウンローダにwgetとcurlがあります。 たいていの場合どんなOSでも、どちらかのソフトがインストールされているのではないかと思います。 しかし、この2つのダウンローダの機能は、一見似ているようにも見えますが、実はそれぞれに特徴が見られるので、今日はそれについて解説してみます。 wgetの特徴 wgetのスペルは「片手でもコマンドできる」ということもあって、多くの人から気に入られています。 そんなwgetの特徴として、最も際立っているのが、クローラとして動作可能という点です。 オプションで-rを付加してやることで再帰的に動作し、-lでその深さを指定することができます。 また、-Aや-Rを利用すれば、ダウンロードする拡張子のホワイトリストとブラックリストを指定することも可能です。 つまり、特定のサイト内に散らばって存在するファイルを、拡張子によって指定ダウンロードできる

そこは塾というより、開業して間もないオフィスのようだった。白い机と椅子が20～30人分並ぶ広い空間。半個室に区切った会議室風の空間。入口に近い壁に置かれた本棚で目立つのは『137億年の歴史』、『数学の歴史』、歴史漫画、科学雑誌『ニュートン』。窓際の大きめの机の上にはパソコンとアイスコーヒー……。 ここは塾長の宝槻泰伸（ほうつきやすのぶ）さんの席。現在33歳の彼は塾長というより「スタートアップ・ベンチャーの経営者」というほうが似つかわしい。 「変わった塾、始めます」の真意 宝槻さんが２年前、東京・三鷹市に学習塾「探究学舎」を開設したときは、近隣にこんなチラシを配った。「変わった塾、始めます――」。以来ずっと、成績向上や進学実績のみを追求せずに、チラシと口コミで生徒を増やしてきた。 現在、東京で２カ所、関西１カ所の計３拠点で塾を開き、計180人の小中高校生が学んでいる。目指すのは「自ら学ぶ楽し

ブックマークしました ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください Twitterで共有