久我山菜々+(@nonamea774)/2013年05月24日

地学のすばらしいのは、地学選択者の中に地学が嫌いな人がいないことですかね。
よっぽど地学が好きか、よっぽどの変人かぐらいしか大学受験では選択しない。

タグ：

posted at 00:31:21

地学選択ってことで、心ない中傷や、気味の悪い排除を受けてきたけれど、地学選択者だというだけでコミュニティができるあたり、地学を選んでほんとに良かったと思う。

タグ：

posted at 00:33:07

地学選択オフしたい

タグ：

posted at 00:33:22

文理を分離

タグ：

posted at 00:33:28

準地衡風ポテンシャル渦度方程式の導出に成功したと発表した。
これにより我がツイートはより一層革命的になるだろう。

タグ：

posted at 02:00:31

ホテルバルティック（クローン）@築29年 @noan6251

精神の乱れ #乱れ

タグ：乱れ

posted at 02:00:52

理性の乱れ #乱れ

タグ：乱れ

posted at 02:02:52

非公開

タグ：

posted at xx:xx:xx

時々気象学の話をするんだけど、まだ式をいじくって遊んでるだけだから数学かなにかと勘違いされている可能性は高い。

タグ：

posted at 02:03:31

でみせ @Demise_F

ミニスカートの　こいしが
しょうぶを　しかけてきた！

タグ：

posted at 02:04:08

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

ただいま替地ました

タグ：

posted at 02:04:51

帰りました

タグ：

posted at 02:04:56

非公開

タグ：

posted at xx:xx:xx

つらぽよなら態度で示そうよ
(´･_･`)(´･_･`)(´･_･`)・・・

タグ：

posted at 02:05:20

やこち @yakoken

三ツ矢サイダーのみたいなって思って自販機で立ち止まったら三ツ矢サイダー並んでなくて仕方なくいろはす買ったら5歩先にも自販機があって三ツ矢サイダー置いてあった

タグ：

posted at 02:05:47

和澤ざわ @zalwa13

大学生「いいのよ…授業なんて」 #photokano

タグ： photokano

posted at 02:06:03

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

それであのif文に

タグ：

posted at 02:07:34

中身わからんのに面白いのか？嬉しいけどてん

タグ：

posted at 02:07:55

つむり @muric0

@nonamea774 ＜●＞＜●＞

タグ：

posted at 02:08:13

また誤字かいい加減にしろ

タグ：

posted at 02:08:23

おうちに帰ると一気に体が重く

タグ：

posted at 02:08:25

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

VPNキター！

タグ：

posted at 02:19:14

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

はあ…だめだ…社会の不条理を嘆いていても、何もだめだ。猫もふと、だじゃれと、Haskellのアカウントに戻らねば…。世界をよくするには、猫もふと、だじゃれと、Haskellが必要なんだ…。

タグ：

posted at 02:25:14

非公開

タグ：

posted at xx:xx:xx

みなみこい @c_oi

3枚目まで数えたところですとんと眠れるお菊

タグ：

posted at 02:27:03

おやすみなさい！

タグ：

posted at 02:27:12

暗いと不平を言うよりも、すすんであかりをつけましょう
これ何だったっけ？カトリックだっけ？

タグ：

posted at 02:27:20

非公開

タグ：

posted at xx:xx:xx

だいたい僕のような人は社会には掃いて捨てるほどいて、それを見透かしたような台詞も、だいたいどこかにはすでに存在しているものだぽよ。こんなくだらない不平に新規性なんかあるわけないんだから。

タグ：

posted at 02:29:22

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

kei kameda | かめいけ @kameike

水槽のショップをサーフィンします。

タグ：

posted at 02:31:30

∧＿∧
(´･_･`) 猫の話ばっかりでごめんニャーン
∪ ∪ る

タグ：

posted at 02:31:31

箙 @osa_k

ruby-ffi使って勘でAquesTalk2のバインディング書いたら意外とうまく行った

タグ：

posted at 02:31:55

非公開

タグ：

posted at xx:xx:xx

uiu @uiu______

英語で書く必要ないのにかっこつけて英語で書くの本当にやめてほしい

タグ：

posted at 02:33:39

あやふみ @ayafmy

ブラインドタッチできてないんで〜無刻印とか贈られて死ぬ

タグ：

posted at 02:38:18

あやふみ @ayafmy

hjklよりもC-f, C-b, C-n, C-pとかよりもFn-; ,Fn-/, Fn-' , Fn-[ を多用してる

タグ：

posted at 02:41:39

いぐにすさん @ignis_fatuus

プログラミングして働いてみたくもあるから、本当に来年どこも行くとこなかったら地元の大学に給与なし研究員の肩書きもらってバイトさせてもらおうかなー

タグ：

posted at 02:43:50

あやふみ @ayafmy

入力の際にReturn叩く事あんまりないから、まあ、改行ぐらいだよねって

タグ：

posted at 02:44:44

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@lililjiliijili

パシフィック！！！

タグ：

posted at 02:50:37

やまのてってー @ymntt

水曜日にEmacsでATOKで入力しててCtrl+Backspaceで何回もイライラしてたわ

タグ：

posted at 02:51:04

ABAB↑↓BA @ababupdownba

俺も教壇でポインタはモナドであるって嘘教えたい

タグ：

posted at 09:44:34

しゃおは @xiaoflowman

はなだ☆のぶかず@lisp &ボドゲ勢ボ @nobkz

30億のデバイスで動くがなぜか客先環境で動かないJava

タグ：

posted at 12:22:33

Haskellでは、モナドを使う事によって、副作用を伴う入出力と、副作用がない数学関数的なロジックをうまく分離することができるって言う説明が良くなされるけど、その論理に乗っ取れば、副作用が許されているLispのような言語ではモナドを実装する意味ないんじゃないの？

タグ：

posted at 13:16:29

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

. ∧∧
(´･.･`)っあなた
(っ /
Lﾉ┘　

. ∧___∧
⊂(´・_・`)　もしかしていま
　ヽ ⊂二/
　(⌒) /"

／　’　　　　　　｀＼　Haskellの話
|　　●　　　　●　　 |　してました？
＼　　　＿＿＿　　　／

タグ：

posted at 13:50:13

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

水原滝 @taki_mizuhara

稼働が終了して筐体が完全撤去され、現在は一切遊べないのにもかかわらず、スタッフだけが終了を認めずに２０１３年になっても公式HPを更新し続けるオシャレ魔女ラブanベリーと言うゲームが有るんですよ？終わった現実を否定し続ければ可能性はある。osharemajo.com

タグ：

posted at 14:01:00

まだ誰攻略するか決めてないのに選択肢出てきた

タグ：

posted at 14:07:22

ぱろすけ @parosky3

「人のいのちは地球より重い」について人の命の質量を地球と同程度と見積もると、世界人口が73億人を突破するあたりで地球がブラックホール化するとの結果が得られた。来年にも世界人口は70億人に達するという。地球崩壊の日は近い。

タグ：

posted at 14:08:03

まぁ基本C呼び出しだよなぁ

タグ：

posted at 14:08:14

探鳥の笛吹き、ふみ @fumieval

ポインタはモナドではないがコモナドである

タグ：

posted at 14:08:16

すごいH本を回し読み。あっ…(´･_･`)

タグ：

posted at 14:09:09

Haskellにポインタあったん

タグ：

posted at 14:09:10

オフサイドルールあるから、do記法なしでも
foo >>= \x ->
bar >>= \y ->
return (x + y)
って書ける……

タグ：

posted at 14:09:33

非公開

タグ：

posted at xx:xx:xx

Haskellにも実はポインタがあるぜ。Haskell側でCの関数呼び出しのときもメモリ管理をしている。 #ハスケル

タグ：ハスケル

posted at 14:10:19

@na2hiro@mstdn . jp @na2hiro

すごいH本，東大は本郷にしかないと駒場生が文句垂れてた

タグ：

posted at 14:10:23

ちょまど @ Microsoft @chomado

この前の講習会で講師の方がすごいH本をpdf版で読んでいたのを見て、まずカラーだし何より検索ができて便利なので「ああ私もpdfで買えばよかったわ」と高階しました。

タグ：

posted at 14:12:10

GHCのGCが優秀って話を聞いたことある気がする

タグ：

posted at 14:12:42

ほんまかな

タグ：

posted at 14:12:51

do記法で書くのとメソッドチェーンがだいたい同じ感じに書ける

タグ：

posted at 14:13:23

またぐのはどこでも基本的にはだるそう

タグ：

posted at 14:13:57

HaskellはCと仲良し。副作用がある場合は型にIOをつける #ハスケル

タグ：ハスケル

posted at 14:14:04

HaskellTL

タグ：

posted at 14:14:11

(´･_･`)すまぬ…

タグ：

posted at 14:14:22

.hscとは

タグ：

posted at 14:14:30

非公開

タグ：

posted at xx:xx:xx

そして襲うことを決意する世紀末的世界観

タグ：

posted at 14:15:04

PowerPC...

タグ：

posted at 14:15:06

うっ

タグ：

posted at 14:15:20

最もきれいな言語は、プログラミング言語にきれいだねって言い続けると、そのうちできあがる。

タグ：

posted at 14:15:46

マッポーの世のならい

タグ：

posted at 14:16:01

Linuxのカーネルのコードを読むといいです。環境ごとにifdefで処理を変えています #ハスケル

タグ：ハスケル

posted at 14:16:13

標準のdo記法は、途中でモナド変えられないからメソッドチェーンよりは弱い感じがする。parameterized monad とか使えばいいのかもだけど

タグ：

posted at 14:16:41

メガネっ娘はいらないから！！

タグ：

posted at 14:16:48

きょむやま @nida_001

cleanと命名すれば最も綺麗な言語になるに違いない (棒

タグ：

posted at 14:16:58

後悔じゃなくて高階する所が

タグ：

posted at 14:17:26

ひｙひｙ

タグ：

posted at 14:17:32

「Haskellで〜〜なプログラム書けるんですか？」と質問する人は知らないと思うけど、入出力が扱えてCの関数が呼び出せるからなんでも実装できる(*´∀｀*) #ハスケル

タグ：ハスケル

posted at 14:18:17

若年寄(もう若くない) @kikairoya

c++11の入門本はどこに

タグ：

posted at 14:18:20

よしくん「今日あなろさん面白いですよ、体調悪いから」

タグ：

posted at 14:19:07

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

きょむやま @nida_001

真の勝ち組はゆうやく振り切ってlearn…のサイト読み切った人では

タグ：

posted at 14:19:17

非公開

タグ：

posted at xx:xx:xx

ホテルバルティック（クローン）@築29年 @noan6251

呪術的な思考では

タグ：

posted at 14:19:31

世界人口もう70億超えてなかったか

タグ：

posted at 14:19:36

一回生、もうLisp書かされてるみたい

タグ：

posted at 14:19:41

うまい、ふとい、大きい（意味深

タグ：

posted at 14:19:58

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

変数がファーストクラスってどんなもんなんだろ

タグ：

posted at 14:20:36

非公開

タグ：

posted at xx:xx:xx

ふぁぼりあうだけの爛れた関係

タグ：

posted at 14:21:43

@wraith13

うー、今回の脱水症状は水分摂りつつだったし、すぐに充分な時間寝たし、比較的軽度だけどそれでも思考が鈍くなる。２～３日後に酷くなることもあるし、気が抜けない。

タグ：

posted at 14:23:44

ファボリアル通信

タグ：

posted at 14:24:09

猫のみしか飼えなくなるネコノミクス。

タグ：

posted at 14:24:10

ﾖｼﾖｼ(´･_･`)つ (=^ェ^=)ﾐｬｰ

タグ：

posted at 14:24:59

えっ、50favだと…

タグ：

posted at 14:25:35

相沢陽菜 @fetus_hina

S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認く @esumii

めうめう～めめめめうめう～♪ (@ 京阪守口市駅 (Moriguchishi Sta.)) 4sq.com/14FvLA9

タグ：

posted at 14:27:08

ちなみに批判を受けると「論文じゃなくて{Twitter,ブログ,ネット,etc.}だから」と正当化するケースもよく見かけるが不適切だと思う。Audienceが多いという点ではむしろ論文よりも重大

タグ：

posted at 14:27:24

非公開

タグ：

posted at xx:xx:xx

お手上げロボ　ダ　ル　マ　ー　ニ　ョ

タグ：

posted at 14:28:37

箱プリン @boxpurin

紗凪

タグ：

posted at 14:28:54

田中さんはすごいH

タグ：

posted at 14:30:08

思い切り本名アカウントなので、名前でお調べいただけると(´･_･`)

タグ：

posted at 14:30:37

相沢陽菜 @fetus_hina

はんこをぺったん♪ #位置的な彼女 (@ 京阪京橋駅 (Kyobashi Sta.)) 4sq.com/14FwCk8

タグ：位置的な彼女

posted at 14:30:37

そうだよ！否定はしない(´･_･`)

タグ：

posted at 14:31:01

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

だいじん @daijin

討鬼伝の製品版への引き継ぎ可能版体験版ﾏﾀﾞｰ?（「版」が多い

タグ：

posted at 14:32:34

非公開

タグ：

posted at xx:xx:xx

うちの英語教師、老けてデブったモナリザみたいな顔してる

タグ：

posted at 14:33:25

だいたいすごいHで検索したら出てくるじゃないか。いい加減にしろ！

タグ：

posted at 14:34:17

最近エロソーシャルゲー多いね

タグ：

posted at 14:34:20

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

もしやこのつくばの図書館って、あの森に生息しているという、国立国会図書館つくば館（Panasonic自走型アーカイブ・自律進化バージョンSE-778Hλ）なんですか？

タグ：

posted at 14:35:48

大胆にもHaskell

タグ：

posted at 14:35:50

後半はじまた

タグ：

posted at 14:36:01

非公開

タグ：

posted at xx:xx:xx

直和型のおはなし

タグ：

posted at 14:36:31

非公開

タグ：

posted at xx:xx:xx

着替えて下界降りるかー

タグ：

posted at 14:37:07

時給高いバイトくれー

タグ：

posted at 14:37:17

理系彼女bot @rikeigf_bot

その女子力っていう力があれば、私たちの関係も加速するのかなあ？

タグ：

posted at 14:37:43

プログラミングでの直積・直和の話 #ハスケル

タグ：ハスケル

posted at 14:38:05

Google [すごいH]
でセーフサーチオフにしても全く得ろネタが引っかからないのはすごいことだな…

タグ：

posted at 14:38:49

Akira Takahashi @cpp_akira

んー、concreteってあのコンクリートか？

タグ：

posted at 14:38:53

Javaでお母さんDB

タグ：

posted at 14:38:59

非公開

タグ：

posted at xx:xx:xx

JavaでPersonクラスにnameとage要素を定義する。これは直積。 #ハスケル

タグ：ハスケル

posted at 14:40:02

非公開

タグ：

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

カル @nullkal

ありがとうって言いながらプログラミング言語作るときれいな文法の言語ができる。俺プログラミングなんて嫌いだしと言いながらプログラミング言語っぽいの作るとPHPができあがる

タグ：

posted at 14:42:14

null踏んじゃった

タグ：

posted at 14:42:30

あれJAVA

タグ：

posted at 14:42:32

ぬるぽー

タグ：

posted at 14:42:43

Java。名前を入れたら母親Personオブジェクトを返すdb.get(name)関数をつくる。meにnullを入れると例外が起こる。ぬるぽ #ハスケル

タグ：ハスケル

posted at 14:42:50

江添亮@足首靭帯の手術から14週間 @EzoeRyou

ぬるぽよく出るよね

タグ：

posted at 14:42:51

非公開

タグ：

posted at xx:xx:xx

後者に関しては事実なのが面白い。

タグ：

posted at 14:43:01

非公開

タグ：

posted at xx:xx:xx

@lastcat_ ｶﾞｯ

タグ：

posted at 14:43:05

ガッ

タグ：

posted at 14:43:12

´º²º` @yue020

RB、テナーとかハイエイタスでるんや

タグ：

posted at 14:43:12

ガッ

タグ：

posted at 14:43:20

非公開

タグ：

posted at xx:xx:xx

たしかにPHPの作者そんなこといってた

タグ：

posted at 14:43:31

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Javaプログラマは必ずnullを踏む

タグ：

posted at 14:43:57

Rubyは実際に「ｳｯﾋｮｰ！君ｻｲｺｰだねー！超楽しいね！！」って話しかけながら構文作ったからあんな感じなんだろうな。

タグ：

posted at 14:44:08

nullは関数型プログラマからしたらとても問題のあるもの。nullはいろんな型になれる。型からnullを返すかわからない。Javaプログラマは必ずnullを踏む。コンパイラの気持ちになってください #ハスケル

タグ：ハスケル

posted at 14:44:30

非公開

タグ：

posted at xx:xx:xx

KindleWhitePaper、太陽電池で充電できるようにならんかなあ。ほんのたまに充電するのはかえって面倒だ…。

タグ：

posted at 14:45:15

ちょまど @ Microsoft @chomado

まだHaskell知らなかったしこの界隈もフォローしてなかった去年に、
彼の「いま電車の中ですごいHな本読んでる」ってツイート見た時
「(えっ…彼そういう人だったんだ…)」と絶句したのは良い思い出

タグ：

posted at 14:45:24

@wraith13

アカウントを作るだけ作っておいて、たんぶらの使い道を考えてなかったけど、犬写真収集用にでもするかなぁ。

タグ：

posted at 14:45:27

nullは10億ドルの失敗 by Tony Hoare #ハスケル

タグ：ハスケル

posted at 14:45:29

ぶん @_bun

!寒い

タグ：

posted at 14:45:38

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

nullは10億ドルの失敗

タグ：

posted at 14:46:28

(´；_；`)いい思い出だなあ…

タグ：

posted at 14:46:46

非公開

タグ：

posted at xx:xx:xx

それも計算に入れてのツイートだとしたら、なかなかのものだな。

タグ：

posted at 14:47:05

7年間取れなかったバグはnull処理していなかったのが原因 #ハスケル

タグ：ハスケル

posted at 14:47:15

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Haskellは論理学者Haskell B. Curry からだろ！いい加減にしろ！

タグ：

posted at 14:47:34

end.K @end313124

@kagakuma 土曜日バイトなので21時以降から参加とか可能です？(それまでやっているのか)

タグ：

posted at 14:47:39

どこでどんなエンカウントがあるかわからんから気も抜けない

タグ：

posted at 14:47:50

非公開

タグ：

posted at xx:xx:xx

食蜂さんかわいーなー

タグ：

posted at 14:48:09

両隣の人がコード書いててあれ

タグ：

posted at 14:48:35

ちなみに、Haskellの検索タブ見てる感じでは、プログラミング言語半分、（ちょっとホモっぽい写真集出してる）アメフトの選手半分、残りミリアムハスケル

タグ：

posted at 14:48:53

非公開

タグ：

posted at xx:xx:xx

おっぱいゆれまくり

タグ：

posted at 14:49:14

Maybeｷﾀ

タグ：

posted at 14:49:14

非公開

タグ：

posted at xx:xx:xx

リゼ @archeleeds

いぇーい田中さん見てるーー！？？ #Haskell

タグ： Haskell

posted at 14:49:42

ぺたーんかぼよーんしかおらんからなあのアニメ

タグ：

posted at 14:49:51

関数型言語の　ちからって　すげー！　Haskellじゃ　Maybeをつかって　nullをふまなく　できるんだと！ #ハスケル

タグ：ハスケル

posted at 14:50:01

パターンマッチは網羅的に

タグ：

posted at 14:51:06

失敗してもいいじゃないか(Maybe)

タグ：

posted at 14:52:20

400円のカップラーメンはおいしいやろ！いい加減にしろ！

タグ：

posted at 14:53:01

Javaなんてだっせーよな、帰ってHaskellの型安全プログラミングやろうぜ #ハスケル

タグ：ハスケル

posted at 14:53:08

うう、、、部屋暑い

タグ：

posted at 14:53:40

非公開

タグ：

posted at xx:xx:xx

入れ子処理、エラー処理にロジックが埋もれるのはダサい

タグ：

posted at 14:55:00

そういえばそんな話があったな

タグ：

posted at 14:56:01

二酸化カメレオン @ChameleonO2

やはりH本読まないと

タグ：

posted at 14:56:11

非公開

タグ：

posted at xx:xx:xx

ついーと数二桁とか怖いです

タグ：

posted at 14:56:54

Maybeは直和型の一種。「または」を表す型。 #ハスケル

タグ：ハスケル

posted at 14:57:13

見たくなってきた

タグ：

posted at 14:57:20

もしかして:めまいじゃなくて地震

タグ：

posted at 14:57:45

入れ子より直列に書きたい

タグ：

posted at 14:57:46

地震か

タグ：

posted at 14:58:17

22階だからなぁ…

タグ：

posted at 14:58:20

加藤公一, 가토우 기미카즈（はむかず） @hamukazu

ぽよぽよ〜〜〜〜〜

タグ：

posted at 14:59:06

「すごいHaskellたのしく学ぼう」を「すごいH本」って呼ぼうって言い出したの僕のような気がするから、とても責任を感じている。

タグ：

posted at 14:59:10

エラー処理は地下配線に押し込めよう #ハスケル

タグ：ハスケル

posted at 14:59:33

モナドとは地下配線

タグ：

posted at 15:00:06

「モナドとは地下配線です」

タグ：

posted at 15:00:09

Haskellerはよく地下配線という言葉を使う。みんなが恐がるモナドの説明「モナドとは地下配線」 #ハスケル

タグ：ハスケル

posted at 15:00:17

ぼうくん | VoQn @VoQn

っていうか Wikipedia のカリー化の説明が間違ってる…

タグ：

posted at 15:00:19

いやなことを全て演算子に押し込める

タグ：

posted at 15:00:29

非公開

タグ：

posted at xx:xx:xx

プログラマーでよかったなぁ（ｳｯﾄﾘ

タグ：

posted at 15:00:56

モナドかなって思ったらモナド

タグ：

posted at 15:01:00

だった

タグ：

posted at 15:01:01

やっとネットワークプログラミング

タグ：

posted at 15:01:05

やっと本題のHaskellでネットワークプログラミング

タグ：

posted at 15:01:17

@nonamea774 情報と職業という授業

タグ：

posted at 15:01:34

そういえば担々麺の漢字をひたすら訂正する嫌なbotが昔いた気がする

タグ：

posted at 15:01:47

#あずにやんかわいいなあ

タグ：あずにやんかわいいなあ

posted at 15:02:06

梅毒にはマラリアが効くんや〜うい〜

タグ：

posted at 15:02:13

全然場所が違った、ただの目眩である

タグ：

posted at 15:03:05

非公開

タグ：

posted at xx:xx:xx

橋本優喜 @hashimoto_yuuki

え、エッチなのは、その、こっそり、見ようね？

タグ：

posted at 15:03:57

ちょまど @ Microsoft @chomado

「すごいHな本」がアウトなら
「すごいHなpdf」ならセーフなのでは？(((o(*ﾟ▽ﾟ*)o)))

タグ：

posted at 15:04:50

やまからす @yamakarasu_

楓さんボイス追加来た

タグ：

posted at 15:04:55

たいていのwebサーバはif elseで実装している。だがHaskellでは入れ子if elseにしない #ハスケル

タグ：ハスケル

posted at 15:06:10

IO関数のリスト

タグ：

posted at 15:06:31

fortran、Goto使ってる…
嫌だ嫌だいやあああああああああああああああ

タグ：

posted at 15:06:36

数字でGotokujiジャンプとかやめてええええええええ

タグ：

posted at 15:07:00

よのなかHな人がおおいなあ…

タグ：

posted at 15:07:28

初心者用の理解
→IOとは副作用を表す型

タグ：

posted at 15:08:27

IOとはなにか　の説明がHUNTER×HUNTERでいうところの念と燃みたいでかっちょいい。初心者向けの近似の理解と本当の理解がある。 #ハスケル

タグ：ハスケル

posted at 15:08:52

箱プリン @boxpurin

gccでstatic_assertしてVCにもっていく面倒なことしてる（完全でない

タグ：

posted at 15:09:17

これが今日の資料です mew.org/~kazu/material... #ハスケル

タグ：ハスケル

posted at 15:09:50

本当の理解
IOとは命令書を表す型
命令書はいつも同じなので純粋
mainからつらなる文脈に入ると命令書の中身の命令が実行される

タグ：

posted at 15:10:16

C系言語：
・C
・Caml
・Clean
・Coq
・Cobol

タグ：

posted at 15:10:30

OCaml実装はいいや……

タグ：

posted at 15:12:27

なんか忘れてた言語がいっぱいきたー(´･_･`)

タグ：

posted at 15:13:04

Clojureは割とガチで忘れててまずいと思った。

タグ：

posted at 15:14:29

非公開

タグ：

posted at xx:xx:xx

この発表資料群、すごくいいな…… / “山本和彦の発表資料” htn.to/yJrnzU

タグ：

posted at 15:15:22

XENO @xenophobia__

C++とC#はわざといれてないんですよね？ > RT

タグ：

posted at 15:15:23

SKS rep @repeatedly

C++って言語じゃなくて人を生け贄にしてプロダクトを生み出す召喚魔法では…

タグ：

posted at 15:15:37

ととと @__t2

キュー子（ろbot）＠Ver2.0テスト @DigitalCuko

カナダ辺り(？)で二次エロ所持がアウトだった気がするんだけど。

タグ：

posted at 15:15:49

ぐへへぱんつみせろー！

タグ：

posted at 15:17:15

非公開

タグ：

posted at xx:xx:xx

ととと @__t2

@DigitalCuko キュー子が見せろ！

タグ：

posted at 15:18:07

なんとなくどういうふうに書いていくかの雰囲気はわかった気がする

タグ：

posted at 15:18:23

Haskellの記号わけがわからないよ

タグ：

posted at 15:18:30

あー、Curryわちょっと昔にさんざんPushされてたのに忘れてた

タグ：

posted at 15:18:38

非公開

タグ：

posted at xx:xx:xx

椎間板ヘルニア @average33

飛騨高山に向かってるなど

タグ：

posted at 15:18:54

畳み込みじゃ

タグ：

posted at 15:19:29

優秀な関数は全域関数であるべきで例外を返すべきではない　失敗は直和型で返す
副作用のある関数は例外を投げて良い

タグ：

posted at 15:21:27

fujiwara @fujiwara

メモリ144GBのホストでchef-soloが144GBメモリ全部食って死んだんだけど、どんな秘孔突いたんだ

タグ：

posted at 15:21:51

C系言語（決定版++11）：
・C
・Caml
・Clean
・Coq
・Cobol
・Cyclone
・Common Lisp
・Clojure
・Cyan
・Cython
・CLU
・CPL
・CLC-INTERCAL
・Curry
・CDuce

タグ：

posted at 15:21:55

IOは例外が起こる型

タグ：

posted at 15:22:41

怪獣王チャプス @Madoukusya

寝 RT @siroebi_ Twitter無しでこの授業、どう乗り切れば

タグ：

posted at 15:22:53

非公開

タグ：

posted at xx:xx:xx

知らない言語が増えた…

タグ：

posted at 15:23:02

非公開

タグ：

posted at xx:xx:xx

Haskell Primeって復活してたのか…？

タグ：

posted at 15:23:43

せやんなぁ

タグ：

posted at 15:24:05

プログラミングって結局IOからは逃れられない気が

タグ：

posted at 15:24:38

まあせやろな

タグ：

posted at 15:24:45

Haskell B. Curry が亡くなった年に、僕は生まれた。つまりこれは…(´･_･`)

タグ：

posted at 15:24:52

Koichi Nakamura @9_ties

Monoidが積極的に使われているHaskellのライブラリにはdiagramsがありますね。簡単にいうと絵1 <> 絵2 <> 絵3 みたいに絵を重ねていく事をモノイド演算と見なすやり方。 projects.haskell.org/diagrams/

タグ：

posted at 15:25:42

V系言語，Visual C++でイライラして机に向かってヘドバンか

タグ：

posted at 15:26:54

くりんぺっと @climpet

若年寄(もう若くない) @kikairoya

C系言語にC#は含まれないのです？

タグ：

posted at 15:27:01

＠枠それおーけー言わない

タグ：

posted at 15:27:06

非公開

タグ：

posted at xx:xx:xx

トランザクションも簡単

タグ：

posted at 15:27:23

ほっと @hotwatermorning

JK言語っていうと≠〃ｬ儿文字T=〃∋→

タグ：

posted at 15:27:28

直列に書けると

タグ：

posted at 15:27:31

Curry付けただけジャマイカ…

タグ：

posted at 15:27:31

Haskellerコミュニティという危険な言葉が聞こえた #ハスケル

タグ：ハスケル

posted at 15:27:33

くりんぺっと @climpet

C系言語Csh

タグ：

posted at 15:27:33

非公開

タグ：

posted at xx:xx:xx

Haskellerコミュニティ...

タグ：

posted at 15:27:46

軽量スレッド

タグ：

posted at 15:28:08

HideyukiのHはHaskellのHだったのか

タグ：

posted at 15:28:18

でみせ @Demise_F

原稿ホワイトキャンパス

タグ：

posted at 15:28:35

(´･_･`)「あれ、触ったことない言語なのに、なぜか使い方が分かるぞ…？」

タグ：

posted at 15:29:03

並列処理と並行処理の違い　ParallelとConcurrent

タグ：

posted at 15:29:12

並列Parallelははひとつの仕事を分割してそれぞれを同時にこなすこと。並行Concurrentは複数の仕事を同時にこなすこと #ハスケル

タグ：ハスケル

posted at 15:29:14

あー、Cilkとかあったなあ…

タグ：

posted at 15:29:38

やまからす @yamakarasu_

ｻﾝｼﾞﾊﾝ!!

タグ：

posted at 15:30:15

しかしあの枠ももう残り14文字。あと一つか二つでいっぱいに

タグ：

posted at 15:30:41

時代は変わる

タグ：

posted at 15:31:46

10年経てば変わるのであんまり真に受けないように

タグ：

posted at 15:32:03

関数型言語は並列処理に向いてるとか幻想　Haskellはすくなくともくり組んでる

タグ：

posted at 15:33:39

宗教戦争は不毛

タグ：

posted at 15:33:55

「バナナはおやつに入りますか？」「Lispは関数型言語に入りますか？」「あなたの場合はそうなんですね」 #ハスケル

タグ：ハスケル

posted at 15:33:59

なんか前々回けんろん勉強会登録しておきながらすっかり忘れていて申し訳ないので、今回は忘れないようにしたい。

タグ：

posted at 15:34:46

しかし恐ろしい数の定員だなあ…

タグ：

posted at 15:35:06

“山本和彦のホームページ” htn.to/reGbXf

タグ：

posted at 15:35:26

“図解 Git” htn.to/F5ZsREmrum

タグ：

posted at 15:35:38

非公開

タグ：

posted at xx:xx:xx

Go言語の並行処理は確かにやりたすかった

タグ：

posted at 15:35:55

関数型言語が好きじゃない人はGolangを勉強するといいかもしれない？ #ハスケル

タグ：ハスケル

posted at 15:36:09

最近はGo聞かないけど

タグ：

posted at 15:36:19

非公開

タグ：

posted at xx:xx:xx

ネイティブスレッド

タグ：

posted at 15:38:42

非公開

タグ：

posted at xx:xx:xx

コネクションごとにネイティブスレッドを生成する

タグ：

posted at 15:39:13

非公開

タグ：

posted at xx:xx:xx

スレッドとスレッドの違いはメモリの共有

タグ：

posted at 15:41:44

ガルヒGarhi @GarhiTech

haskellとかLispなどという一般には使い道のないソースコードを絶賛する輩に騙されて人生を棒に降る事にならない様ご注意ください。

タグ：

posted at 15:42:08

XENO @xenophobia__

tanakhさんのサイン、一度関数型のつどいでお見かけした際に頼もうかと思ったんだけど、チキって話かけられなかった。

タグ：

posted at 15:42:13

非公開

タグ：

posted at xx:xx:xx

使い道ってのは、その人が考えるものじゃないのだろうか(´･_･`)…？

タグ：

posted at 15:43:06

非公開

タグ：

posted at xx:xx:xx

(あんちべ! 俺がS式だ） @AntiBayesian

ユーザプログラムがプロセスらしいものを作る。ErlangやGolangがやってるのがこれ #ハスケル

タグ：ハスケル

posted at 15:43:16

IT系勉強会で言う「初心者歓迎」とは「俺たちベテラン勢の良いサンドバックが来ると退屈しないで済むから、四の五の言わずに来いやコラ」くらいの意味だと解釈してる

タグ：

posted at 15:43:17

何この公開処刑

タグ：

posted at 15:43:35

Haskellのデータ構造でMonoidになってるものはすごいたくさんあるし、Monoidal Parsingとかもある。

タグ：

posted at 15:43:48

さすがである

タグ：

posted at 15:44:49

うなりすと @unarist

EmacsとかVimなどという一般には〜って書いたら体育館裏か屋上ものだな

タグ：

posted at 15:44:59

haskellより白zの方がクソ

タグ：

posted at 15:45:25

非公開

タグ：

posted at xx:xx:xx

のい @noinoiapp

楓さんボイス！！！

タグ：

posted at 15:45:49

う、この講師イベント駆動すごく嫌ってそう

タグ：

posted at 15:46:29

コピペの誕生の瞬間を見た

タグ：

posted at 15:46:35

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

白zまた炎上のための燃料投下してるなあと思ったらやっぱり

タグ：

posted at 15:47:11

炎上マーケティングだからなあ

タグ：

posted at 15:47:39

雪夜彗星 @sncomet

【速報】授業中に教授が寝る事案が発生

タグ：

posted at 15:48:01

C++とかC++などという一般には使い道のないソースコードを絶賛する輩に騙されて人生を棒に振る覚悟ができてない奴は帰ってください

タグ：

posted at 15:48:40

ひまっひまー

タグ：

posted at 15:48:52

桜むっずｗｗｗｗｗｗｗｗｗｗｗｗ音域ｗｗｗｗｗｗｗｗｗ

タグ：

posted at 15:49:20

コールバック地獄

タグ：

posted at 15:49:24

コールバック地獄

タグ：

posted at 15:49:29

deferredがあるから大丈夫だし（必死

タグ：

posted at 15:49:50

非公開

タグ：

posted at xx:xx:xx

褒めても何も出ませんよ…///

タグ：

posted at 15:51:11

わかる RT @sonisonin: ワロタ！ｗ RT @kazoo04: 改行使いすぎ

タグ：

posted at 15:51:22

ぺてこ @x_10c

Twitterで囲いしてます

タグ：

posted at 15:51:23

(あんちべ! 俺がS式だ） @AntiBayesian

Yahoo!、名前からして副作用ありそうだし無闇に使うべきじゃないですね

タグ：

posted at 15:52:34

非公開

タグ：

posted at xx:xx:xx

「勉強会は前座、懇親会が本番」
「勉強会は勉強するところじゃなくてモチベーションあげるところ」
「勉強会はいかに知り合いを増やすかが主目的」
などのご意見を各種勉強会主催からお聞きしております

タグ：

posted at 15:53:23

ストパン豚に媚を売りつつアイセックスに喧嘩を売るスタンスいいゾ〜

タグ：

posted at 15:53:26

非公開

タグ：

posted at xx:xx:xx

Ⓝ @iNut

じゃあ勉強会って言うなよ

タグ：

posted at 15:53:51

ん？充電できてない

タグ：

posted at 15:54:01

やばっ電池ない

タグ：

posted at 15:54:19

haskellとかLispなどという一般には使い道のないソースコードを絶賛する輩に騙されて人生を棒に降る事にならない様ご注意ください。
tanakh.jp/tools/copipe-g...

タグ：

posted at 15:55:12

C言語のような古い言語は標準ライブラリにIOがあるのでブロックしてしまう。なので軽量スレッドが作れない？ #ハスケル

タグ：ハスケル

posted at 15:56:09

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

ジェネレーターが早速できたのかこわい

タグ：

posted at 15:56:56

非公開

タグ：

posted at xx:xx:xx

りぇず @_Re_ez_

きょうかちゃあああああん

タグ：

posted at 15:57:17

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

でみせ @Demise_F

「同情するなら票をくれ！ / 人気順位50位以下キャラSS合同」 fuguruma.info/dai9shu7/
例大祭H-28bではこんな感じのSS合同誌も頒布致します。本作購入者には「謹製しおり」「ポストカード」「弾幕カクテルブック２冊」の計４点がおまけとして付きますので是非！

タグ：

posted at 15:58:43

ほらほら、Haskellすごいでしょ？　なんでHaskellでWebサーバ書かないの？ #ハスケル

タグ：ハスケル

posted at 15:58:51

あちゃー。。。バッテリー死だ

タグ：

posted at 16:00:11

新しい獣群の暴走(thundering herd) ←　かっこいい #ハスケル

タグ：ハスケル

posted at 16:00:15

非公開

タグ：

posted at xx:xx:xx

こういうどうでも良いツールがHaskellで実装されているのだ。

タグ：

posted at 16:01:00

なんでみんなコピペ改変せずにツイーヨするの(´･_･`)？

タグ：

posted at 16:01:29

探鳥の笛吹き、ふみ @fumieval

haskellとかLispなどという一般には使い道のないソースコードを絶賛する輩に騙されて人生を棒に降る事にならない様ご注意ください。

タグ：

posted at 16:02:34

ととと @__t2

地下鉄なうなんだけど、前のJKのフォロワー100桁突破したらしい

タグ：

posted at 16:02:37

非公開

タグ：

posted at xx:xx:xx

@yutopp

「なぁ...オシロスコープに電源入れようや...」

タグ：

posted at 16:03:27

LinuxのカーネルとMac OSのカーネルは腐ってる #ハスケル

タグ：ハスケル

posted at 16:04:20

非公開

タグ：

posted at xx:xx:xx

これがHaskellで作ったというWebサーバか…… / “高速WebサーバMighttpdのアーキテクチャ | 最新の技術動向 | IIJ” htn.to/ACS26kVb

タグ：

posted at 16:06:16

探鳥の笛吹き、ふみ @fumieval

chronomorphismとかzygohistoprepromorphismなどという一般には使い道のないhomomorphismを絶賛する輩に騙されて人生を棒に降る事にならない様ご注意ください。
tanakh.jp/tools/copipe-g...

タグ：

posted at 16:07:54

@wraith13

カリー化の観点から、構造体とか複素数がどういう扱いになるのか知らない。

タグ：

posted at 16:10:58

ぐるぐる系SQL @bleis

@wraith13 どういう扱いとは？

タグ：

posted at 16:12:25

@wraith13

@bleis 全体で一つの引数としてカウントするのか、プライマリーな要素毎に個別の引数としてカウントするのか。

タグ：

posted at 16:15:03

ぐるぐる系SQL @bleis

@wraith13 複数引数をタプルで実現しているとして、複素数をタプルで実現したとすると、複素数を一つとる関数はカリー化すると実部と虚部がばらけるとかそんな感じでは。カウントというのを理解できてないのでなんか違うこと言ってるかもしれません

タグ：

posted at 16:17:32

@wraith13

@bleis ふむ。てことは配列なんかも一要素ずつって感じなんですかね。

タグ：

posted at 16:19:07

ぐるぐる系SQL @bleis

@wraith13 配列はタプルではないので、まとめてひとつ、ですかね

タグ：

posted at 16:19:52

@wraith13

@bleis あら。　うーん、やっぱり本来の理論的にカリー化がどういうものなのかよくわからん・・・

タグ：

posted at 16:21:41

ぽよ〜〜〜〜〜

タグ：

posted at 16:26:12

結び目理論高校のときにお世話になった

タグ：

posted at 16:26:44

「授業うるさいからイヤホン持ってこよ」

タグ：

posted at 16:26:50

長さが型レベルに現われている配列（それはタプルと何が違うのだ？）ならカリー化したら要素を一個ずつ引数に取れますね

タグ：

posted at 16:27:21

#三ツ矢サイダーさんによる恋愛学概論

タグ：三ツ矢サイダーさんによる恋愛学概論

posted at 16:28:37

@wraith13

@decimalbloat @bleis やっぱり本来のカリー化の理屈的には必ずプライマリーな要素毎にぶった切る・・・ってところですかね。

タグ：

posted at 16:29:01

ゼミ、毎回意識失ってるからどうにかしないと

タグ：

posted at 16:29:43

@wraith13 プライマリーとは

タグ：

posted at 16:30:38

非公開

タグ：

posted at xx:xx:xx

おうちに戻ってポスター確保

タグ：

posted at 16:30:58

@wraith13

@decimalbloat う・・・　突き詰めると bool 値になりそうですね・・・

タグ：

posted at 16:31:30

バイト終わって実家帰ってもいいような……

タグ：

posted at 16:32:00

未だに入試のときのこと偉そうに話してる大学生、正直痛いよ

タグ：

posted at 16:32:27

非公開

タグ：

posted at xx:xx:xx

uiu @uiu______

欠席できないのつらすぎるし単位取得不可能では

タグ：

posted at 16:32:54

非公開

タグ：

posted at xx:xx:xx

Halt @N_ltm

こいさとホモセックス本

タグ：

posted at 16:33:10

最後のGHCパッチを当ててコンパイルするのに二時間かかるっていうのは、GHCのビルドの話だよね？

タグ：

posted at 16:33:21

のい @noinoiapp

やってしまった……

タグ：

posted at 16:34:48

のい @noinoiapp

砂糖専用のスプーンをヨーグルトの中に落としてしまった…

タグ：

posted at 16:35:10

@rumichang 怖い人が来そうなんでやめてください^^;

タグ：

posted at 16:35:34

非公開

タグ：

posted at xx:xx:xx

@yutopp

おしり、とﾂｲｯﾄしないと精神が安定しなくなる

タグ：

posted at 16:36:50

マリサリス @Mrsrs0090A8

眼鏡のレンズに触ることの背徳感

タグ：

posted at 16:37:15

非公開

タグ：

posted at xx:xx:xx

きしだൠ(K1S) @kis

@wraith13 @bleis その言語体系のなかで１つの値なんであれば、それはそれでいいんじゃないですかね。ただ、たとえば２つの引数a,bをとる関数を、aとbが格納されたひとつの配列をうけとる関数にするというのは、関数の変換ではなく値の変換なのでカリー化ではない、となるかと

タグ：

posted at 16:37:37

りんふぃーる @Linfiel

スカートを合法的にめくる方法

タグ：

posted at 16:37:57

非公開

タグ：

posted at xx:xx:xx

マリサリス @Mrsrs0090A8

SM800i (安藤敏彦 A.K.A あ @andochin

"@fastwindtiger: “@GP02MLRS: 眼鏡のレンズ触るやつむかつくよねー”わかる"眼鏡を眼鏡と認識できない人間のクズです

タグ：

posted at 16:39:06

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

SQLの中に面白さを感じることがあるのはわかってきた。次はテストデータを作ることにトキメキを感じる方法が知りたい。

タグ：

posted at 16:50:50

かずー氏は死んだよ

タグ：

posted at 16:52:20

こが@koga'te[ch] @koga0v0

@kazoo04 死ぬな。

タグ：

posted at 16:52:28

@kogarasi_cross クソ忙しんじゃ

タグ：

posted at 16:52:45

非公開

タグ：

posted at xx:xx:xx

くろっく @clock_26eu

指2、3本折った経験が無いと「音ゲーやっています」と言えないらしいからな。

タグ：

posted at 16:55:09

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

天文部LINEギリギリのところで入れてホッとしてる

タグ：

posted at 16:57:52

こが@koga'te[ch] @koga0v0

かずー氏へ

生きて

こがらしより

タグ：

posted at 16:58:41

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

りんふぃーる @Linfiel

サイン下さい！→１KHｚの正弦波をプレゼント

タグ：

posted at 17:00:43

非公開

タグ：

posted at xx:xx:xx

今日の結び目理論の話,結び目を定義したところで終わってしまって草不可避

タグ：

posted at 18:12:09

@御茶ノ水・神保町エリア

タグ：

posted at 21:09:18

なんか、今日、あたかも俺がツイ廃であるかのような言い方されてものすごい傷ついたけど(うそ)、あらためて言うと俺はツイ廃ではないからな？

タグ：

posted at 21:28:49

柞刈湯葉（いすかり・ゆば） @yubais

即ふぁぼに恐怖を感じないあたり、俺はまだTwitter初心者だな。

タグ：

posted at 21:46:14

ハッカー気分を味わえるWebページを作りました。キーボードを適当に叩いてるとそれっぽい文章が出ます。最後にTwitterのトップページに遷移するので、そしたら小さくガッツポーズして「よし、侵入成功」と言ってください。
yubais.net/neta/hacker/

タグ：

posted at 22:17:46

新車じゃ響きがよすぎる気がしないでもない

タグ：

posted at 23:04:47

んでっんでっんでー

タグ：

posted at 23:19:12