久我山菜々+(@nonamea774)/2013年02月28日

@myuon_myon @fumieval 大抵の代数的な構造は圏で表せそうですが、例えばhask圏は代数的に見えないと思うです。＞圏のほうが広い

タグ：

posted at 00:01:01

ぶん @_bun

今日で2月が終わりとか私認めない

タグ：

posted at 00:01:35

500MB落とすのにあと80分かかるとかマジ

タグ：

posted at 00:01:53

非公開

タグ：

posted at xx:xx:xx

たこやき心地 @takoyakikokochi

thunderbirdでフォルダを削除しようとしたら、既に存在しますって言われてエラーになった。もしかしてと思ってゴミ箱を空にしたら、ちゃんと削除できた。こういうぐぬぬ感、明日以降の人生に活かしたいと思いました。はい。

タグ：

posted at 00:02:22

Appleの鯖なら1分で落とせた

タグ：

posted at 00:02:23

mizchi @mizchi

Javaは文化というかEclipseをプログラミング強制ギプスにしてる感じだがそれでも酷いコードを書く奴は酷い

タグ：

posted at 00:02:23

蟻本は完全に積み本化してる。

タグ：

posted at 00:02:31

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

けんちょん @drken1215

さっきの論文、僕の回転遅い頭でまともに読んだら、歴史的背景抑えること含めると1週間は掛かってしまう。@

タグ：

posted at 00:03:06

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

関西すうがく徒のつどい @kansaimath

こういう有料コンテンツのダウンロードは一般にはダウンローダとか使えなかった気がする

タグ：

posted at 00:04:47

※YuishiYumeijiさんのお名前を間違えてYuishiYumejiと記入しておりました。大変申し訳ございませんでした。プログラム、HPに書かれた間違いは訂正いたしました。

タグ：

posted at 00:04:50

@yutopp

元気に今日も〜〜甘えるな！！定時出社できないものは何をやっても駄目！！！！ shindanmaker.com/311937

タグ：

posted at 00:04:54

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

くまぎ @kumagi

ん、かぼさん今度は「日本人同士実はコミッタがtwitter上で日本語で会話してるじゃねーかこれだから日本人は閉鎖的なんだよ」ってケチつけてきたの？根回しの達人は相手の根回しに対する嗅覚も優れてるんでしょうね、残念なことにここでの日本人同士のやりとりは根回しとは程遠いけど。

タグ：

posted at 00:05:51

とゆー事らしい

タグ：

posted at 00:06:07

いかちゃんのグルメ日記ᔦ๑° ꒳ °๑ᔨ @MilkyHorizon

？？？

タグ：

posted at 00:06:14

そろそろポケモンの主人公に彼女が出来るシステムが出てもいいと思う

タグ：

posted at 00:06:15

非公開

タグ：

posted at xx:xx:xx

mizchi @mizchi

MVCパターンとかは結構文化依存な命名になる

タグ：

posted at 00:06:24

べんぞー @benzo_z

ニーソに孕ませたいし手袋にも子作りさせたい

タグ：

posted at 00:06:41

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

(°⊥°) @kogetenthousand

全力・・・飛び蹴り・・・ウッ

タグ：

posted at 00:07:27

( ;ﾟ∀ﾟ)o彡゜おっぱい！おっぱい！おっぱい！おっぱい！おっぱい！おっぱい！

タグ：

posted at 00:07:53

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

アッファ @minjinaffa

例の赤いTシャツは微妙に使いどころが難しい

タグ：

posted at 00:08:11

セイコーマート @NoisesioN

"3秒で分かる『罪と罰』: 大学生がはっちゃけておばあさんを殺してしまってつらぽよ極まっていたら風俗のねーちゃんが構ってくれて勧められるままに自首したけど救われんのかなー" tmblr.co/ZBEylxf73rEn

タグ：

posted at 00:08:20

代数が何かがわかってないからこういうことに

タグ：

posted at 00:08:25

非公開

タグ：

posted at xx:xx:xx

ぼろんじ @boronology

ランダム再生で「次の曲聴き終わったら寝よう」と思っていたら再生されたのがエリック・サティのヴェクサシオン。

タグ：

posted at 00:09:03

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

けんちょん @drken1215

多品種フローの話題、蟻本のコラムに少し書いてあったような…「一般にはNP-hardだから…」みたいなことが書いてあった気がする。

タグ：

posted at 00:09:49

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

twitter.com/homotopy_groups この bot ヤバい [でじゃびゅ]

タグ：

posted at 00:10:23

非公開

タグ：

posted at xx:xx:xx

いかろちゃん™ @ikaro1192

C++erね

タグ：

posted at 00:10:39

頭にくるからDLSiteのサポートにてめぇのとこの上り回線遅ぇんだよダウンロード販売で飯喰ってる事実をわかってんのかカスがってメール送る

タグ：

posted at 00:11:11

みづきひかり @miz_hi

カードの卒業見込みのところは2017年って書いておいたよ

タグ：

posted at 00:11:17

非公開

タグ：

posted at xx:xx:xx

あやふみ @ayafmy

恋する宇宙戦争 → Love Shine → ニーソ姫 → †渚の小悪魔ラヴリィ〜レイディオ†

タグ：

posted at 00:12:10

非公開

タグ：

posted at xx:xx:xx

ふぇぇ引き算むずかしいのぉぉ

タグ：

posted at 00:13:05

非公開

タグ：

posted at xx:xx:xx

@myuon_myon 代数的構造って集合に限ってるじゃないですかやだー

タグ：

posted at 00:13:33

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

さおりん @saoriiiiin_

@Keitaecon ケイタさん最近セックスしすぎでは～？

タグ：

posted at 00:15:25

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

アズなんとかさん @as_capabl

飲み終わったら急激に酔った

タグ：

posted at 00:16:10

ガルヒGarhi @GarhiTech

みずきひとし@C102両日 @hmizuki

ブロックされる前にブロックしてみました。

タグ：

posted at 00:16:12

よっしゃああ！うちのau携帯でwi-fiテザリングできなかったから、bluetooth経由で携帯に接続して無理やり更新成功だあ！w

タグ：

posted at 00:16:19

僕は、AVを専門に活動してきた３７歳のフリーのスチールカメラマンです。 detail.chiebukuro.yahoo.co.jp/qa/question_de...　

タグ：

posted at 00:16:34

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

も @momomoMoMa68

光ってうったつもりだったんや()

タグ：

posted at 00:17:09

非公開

タグ：

posted at xx:xx:xx

も @momomoMoMa68

首吊る…

タグ：

posted at 00:17:15

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

ドッグ @Linda_pp

constexpr，コンパイル時に実行できるので，再帰上限除いてパフォーマンス考えなくて良くて便利

タグ：

posted at 00:18:13

非公開

タグ：

posted at xx:xx:xx

も @momomoMoMa68

まぢジュラ紀だから…

タグ：

posted at 00:18:38

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@yutopp

コンパイル時間にも制限つけた

タグ：

posted at 00:19:33

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

あやふみ @ayafmy

かずー氏に課金してマイクラやらせてはるアイコン鯖とかTeocraftに参加させたい

タグ：

posted at 00:20:46

非公開

タグ：

posted at xx:xx:xx

@yutopp

今日は早く寝るんだ…（ｶﾀｶﾀｶﾀｶﾀ

タグ：

posted at 00:21:09

残り352件のツイートを見る

malloc(0);

タグ：

posted at 00:21:11

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@yutopp

ruby、Qiitaに宝眠りまくってる

タグ：

posted at 00:22:14

非公開

タグ：

posted at xx:xx:xx

処理系依存で、freeしても問題ないアドレス(NULLでもよい)を返す

タグ：

posted at 00:22:54

非公開

タグ：

posted at xx:xx:xx

｢ゼリー群｣を作って初学者を翻弄したい

タグ：

posted at 00:23:35

@yutopp

今日全然constを摂取していない。

タグ：

posted at 00:23:45

アズなんとかさん @as_capabl

富士山を塗り潰して士気を削ぐとか、大和を正々堂々と艦隊戦で沈めるとか、日本軍と友達になれそうなこと言ってる人が結構いる #死にたい人にお薦めの危険な軍隊アメリカ

タグ：死にたい人にお薦めの危険な軍隊アメリカ

posted at 00:23:47

@yutopp

うう、英文、量をこなすしかないのか…

タグ：

posted at 00:24:00

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

箱プリン @boxpurin

@yutopp constconstconstconstconstconstconstconstconstconstconstconstconstconstconstconstconstconstconstconstconst

タグ：

posted at 00:25:30

@yutopp

@boxpurin ｳﾜｱｱｯ

タグ：

posted at 00:25:57

しゃべる顔 @deyu_note

卒業式向け頭髪検査に引っ掛かったけど卒業式明後日だから逃げ切れる

タグ：

posted at 00:26:07

ガルヒGarhi @GarhiTech

この度某出版社より【白Zでも出来るセキュリティプログラミング（仮）】出版決定致しました。もともと制作していただけあってもう７割はできてますので近く正式発表を行ないます。発売をお楽しみに。（まだ言うなと言われてましたが先走り）

タグ：

posted at 00:26:32

@yutopp

lojban、教わったときの一番初めの例文が「お前を殺します」だったのでメッチャ覚えてる。

タグ：

posted at 00:26:50

@Arkano23 麻雀しようぜ
因みに最近の俺はそこそこ強いぞ

タグ：

posted at 00:26:53

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Akira Takahashi @cpp_akira

しかしこの人、IETFに提出する前に古橋さんに連絡すべきだった、という間違いを認めつつ、全然悪びれてる感じがしないな。

タグ：

posted at 00:28:12

非公開

タグ：

posted at xx:xx:xx

なんかこう、じゅるっとした感じが欲しいから位相くらい入ってて欲しいねえ。 RT @BlhsrwzNrghfzpr: ゼリー群の性質って何だろう

タグ：

posted at 00:28:33

非公開

タグ：

posted at xx:xx:xx

アズなんとかさん @as_capabl

実際猫でも分かるSDKをガリガリやってた時代は結構長いです

タグ：

posted at 00:29:15

@Arkano23 確かに
でも部屋作って募集したらあるかの氏なら人集まりそうだけどね

タグ：

posted at 00:29:34

はっちょう @noctivox

萃香のぱんつは西瓜ぱんつ…？

タグ：

posted at 00:30:06

非公開

タグ：

posted at xx:xx:xx

@Arkano23 というかカラオケ行くの？
俺も行きたいんだけど

タグ：

posted at 00:30:16

非公開

タグ：

posted at xx:xx:xx

Fadis @fadis_

人類はまたもUDPを使ってTCPもどきを作ってしまったらしい

タグ：

posted at 00:30:45

ともき @Tomoki_Imai

iPodTouch使ってたころはiTunesStoreを毎日見てた気がするけどAndroidのそれはあんまり見る気にならないのはなんでだろう

タグ：

posted at 00:30:46

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

イーロン・マスクツイッターやめろ @naota344

@Arkano23 三打ちもフレ対戦出来るからとりあえずあと一人欲しい
因みに三打ちは最近やってない

タグ：

posted at 00:32:48

非公開

タグ：

posted at xx:xx:xx

このところのあれやこや見てるとSpdyとかWebMしっかり標準化含めてやってるあたりGoogleさんやっぱすごいんすね、と感じる…

タグ：

posted at 00:32:56

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

だしょだしょ！ RT @i_horse: この問題、解答読んだ時感動したわ RT @Jelly_in_a_tank: ぜりー - 円周の塗り分けと二等辺三角形 onlineproofeditor.herokuapp.com/show/27 この問題好きなんだけど閲覧数は伸びないんだなぁ。

タグ：

posted at 00:34:48

非公開

タグ：

posted at xx:xx:xx

いや確かに「代数」って言うと普通の数学屋さんは「代数ほにゃらら学」みたいなの想像するでしょうから隔たりはありますけど、圏だって代数には違いないと思いますよ。だいたい Haskell で言うところの algebraic data type って、圏由来の言葉じゃないんですか？

タグ：

posted at 00:35:34

@t_iru 精進が必要ですね。(私も分かってません笑)

タグ：

posted at 00:35:35

@temple04_K @arkano23 三打ち東風ありありでおけ？

タグ：

posted at 00:35:35

関数型妹bot @functional_bot

お兄ちゃんの書くHaskellって、どの関数も戻り値がIOだよね。

タグ：

posted at 00:36:05

hackage.haskell.org/package/free-g... free-game 0.3.2.3をリリースしました。$(loadBitmaps path)でpath以下のすべての画像ファイルを読み込む機能を追加しました(例: github.com/fumieval/free-...)

タグ：

posted at 00:36:16

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Ryusei @mandel59

項書き換え処理系ってどんなのがあるんだろ？？

タグ：

posted at 00:36:47

@yutopp

{|i| ...} か do |i| ... end か

タグ：

posted at 00:36:54

非公開

タグ：

posted at xx:xx:xx

平行線とか、長方形とかいう拡張は出来るけどいくらか条件を付け足さないとだめ。

タグ：

posted at 00:37:34

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

しょうがないだろFFIを使ったCの関数のラッパーがIOを返しやがるんだｳﾜｱｱｱｱｱｱｱｱｱｱﾝ RT @functional_bot: お兄ちゃんの書くHaskellって、どの関数も戻り値がIOだよね。

タグ：

posted at 00:37:59

非公開

タグ：

posted at xx:xx:xx

とゆう遠回りなbotの宣伝

タグ：

posted at 00:38:28

そんなお兄ちゃんへFreeモナド

タグ：

posted at 00:38:50

@yutopp

あとは関数呼び出しの括弧を省略するか田舎…？

タグ：

posted at 00:39:02

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Freeモナド超かわいい

タグ：

posted at 00:40:13

非公開

タグ：

posted at xx:xx:xx

ミノトぺろぺろ.jp @dosuxe

俺、童貞だけど正直感情が無くて全てが滑稽に思える

タグ：

posted at 00:40:46

泥版Firefox使ってる時が一番「スマートフォンを使っている」という実感があるな　つまりFirefoxは凄いって事ですよ
PCではWaterfox使ってるけど

タグ：

posted at 00:41:04

一気に閲覧数伸びたｗｗ

タグ：

posted at 00:41:09

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

りんふぃーる @Linfiel

「スカートから連結器出てる」って一文はどこか危ない

タグ：

posted at 00:42:35

非公開

タグ：

posted at xx:xx:xx

ｲｲﾈ!!!!!!! RT @K027: ｲｲﾈ押さないでねーって書いたのにｲｲﾈ押しちゃう人って。

タグ：

posted at 00:42:48

Firefoxは100タブくらい開くと重くて全く使い物にならないない
Waterfoxは200タブくらい開いても軽快

タグ：

posted at 00:43:22

体調は並みの下くらい……。喉が荒れてる感0(：3　)〜

タグ：

posted at 00:43:27

@t_iru まあ2,3も捉え方によっては区別できないので…ところで音楽やりませんか(宗教勧誘)

タグ：

posted at 00:43:42

非公開

タグ：

posted at xx:xx:xx

咳とまれ

タグ：

posted at 00:43:53

@yutopp

乾燥もやし / 紗水あうら @quwan_moyashi

HSPっぽく書くか…

タグ：

posted at 00:44:36

みなみこいは集団幻想だと何度言ったら（ｒｙ

タグ：

posted at 00:44:43

Akira Takahashi @cpp_akira

cpprefjpパーサー、どの段階でGitHubに上げようか。実装中のコードはあまりpushしたくないのだけど、バージョン管理はしたい。

タグ：

posted at 00:44:58

非公開

タグ：

posted at xx:xx:xx

ねるか

タグ：

posted at 00:45:46

非公開

タグ：

posted at xx:xx:xx

おやすみなしあ

タグ：

posted at 00:45:53

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

拙者もグリマスしよか

タグ：

posted at 00:46:39

高速人(不審者) @highsokujin

ねるねる詐欺しちゃう人は、僕がお布団入って一緒に寝ちゃうぞ☆

タグ：

posted at 00:46:45

久しぶりにGREEに接続するわ

タグ：

posted at 00:47:14

エン @UN_en

こいよ高速人！コス着てかかってこい！

タグ：

posted at 00:47:15

非公開

タグ：

posted at xx:xx:xx

みなみこい @c_oi

実は存在しない可能性も…＞RT

タグ：

posted at 00:47:28

@t_iru ループの組み合わせによる楽曲制作ならまだ道はあるはず…！

タグ：

posted at 00:47:29

ｽﾏﾋｮにしてからほとんど行ってねえ

タグ：

posted at 00:47:32

非公開

タグ：

posted at xx:xx:xx

将来の夢はみなみこいです。

タグ：

posted at 00:48:53

非公開

タグ：

posted at xx:xx:xx

こうですか？

タグ：

posted at 00:48:59

体育と音楽と社会と国語のスキルポイントを削っていまのスキル割り振りしてます

タグ：

posted at 00:48:59

非公開

タグ：

posted at xx:xx:xx

Akira Takahashi @cpp_akira

cpprefjpのhtmlパーサーを書いたら、次は自分で決める予定のcpprefjp MarkDownパーサーを作ってそれをhtml化するのを作って、あとcpprefjpサイトに同期するGoogle App Scriptを書かないと。道は長い。

タグ：

posted at 00:49:26

非公開

タグ：

posted at xx:xx:xx

ログイン出来ねえパス忘れたﾝｺﾞ

タグ：

posted at 00:49:42

非公開

タグ：

posted at xx:xx:xx

せるきー @Fai_ry_Aya

はぁん

タグ：

posted at 00:49:59

異種族ﾚﾋﾞｭｱｰｽﾞ8巻/masha/ @masha_aq

Freeモナドの素晴らしさについて語るTLにしようかと思ったけど修行が足らなすぎて1ツイートも出来ずに積んだ。

タグ：

posted at 00:50:06

姿は見えずともふぁぼがあり…あなぶき…

タグ：

posted at 00:50:14

ねるおやす

タグ：

posted at 00:50:21

Хірокюн @ Гамбаранай @hirokyun

み

タグ：

posted at 00:50:26

続々と各アプリがAPI1.1対応はじめてるよね。

タグ：

posted at 00:50:30

おみなえし @ominaeshin

もっとみんなさとり描こう

タグ：

posted at 00:50:30

私がなんでもできる人だって言う人、単純に私ができないことのできない度合いを知らないだけでは

タグ：

posted at 00:51:11

青い楕円形のぜろ @0_uda

うっうっかりリプ飛ばしてしまった。（局所）ツイ禁期間とはなんだったのか… 数学数学ぅ！ [戻りますはい][#はい]

タグ：

posted at 00:51:43

なぞー @nazo_tan

Хірокюн @ Гамбаранай @hirokyun

はいはい先生！まんこまんこ！！

タグ：

posted at 00:52:01

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

「最近の若者はなっていない」という感じの文章は紀元前●●●.. - 人力検索はてな q.hatena.ne.jp/1129514022

タグ：

posted at 00:53:32

非公開

タグ：

posted at xx:xx:xx

オムチキン @omchicken

あっ……出ちゃった/// twitpic.com/c7a6ot

タグ：

posted at 00:54:48

20000 @deemandeeman

先週ファミレスでみなみこいデビューをしました(*´∀｀*)

タグ：

posted at 00:55:44

非公開

タグ：

posted at xx:xx:xx

@t_uda 圏"論"を代数と言っていたのが引っ掛かったのでした… (代数的データ型の由来は型理論なのか圏論なのかよくわかりませんが)

タグ：

posted at 00:56:09

非公開

タグ：

posted at xx:xx:xx

りんふぃーる @Linfiel

攻めは出来ないなぁ… 受けの方が良い

タグ：

posted at 00:56:41

@x86_64

出、出～wwwww ZIPファイルを送った数分後にパスワードを同じ通信経路で送りつけ奴～wwwwwwwwwww

タグ：

posted at 00:56:49

非公開

タグ：

posted at xx:xx:xx

体育教官室とか、ヤクザの事務所みたいな雰囲気しかせんやろ。

タグ：

posted at 00:57:05

あやふみ @ayafmy

セキュリティ齧ってなくてもアホい事はわかる

タグ：

posted at 00:57:24

@x86_64

量子の海のモラトリアム @sara_3121

せっかくPGP鍵渡しといたんだからさぁ……

タグ：

posted at 00:57:31

非公開

タグ：

posted at xx:xx:xx

某氏の影響で「妹分」と聞いても「妹同様の関係の者」ではなく鉄分や塩分のように摂取する何か的な意味が真っ先に出てきてしまう。

タグ：

posted at 00:58:39

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

みなみこい @c_oi

そのうち私を知ってる店員さんとお客さんで鉢合わせてほしい…

タグ：

posted at 01:00:35

@fumieval あ、なるほど。それは確かに引っかかりますね。代数的データ型の由来は、（恐らくですが）直積型とか直和型とか再帰型を圏の言葉で表現できるので、そこから来ているのでは、と予想しています。歴史的事情には明るくないのでちゃんとしたソースがありませんが…

タグ：

posted at 01:01:51

ゆーひ @yuhi_as

@tara_nai ぽよ子族、一家に一人欲しいです

タグ：

posted at 01:01:53

@riveriver4361 そうなのか。じゃあ○君とか◇君とか△先生とか知ってるんだろうなあ(個人情報保護の観点から伏せ字(笑

タグ：

posted at 01:02:10

非公開

タグ：

posted at xx:xx:xx

和澤ざわ @zalwa13

そういえば大宮のアニメイトには生徒会の一存コーナーありました

タグ：

posted at 01:02:46

非公開

タグ：

posted at xx:xx:xx

@tara_nai 僕もぽよ子族欲しいです

タグ：

posted at 01:03:05

非公開

タグ：

posted at xx:xx:xx

@fumieval @t_uda 追伸. この本がそういう感じの導入になってます:twitter.com/t_uda/status/2... twitter.com/t_uda/status/2... algebraic data type みたいな節も確かありました。 [alg_p~~~~]

タグ：

posted at 01:03:21

非公開

タグ：

posted at xx:xx:xx

ゆーひ @yuhi_as

@tara_nai オカネぽよによる誓約は命より重いのです #とは

タグ：とは

posted at 01:03:50

@tara_nai 2000ぽよでいいなら3人頂こう

タグ：

posted at 01:03:55

Taiki @taiki45

く、くろまじゅつ…

タグ：

posted at 01:04:24

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@tara_nai 円高ぽよ安の時を狙います！

タグ：

posted at 01:05:39

Taiki @taiki45

でもツイートのポストでテンプレートエンジンを使う意味、あんまりなかったなーっておもうでし

タグ：

posted at 01:05:47

非公開

タグ：

posted at xx:xx:xx

なまもののフィールドワークでひたすらスケッチしていた頃に帰りたい

タグ：

posted at 01:06:32

@tara_nai ぽよよよん

タグ：

posted at 01:06:50

堕天使†フランドール†

タグ：

posted at 01:07:33

非公開

タグ：

posted at xx:xx:xx

……コメントしにくいけどふらんちゃんかわいい

タグ：

posted at 01:07:56

AoiMoe a.k.aしお兄P @AoiMoe

標準規格作りたいという中二病か何かではないか

タグ：

posted at 01:08:21

@t_uda 型理論でも直積、直和、再帰を原始的に表現していますが、その大元となるとやっぱりソースがないので分からないです…

タグ：

posted at 01:08:58

ぽんこつ@(日)東V16a @ponkotuy

C++は考えられ過ぎているので、C++erが他の言語をdisるときは考え過ぎていて非常に反論が面倒くさいというか無理 [Jupiter]

タグ：

posted at 01:09:41

アニメ虫食いクイズ『○法○○ル○ル』はあるアニメタイトルです。何でしょう？ shindanmaker.com/277297 憲法改正ルール

タグ：

posted at 01:10:06

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Taiki @taiki45

ハァーどっこい！！Bot になりたいでし…

タグ：

posted at 01:10:36

リンク開いたらAVタイトルがズラリと並んでいて #訴訟

タグ：訴訟

posted at 01:11:02

中途半端な時間帯に日本橋行くと中国人観光客観光旅行が楽しめる

タグ：

posted at 01:11:24

非公開

タグ：

posted at xx:xx:xx

ひなき @ilovegalois

僕と同じ疑問を抱いている人がいるか気になってさっきの質問を聞いてみたら「質問の意味がよくわからない」だと。気持ちはわからんでもないが、それってつまり机上の空論でしかないってことだよね。

タグ：

posted at 01:13:50

すみ @sumi_rs

･･････のな_Lv_0 :: IO String殿が、さっきから何度もお主を呼んでおるぞ。

タグ：

posted at 01:14:15

@fumieval ですねぇ…… ところで「原始的に再帰型を表現する」というのがよく分からないのですが、例えば BNF で記述するものとかを想定してよいですか？あとその表現だと、例えば相互再帰とか、複雑なものはどの程度数学的に厳密に扱えるのでしょう？

タグ：

posted at 01:14:31

非公開

タグ：

posted at xx:xx:xx

@t_uda なるほど、機会があれば読んでみたいです

タグ：

posted at 01:14:48

ケミカルブラザーズ感

タグ：

posted at 01:14:53

ふくさん @fukusanity

茂木健一郎がろくに研究もせずテレビにばかり出ていることを非難する人が多いそうですが、あれは脳に良いんですよ～～～～～

タグ：

posted at 01:14:53

ひなき @ilovegalois

「こうすれば現実を上手く説明できる」は机上の空論（≒哲学）。科学じゃない。

タグ：

posted at 01:14:59

圏論ベースの型理論しか知らないマン。というかそれも詳しくないマン。

タグ：

posted at 01:15:16

非公開

タグ：

posted at xx:xx:xx

弓道とか剣道とか柔道とか合気道とか袴着てやる武道やってる女の子クッソかっこいい

タグ：

posted at 01:15:27

猿も人の仲間ですからね、脳みそは脳に良いんですよォ～　ｳｼﾞｭﾙｳｼﾞｭﾙ

タグ：

posted at 01:15:35

Jun Inoue @jun0inoue

@t_uda ADT は f : FX → X という形の射をF-代数と呼ぶことに由来します。多項式関手の不動点がADTの型になるので。ソースは www.amazon.com/Foundations-Pr... とか。ただし圏論でなく普遍代数の言葉で書かれてる。Plotkin の原論文は確か圏論。

タグ：

posted at 01:22:19

gdgd 読み物してたらダイレクト回答きた>RT

タグ：

posted at 01:23:58

Pokeがないから力が出ない

タグ：

posted at 01:27:06

tenfastX @tenfastx

非タッチパネルの液晶ディスプレイを指でべたべた触って指紋つけられるのつらいからレーザで迎撃して指を焼き切って欲しい

タグ：

posted at 01:28:37

twitter.com/t_uda/status/3... Webで開いたら意味分からんくらい会話伸びてた。おもろ。 [ちょっと今日つぶやきすぎたしそろそろ自重][帰るます][下宿〜〜〜][はらへ〜〜〜〜]

タグ：

posted at 01:41:25

作曲してたと思ったらHaskellやってたと思ったら圏論の話してたと思ったら型の話してた

タグ：

posted at 01:41:30

悪魔か

タグ：

posted at 01:44:50

GNU/つくば

タグ：

posted at 01:47:01

非公開

タグ：

posted at xx:xx:xx

つくばってGit採用してるん？　　ある時点で単位がまずいと思ったらある時点までcheckoutして再度授業出直したり試験受け直したりできるん？

タグ：

posted at 01:48:33

非公開

タグ：

posted at xx:xx:xx

きのこが普通に既成事実持ってる感じ、不安定で燃える

タグ：

posted at 01:50:01

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

> git push 試験:担当教員/試験
不可

タグ：

posted at 01:50:51

ちゃーしゅーねこ @charsiuCat

僕の人生をrevertさせて下さい

タグ：

posted at 01:51:32

非公開

タグ：

posted at xx:xx:xx

三打ち久しぶりにやったけど楽しいわ

タグ：

posted at 01:53:03

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

いおりんがぬるぽで落ちてから数年が経過しました？

タグ：

posted at 02:09:15

@yutopp

「newはオワコン、時代はmalloc()」「ファッ！？」

タグ：

posted at 02:09:28

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

お昼寝のつもりが普通に夜まで寝てしまったので今から朝まで関数論

タグ：

posted at 02:12:36

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

小餅 @komoti107

SS読んでた

タグ：

posted at 02:14:53

非公開

タグ：

posted at xx:xx:xx

さいごねこ @lastcat_

こういう夜、京都なら深夜チャリで潰せるのに奈良行くとこなくて辛い

タグ：

posted at 02:16:11

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

えっちー＞＜

タグ：

posted at 02:23:34

ひなき @ilovegalois

不可視なものに名前を付けることで、象徴として理解する。

タグ：

posted at 02:23:43

非公開

タグ：

posted at xx:xx:xx

水之江めがね /i0-0i @miz_1001

全ての語尾に、だから結婚できないんだよ、をつけてみるライフハック。こんな時間まで起きてるから結婚できないんだよ……

タグ：

posted at 02:25:09

非公開

タグ：

posted at xx:xx:xx

オナニーしてればFC2の異常にだってすぐ気づけるってわけ

タグ：

posted at 02:26:32

非公開

タグ：

posted at xx:xx:xx

で、でた〜〜〜〜〜ｗｗｗｗｗｗｗｗFC2アプリ入れ奴〜〜〜〜〜〜〜〜〜〜〜ｗｗｗｗｗｗｗｗｗｗｗｗｗ（☝´◔ ‸◔`）☝

タグ：

posted at 02:27:29

FC2って回数制限あるし有料会員しかみれないのあるしクソ

タグ：

posted at 02:28:10

非公開

タグ：

posted at xx:xx:xx

スーパー玉出のリズムがわからないタイプの大阪国民

タグ：

posted at 02:28:55

非公開

タグ：

posted at xx:xx:xx

初めて抜きゲーと呼ばれるジャンルのエロゲをプレイしています。割れ厨は死ね。

タグ：

posted at 02:30:22

大阪生まれ大阪育ち大阪住みだし正直ぼく以上の大阪国民いない

タグ：

posted at 02:30:47

らんだむ @rndomhack

shelarcy（しぇらーしぃ） @shelarcy

アプリコメント
悪い例 :
★1 購入したのに動かない。
良い例 :
★1 なーにネイティブコードつかってんじゃ全部Javaで書け。
このようになぜ動かないのか解析してからコメントしましょう。

タグ：

posted at 02:31:01

ふ～～ん。だったら、お姉ちゃん達、foldl と foldr の使い分けについて手取り足取り私に教えてくれないかな♡ #関数プログラミングを勉強している人の褒め殺しな妹bot

タグ：関数プログラミングを勉強している人の褒め殺しな妹bot

posted at 02:38:55

@yutopp

workspaceごとにchromeのタブがびっしり詰まってるのなんとかしたい

タグ：

posted at 02:39:35

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

エゴグラムで「救いようがない」評価を受けたccabcな私と同値関係になる人を募集しています

タグ：

posted at 03:02:06

みょんさんと編集距離が2だった

タグ：

posted at 03:03:09

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

どうしても具体例が何個かないと理解出来ないマンなので、解答が丁寧に書いてある演習本が重宝する

タグ：

posted at 03:34:50

非公開

タグ：

posted at xx:xx:xx

Хірокюн @ Гамбаранай @hirokyun

（燃え上がった　って湧いてきたとも燃えてなくなったともどっちにも取れる…）

タグ：

posted at 03:38:46

非公開

タグ：

posted at xx:xx:xx

←これをはるアイコンにしてみようかと一瞬だけ思ったことはある。StS for iOS出たらやるかもな。

タグ：

posted at 03:43:29

非公開

タグ：

posted at xx:xx:xx

kei kameda | かめいけ @kameike

いまunityのチュートリアルを楽しんでいるけど、このゲームアイテム集めてフェンス解除しなくとも、ゴールにいける、、、、、、

タグ：

posted at 04:09:59

非公開

タグ：

posted at xx:xx:xx

@nonamea774 ぼくと契約して一緒に吸血鬼になってよ！

タグ：

posted at 11:08:21

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@各位作務衣を着よう。

タグ：

posted at 13:07:57

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

C++こわくないですよ。むしろC++完全に理解しましたよ。

タグ：

posted at 13:27:11

きゅぶんず @kyubuns

MS IMEってどうやってローマ字変更するの

タグ：

posted at 13:27:39

rofiは、流れ星から生まれたリボンがいっぱいの女の子。自分は永遠に少女のままと信じている。アイスクリームがお友達。最期はリボンがほどかれて消える。 #shoojyo shindanmaker.com/321246

タグ： shoojyo

posted at 13:27:43

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@yutopp

（＞ワ＜）ギョエー

タグ：

posted at 13:29:22

Akso de la Malbono @Cryolite

TaPL 邦訳版発売間近のこの絶妙のタイミングでこの絶妙の燃料投下……何らかの意図を感じざるを得ませんし，実は我々は大きな流れの掌中でただ踊らされているだけではないのでしょうか？（陰謀論）

タグ：

posted at 13:29:38

Twitter Web で Direct Message 書いてたら、送信しようとした瞬間どでかく赤字で Internal Server Error 出して文章消しーの DM 消しーのしよったから二度と Web で DM 使ったらん。

タグ：

posted at 13:32:08

@yutopp

明日も2月

タグ：

posted at 13:33:08

Kazuya Gokita @kazoo04

機種依存文字奴〜

タグ：

posted at 13:34:50

@yutopp

じゃあ今でしょ

タグ：

posted at 13:35:06

しゃるしぃ @chocolamint

長方形ツール「この中に1人要らない子がいまーす」
楕円ツール「だれだれー？」
多角形ツール「ちょっと！やめなよ！」
角丸長方形ツール「...」

こういうことか

タグ：

posted at 13:35:35

@yutopp

はー、ruby良いですね…

タグ：

posted at 13:35:56

Akso de la Malbono @Cryolite

型の人が実はさくらで，この後3月に TaPL 邦訳版を買って読み始めるエントリが掲載され，しばらく経って「私，型のこと誤解していました！！！」なるエントリが掲載される……あたりまでがすでにオーム社広報部のミーティングあたりですでに決定済みなのでは．(続・陰謀論)

タグ：

posted at 13:39:18

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@kshoji

エネループ、新デザインのPanasonicロゴのデカさと、旧デザインのSANYOロゴの小ささとが対照的。何を売ろうとしているか、わかりやすい。

タグ：

posted at 16:02:11

にしわき @2cside

SHARP シャープ株式会社 @SHARP_JP

美人に「わたしとLand of Lisp、いっしょに読も？」って言われたら、もしかして、美人はかぶり物なのかな、着ぐるみ系のエイリアンなのかも、って思ってしまいそう。

タグ：

posted at 16:07:38

（´-`）.｡oO（eneloop愛されてる…）

タグ：

posted at 17:30:03

やま太 @dj8bit

特別室長〄2日目東Q-30b @brsywe

新エネループ、これなら叩かれなかったのではないか。（仕事しろ） pic.twitter.com/8SFIOy1syr

タグ：

posted at 17:36:30

非公開

タグ：

posted at xx:xx:xx

メール送るときにはブラウザ開いて、云々かんぬんするから基本的に気持ちが切り替わるけれどmikutterでメール送れるとなると絶対ミスるし、ふぁぼれなくてイライラするとおもう

タグ：

posted at 17:47:02

高橋 @fnnrb000

@nonamea774 あれおいしいんですか

タグ：

posted at 17:51:41

非公開

タグ：

posted at xx:xx:xx

あくらる @akuraru

「もうオブジェクト指向なんていやだ」ってなったらなごやに帰るつもりです．

タグ：

posted at 17:53:02

高橋 @fnnrb000

@nonamea774 パックだから失敗が怖くて躊躇マン・・・

タグ：

posted at 17:53:11

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Q.Urah @Qtaskun

TLを要約すると、ツインレールさんが旅館の畳の上で彼女とじゃがじゃがじゃがヽ(╮╯╭)ノ三ヽ(╮╯╭)ノｗｗｗｗｗｗｗｗｗｗｗｗしてて、引き続き('ω')ｩｩﾙｩｩﾙｩｩﾙｩｩﾙｩｩｨﾔｧｧｨﾔｱｧｨｵｫｫｫwwwｩｩｳｩｩｪｪｪｪする、ってことらしい。

タグ：

posted at 17:58:00

非公開

タグ：

posted at xx:xx:xx

@yutopp

修理に出されたい。

タグ：

posted at 18:08:37

もっさり @morris_555

病院行ったら桜花って名前の人がいてびっくりした

タグ：

posted at 18:08:45

エネループ買ったことないけど、さすがにこれはどうなの…

タグ：

posted at 18:08:50

そすうぽよ @_primenumber

空が暗くなってきた

タグ：

posted at 18:08:57

椎間板ヘルニア @average33

彼女自慢するマンは間もなく破局する

タグ：

posted at 18:09:00

読んだ人の SAN 値を最高に削るようなエントリを書こう。

タグ：

posted at 18:09:06

非公開

タグ：

posted at xx:xx:xx

坂東に島流しされたすー @suu____

隣でavを熱弁する女子いる

タグ：

posted at 18:09:34

商品名蔑ろにしていいものではないと思うのだけど

タグ：

posted at 18:09:40

悪い意味で

タグ：

posted at 18:11:13

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@wraith13

なぜか先頭に「頭」が脳内補完された。 RT @bolero_MURAKAMI: 悪い意味で

タグ：

posted at 18:13:27

非公開

タグ：

posted at xx:xx:xx

森山和道／ライター、書評屋 @kmoriyama

すごい、コード書いてるだけで SAN 値がヤバい

タグ：

posted at 18:14:19

理研の人たちは「京」についてや、やってることについてちゃんと解説した本くらい出すべきだと思うんだけど、出さないのかね。
RT
動き出した世界最高級の頭脳～スパコン「京」の今　　：日本経済新聞 s.nikkei.com/XbHzIu

タグ：

posted at 18:14:29

坂東に島流しされたすー @suu____

カルローーーース！！！！

タグ：

posted at 18:15:12

非公開

タグ：

posted at xx:xx:xx

@yutopp

ruby、なんかできる気になってきたし、いわゆるC++簡単じゃんと思い込むフェーズに突入した。

タグ：

posted at 18:15:44

Kazuya Gokita @kazoo04

Ruby「誰だ！」
nil「オブジェクトです」
Ruby「よし通れ！」

NoMethodError: undefined method `hoge' for nil:NilClass

タグ：

posted at 18:17:31

yuyaroid @yuyaroid

なんでエネループの話題でこんなに盛り上がってるのかと思ったら、パナソニックがパッケージにでかくロゴを印字したからなのか(?)

タグ：

posted at 18:17:58

@yutopp

2年、コードに一切インデントを付けない縛りとかやってみたい。

タグ：

posted at 18:19:20

非公開

タグ：

posted at xx:xx:xx

PS3のコントローラーようやく柔らかくなってきて使いやすくなってきた

タグ：

posted at 18:20:47

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@yutopp

会津大とは？

タグ：

posted at 18:23:20

非公開

タグ：

posted at xx:xx:xx

明日髪切ろう

タグ：

posted at 18:23:44

|ヮ')｛ tie2 @tie2

松下と言う名前がなくなった時点で背水の陣的な雰囲気も

タグ：

posted at 18:23:45

Haskell「誰だ！」
undefined「あなたが期待する型を持つ値です」
Haskell「よし通れ！」
*** Exception: Prelude.undefined

タグ：

posted at 18:24:09

非公開

タグ：

posted at xx:xx:xx

エターナル総書記 @kelog21

土地を持ってるか、自宅が工務店で簡単な補修が出来るなら採算取れる可能性もありますな…。固定資産税高いし。
RT @rarunaDAME: いやまだアパート経営がある QT: ノマドはダメ、社畜はダメ、公僕はダメ、ニートはダメなんて言ってたら、もう飛び降りるしかないじゃない！！

タグ：

posted at 18:24:45

非公開

タグ：

posted at xx:xx:xx

@yutopp

野菜食べたい‥

タグ：

posted at 18:26:30

@yutopp

炭水化物の民になりつつある

タグ：

posted at 18:26:39

非公開

タグ：

posted at xx:xx:xx

Kazuya Gokita @kazoo04

気のせいだよ

タグ：

posted at 18:28:24

非公開

タグ：

posted at xx:xx:xx

林雄司・7/6～30 林フェス・TOK @yaginome

Haskell「誰だ！」
a :: Void「私です、Voidです」
Haskell「ああ、この世界は…"ない"のか…」

タグ：

posted at 18:28:49

非公開

タグ：

posted at xx:xx:xx