RT @pi8027: 順番がおかしいのと Standard ML が標準 ML となっているのはまあいいとしても、New Jersey が新しい Jersey となっているのは笑ってしまった。

posted at 21:27:50

RT @pi8027: Debian の smlnj パッケージの description が「新しい Jersey 会話的コンパイラの標準 ML」になっていて色々すごい。原文は”Standard ML of New Jersey interactive compiler”となっている。

posted at 21:27:49

RT @pi8027: 「スタート束縛変数」みたいな名前で locally nameless とか nominal logic の論文読んで Coq や Agda2 で実装する勉強会やりたい。

posted at 19:05:22

RT @pi8027: アッそうか。Haskell のメーリングリストに Ruby の求人投げるのはそういうネタなのか……なるほど!

posted at 18:25:09

RT @pi8027: Haskell のメーリングリストに Ruby エンジニア募集してますっていうメール来るのなんなの?

posted at 18:09:44

RT @pi8027: 嫌いなこんさんに投票したい。

posted at 01:39:56

RT @pi8027: こんさん100人もいたら嫌だ。

posted at 01:35:08

RT @pi8027: 特定の道具の話ばかりしてる人たちかわいそう。

posted at 01:18:50

@pi8027 ふむふむ……型を「使う」側の話を書こうとしているので、形式手法の恩恵、みたいな感じで紹介しましょうかね。。。

posted at 14:02:44

@pi8027 ！！！

posted at 15:12:54

RT @pi8027: @mr_konn その女性のように見える人が実は男性で、女装していただけなのでは?

posted at 15:12:49

@pi8027 なるほど……

posted at 13:55:44

@pi8027 いろいろありがとう……

posted at 13:55:08

@pi8027 かたじけない……！

posted at 13:52:39

@pi8027 うぉおおおお御親切にありがとうございます！！！

posted at 13:50:35

RT @pi8027: @mr_konn http://prime.4403.biz/20120329/from-sakura-vps-980-to-sakur... Ubuntu なら rsync の --exclude はここにあるのを参考にすると良いです。

posted at 13:50:25

@pi8027 はい

posted at 19:52:40

@pi8027 むむぅ……。そこを何とかするギジツを開発してください！

posted at 19:49:15

@pi8027 あれ自動引っ越しサービスほしいですよね、作って儲けましょう！！！

posted at 19:28:55

@pi8027 実用的な Iteratee

posted at 19:09:27

RT @pi8027: Agda2 を dis れるほど論文読んでない。

posted at 21:52:04

@pi8027 なるほど、管理人に限定すればなんとかなりそうな気もしますがまあ頑張ってください！！！

posted at 19:10:32

@pi8027 ぼくのgitolist改良してくださいよ

posted at 19:06:37

@pi8027 おそらくそっちの方が喜ぶひとはおおい

posted at 22:03:50

RT @pi8027: 俺の tmux がすごい的な話の方が LT 向きだったのだろうか。(今更)

posted at 22:03:40

@pi8027 なるほど。龍田先生の資料ひととおり読んだ筈なのにその辺すっかり忘れてますね……

posted at 16:42:32

RT @pi8027: @mr_konn え、でもどうせ1階の多相性を導入しただけだからλ-cubeの中に収まりますよね。

posted at 16:39:43

@pi8027 うーん、理論的興味で複数の型理論の関係を整理しながら理解したいと云う感じならλ-cubeで良いのでしょうが、実務で使う型推論の性能の話をするならひんどりーみるなーも一応あらましくらいは知っとくべきなのかなあ、と。

posted at 16:36:06

RT @pi8027: @mr_konn いや型推論したいのでなければλ-cubeでいいんじゃないですか。

posted at 16:34:33

RT @pi8027: Milner の論文の二次創作……?(違います)

posted at 22:50:51

RT @pi8027: COMIC ZIN に Algorithm W 入門委託しようと思っているんですけど、この本のジャンルってなんだろう。

posted at 22:50:50

@pi8027 おや、そんな時期がありましたか……一応そこは直ってます。

posted at 19:23:34

RT @pi8027: Twitter が平和じゃなくなった……寝ます

posted at 01:44:19

RT @pi8027: 編集環境の枠組みは Git プラグインとして実装して、便利なエディタは Emacs Lisp とかで実装して、プレビューは HTML 生成して適当なブラウザに投げればその方が便利なんじゃないかな。

posted at 16:22:32

@pi8027 まあたしかに。

posted at 16:20:01

@pi8027 主にプレビューの用途が大きい気がする。Hakyll とかであれば多分Web仮定しない作りになってるはず

posted at 16:18:09

RT @pi8027: なんでみんなブログの記事は HTTP から投げて当然と思っているのか、よくわからない。自分で使うだけなら誰でも使える必要は無い。

posted at 16:17:58

@pi8027 なるほどなるほど。僕も将来常用することになったときコマンドラインから叩けると嬉しいなあ、と思っているので、取り敢えずRESTful APIつけといて後から簡単にツール作れるようにしてます

posted at 04:26:06

@pi8027 ああなるほど。たぶんぜんぜん違う方向性ですね。

posted at 04:22:55

@pi8027 （では近い内に両者を統合します:-)）

posted at 04:18:13

@pi8027 さすがにそこまでは考えていなかった……Gitクライアントとブログは別物です

posted at 04:16:01

RT @pi8027: 不登校を Ruby のせいにするのも留年を Haskell のせいにするのもやめろ。

posted at 23:47:29

RT @pi8027: http://bit.ly/A5o3j3 頭悪過ぎるww

posted at 01:32:59

RT @pi8027: 嘘です

posted at 18:22:02

RT @pi8027: ぼくも巨大なクッキー焼こう

posted at 18:22:00

@pi8027 宇宙生物っぽい

posted at 18:21:31

RT @pi8027: Haskell くらい便利な道具があってなお就職すらできないようでは何もできないと思うので今すぐプログラマやめろ。

posted at 15:57:11

RT @pi8027: らんはさんは留年を Haskell のせいにしないでください。

posted at 15:47:25

RT @pi8027: SD カードの中に ._.Trashes っていうファイルがあって驚愕した。 ._.

posted at 15:24:50

RT @pi8027: Haskell さん、就職くらいには使えるだろう。

posted at 15:20:56

RT @pi8027: 試験終わった後、計算機室の iMac で一斉に beep 音鳴らす遊びとかしてたんだけど、遊んでる途中で蹴られるようになってあまり面白くなかった。

posted at 02:50:18