Theatre, colour, labour, ...

posted at 09:42:43

うおーーハンカチ・ティッシュ忘れた……

posted at 09:41:29

この世の有形無形のものにはなべて終わりのあるという

posted at 09:40:49

自然言語それ自体が自動的・自律的に処理され計算されてくれるのが理想である。

posted at 09:40:21

RT @AntiBayes: tkng本、秋葉でも渋谷でも入手できず、Aamzon組はいつになったら届くんだと発狂している様子を見るにつけ、もしかしてtkng本の存在自体が、驚異的な自然言語処理技術を用いたPえふ愛社の仕組んだドッキリなのではないかと疑わざるをえない感じになってる

posted at 09:39:22

五枚も重ね着てる

posted at 09:32:47

にゃんにゃん

posted at 09:31:35

でっぱつー

posted at 09:31:32

RT @MyoyoShinnyo: ホームレス支援団体も怪しいとこばっかりじゃなくて自立に向けてキチンと相談や支援を行ってるとこもあるんだろうけど、これはないなぁと思った団体がたったひとつ。名前が。「ビバ！ホームレス」っていうの。ビバはないだろ、ビバは。素晴らしかないよ。

posted at 02:58:43

風呂入るまえにCategory Theory の誤植を直した。@oto_oto_oto さん、@1to100pen さんありがとうございます！

posted at 01:36:34

虚構新聞なにかあったの……

posted at 01:26:17

人間は不器用だなあ……

posted at 01:25:53

RT @necrano_mican: 新装版翼ある闇ってやっぱり集英社文庫のメル美袋みたいなイケメン表紙なんですかね？？？？？？

posted at 01:25:12

翼ある闇新装版予約した！！！！！

posted at 01:21:42

えっっっっっっっっっっっz翼ある闇新装版！？！？！？！？！？

posted at 01:20:59

今日はいろいろやったな

posted at 01:02:50

さて。風呂はいったらAwodey直して原稿読んで寝よう。

posted at 01:02:45

ghc-pkg-autofix-0.2.0 をリリースしました。 - はてな使ったら負けだと思っている deriving Haskell (id:mr_konn / @mr_konn) http://haskell.g.hatena.ne.jp/mr_konn/20120209/1328803184

posted at 00:59:50

「得意な水泳はなんですか？ぼくはバタフライできなくて水泳スクールから脱落しました。。。」に答えました http://theinterviews.jp/konn/2966133 #theinterviews

posted at 00:38:16

これは公式質問じゃなさそうですね流石に。

posted at 00:34:31

「ダイエット計画について教えてください。」に答えました http://theinterviews.jp/konn/2966057 #theinterviews

posted at 00:33:36

RT @50storms: Curry-Howard 同型対応は Curry さんと Howard さんのふたりの間の同型対応だったのか! RT @ksuenaga 僕なんかCurryとHowardが同一人物だと認識していた。

posted at 00:32:30

じゃあ就職すればいいんじゃないでしょうか！解決！やった！ RT @TanTanKyuKyu: 俺に考えさせてほしい RT @mr_konn: 毎度毎度思うんだけど、ザ・インタビューズの運営なんでこんなにオモシロインタビュー考えるの下手なの？センスないの？

posted at 00:32:25

地雷踏みそうだな〜っていう質問くらい予想できるだろうに

posted at 00:31:22

RT @Hackage: ghc-pkg-autofix 0.2.0, added by HiromiIshii: Simple utility to fix BROKEN package dependencies for cabal-install. http://bit.ly/y3akLC

posted at 00:30:16

I just released ghc-pkg-autofix-0.2.0, a utility to fix broken package dependency. Now, it can fix cabal-dev's sandbox! http://bit.ly/fN7MYI

posted at 00:30:11

毎度毎度思うんだけど、ザ・インタビューズの運営なんでこんなにオモシロインタビュー考えるの下手なの？センスないの？

posted at 00:27:52

ザ・インタビューズに逆ギレ

posted at 00:27:11

「印象に残っているバレンタインの思い出があれば教えてください」に答えました http://theinterviews.jp/konn/2965927 #theinterviews

posted at 00:26:58

@nyakuwan その類かわいいな

posted at 00:24:42

@h_hirai 天国……？

posted at 00:21:55

@h_hirai ネコかわいいですね！

posted at 00:19:52

@h_hirai ねこ

posted at 00:17:40

できたああああああ

posted at 00:16:50

はい

posted at 00:16:15

いっしょにいましょう

posted at 00:16:13

ぶたって何類？

posted at 00:13:58

RT @s_kazune: 対角線論法、名前めっちゃカッコイイ

posted at 00:13:10

でももうてんさい！！！

posted at 00:11:02

Oh おれはばかだった

posted at 00:10:58

無こそはすべて。

posted at 00:05:51

#今作った格言

posted at 00:05:45

うーむこれは容易ではない。

posted at 00:04:05

cabal-dev に対応したいが壊れた cabal-dev がなくてはいけない

posted at 23:58:29

すいませんでした

posted at 23:57:08

うーむうまくいかない。

posted at 23:57:05

evernote はクズ

posted at 23:54:06

@1to100pen えっえっえっ

posted at 23:53:58

あ、だいじょうぶだ

posted at 23:51:40

@oto_oto_oto OH……

posted at 23:51:17

ghc-pkg-autofix を cabal-dev に対応させるべく頑張っているが、ウウム

posted at 23:51:12

@oto_oto_oto その一ページの本質を、我々は一年掛けてまなぶわけですか・・・

posted at 23:50:05

RT @oto_oto_oto: @mr_konn 決め台詞は「ガロア理論の本質的な部分はわずかこれだけで尽きている.」。かっこいーorz

posted at 23:49:51

@oto_oto_oto たったいちぺーじ！！！！

posted at 23:48:23

RT @oto_oto_oto: @mr_konn 本は持ってないですが元になった連載は持ってて、古典的ガロア理論がたった1ページでまとめられている代物です。 http://t.co/wfLRpifk

posted at 23:48:18

んっ、それはパクリでは……

posted at 23:45:46

@oto_oto_oto ほへぇ！もはや体論から離れてるんですか！すごい一般的なんですね……！

posted at 23:44:26

RT @oto_oto_oto: @mr_konn 「現代数学の土壌2」 のガロア理論の解説であった記憶があります。「まず, 体論の範囲から抜け出ることが重要である.」という文が印象的でした。 / http://www.nippyo.co.jp/book/1743.html

posted at 23:44:05

@dif_engine あー、代数幾何を圏論を基礎に構築したのは Grothendieck の事績だったと思います。圏の概念じたいは Mac Lane と Eilenberg ですが。

posted at 23:41:49

@tvwog すいませんでした

posted at 23:40:49

@LEMON_DD やらされるとか人聞きのわるい……

posted at 23:38:28

おとおさんはかなしい

posted at 23:38:15

こんな子に育てた覚えはない

posted at 23:38:09

@LEMON_DD おげひんですよ :-(

posted at 23:37:55

@LEMON_DD ちんちん

posted at 23:37:36

@LEMON_DD オブラートに包むだけムダ

posted at 23:37:22

RT @ItoBek: お母さんどころか部屋に誰一人居ないけど隣の数学科カップルがまた自主ゼミ（隠語）やってるのでつらい

posted at 23:35:14

@dif_engine 圏論はどちらかと云うと MacLane やらが作っていたのを応用したのではないしょうか。しかし崇拝していたとはしりませんでした……！

posted at 23:35:05

@shelarcy いや、その前に大学の勉強が先になりそうです :-)

posted at 23:34:19

といってもどういうものなのかよくしらない＞圏論的 Galois 理論 まあそもそもおおもとの Galois理論じたいまだ勉強してないしなあ

posted at 23:32:50

うぉーーーーー 基礎論セミナーいきたい、しかし13は合宿の初日だから無理ぽい……

posted at 23:31:22

RT @kawazu1147: ＠数学徒 alg_dさんが喋ってくれるはずの基礎論セミナーが開催される予定です。場所はたぶん高田馬場の近く、日時は13日（月曜日）の昼です。参加したい方は何らかの方法で僕に教えてください。 その後に数学徒飲酒会も開催される予定です。これも参加したい方は僕に教えてください。

posted at 23:31:07

@dif_engine Grothendieck が圏論的な Galois 理論を構築していたような。

posted at 23:31:06

@oto_oto_oto おおありがとうございます。確認して追加します！

posted at 23:26:07

RT @oto_oto_oto: @mr_konn 2.1 の最後の一文が訳し抜けてますね。たとえば、 「読者は、任意の圏で、射影的対象の任意のレトラクトがまた射影的であることを示すべきである。」

posted at 23:25:55

@u23mjag どちらかと云うと関係者が今までのに感想を言い合いつつ方向性を説明してゆくというか、数学と圏論の心を話したりする感じでした。

posted at 23:17:26

@syuu1228 やった！わいわい

posted at 23:14:44

RT @syuu1228: きっと後世の同じ誕生日の人々には石原莞爾、北野武、こんさん って言われるようになりますよ RT @mr_konn: @syuu1228 ビートたけしは昔から知ってたんですが、石原完爾は ついさいきん知りました。

posted at 23:14:41

@u23mjag あ、内容としては今までの内容を座談会形式で振り返る感じでした。

posted at 23:13:48

@syuu1228 ビートたけしは昔から知ってたんですが、石原完爾は ついさいきん知りました。

posted at 23:13:16

石原完爾 北野武 #同じ誕生日の有名人

posted at 23:11:54

ふらんそわなにかあったん……

posted at 23:11:25

結局おかしつくれませんでした。まる。

posted at 23:10:59

お、今回の圏論の歩き方、Cayley の定理が紹介されてるぞ。あと Awodey 本がオススメされてる

posted at 22:56:54

数セミとどいた。しかしなぜ届いてすぐだと登録に失敗するのか…。

posted at 22:55:54

何を今更……

posted at 22:55:02

RT @slapstick123: (a<x,y<b)とか書かれるとよく分からなくて辛いので(a<x<b,a<y<b)と書いて欲しいですね＾＾；

posted at 22:52:27

@kot8a これであかるく なつたらう

posted at 22:50:32

@kkk_243 ただいま！

posted at 22:49:24

@shelarcy ただいまですー

posted at 22:49:21

きたく！

posted at 22:47:39

居眠りをしているニュートンの横でひたすら林檎を宙に投げ上げ続け彼を揺り起こしては帰ろうとする彼を半殺しにして彼が何かに気づくまで気長に待ち続けたのがわたしです。

posted at 22:46:13

@kot8a ⊥

posted at 22:38:45

RT @extra_takuyo: 【初心者ついったらーさんへ】 リプ＝返信 post＝ツイート ﾅｰｰｰｰｰ＝なう ふぁぼ＝お気に入り(登録) 公＝公式ＲＴ 健全＝変態 紳士＝変態 ＪＫ≠女子高生 ＪＫ＝おっさん ＤＫ≠男子高校生 ＤＫ＝ドンキーコング

posted at 22:35:11

あと二本で読み終わる。講評書かなきゃなあ

posted at 22:31:08

合評会の原稿読んでる。みんな密室好きだなあ

posted at 22:06:35

RT @kawazu1147: いいことを聞いた！！！！！！！！！！！！！！！社会人の人！！！！！！！！！！！！！！！！！！このpost見てたら俺を雇ってください！！！！！！！！！！！！！！俺は頭いいしイケメンだし奇声あげられるしあるていど真面目だし役に立ちますよ！！！！！！！！！！！！！！！！！！！！！！！！

posted at 21:17:57

RT @ItoBek: 「生きたいにゃん……生きたいにゃん……」って懇願するように樹璃に訴えかける虫の息の高槻枝織ちゃんの画像下さい

posted at 21:14:42

彼女 #ペットにされたい架空の生き物

posted at 21:13:35

ﾋﾟｰﾋﾟﾋﾟ、ﾋﾟｰﾋﾟﾋﾟ、ﾋﾟｰﾋﾟﾋﾟ、ﾋﾟｰﾋﾟﾋﾟ、ﾋﾟｰﾋﾟﾋﾟ http://shindanmaker.com/190975 ポンポポ

posted at 21:13:24

RT @erutuf13: ｵｲﾀﾞｷｦｶｲｼｼﾏｽ http://shindanmaker.com/190975

posted at 21:13:06

うっ、睾丸がいたい

posted at 21:12:24

Monad stackがだいぶ深いのでrefactoringしたい

posted at 21:07:09

RT @kot8a: ！！ジェネラル・アブストラクト・ナンセンス！！

posted at 21:05:20

RT @melmelponpon: RTはリツイート、QTはクイックタイムと読む程度くらいにマカー

posted at 20:59:01

たいしゃなう

posted at 20:53:36

RT @ofk: 釣られて間違えた。

posted at 20:42:26

釣った

posted at 20:42:22

左斜め前のひと逃げたと思ったら水飲んでる

posted at 20:42:02

RT @ofk: 右斜め前にいる人とtwitterで会話している人が右にいる。

posted at 20:41:49

右斜め前ではなく左斜め前だった

posted at 20:41:39

@pepshiso ひどい……

posted at 20:41:24

@pepshiso なるほど！帰ってから上げれば備品にならない！

posted at 20:40:41

なぜ右斜め前にいるひととついったーで会話しているのか

posted at 20:40:10

@pepshiso 実際おふぃすですし！

posted at 20:39:51

@pepshiso ぼくのです＞＜

posted at 20:37:13

RT @pepshiso: @mr_konn 会社の備品っぽい

posted at 20:37:06

RT @KITEis: 直球すぎるかもしれませんが、病院で診断を受けていないと言うことは、あなたがうつ病だったという根拠は一切ない、と言うのが事実です。ネット上の自己分析でうつ病とわかる事はほとんどないし、大抵のその手の診断にははっきりと「これに当てはまったからうつ病とは限らない」って書いてありますよ。

posted at 20:31:25

！？ヴェリサインってノートンに買われたのか！？

posted at 20:25:17

#ステマ

posted at 20:24:30

RT @KITEis: １００ＲＴを越えた辺りで「来るだろうな」と予想していたけど、案の定「気合で治した」「病院・薬なしで自力で治した」と言う内容の非公式ＲＴがやってきた。はっきり言うとそれで治ったと言うことは、それは「本当に病気じゃなかっただけ」の確率が高いです。病気だと思ったなら病院に行きましょう。

posted at 20:24:23

MacBookがよりシャレオツなMacBookに！！！ http://t.co/deMLS4iF

posted at 20:24:05

しゃれおたいず と云う新語の飛び交う社内

posted at 20:13:32

RT @repeatedly: あのIME本の著者tkngさんが面白い顔したらしい #pfiseminar

posted at 19:59:31

RT @func_hs: @mr_konn #ponponpain ですねわかります

posted at 19:59:30

@func_hs なるほどｗ

posted at 19:59:29

verisign で検索したつもりで gerisign で検索してたｗｗｗ

posted at 19:58:53

haskell-src-exts のお陰でデータをちゃんと抽出できた

posted at 19:44:20

うーむ。Scientific Linux で PEM ファイルってどこにおけばいいんだ……

posted at 19:07:10

RT @preferred_jp: 弊社のオフィスはIME本のサイン会をするには狭すぎて心苦しいです

posted at 19:04:28

なんというステマ

posted at 19:03:46

RT @tanakh: @preferred_jp なるほど。期待してます！

posted at 19:03:41

RT @preferred_jp: @tanakh そうなんです！！

posted at 19:03:40

RT @tanakh: @preferred_jp そうなんですか！

posted at 19:03:40

RT @preferred_jp: 今日の発表は聞かないと損です！ #pfiseminar

posted at 19:03:39

ええええええええええええええええええええええええええええ

posted at 18:55:27

RT @junkudo_net: 悲しいお知らせをしなければなりません。ジュンク堂書店新宿店は、平成24年3月31日（土）をもちまして、閉店させていただくことになりました。昨年来多くのお客さまから、当店の存続のご要望をいただいておりましたにもかかわらず、力及ばずご期待にお応えできませんこと、誠に申し訳なく存じます

posted at 18:55:22

Scientific Linux は Twitter の証明書を弾くらしい……。

posted at 18:43:40

できたああああああ！

posted at 18:43:27

弁当の麻婆豆腐うまい

posted at 18:14:10

RT @pirapira: なんで僕が欲しい概念を先回りして作ってくれている人がいるのか。

posted at 18:00:34

RT @KITEis: うつ病を気合で治せると思っている人は、うつ病がその気合がなくなる事を知らないのです。免疫力がなくなる病気を、自分の免疫力で治せると言っているのと、だいたい同じ事を言っている事になります。これは偏見と言うよりも、知識がない、実感がないのでどうしてもわからない、と言う人が多いのです。

posted at 17:56:52

リモートでコンパイルするか……。

posted at 17:47:28

あっれえ、でもstatusCode は200……？

posted at 17:45:53

うーんやっぱりだめだな。やはりライブラリとのリンクで失敗してるっぽい

posted at 17:45:00

@repeatedly 今終わりました！

posted at 17:44:35

@repeatedly ふふふ。絶賛デバッグ中(&コンパイル中)なので御安心ください！

posted at 17:39:25

ねむねむさこさこ……？

posted at 17:38:47

こんさんがー よなべーをしてー こんさんはー よなべはできないー

posted at 17:38:40

RT @_y_kuroki_: 女子「量子力学わかんなーい！＞＜」 男子「俺もわかんない…」 女子「単位どうしよう…」 男子「どうしよう…」 女子（チッ　こいつ使えねぇな…）

posted at 17:38:21

きのせいですにゃー

posted at 17:38:16

動くといいんだけどなあ……。

posted at 17:34:33

うにゃんぱらちゅん。

posted at 17:33:30

RT @halciondaze: 作家になって「○○を行う描写があったのですが、あれはセックスの隠喩なんですか？」と訊かれたとき「セックスの隠喩です」と答えるような人間になりたい。

posted at 17:33:09

RT @soutou_d: 小学生ぐらいの時、始末書を、殺しの依頼書と思い込んでいて、ドラマなどで「これは始末書ものだぞ」みたいな台詞が出る度に、「社会人は、失敗すると刺客が差し向けられるのか」と恐れていた。今にして思うと、案外ありえないでもない気もしないでもない。

posted at 17:33:01

I need neko!

posted at 17:31:16

I need

posted at 17:31:06

OS X Lion は理念自体が改悪だと思ってますが、何か？

posted at 17:28:05

RT @syuu1228: OSXやiOSの新verで改悪呼ばわりした人にそっとNeXTSTEPのインストールディスクを手渡す運動とかやりたい RT @m_bird: mixiとかtwitterとかのUI変更のたびに起こる改悪呼ばわりを見ていると、そりゃあいつまでもWindows XPも残るしIE6も残る

posted at 17:28:00

Power Mac……！

posted at 17:26:53

kanojo konnsidered harmful.

posted at 17:25:02

読み捨てさんにブロックされてる私がいちばんつらい #それほどでもない

posted at 17:23:19

ghc-pkg-autofix、cabal-dev に対応したいなあ。

posted at 17:21:48

@1to100pen 最後の演習問題1(b)以外については修正しました。残りは帰ってから確認します。ありがとうございます！

posted at 17:21:13

10分休憩。

posted at 17:17:07

完全に enumerator のコードを逐い出して conduit-0.2.* base に乗り換えた。ありがとう enumerator、こんにちは conduit.

posted at 17:16:40

@1to100pen 色々酷いですね……。帰ったら確認してみます。

posted at 17:12:13

@pi8027 おめでとう！！！

posted at 17:10:55

@kazu_yamamoto あ、あともう一つ。cgi ファイルが格納されているディレクトリに画像などがあって、それをcgiから表示しようとすると500エラーが出ます。

posted at 17:10:41

@kazu_yamamoto うぅーん、出来れば上手く解決出来ると嬉しいです。現状では必要なところだけ、裏で nginx なりを動かして revere proxy でやらないといけないので……。

posted at 17:10:14

@p_mogera いいないいなー。じゅるり

posted at 17:04:53

@p_mogera 本場メープルいいなー

posted at 16:59:27

@1to100pen Oh! 確認します！

posted at 16:59:16

早稲田基幹理工学部は少なくとも途中退出が今期から禁止されたのでﾅﾆｲｯﾃﾙﾉ状態

posted at 16:59:04

RT @mav_curry: 「撤退する人意味わからない」とかいう人は途中退出できるまでの長い長い30分を悩むフリして頭抱えて座り続ける挙句A3用紙数枚分用意された解答用紙の片隅に小さく「申し訳ございませんでした」と書く虚しさを知らないからそんなことを言えるのだ

posted at 16:58:47

ブラウワーのブラ、うわぁ……。

posted at 16:54:43

RT @hrizm_math: コーシーダジャレは意外といけるけど他の人でなんかダジャレ作れませんかね。

posted at 16:54:35

RT @hrizm_math: Cauchy県 #ヒントは四国にある

posted at 16:54:34

RT @hrizm_math: Cauchy違反 #ツをシって書いちゃう人向け

posted at 16:54:34

RT @hrizm_math: 香川のうどんはCauchyが強いことで有名です。

posted at 16:54:34

RT @hrizm_math: 年Cauchyそば、引っCauchy屋さん、Cauchy牛乳、とうもろCauchy。

posted at 16:54:33

splitWhen もないぽよ(´･_･`)

posted at 16:50:41

なんで conduit には repeatM に相当するものが用意されてないんだろう？

posted at 16:47:39

konnsanntration(concentration).

posted at 16:32:15

わあいわあい わあいわあいわあい

posted at 16:30:29

RT @50ty_: あかり大好きをいくらRTしても地球環境は改善されません…

posted at 16:29:30

RT @lyrical_logical: 無駄な努力を地道な努力と言い換えるのはよくないですよ

posted at 16:28:48

よみません

posted at 16:26:30

RT @yabu777: 上司が「うーん、それはフィフティーン・フィフティーンやな」ってゆってたんだけど、残りの70はどこに行ったんだろう…

posted at 16:26:17

RT @faultier: 俺も告白 over HTTPされたい

posted at 16:25:36

わあいこんさん こんさんこんさんこんさん

posted at 16:24:44

RT @halciondaze: 特に「皮肉を言いたいため」使う場合に本気で思うんだけど、苛立ちをただ適当にギャグっぽいメソッドに組み込んでコーティングすんなっていう話。諷刺にもならないような程度の芸であんたがくるんでるのはオブラートじゃなくて邪気なんだよ。っていうさ。

posted at 16:24:42

RT @halciondaze: あかりメソッドのおかしみって、よほど練られたものでない限りは言葉の持つ雰囲気のズレをおかしみとしたものばかりで、一様にして自分のなかで笑いの閾値越えるものでもないし、ちょくちょくしょうもない皮肉の種に使われてる感じがしてぶっちゃけ目障り。

posted at 16:24:40

@kikairoya 照れますねー

posted at 16:23:33

RT @kikairoya: こんくん天才(棒

posted at 16:23:31

しっかしこれちゃんと書き直したい……

posted at 16:21:39

うむ、わたしは天才である

posted at 16:21:33

フォーフォーフォー

posted at 16:19:00

あ、俺や

posted at 16:18:18

こんさんは、この中にいる！！！！

posted at 16:18:14

そんなような話がファインマンさんに載ってたなあ

posted at 16:17:33

RT @Inoueian: ファインマンが一般相対論の学会に行く時に、空港に着いたんだけど学会の場所が分からなくて、「じーみゅーにゅーてぃーみゅーにゅー」とか言い合ってる団体がいなかったか？、とタクシーの運転手に聞いた話があったはず。

posted at 16:17:25

RT @lyrical_logical: ブロッコリーに謝れ、謝れ！

posted at 16:17:07

RT @lyrical_logical: めるぽんさん何様のつもりなんだ

posted at 16:17:05

今日のミサワﾏﾀﾞｰ？

posted at 16:14:48

実際▼動く

posted at 16:14:25

ぼくなんて同期からしょっちゅうリムブロ喰らってますよ

posted at 16:13:08

RT @178101: 日本人に多い「リムーブ＝嫌われた」と決め付ける人がめんどくさい。 独り言に耳を傾けなくなっただけで人間性についての批判は微塵もしてないのに勝手に背負い込んで勝手に逆恨みする。 そういう考え方から本当に嫌われてしまう事に自分で気付けないのはあまりにも愚か。

posted at 16:11:26

RT @osa_k: 日本語入力を支える技術買った！

posted at 16:11:16

うぐう

posted at 16:11:13

RT @_flyingmoomin: 犯人はこの中にいる！（胸を拳でドンと叩きながら）

posted at 16:01:28

AppMachineの型はと……。

posted at 15:53:49

@picca009 なんということだ。

posted at 15:51:27

@picca009 御自分で作り出されては？？？

posted at 15:50:23

愛とは何か。私です。

posted at 15:49:35

がんばれぼくらの GHC

posted at 15:48:14

人間がやがて死ぬ

posted at 15:47:06

ニャンじゃないニャン

posted at 15:46:35

ニャンだニャン

posted at 15:46:22

@ishin1224 いぇーす

posted at 15:33:03

あれーこれどうやって書き直せばいいんだ……

posted at 15:27:29

おーそうか。conduit新しくなったから書き直さなきゃいけないんだ。Oh.

posted at 15:13:50

ごごごごごご

posted at 15:12:21

@ishin1224 部室は先輩に開けてもらってはいろう！

posted at 15:10:10

時代の最先端シャレオツ！！！

posted at 14:50:53

PFIクリアファイル(^ρ^)/ http://t.co/ZZhOoYhO

posted at 14:50:50

RT @nyakuwan: あきあきさん「ええっ！？クジラって哺乳類なの！？」

posted at 14:50:42

あんとらーじゅなつかしい

posted at 14:33:30

EOF でだいじょうぶだった！よかったよった

posted at 14:33:03

うう ぼくはもうだめだ

posted at 14:24:09

RT @hiranokohta: アテネ出身の人物のウィキ、一人だけすさまじく異様。http://goo.gl/suzcT

posted at 14:15:22

RT @chuuuuuuuhan: 勘のいいガキは嫌いだけど、感度のいいガキは好きだよ

posted at 14:08:14

Ruby must go

posted at 14:08:10

EOF が来たら何の例外が飛ぶんだったか……

posted at 14:06:30

しごとしごと

posted at 14:00:16

さいきん圏論が楽しくて仕方ない

posted at 13:59:37

RT @tyatsuta: 重症化するとScheme外人と握手するなどの幻覚症状が。

posted at 13:58:58

RT @tyatsuta: 「あんちべる」は好きな言語をdisるツンデレの一形態に予約しておきたい。

posted at 13:58:55

@zhanpon 2/27 予定が入ってしもうた……

posted at 13:51:43

微積ができる小学生、と聞いてあまり驚かないのは、例えば高校レベルの微積であれば殆んど記号操作で出来てしまう。意味や定義まで込めて微積が出来れば尊敬に値するとは思うけど、例えばそれはε-δだろうが無限小だろうがそういった概念を受け容れられるかどうかなわけで。

posted at 13:49:37

#RedBull gokgok!

posted at 13:47:00

出社なう

posted at 13:42:38

RT @hrizm_math: 「人間がしている『計算』は、数値計算(意味)ではなく、記号処理(形式)をしている」って「数の体系と超準モデル」に書いてあった。

posted at 13:40:29

Never be rude to an Arab〜

posted at 13:35:29

RT @yuki_o: やばい。犯罪自慢かもしれない。炎上するかも。だが書く。。。。 朝専用缶コーヒーをいまのタイミングで飲んでしまった

posted at 13:33:39

RT @nkkn5: http://blog.livedoor.jp/yoursong2005/archives/50017260.html 繰り上がりのある一桁の足し算が数字の概念ができていない子供にとってどう見えているか

posted at 13:31:57

RT @hako_guru: 白雪姫生産工場で働いています。美しい少女を仮死状態にしたら硝子の棺に入れて王子さまに出荷するお仕事です。解毒薬を少女の口に垂らさなければ半永久的に仮死状態のままにもしておけますよ。さあ、あなたも王子さまになりませんか？

posted at 13:29:57

@4cro ゾンビ〜〜〜

posted at 13:28:32

RT @kuttinpa: まじめに計算すると、14回が正解っぽいです。

posted at 13:28:20

Fランって言葉自体好きじゃないお前何様だよ

posted at 13:28:12

「学生時代一番打ち込んだ事は？」「はい！犯罪自慢Fラン大学生の身許を晒し上げることです！」「」

posted at 13:27:54

RT @henkma: みんなでくっちんぱさんのストレスを0にしてあげようキャンペーン

posted at 13:23:03

RT @kuttinpa: ここで正解発表！「3人とも死ねばストレスが0になるので、必要なハグは0回」でした！！

posted at 13:22:48

RT @kuttinpa: 【算数】A,B,Cの3人はハグをすることでその時のストレスの1/3を減らす事ができる。しかし3人とも、他人のハグを見るとストレスがその時の1/3増える。最初のストレスを全員同じ量として、ストレスの総量を最初の1/10にするには何回のハグが必要か？ここでハグは2人で行うものとする。

posted at 13:22:46

人を殺して死ねやとて。

posted at 13:19:54

RT @kot8a: 心臓がいたくないというだけでチキンラーメンが死ぬほどおいしい。DV夫のたまに見せる優しさってこれですか違いますね。

posted at 13:18:56

まあ他人の人生どうなろうと知ったこっちゃないけど、進んで破滅させるのかぁ……調べた相手が同門だったり知り合いだったりしたら、彼らはどうするんだろう。

posted at 13:18:07

@lyrical_logical はい

posted at 13:16:38

RT @lyrical_logical: @mr_konn 人間を諦めろ

posted at 13:16:35

なんて云うか、楽しいゲームみたいな感覚かもしれませんけど、自分がやってることの意味本当にわかってるの？と云いたくなる。

posted at 13:16:23

無論自分で云っちゃう奴は馬鹿だなあとは思うしそれで人生終わっても仕方ないと思うけど、それ晒してる人間もまるでゲームみたいにお祭り騒ぎしてて、お前ら怖くないのって思う。

posted at 13:14:33

RT @p_mogera: 人間だから悪いことくらいするでしょう、あなたも私もするでしょう、でもそれを喧伝するならそれなりのリスクは負ってね？って。基準は悪いことするかしないかにはなく、それを言ってしまうかどうかにあるのでは。

posted at 13:12:32

RT @p_mogera: 基本的に、悪いことしてもいいから黙って誰にも知られないようにそれが悪いことだって自覚しながらやって、というスタンスなので、私はそこから出た人がどうなろうと知らない、と思ってる。

posted at 13:11:01

RT @uasi: 床が開いて大トロがせり上がってくる奈落システムを採用した劇団寿司

posted at 13:07:54

学科の友人が「カンニングFラン晒したったwwwwwwww」とか云うたびに複雑な気分に

posted at 13:06:50

しかし大学の括りになんの意味があるというのか、ようわからん……

posted at 13:05:09

GMARCHって括り方なら聞いた事がある

posted at 13:04:53

RT @Hisana_: 明治「法政いらないよね」 法政「えっ」 青山「うん、いらない」 法政「おい、俺達はMARCHだろ！」 立教「お前だけ違うんだよ」 中央「新メンバーもう見つけたしな」 学習院「学習院です。趣味はバイオリンです」 明治「じゃあな、法政。俺達は今日からMARCGだ」 法政「ゴロ悪っ！」

posted at 13:04:36

RT @eban: "英国政府、新ポータルGov.ukをクラウド、アジャイル、Rubyで開発。ソースはGithubで公開 － Publickey" http://j.mp/x0ZdpP

posted at 13:04:08

RT @tolchok: 講壇の高みから授業を行うのはアカハラ

posted at 13:03:43

RT @MaywaDenki: メディアに登場する女性は、同性の女性からの嫉妬による攻撃をかわすため「三つのO(オー)」の行動をとるのではないか。1 　オトナの女を演じる　2　オッサンな女を演じる　3　オタクな女を演じる　　それぞれ「小雪タイプ」「真鍋タイプ」「しょこたんタイプ」････か？

posted at 13:02:24

法を侵さない、あちら側にゆかない自信がよくおありで。

posted at 13:02:08

飲酒運転した〜〜とかカンニングした〜〜とかTwitterで云う奴も、それ面白がって2chで炎上させる奴も基本的に同じ種族だと思ってる

posted at 13:01:31

RT @Fumiaki_Taka: 「学者は民意に従わなければならない」というバカな主張と、「選挙で選ばれたオレが民意だ」というバカな思い込みが悪魔合体すると、「学者はオレに従わなければならない」という最強のバカが立ち現れる。

posted at 12:59:33

RT @uasi: あなたのつらさとアフリカの子供たちのつらさの間に比較演算子は定義されていません、存分につらくなってください

posted at 12:59:12

RT @__kiyoto__: 「選挙ですね。何党に入れました？」「Fluen党」 #ステマ #fluentd

posted at 12:56:48

鬱だ

posted at 11:56:04

RT @AntiBayes: 最近ExcelとHiveに向かって「おまえーっ！awkならなーっ！一瞬でできることをなーっ！」って叫ぶ毎日を送っていますが私は元気です

posted at 11:55:20

@func_hs いてきまー

posted at 11:52:15

でっぱつ。

posted at 11:46:33

あたしおやすみなんて言った覚えないんだけどな……

posted at 10:30:08

@sakanafsku おやすですー

posted at 02:42:40

寝ましょう。おやすみなさいみなさん。

posted at 02:39:43

Category Theory、直積の例の poset 圏の例までノートに書いた。

posted at 02:37:40

RT @kumagi: 「ポケットを叩くとビスケットが２つ　というのは、原爆級の力をポケットに加えることで質量とエネルギーの等価性に沿ってエネルギーを質量に変えてビスケットを作り出すという考えではなかろうか」という発想をした人がこれまで何人居るか知りたいけどどうググればいいか分からない。

posted at 02:24:18

そろそろ寝るかー

posted at 02:24:06

I Martin-Löf you.

posted at 02:14:49

まあ圏論はどちらかというと直積の項目に譲るべきか

posted at 02:13:12

Wikipedia、順序対の「圏論」の項目がちょっと適当すぎないかと思ったけど英語版の訳なのか……

posted at 02:12:40

@oto_oto_oto ……！これはやるしかないっ……！

posted at 02:11:14

RT @oto_oto_oto: @mr_konn シャガール射という概念を作れば、シャガール射があると合法的に言える！

posted at 02:11:08

丸く・射があーる……？ RT @maophilia: ﾋｨｯ　RT@oto_oto_oto 射がある。 シャガール。

posted at 02:09:57

RT @maophilia: Civ5やりたいけど、Civやってると、没頭してしまうしなぁ。その昔、会社でCiv4を出勤直後からずっとやってたら、夕方17時ごろ社長に「お前いい加減にしとけよ」と言われたことがある( ´_ゝ｀)

posted at 02:09:28

RT @maophilia: ﾋｨｯ　RT@oto_oto_oto 射がある。 シャガール。

posted at 02:09:25

RT @oto_oto_oto: 射がある。 シャガール。

posted at 02:09:18

閉包かな

posted at 02:04:39

Kuratowski は位相の教科書で開核作用子かなんかの公理系の定義のところで見たきがする。閉包作用子だったかもしれない。

posted at 02:04:13

@kagami_hr Wikipedia によれば Kuratowski が考えたものらしいですね＞ {{a},{a,b}}

posted at 02:02:36

@kagami_hr von Neumann 順序数とまちがえました＞＜

posted at 02:01:38

自分のついーと見ようとして同期のを見てしまうことはよくある

posted at 02:00:49

RT @zekitter: 「英語やったら世界が広がるよ！」って言ってる人が同じ口で「数学は数式見るのもちょっと…」って言ってるの、矛盾してると思う。

posted at 02:00:21

von Neumann 順序対〜〜〜

posted at 01:59:57

RT @kiji1ka: もじぴったん＝うちの近所でよく吠えているサカリのついたオス猫

posted at 01:59:45

RT @kiji1ka: っふふ。そいつは傑作だ。あの娘とぴったんしちまったわけか

posted at 01:59:43

RT @kiji1ka: よお、もじぴったん。あんた最近どうしてんだ？

posted at 01:59:42

講評ェ……。

posted at 01:53:14

@kot8a 普遍写像性〜〜〜

posted at 01:52:53

@PE2nd ふむ……。

posted at 01:51:45

@PE2nd おや、これは未読です！

posted at 01:51:22

RT @tekepika: @slapstick123 「今日はなんだかやる気に満ち溢れていて光速に近いスピードでダッシュして学校へ飛んできたので、僕の時計ならまだ間に合ってますね(ﾟｰﾟ*)」とか言って固有時の概念を持ち出し遅刻の言い訳をするクラスタ

posted at 01:50:35

RT @slapstick123: @tekepika 「ごめんごめん、日本標準時じゃなくてうっかりグリニッジ標準時で行動してて遅れちゃった(・ω< )ﾃﾍﾍﾟﾛ」という謎の言い訳をするクラスタ

posted at 01:50:26

RT @slapstick123: 待ち合わせに的確なポイントを指定できないから「近傍」で済ませるクラスタ

posted at 01:50:23

RT @tekepika: @slapstick123 「待ち合わせ場所でじっと待ってたら運動量が０になってしまい位置が決められない:;(∩´﹏`∩);:」とか言って不確定性原理を誤用し遅刻の言い訳をするクラスタ

posted at 01:50:19

数学者になりたいなあ、と漠然とおもうが、逃げなのかそうでないのかわからない

posted at 01:49:50

@2bbb 作曲とかやったことないので……！

posted at 01:47:59

最後のはあんまつかったことがないですけどね……

posted at 01:47:38

ぼくにとって「ロジック」と云う言葉は三つの意味があるな。一つ目は数理論理学や基礎論などの「ロジック」。二つ目はミステリにおける「ロジック」。三つめはソフトウェア開発における「ロジック」。

posted at 01:47:29

@kururu_goedel はい！

posted at 01:45:28

@u23mjag 最後の片栗粉によって双対概念を越えた新たな概念の存在が示唆されている……！

posted at 01:45:11

RT @u23mjag: ｢ドメイン･コドメイン･片栗粉｣ がキメゼリフとか｡ RT @mr_konn: 圏論女子学園ﾏﾀﾞｰ？

posted at 01:44:52

@kkk_243 naruhodo!

posted at 01:44:48

え、これちゃんと濃度とか計算しないと危ないよな、まあしてるだろうけどと云うか計算しても反応ちゃんとさせないと危ない気がする

posted at 01:44:40

RT @Hetareymon: 先生が「これは塩酸と言い、鉄を溶かします。 こちらは水酸化ナトリウムと言って皮膚を溶かし、目に入ると失明する」 そう言って2種類の薬品を混ぜて飲んだ。 俺たち生徒たちは先生が死ぬと思って悲鳴上げてた #教師に言われた衝撃的な言葉

posted at 01:44:03

しかも二日遅れだと……

posted at 01:43:10

いしづかさんと殆んど同じ返しをしていてわろた

posted at 01:42:52

@kururu_goedel おおおめでとうございます！！！

posted at 01:42:37

にゃあ

posted at 01:41:47

RT @necocen: にゃあ

posted at 01:41:45

しゃいにんとは……？

posted at 01:41:43

圏論女子学園ﾏﾀﾞｰ？

posted at 01:41:06

まあ、どう応用されてるのかとか範疇論がどんな哲学なのかはよくしらないんですけどね

posted at 01:40:55

哲学用語の範疇(category)から名前を借用した圏(category)と云う概念が、こんどは哲学の分野で応用されつつあると云う事実は興味深い。

posted at 01:39:19

どうせ今こうして圏論を色々やっているのだから、論文書くときには圏論の知識を使いたいなあ。

posted at 01:37:06

ひごろの癖で「充分」を使っていたのだけど、「十分条件」は「十分」だし、数学的な文脈では「充分」って云う文字を見ると違和感があるなあ、と思ったのでこのさい全部「十分」に置き換えた。

posted at 01:34:08

RT @Tamnius: 大学の先生方が24時間態勢で呟き続けているのを見ると、「ツイッターはインテリのパチンコ」という言葉が頭をよぎる。

posted at 01:29:13

RT @maophilia: 割と昔から思ってる構想として、例えばrs1800955のような新奇性追求傾向に影響するとされるSNPの頻度がA型とB型で有意に差があることを示して、「血液型と性格が関係すると思ってる奴はバカ」と思ってる人をバカにしたいというのがある。まあ、やっぱ無関係という結果になるかもだけど

posted at 01:29:08

ざんさんに借りたホワイト・アルバム聴いてるけどこれやっぱめっちゃいいいなぁ……

posted at 01:28:51

講評って感想になりそうだ、どうすりゃいいんや……

posted at 01:26:58

@ashitahaame まじで……こわい……

posted at 01:26:38

当日までに講評書けるかな……

posted at 01:09:03

創作合評会参加作品、印刷した。

posted at 00:04:39

RT @ksuenaga: 最近は夢がだいぶまともになってきたような気がする。

posted at 00:01:27

RT @ksuenaga: 逮捕された。りんごとみかんを同時に買うと犯罪なのだそうだ。知らなかったのだが仕方がない。刑務所に送られる。刑務所はホテルみたいなところで個室なのだが、風呂は共同である。刺青をした人々がずらーっとシャワーのところに並んでいる。

posted at 00:01:25