Hiromi Ishii現在地 ぱらめとり市 自己紹介 『真猿をのぞくとき、真猿もまたこちらをのぞいているのである．』 フォローしている 577 フォローされている 963 リスト 186 Twitter歴 1,852日 （2007/05/12より） ツイート数 180,369 （97.3件/日）
影響力
ツイートの並び順 : 新→古 | 古→新 表示するツイート : 全て | Replyを除く | Mentionを除く
Twilog ホーム
» @mr_konn
» Page 2
@LiveCafeMonica それ以上いけない posted at 22:55:12 菊地直子、四文字変えるとセックス posted at 22:47:03 産地直送を四文字変えると 部分継続 ですね posted at 22:44:51
posted at 22:44:16
posted at 22:44:16 英語の音節、三音節以上なら原則 -er じゃなくて more 使うとか使いでがある気がする posted at 22:43:43
posted at 22:43:08 面白いこと posted at 22:42:43 ブロックするぞ posted at 22:42:16 @各位 「産地直送」で検索 posted at 22:41:27
posted at 22:41:25
posted at 22:41:24 こんさんが fav & RT した発言はそこから先伸びないと云うジンクスがあります posted at 22:38:43
posted at 22:33:05 template って? FORTRAN で云うと何？ posted at 22:30:37 いやしくもCプログラミングの講義を受け持ちながら、一度のヘッダファイル書いたことがない。こわい…… posted at 22:29:05 こわいなあ……。 posted at 22:27:41 そういえば昨日のWUPC打上げで懼ろしい話を聴いた。Cの講義で、課題をオンラインで提出しなきゃいけないんだけど、システムが .c 拡張子しか受け付けなかった。担当のTAに「ヘッダファイル提出できるようにしてください」って云ったら「ヘッダファイルて？FORTRANで云うと何？」 posted at 22:27:38
posted at 22:25:16 手動でたんぶろう posted at 22:16:24 後で読むがちゃんと処理されてない……？ posted at 22:16:13 後でよむ（これから posted at 22:15:40
posted at 22:15:40 ようは折り紙プログラミングと同じなんですよね。 posted at 22:13:45 failing in love posted at 22:13:05 Poly Kinds か bananas, lenses, envelopes and barbed wire で遊ぶか寝るか posted at 22:12:53 何もやる気がおきないので寝ようかなあ。どうしよう。 posted at 22:10:42 （見る posted at 22:09:58 後でよむ！！ posted at 22:09:55
posted at 22:09:52
posted at 22:08:22 英国紳士の先生が「微分する」って書くと「微分ちる」って書いてるようにみえます posted at 22:07:07 線型代数の快男児が抜けた…… posted at 22:04:07 posted at 22:03:18
posted at 22:03:01 捜査員に「生まれた時から圏論を理解しているモジュライの専門家で得意のフランス語を駆使してEGAとSGAを全訳しているかわずか」と尋ねられ、「おいやめろ」と答えた。 posted at 22:02:44
posted at 22:02:01
posted at 22:02:00 ねむい posted at 22:01:20 なんかあんまり新しいことやってなかったなあ…… posted at 21:59:41 お、規制明けた posted at 21:59:30 「ただ手足を動かしていることを意識するだけで、機械を動かすことが出来ます」と云うことはセックスをしていることを想像すれば……！？ posted at 21:38:29
posted at 21:37:40 「人間にしか出来ない仕事。それをするために、今はコンピュータになって勉強しよう！」……？ posted at 21:37:12
posted at 21:36:34 NHK、何無駄にアニメをドラマティックにしてるんだ…… posted at 21:36:31
posted at 21:34:39 お父さんがすごいアンドロイドなんでしょ posted at 21:33:47
posted at 21:31:56 正に Goldberg Invariant とか Self-Reference ENGINE を思い出す posted at 21:30:32 （※僕も除く posted at 21:27:59
posted at 21:27:53
posted at 21:27:50
posted at 21:27:49
posted at 21:27:35
posted at 21:25:38 母「2020年、大海は女の子になってるの……彼女出来ないからって……」(´・ω・`) posted at 21:25:21 人間が物事を学習する仕組みを応用したのが機械学習とか云ってたけど、学習のメカニズムって解明されてたの……？？？ posted at 21:25:01 2020年、千葉は海に沈むのか……。 posted at 21:23:53
posted at 21:23:30 @repeatedly ワトソンは「『機械学習』と云う画期的な技術」の賜物らしいです posted at 21:23:25 2020 年、人類は百合になった posted at 21:21:51 @repeatedly いままさにでてました posted at 21:21:15 ワトソン、人類に反旗翻してほしい。 posted at 21:18:57 たまたま産まれた国の母語を獲得する人たち。 posted at 21:18:17 エキスパートシステム…… posted at 21:17:43 どの機械学習だよ！ posted at 21:15:34 「しかし、石頭のコンピュータはそうはいきません」 posted at 21:15:16 これワトソンの「画面」は赤い玉にして声も HAL にしたらいいのに posted at 21:14:20 書題は「無限解析」なのか。しらなかった posted at 21:11:44 無限小解析じゃないの posted at 21:11:27 おまえらが「オマーン国」で盛り上がってる間にNHKが「100万個」って云ってるぞ posted at 21:08:36 Oleg さん、京の話ちらっとしてましたね。Iteratee は BigData 向きですよ！ posted at 21:06:45 菊「地」なのか posted at 21:06:13
posted at 21:05:56 お前ら菊池直子出頭って騒いでるけどその名前五分前までおぼえてたの？？？ posted at 21:04:11 ワトソンの声、HAL9000にしたら面白かったのに posted at 21:03:40 あれは GRPAE の話だけど、 Goldberg Invariant 思い出すな posted at 21:02:40 京の話はじまった posted at 21:01:22 @LiveCafeMonica ほほんとだ posted at 20:57:03 アレフ関連施設立ち退きを求めるデモのニュースをみて、ピンドラの「君達は僕達を絶対に赦さない」って云う台詞を思い出してた posted at 20:56:58 @LiveCafeMonica アイゼンハワー大臣みたい posted at 20:52:44
posted at 20:49:24 信西鬼畜…… posted at 20:42:41
posted at 20:42:30 「また作ってやる」うわああああああ(;;;ω;;;; posted at 20:42:03 ミニ平消滅定理……？ posted at 20:40:14 「上皇を、流罪にせよ」 posted at 20:39:54 いいなあああキチガイしかいない朝廷！すごい！かっこいい……！！！ posted at 20:39:37 信西のナニモノ感がすごい posted at 20:37:42 このBGM、中島みゆきが歌つけて唄ってそう posted at 20:36:39 かっこいい…… posted at 20:34:12 たぶん知っていても取らなかった気がする posted at 20:33:32 教職、存在を入学して二三ヶ月後に知った posted at 20:33:21
posted at 20:29:32 いつ声を掛けられてもいいように川辺をうろつくとかですよ posted at 20:26:34 播磨……！IHI があるではないか！ posted at 20:26:17 ああ逃げるのではなく死のうとしたのか…… posted at 20:24:59 叔父上ｗｗｗｗ posted at 20:24:42 @pendulary じゃあ予行練習をしましょう posted at 20:24:28 @pendulary やはり川沿いを…… posted at 20:21:08 壮絶…… posted at 20:20:29 まあめし posted at 19:57:25 既成のコードを読んでみる、と云うのは、或る種自分の理解の試金石的な面もあるかもしれませんね。あーだめだわからない、ここをもうちょっと勉強しよう、という。 posted at 19:57:22 めしー posted at 19:56:20 @xenophobia__ ああ、そうですね。そう云う点は元の記事がちょっと乱暴だなあ、と思います。「入門記事or本を読んでから」と云うのは僕個人の意見を混ぜて読んでしまっている部分もありそうですね…… posted at 19:55:16 @xenophobia__ あー、たしかにそう云う面はありそうですね……ロクに読んでいないでコメントしてるだけの人も居る感じですし…… posted at 19:52:56 「初心者なら必ずコードを読みながら勉強しなくてはならない」と云うのは行き過ぎだけど、一通り入門記事なり本を読み終えて、さて、何をしよう？と思ったら、作りたいものを作ってみるか、興味のあるものを読んで理解を深めてみるのがいいんじゃないかなあ、と云うのが僕の考えです。 posted at 19:52:21 プログラミングをするのならコードを読む力も大切で、それを鍛えると云う側面もありそう。それを抜きにしても、ある程度勉強してみたら「良いコード」を読んでみる、と云うのは書き方の参考にもなるし、色々と発見もあるから良い経験になるのではないだろうか。 posted at 19:50:36 @xenophobia__ 他人に限らず昔の自分のコードを読むのすら難しいですね……。しかし、何れにせよ、プログラミングをしていく以上コードは読まなくてはいけないですし、先程の僕の発言の趣旨からは外れますが、コードを読む訓練は必要だと思います。 posted at 19:48:49 @xenophobia__ ああ、なるほど。 posted at 19:47:21 @xenophobia__ 僕も JavaScript はからきしですが、短いように思います。主観を抜きにして同時に引用されている jQuery と対比してみれば、 prototype.js の方が圧倒的に短いことは云えると思います。 posted at 19:46:18 たとえば生後一ヶ月の赤ちゃんを日常的に Rails のコードに曝しつづけていれば Ruby ネイティヴになるのかもしれないけど（そんなばかな）、流石に物心ついてしまってはその方法は無理である、とかなんとか。 posted at 19:45:02
posted at 19:43:23 @xenophobia__ なるほど。先程の記事でもだから、各函数が長すぎずわかりやすいコード、と云うことでPrototype.jsを挙げていましたね。 posted at 19:42:24 この記事は、「取り敢えずライブラリを使ってBKとかを回避して、慣れてきたらコードをライブラリに依存しないように書き換えてみよう」と云う趣旨であって、初っ端から「ライブラリを読んで書き換えよう！」と云ってるのではないと僕は理解したのだけど…… posted at 19:41:30 @xenophobia__ なるほど……。僕も「必ず読むべし」と云っているのではなくて、気になったら読んでみて、何をやっているのか考えてみる、と云うのは有効な方法だろう、と云うぐらいのつもりです。 posted at 19:39:30 読むことによって構文の理解で少しあやふやだったところが解消されることもあると思うけどなあ。 posted at 19:36:18 @xenophobia__ ええ、ですから「初っ端からは無理」と云いましたが。「初心者」は別に「全くの初心者」を指す、と云うような取り決めはなかったように思うのですが…… posted at 19:34:59 @xenophobia__ なるほど。それでも「前提が崩壊している」とはならないと思いますけどね……僕は寧ろ読みながら慣れたようなところがありますし。 posted at 19:32:03
posted at 19:31:08 初学者が IOCCC のコードとか読んだらかなしいことになりそうですが…… posted at 19:30:43 .@xenophobia__ ああもちろん、初っ端から読むのは無理ですよ。ただ、気が向いたら読んでみると云うのは良い方法だと思います。だって、本で勉強するときは本についてるコード読むんですから。 posted at 19:29:39
posted at 19:28:45 @repeatedly 17時閉会でしたからちょっとだけ出れました！よ！ posted at 19:28:40 @repeatedly 途中参加大丈夫でしたよ！ posted at 19:27:26 Write Great Code ならぬ Read Great Code posted at 19:27:07 まあ勿論読むコードは選んだ方が良くて、マクロや黒魔術、或いはマジックナンバーで塗り固められたようなコードを初学者がいきなり読むのは修羅に堕ちる道 posted at 19:26:36 @repeatedly C++ の仕様を覚えるには人間を辞めなくては！！！！！ posted at 19:24:24 「両方使う」を「両刀使う」に空目 posted at 19:23:37 今の時代、 GitHub とかで沢山のコードが公開されているのだから、こういったものから学ばない手はない。 posted at 19:22:47 言語を覚えると云うことは仕様を覚えると云うことではなく使い方を覚えると云うことなのだから、実際にどう使われているかを識るのは重要なことでしょう。 posted at 19:22:13 http://bit.ly/LVqlFB 【ライブラリの中身を読んで勉強するのなんて、ある程度慣れてる人間のやることでしょう。前提条件自体が崩壊してると思います。】 ライブラリやアプリの内部を読んでみる、って云うのは普通に有効な勉強法だと思うけど…… posted at 19:21:45 そういえば Ajax と云えば jQuery 一色みたいになってますけど、走りの筈の Prototype.js ってどうなったんです posted at 19:12:47 そういえば、夢野久作『少女地獄』の「何んでもない」にも「メンス」って出て来たな posted at 19:11:42
posted at 19:10:28 反変Hom函手や posted at 19:10:01 むしろ薙ぎ倒したい。 posted at 18:59:06 電柱上りたいなあ。僕には無理だ。 posted at 18:58:53 記事の内容自体はその通りだと思うのだけど、文の途中で段落変わるのが多すぎてすごく読みづらい。＞RT posted at 18:04:48
posted at 18:04:07
posted at 18:00:14
posted at 18:00:13 それは可能性ではなく測度です posted at 17:59:07 今こうして笑っていられるのも明日からも頑張ろうって思えるのもきっと数学のおかげだね それとも、僕が今TeXやってるからかな？ #jigoku_no_tex posted at 17:43:35
posted at 17:39:10
posted at 17:39:05
posted at 17:38:08 通訳のひとは凄いなあと実感。あと東京のど真ん中でもベジタリアンに配慮しているお店は全然ないんだなあと云うのを、今まで思ってもみなかったけど実感。 posted at 17:37:32 実況でフォロワー減るかと思ったら増えてら posted at 17:36:25 ナントカ線がドウニカなったせいで、カントカ線がコンナことに！ posted at 17:33:41 ナントカ線がドウニカなったらしい。ナンテ事だ。 posted at 17:31:22 英語コミュ力鍛えなきゃなあ posted at 17:20:31 Olegさんを囲む会でした。三人でおれぐさんのはなしを六時間にわたって拝聴すると云うなんとも贅沢な……！ posted at 17:19:23
posted at 16:35:46
posted at 16:25:40
posted at 16:09:21
posted at 15:53:16 自動生成したコードが境界条件を侵していたり、未初期化のところにアクセスしてしまう可能性があるので、やたらとテストをしないといけない。こういうのはboilerplate だから、コード生成器がちゃんと見れるとよいよね。 #fpm2012 posted at 15:53:15
posted at 15:46:53
posted at 15:40:24 http://bit.ly/Ks0klN から tilling とかの例が見れる。Cのコードを片方からもう片方へ変形出来るか？ということかな #fpm2012 posted at 15:36:19 コード生成は Applicative であって Monad ではないので bind が出来ず、「これは lift up できるよ」と云う函数が必要と云う風に理解した。 #fpm2012 posted at 15:28:06 MetaHaskell は、MetaOCaml と同じくwell-typedかつwell-scopedなコードを生成できる。加えて、MetaOCaml と違って任意の副作用に対して安全性を保証してくれる #fpm2012 posted at 15:20:55 Mainland の MetaHaskell は LISP 様式に則ってるけど、ここでの MetaHaskell は MetaOCaml の様式に従っている。 #fpm2012 posted at 15:19:28 生成コードが必ず closed であると云うのは、静的な束縛変数だけなので、変数が「偶然的に束縛される」ことがない。LISP様式だと、構文木をネストするとどこで束縛された変数かがかわってしまう可能性がある。 #fpm2012 posted at 15:18:56
posted at 15:04:22
posted at 15:04:08 CPSスタイル、モナディックスタイルは上手くいかない。ループタイリングのように let や for の位置を変えようと思うと継続渡しではそういったものは書けない！ #fpm2012 posted at 15:00:44 目標。コンポジショナルなコンビネータがほしい。well-formed で well-typed なことを静的に保証出来てほしい（生成後のは読みたくない！）。これらが中間状態や開式の状態についても上手く行くような。そんな生成コードがほしい！ #fpm2012 posted at 14:57:03 どうするか？木構造をハックするのはやだ。型が付かないし。生成した後にvalidateするのはコンパイルと変わらないし。生成後のコードを見てどうこうするのもやめたい。対象言語自体のデバッグをすることになる。 #fpm2012 posted at 14:54:07 この時、縦に分割してループして、さらにその中で分割して……と云うコードを、最初に二度分割するコードに変換したい。この場合、変数束縛を動かすことになる #fpm2012 posted at 14:49:38 二重ループで書いていた行列とベクトルの積を、sloop と云うブロック長を取ってタイル毎に計算、最終的に足し合わせる函数を使って、その中で二重ループする。 #fpm2012 posted at 14:44:33 ループタイリングの説明。ベクトルが長すぎてキャッシュに載り切らないと計算の度に前半後半を忘れなきゃいけないので非常に非効率的。そこで前半後半くらいに分けて部分和を取って後で足し合わせる。 #fpm2012 posted at 14:43:00 「でもそれ、コンパイル時に結局エラーが見つかるからいいんじゃないの？」って湘南ミーティングで云われた。でも、場所を探したりどこに移せばいいのか探すのは面倒だよね。 #fpm2012 posted at 14:36:29
posted at 14:32:20
posted at 14:31:16 分母が0じゃないチェックコードを複雑なコードがくる前に持ってきたい。あと条件をチェックするのは束縛の直後の方がいいよね？と云うことで、チェックコードを splice が呼ばれた場所より前の方に持ってきたい。 #fpm2012 posted at 14:30:54 階乗生成のプログラムに (-1) を渡されると困る。そこで例外を上げることになるわけだけど、そうするとクォートが最早ピュアではなくなる。（束縛を越えて例外を外に漏らす必要がある #fpm2012 posted at 14:25:39
posted at 14:17:28 通常のパーザコンビネータの選言は沢山読んだ後に失敗する可能性があるので inefficient。iteratee の lookahead を使った方が良い？ #fpm2012 posted at 13:23:42
posted at 13:14:37 Q. pull と push で意味論に違いが現れるようなことと云うのは何かありますか？ A. そもそも pull / push と云う見方自体、どこを視点に置くかによる。 #fpm2012 posted at 12:48:23 Q. Conduit や Pipes についてはどう？ A. 幾つかの事は Conduit には当て嵌まらない。ピュアではない、IOに限定しているから。Webなどに関してはそれは正しいだろう。でもIOに限定しない方がリーズニングは簡単。 #fpm2012 posted at 12:28:08 Iteratee IO とは？インクリメンタルで精確なリソース制御が出来るIO。コンポジショナルで、ストリーム処理や BigData に特に向いている。 #fpm2012 posted at 12:23:46 FAQ: binary IOは？出来る。fseekは？ビデオ読み出したりに必要だけど。それも出来るよ！例外安全なファイル書き込みは？リージョンを使おう！そうすればできる #fpm2012 posted at 12:20:12 チェーン則。i が s1 を全部消費するとすると、 strL (s1++s2) <*> (i >>= f) ≡ (strL s1 <*> i) >>= \x → strL s2 <*> f x。退化則。failure >>= f ≡ failure。 #fpm2012 posted at 12:14:57 Iteratee 版は対応する takeL を使うことで、定数空間でインクリメンタルに処理してくれる。n byte 読んだら自動的に閉じてくれる。takeL の意味論はフレーム。 #fpm2012 posted at 12:08:51 最初の n 文字だけを見る処理を書いてみよう。do {str0 ← readFile fname; let str = Prelude.take n str0; print (cws str, ct str)} となるけど、これ、実は定数メモリでは動かない……。 #fpm2012 posted at 12:02:01 Iteratee はどうするか？ fileL fname <*> (cws `en_pair` ct) みたいに書く。en_pair はIteratee のzipみたいなもの。 #fpm2012 posted at 11:59:05 じゃあ 空白と the を両方数えてみよう。readFile fname >>= \str -> print (cws str, ct str) と書けばいいんじゃない？コード再利用してるしいいね！……でも、インクリメンタルじゃなくなる！ #fpm2012 posted at 11:56:19 Iteratee版。foldr1 mappend (map fileL fnames) <*> ct_i と書ける。各プロデューサはモノイドなのでリストで作って足し合わせることが出来る。読み込みはインクリメンタルだし、一度に一つのファイルしか開かない！ #fpm2012 posted at 11:54:12 Strict + Handle 版。 ファイル毎に数えて足し合わせれば問題ない……けど、File 1 が "th"で終わって File 2 が "e" で始まる様な場合の "the" を検出できない！気持ち悪いステートマシンがいる！ #fpm2012 posted at 11:52:35 複数のファイルを読むことを考える。Lazy IO。全部連結して the を数えよう。インクリメンタルに読み込まれていく。必要になったら読み込まれるのでメモリは大丈夫。でも、全部のファイルを最初から開いておかないといけない。そしてfdを使い切ってしまう…… #fpm2012 posted at 11:50:00 今度は単語 "the" を数えてみよう。Lazy だと簡単に書けるけど、Strict+Handle IO だと長い……結局は有限ステートマシン。 #fpm2012 posted at 11:44:48 後半二つをくっ付けて見ると「より大きなコンシューマ」を作って繋げているようにも見えるし、前半二つ繋げてみると「より大きなプロデューサ」を作って繋げている、とも見れる。 #fpm2012 posted at 11:41:37
posted at 11:40:27 Iteratee版にすると filterL isSpace <*> count_i 。 filterL は (e → Bool) → L e m (R e m) の型を持っている #fpm2012 posted at 11:39:17 Lazy IO での空白カウント。 cws = length . filter isSpace にする。すると、入ってきた側から filterしてすぐに length に渡すので中間形式がないから効率的？ #fpm2012 posted at 11:36:41 Lazy の場合はいつ Handle が閉じられるのかわからなくて、結局 GC が Handle を閉じてくれることになるけど、それがいつなのかはわからない #fpm2012 posted at 11:32:56 Handle IO の場合はずっと Handle を引き回して、最後に閉じる処理がいる。 Lazy IO は、readFile からの結果の str を引き回すのがそれに当ってる。 #fpm2012 posted at 11:32:18 ファイルを読むのはどうするのか？ファイルを読んでストリームを生み出すのは fileL :: FilePath → L Char IO IO の仕事。 Char のストリームを読むのと、消費するの両方に IO を使うと云う意味。 #fpm2012 posted at 11:29:42 Iteraetee 字体がもなどなので >>= で繋げる。 R Char m Int は Char の Stream を読んで Int を返す。 m がポリモーフィックなので、これはピュア。 #fpm2012 posted at 11:27:20 どこでI/Oが起きるのか？ posted at 11:18:46 シンプルな例から。Lazy / Strict / Handler IO と Iterateee を較べてみる posted at 11:17:36 Iterates! posted at 11:10:41
posted at 11:08:10 Oleg さんの解像度があわず画面がおかしなことに…… posted at 11:07:09 posted at 11:06:51 席はまだまだありますよ！！！ posted at 11:06:43 Oleg さん、しぇらいしさん、たなかさん、私 posted at 11:06:31
posted at 10:58:38 本郷三丁目なう posted at 10:58:22 irb> :q #Haskellerあるある posted at 09:35:08
posted at 09:34:11 毒舌なプラスさんの妹bot posted at 01:37:56
posted at 01:21:52 あとでよむ posted at 00:15:42
posted at 00:15:40 @tanakh パーザが面倒とかそんなんだったきがします。まず haskell-src-exts を使わない理由が確か何かあった筈で（忘れてしまいました．．．）、自前のパーザを使っているんですが、流石に$がないと不便だけど他の演算子はなくてもいいよね！みたいな posted at 00:10:38
posted at 00:05:40 記事書くと一日30人くらいくらい見にきてくれるけど、何もしないと駄目だなあ posted at 00:05:27 Oleg さんにあいにいくぞー posted at 00:04:58 @repeatedly はずかしい……（＞＜ posted at 00:03:16
posted at 00:03:04
posted at 00:02:24 
|
last update 06/04 23:51
ツイート検索
Recent
Archives
Friends
Hashtags
Stats・Feed |
RT 